This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (September 2022) ( Learn how and when to remove this message)

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 surface is a deformation of a projective Kähler surface. This was later simplified by Buchdahl to remove reliance on the classification (Buchdahl 2008).

Kodaira embedding theorem

Let X be a compact Kähler manifold, and L a holomorphic line bundle on X. Then L is a positive line bundle if and only if there is a holomorphic embedding ${\displaystyle \varphi :X\rightarrow \mathbb {P} }$ of X into some projective space such that ${\displaystyle \varphi ^{*}{\mathcal {O}}_{\mathbb {P} }(1)=L^{\otimes m}}$ for some m > 0.

See also

• Fujita conjecture
• Hodge structure
• Moishezon manifold

References

• Buchdahl, Nicholas (2008), "Algebraic deformations of compact Kähler surfaces II", Mathematische Zeitschrift, 258 (3): 493–498, doi: 10.1007/s00209-007-0168-6, S2CID  122002987
• 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, doi: 10.2307/1969701, ISSN  0003-486X, JSTOR  1969701, MR  0068871
• Kodaira, Kunihiko (1963), "On compact analytic surfaces III", Annals of Mathematics, Second Series, 78 (1): 1–40, doi: 10.2307/1970500, ISSN  0003-486X, JSTOR  1970500
• A proof of the embedding theorem without the vanishing theorem (due to Simon Donaldson) appears in the lecture notes here.
• "Coherent Sheaves". Several Complex Variables and Complex Manifolds II. 1982. pp. 127–198. doi: 10.1017/CBO9780511629327.004. ISBN  9780521288880.