Kodairas indlejringsteorem besvarer spørgsmålet, hvilke kompakte Kähler-varianter der er projektive algebraiske varianter . Med andre ord, hvilke komplekse manifolder bestemmes af homogene polynomier .
Sætningen er bevist af Kunihito Kodaira .
Lad M være en kompakt Kähler-manifold med Hodge metric , det vil sige, dens Kähler-form ω definerer en integreret kohomologiklasse . Så indrømmer M en analytisk indlejring i et komplekst projektivt rum af en tilstrækkelig høj dimension N .
En Kähler-manifold med en Hodge-metrik kaldes nogle gange for en Hodge-manifold (efter Hodge ). I dette tilfælde kan Kodairas sætning formuleres som følger: