A Nadel vanishing theorem via injectivity theorems (Q2509870): Difference between revisions

The theory of multiplier ideal sheaves has become a powerful tool in different areas of complex algebraic geometry. Of particular importance in applications are the various cohomology vanishing theorems involving multiplier ideals. An interesting aspect is that there are both analytic and algebraic approaches to defining and studying multiplier ideals. In this spirit, the present article proves an analytic counterpart of an algebraic vanishing theorem for \textit{asymptotic multiplier ideal sheaves.} The author considers the analytic multiplier ideal \(\mathcal{I}(h_{\text{min}})\) as an analytic analogue of the asymptotic multiplier ideal \(\mathcal{I}(\left\| F \right\|)\), where \(F\) is a line bundle on a smooth projective variety \(X\) and \(h_{\text{min}}\) is a \textit{metric with minimal singularities} on \(F\). He proves that if \(h_{\text{min}}\) is smooth on a Zariski open subset of \(X\), then \(H^i(K_X\otimes F \otimes \mathcal{I}(h_{\text{min}}))\) vanishes for \(i > \dim X - \kappa(F)\). This generalizes his result for \(F\) big from [\textit{S.-i. Matsumura}, Adv. Math. 280, 188--207 (2015; Zbl 1345.14025)]. The author also proves variants of the above statement for \textit{Siu's metric} \(h_{\text{Siu}}\) in place of \(h_{\text{min}}\) and for line bundles with partially positive curvature. The proofs rely heavily on analytic methods; the most important ingredient is a generalized injectivity theorem, which is obtained by using the theory of harmonic integrals.