A vanishing theorem of Kollár-Ohsawa type (Q343181): Difference between revisions

Let \(X\) be a Kähler manifold, \(f: X \rightarrow Y\) a proper surjective map onto an analytic space \(Y\) and \(p: E \to X\) a vector bundle admitting an Hermitian metric with semi-positive curvature in the sense of Nakano. Let also \(K_X\) be the canonical bundle of \(X\) and \(R^q f_*(K_X \otimes E)\) the \(q\)-th higher direct image sheaf determined by the twisted bundle \(K_X \otimes E\). The first main result of this paper consists in proving the existence of natural injective homomorphisms \[ \varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \longrightarrow H^{p+q}(X, K_X \otimes E) \] for each \(p,q \geq 0\), with the further property \(\text{Im} \varphi_{p,q} \cap \text{Im} \varphi_{p',q'} = \{0\}\) for all distinct pairs \((p,q)\), \((p',q')\) with the same sum \(r = p + q = p' + q'\). The proof is based on the theory of harmonic integrals developed by Takegoshi. In fact, combining the above results with a result by Takegoshi on Leray spectral sequences, it follows that if \(X\) is compact, then \(H^r(X, K_X \otimes E) = \bigoplus_{p+q = r} \text{Im}\varphi_{p,q}\) for each \(r \geq 0\). Using the explicit construction of the homomorphisms \(\varphi_{p,q}\) and \(L^2\)-methods for the \(\bar \partial\)-problem, the author then proves a vanishing theorem, which can be considered as a generalisation of Ohsawa and Kollàr results on the \(\bar \partial\)-problem on complete Kähler manifolds and smooth projective varieties. More precisely, he proves that if \(X\) is weakly pseudoconvex and the curvature of \(E\) is larger than or equal to the pull-back of a Kähler form on \(Y\), then \(H^p(Y, R^q f_*(K_X \otimes E)) = 0\) for each \(p > 0\), \(q \geq 0\), and \(H^{q}(X, K_X \otimes E) \simeq H^0(Y, R^q f_*(K_X \otimes E))\).