A closed two-form on a complex manifold which is also the negative imaginary part of a Hermitian metric is called a Kähler form. In this case, is called a Kähler manifold and , the real part of the Hermitian metric, is called a Kähler metric. The Kähler form combines the metric and the complex structure, indeed
(1)
|
where is the almost complex structure induced by multiplication by . Since the Kähler form comes from a Hermitian metric, it is preserved by , i.e., since . The equation implies that the metric and the complex structure are related. It gives a Kähler structure, and has many implications.
On , the Kähler form can be written as
(2)
| |||
(3)
|
where . In general, the Kähler form can be written in coordinates
(4)
|
where is a Hermitian metric, the real part of which is the Kähler metric. Locally, a Kähler form can be written as , where is a function called a Kähler potential. The Kähler form is a real -complex form.
Since the Kähler form is closed, it represents a cohomology class in de Rham cohomology. On a compact manifold, it cannot be exact because is the volume form determined by the metric. In the special case of a projective algebraic variety, the Kähler form represents an integral cohomology class. That is, it integrates to an integer on any one-dimensional submanifold, i.e., an algebraic curve. The Kodaira embedding theorem says that if the Kähler form represents an integral cohomology class on a compact manifold, then it must be a projective algebraic variety. There exist Kähler forms which are not projective algebraic, but it is an open question whether or not any Kähler manifold can be deformed to a projective algebraic variety (in the compact case).
A Kähler form satisfies Wirtinger's inequality,
(5)
|
where the right-hand side is the volume of the parallelogram formed by the tangent vectors and . Corresponding inequalities hold for the exterior powers of . Equality holds iff and form a complex subspace. Therefore, is a calibration form, and the complex submanifolds of a Kähler manifold are calibrated submanifolds. In particular, the complex submanifolds are locally volume minimizing in a Kähler manifold. For example, the graph of a holomorphic function is a locally area-minimizing surface in .