Kodaira vanishing theorem

Kodaira vanishing theorem is a fundamental result in complex algebraic geometry and complex manifold theory asserting the vanishing of certain sheaf cohomology groups for ample line bundles on smooth projective varieties or compact Kähler manifolds. The theorem connects the geometry of Complex projective space and Kähler manifold structures with cohomological properties of holomorphic line bundles, underpinning techniques in classification theory and deformation theory. Its development involved contributions from figures such as Kunihiko Kodaira, Akira Nakano, and influenced work by Jean-Pierre Serre, André Weil, and David Mumford.

Statement

The classical Kodaira vanishing theorem states that for a smooth projective variety X over the field of complex numbers with underlying compact Kähler manifold structure and for an ample line bundle L on X, one has H^i(X, K_X ⊗ L) = 0 for all i > 0, where K_X denotes the canonical line bundle of X. Related formulations present the dual statement H^i(X, L^{-1}) = 0 for i < dim X under appropriate hypotheses, and the Nakano and Akizuki–Nakano refinements assert vanishing for cohomology groups of vector bundles with positive curvature. The result is often contrasted with the Hodge decomposition and the Serre duality framework that links H^i and H^{dim X - i}.

Proofs and techniques

Proofs of Kodaira vanishing deploy analytic, Hodge-theoretic, and algebraic techniques. Kodaira's original proof used harmonic forms and the theory of elliptic operators on compact complex manifolds together with positivity of curvature inspired by Hirzebruch–Riemann–Roch theorem methods. Alternative approaches employ the ∂-operator and the Bochner–Kodaira–Nakano identity, relating curvature tensors to Laplacians as in work of Shoshichi Kobayashi and Akira Nakano. Algebraic proofs exploit asymptotic cohomology vanishing via Castelnuovo–Mumford regularity and vanishing theorems in the style of Jean-Pierre Serre and David Mumford, while modern methods use vanishing derived from the theory of multiplier ideals and Kawamata–Viehweg vanishing, connecting to results of Yujiro Kawamata, Eckart Viehweg, and techniques from Birkar–Cascini–Hacon–McKernan in the minimal model program. Hodge theory inputs from Phillip Griffiths and Wilhelm P. A. Klingenberg inform analytic curvature computations used in proofs.

Generalizations and related results

Kodaira vanishing has spawned several extensions and complements: the Kawamata–Viehweg vanishing theorem generalizes to big and nef divisors and plays a central role in the Minimal model program and birational geometry developed by Shigefumi Mori and Yujiro Kawamata; the Nadel vanishing theorem incorporates multiplier ideal sheaves as introduced by Jean-Pierre Demailly and influences Siu's invariance of plurigenera results. The Akizuki–Nakano vanishing refines the statement for vector bundles with Nakano positivity, while the Grauert–Riemenschneider vanishing theorem relates to canonical singularities studied by Oscar Zariski and Heisuke Hironaka. Vanishing theorems interact with the Riemann–Roch theorem for surfaces and higher-dimensional varieties and with classification results by Federico Enriques and Kunihiko Kodaira in the theory of complex surfaces.

Applications

Kodaira vanishing is a workhorse in algebraic geometry: it proves projective normality and ensures surjectivity of restriction maps used in embedding theorems for projective varieties and embeddings into Complex projective space via ample linear systems, applications central to Enriques–Kodaira classification and construction of moduli spaces as in the work of David Mumford and Pierre Deligne. It underlies deformation-theoretic vanishing needed for proving unobstructedness in certain moduli problems studied by Michael Artin and Alexander Grothendieck, and is essential in proofs of the base-point-freeness theorem and abundance conjectures pursued by researchers such as Christopher Hacon and James McKernan. In Diophantine geometry, vanishing results inform height inequalities and the geometry of canonical models appearing in studies by Gerd Faltings and Paul Vojta.

Counterexamples in positive characteristic

Kodaira vanishing fails in general over fields of positive characteristic: explicit counterexamples were constructed by Michel Raynaud and later by Serge Lang-inspired constructions and work of T. Ekedahl, showing smooth projective surfaces in characteristic p where H^1(X, K_X ⊗ L) ≠ 0 for ample L. Pathologies in characteristic p led to refinement of vanishing criteria involving Frobenius morphisms and the notions of liftability to Witt vector rings studied by Alexander Grothendieck and Jean-Pierre Serre. Subsequent research by Hélène Esnault, Luc Illusie, and Christopher Hacon clarified conditions (e.g., liftability to characteristic zero, F-regularity, and F-splitting) under which Kodaira-type vanishing holds in positive characteristic, integrating ideas from Étale cohomology and the theory of crystalline cohomology developed by Pierre Berthelot.

Category:Algebraic geometry