# Kodaira vanishing theorem Kodaira vanishing theorem In mathematics, the Kodaira vanishing theorem is a basic result of complex manifold theory and complex algebraic geometry, describing general conditions under which sheaf cohomology groups with indices q > 0 are automatically zero. The implications for the group with index q = 0 is usually that its dimension — the number of independent global sections — coincides with a holomorphic Euler characteristic that can be computed using the Hirzebruch–Riemann–Roch theorem.

Contenuti 1 The complex analytic case 2 The algebraic case 3 Consequences and applications 4 Guarda anche 5 References The complex analytic case The statement of Kunihiko Kodaira's result is that if M is a compact Kähler manifold of complex dimension n, L any holomorphic line bundle on M that is positive, and KM is the canonical line bundle, poi {stile di visualizzazione H^{q}(M,K_{M}otimes L)=0} for q > 0. Qui {stile di visualizzazione K_{M}otimes L} stands for the tensor product of line bundles. By means of Serre duality, one also obtains the vanishing of {stile di visualizzazione H^{q}(M,L^{a volte -1})} for q < n. There is a generalisation, the Kodaira–Nakano vanishing theorem, in which {displaystyle K_{M}otimes Lcong Omega ^{n}(L)} , where Ωn(L) denotes the sheaf of holomorphic (n,0)-forms on M with values on L, is replaced by Ωr(L), the sheaf of holomorphic (r,0)-forms with values on L. Then the cohomology group Hq(M, Ωr(L)) vanishes whenever q + r > n.

The algebraic case The Kodaira vanishing theorem can be formulated within the language of algebraic geometry without any reference to transcendental methods such as Kähler metrics. Positivity of the line bundle L translates into the corresponding invertible sheaf being ample (cioè., some tensor power gives a projective embedding). The algebraic Kodaira–Akizuki–Nakano vanishing theorem is the following statement: If k is a field of characteristic zero, X is a smooth and projective k-scheme of dimension d, and L is an ample invertible sheaf on X, poi {stile di visualizzazione H^{q}(X,Lotimes Omega _{X/k}^{p})=0{testo{ per }}p+q>d,{testo{ e}}} {stile di visualizzazione H^{q}(X,L^{a volte -1}otimes Omega _{X/k}^{p})=0{testo{ per }}p+q 0, and in particular fails for Raynaud surfaces. Later Lauritzen & Rao (1997) gave elementary counterexamples inspired by proper homogeneous spaces with non-reduced stabilizers.

Fino a quando 1987 the only known proof in characteristic zero was however based on the complex analytic proof and the GAGA comparison theorems. Tuttavia, in 1987 Pierre Deligne and Luc Illusie gave a purely algebraic proof of the vanishing theorem in (Deligne & Illusie 1987). Their proof is based on showing that the Hodge–de Rham spectral sequence for algebraic de Rham cohomology degenerates in degree 1. This is shown by lifting a corresponding more specific result from characteristic p > 0 — the positive-characteristic result does not hold without limitations but can be lifted to provide the full result.

Consequences and applications Historically, the Kodaira embedding theorem was derived with the help of the vanishing theorem. With application of Serre duality, the vanishing of various sheaf cohomology groups (usually related to the canonical line bundle) of curves and surfaces help with the classification of complex manifolds, per esempio. Enriques–Kodaira classification.

See also Kawamata–Viehweg vanishing theorem Mumford vanishing theorem Ramanujam vanishing theorem References Deligne, Piero; Illusie, Luc (1987), "Relèvements modulo p2 et décomposition du complexe de de Rham", Scoperte matematiche, 89 (2): 247–270, Bibcode:1987InMat..89..247D, doi:10.1007/BF01389078, S2CID 119635574 Esnault, Hélène; Viehweg, Eckart (1992), Lectures on vanishing theorems (PDF), DMV Seminar, vol. 20, Birkhauser Verlag, ISBN 978-3-7643-2822-1, SIG 1193913 Phillip Griffiths and Joseph Harris, Principles of Algebraic Geometry Kodaira, Kunihiko (1953), "On a differential-geometric method in the theory of analytic stacks", Proc. Natl. Accad. Sci. Stati Uniti d'America, 39 (12): 1268–1273, Bibcode:1953PNAS...39.1268K, doi:10.1073/pnas.39.12.1268, PMC 1063947, PMID 16589409 Lauritzen, Niels; Rao, Prabhakar (1997), "Elementary counterexamples to Kodaira vanishing in prime characteristic", Proc. Indian Acad. Sci. Matematica. Sci., Casa editrice Springer, 107: 21–25, doi:10.1007/BF02840470, S2CID 16736679 Raynaud, Michele (1978), "Contre-exemple au vanishing theorem en caractéristique p>0", C. P. Ramanujam---a tribute, Tata Inst. Fund. Res. Studies in Math., vol. 8, Berlino, New York: Springer-Verlag, pp. 273–278, SIG 0541027 Categorie: Theorems in complex geometryTopological methods of algebraic geometryTheorems in algebraic geometry

Se vuoi conoscere altri articoli simili a Kodaira vanishing theorem puoi visitare la categoria Theorems in algebraic geometry.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni