A Kollár-type vanishing theorem (Q2182414)

In [Ann. Math. (2) 123, 11--42 (1986; Zbl 0598.14015)] \textit{J. Kollár} established the following result: Theorem. Let \(f: X \to Y\) be a surjective map between a projective manifold \(X\) and a projective variety \(Y\). If \(A\) is an ample divisor on \(Y\), then for any \(i > 0\) and \(q \ge 0\), \[H^i (Y, R^qf_*(K_X) \otimes \mathcal O_Y(A)) = 0.\] In this paper the author considers similar properties for the adjoint bundle \(K_X\otimes L\) where \(L\) is a line bundle on \(X\). When \(L\) is endowed with a smooth semi-positive Hermitian metric, in [\textit{C. Mourougane} and \textit{S. Takayama}, Ann. Sci. Éc. Norm. Supér. (4) 41, No. 6, 905--924 (2008; Zbl 1167.14027); \textit{K. Takegoshi}, Math. Ann. 303, No. 3, 389--416 (1995; Zbl 0843.32018)] it was shown that also holds a Kollar-type vanishing result. Here the author is interested in the singular case. In fact such a result was first developed by Kawamata (see Theorem 2.86 in [\textit{T. de Fernex} et al., Math. Res. Lett. 10, No. 2--3, 219--236 (2003; Zbl 1067.14013)]). Here the author notices that in this situation, there are 2 key ingredients: a) the injectivity theorem and b) the torsion freeness of the higher direct images. Now there is an analytic version of the injectivity theorem in [\textit{Y. Gongyo} and \textit{S.-I. Matsumura}, Ann. Sci. Éc. Norm. Supér. (4) 50, No. 2, 479--502 (2017; Zbl 1401.14083)] which is the starting point of this paper. As far as whether \(R^qf_*(K_{X/Y}\otimes L)\) is torsion free when \(L\) is pseudoeffective, it turns out not to be the case in general. However when the singularity of \(L\) is mild, the author shows that (Theorem 1.4) \[R^qf_*(K_{X/Y} \otimes L)\] is reflexive. By combining those results, the author establishes the following result. Theorem 1.5. Let \(f:X \to Y\) be a surjective fibration between 2 projective manifolds \(X\) and \(Y\). Let \((L, h)\) be a \(\mathbb{Q}\)-effective line bundle on \(X\) so that \(\mathcal{I}\)(h) (:= the multiplier ideal associated with a singular metric) is equal to \(\mathcal O_X\). If \(A\) is an ample divisor on \(Y\), then for any \(i > 0\) and \(q\ge 0\) \[H^i(Y, R^qf_*(K_X \otimes L) \otimes \mathcal O_Y(A)) = 0\] Also the author remarks that Theorem 1.5 can be used to prove the positivity of the sheaves \[R^qf_*(K_X \otimes L).\] From this, the author establishes the following. Theorem 1.6. Under same assumptions as in Theorem 1.5, assume that \(A\) is an ample and globally generated line bundle and \(A'\) is a nef line bundle on \(Y\). Then the sheaf \[R^qf_*(K_X \otimes L) \otimes A^m \otimes A'\] is globally generated for any \(q \ge 0\) and \(m \ge \dim Y +1\).