Kodaira embedding theorem
In mathematics, the Kodaira embedding theorem characterises non-singular projective varieties, over the complex numbers, amongst compact Kähler manifolds. In effect it says precisely which complex manifolds are defined by homogeneous polynomials.
Kunihiko Kodaira's result is that for a compact Kähler manifold M, with a Hodge metric, meaning that the cohomology class in degree 2 defined by the Kähler form ω is an integral cohomology class, there is a complex-analytic embedding of M into complex projective space of some high enough dimension N. The fact that M embeds as an algebraic variety follows from its compactness by Chow's theorem. A Kähler manifold with a Hodge metric is occasionally called a Hodge manifold (named after W. V. D. Hodge), so Kodaira's results states that Hodge manifolds are projective. The converse that projective manifolds are Hodge manifolds is more elementary and was already known.
Kodaira also proved (Kodaira 1963), by recourse to the classification of compact complex surfaces, that every compact Kähler manifold is a deformation of a projective Kähler manifold. This was later simplified by Buchdahl to remove reliance on the classification (Buchdahl 2008).
- Buchdahl, Nicholas (2008), "Algebraic deformations of compact Kähler surfaces II", Mathematische Zeitschrift, 258 (3): 493–498, doi:10.1007/s00209-007-0168-6
- Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
- Kodaira, Kunihiko (1954), "On Kähler varieties of restricted type (an intrinsic characterization of algebraic varieties)", Annals of Mathematics. Second Series, 60 (1): 28–48, ISSN 0003-486X, JSTOR 1969701, MR 0068871, doi:10.2307/1969701
- Kodaira, Kunihiko (1963), "On compact analytic surfaces III", Annals of Mathematics. Second Series, 78 (1): 1–40, ISSN 0003-486X, JSTOR 1970500, doi:10.2307/1970500