On semipositivity, injectivity and vanishing theorems
Osamu Fujino
备注:
41 pages, survey article written for Zucker 65, comments are welcome, v2: I mainly revised Subsection 3.1, v3: revision following referee's comments, v4: final version, references and address were updated
This is a survey article on the recent developments of semipositivity, injectivity, and vanishing theorems for higher-dimensional complex projective varieties.
We prove an effective vanishing theorem for direct images of log pluricanonical bundles of projective semi-log canonical pairs. As an application, we obtain a semipositivity theorem for direct images of relative log pluricanonical bundles of projective semi-log canonical pairs over curves, which implies the projectivity of the moduli spaces of stable varieties. It is worth mentioning that we do not use the theory of variation of (mixed) Hodge structure.
We give a theorem on the effective non-vanishing problem for algebraic surfaces in positive characteristic. For the Kawamata-Viehweg vanishing, the logarithmic Kollar vanishing and the logarithmic semipositivity, we give their counterexamples on ruled surfaces in positive characteristic.
We prove the injectivity and vanishing theorem for R-Hodge modules and R-divisors over projective varieties, extending the results for rational Hodge modules and integral divisors in \cite{Wu15}. In particular, the injectivity generalizes the fundamental injectivity of Esnault-Viehweg for normal crossing Q-divisors, while the vanishing generalizes Kawamata-Viehweg vanishing for Q-divisors. As a main application, we also deduce a Fujita-type freeness result for R-Hodge modules in the normal crossing case.
We prove a surjectivity theorem for the Deligne canonical extension of a polarizable variation of Hodge structure with quasi-unipotent monodromy at infinity along the lines of Esnault-Viehweg. We deduce from it several injectivity theorems and vanishing theorems for pure Hodge modules. We also give an inductive proof of Kawamata-Viehweg vanishing for the lowest graded piece of the Hodge filtration of a pure Hodge module using mixed Hodge modules of nearby cycles.
This is a sequel to "Kodaira-Saito vanishing via Higgs bundles in positive characteristic" (arXiv:1611.09880). However, unlike the previous paper, all the arguments here are in characteristic zero. The main result is a Kodaira vanishing theorem for semistable parabolic Higgs bundles with trivial parabolic Chern classes. This implies a general semipositivity theorem. This also implies a Kodaira-Saito vanishing theorem for complex variations of Hodge structure.
This preprint has been withdrawn. It is because I will never publish this preprint since everything has been contained in my new preprint: arXiv:0907.1506. Please refer to arXiv:0907.1506. Please do not cite this preprint any more.
In this paper we will first show some Kollar-Enoki type injectivity theorems on compact Kahler manifolds, by using the Hodge theory, the Bochner- Kodaira-Nakano identity and the analytic method provided by O. Fujino and S. Matsumura in [15, 25, 36, 39]. We have some straightforward corollaries. In particular, we will show that our main injectivity theorem implies several Nadel type vanishing theorems on smooth projective manifolds. Second, by applying the transcendental method, especially the Demailly-Peternell-Schneider equisingular approximation theorem and the Hormander L2 estimates, we wil…
In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals.
We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic properties of semi divisorial log terminal pairs.
We note that the vanishing and injectivity theorems of Kollár and Esnault-Viehweg can be used to give a quick algebraic proof of a strengthening of the Ein-Lazarsfeld Skoda-type division theorem for global sections of adjoint line bundles vanishing along suitable multiplier ideal sheaves, and to extend it to higher cohomology classes as well. For global sections, this is also a slightly more general statement of the algebraic translation of an analytic result of Siu. Along the way we write down an injectivity statement for multiplier ideals, and its standard consequences.
We formulate and establish a generalization of Kollár's injectivity theorem for adjoint bundles twisted by suitable multiplier ideal sheaves. As applications, we generalize Kollár's torsion-freeness, Kollár's vanishing theorem, and a generic vanishing theorem for pseudo-effective line bundles. Our approach is not Hodge theoretic but analytic, which enables us to treat singular Hermitian metrics with nonalgebraic singularities. For the proof of the main injectivity theorem, we use $L^{2}$-harmonic forms on noncompact Kähler manifolds. For applications, we prove a Bertini-type theorem on the res…
The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion freeness and Grauert-Riemenschneider's vanishing theorem. Moreover, we obtain a relative vanishing theorem of Kawamata-Viehweg-Nadel type and an extension theorem for holomorphic sections from fibers of morphisms to the ambient space. Our approach is based on transcendental methods and works for K"ahler morphisms and singular hermitian metrics with non-algebraic…
The purpose of this survey is to present analytic versions of the injectivity theorem and their applications. The proof of our injectivity theorems is based on a combination of the L^2-method for the dbar-equation and the theory of harmonic integrals. As applications, we obtain Nadel type vanishing theorems and extension theorems for pluri-canonical sections of log pairs. Moreover, we give some results on semi-ampleness related to the abundance conjecture in birational geometry (the minimal model program).
The purpose of this paper is to establish an injectivity theorem generalized to pseudo-effective line bundles with transcendental (non-algebraic) singular hermitian metrics and multiplier ideal sheaves. As an application, we obtain a Nadel type vanishing theorem. For the proof, we study the asymptotic behavior of the harmonic forms with respect to a family of regularized metrics, and give a method to obtain L2-estimates of solutions of the dbar-equation by using the de Rham-Weil isomorphism between the dbar-cohomology and the check{C}ech cohomology.
Injectivity of specialization maps in critical cohomology
Morningside Center of Mathematics, Institute of Mathematics & State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences(中国科学院数学与系统科学研究院,晨兴数学中心,数学研究所,数学科学国家重点实验室)
The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's metrics). For this purpose, we apply the theory of harmonic integrals and generalize Enoki's proof of Koll'ar's injectivity theorem. Moreover we investigate the asymptotic behavior of harmonic forms with respect to a family of regularized metrics.
The purpose of this paper is to give two supplements for vanishing theorems: One is a relative version of the Kawamata-Viehweg-Nadel type vanishing theorem, which is obtained from an observation for the variation of the numerical dimension of singular hermitian line bundles. The other is an analytic injectivity theorem for log canonical pairs on surfaces, which can be seen as a partial answer for Fujino's conjecture.