ケーラー多様体
Complex projective space is a Kähler manifold. This implies that, for any projective algebraic variety "X", formula_183 is a compact Kähler manifold. The converse is not in general true, but the Kodaira embedding theorem gives a criterion for a Kähler manifold to be projective.