Definition
Kähler class
The degree-two real de Rham cohomology class represented by a Kähler form.
Definition
Let be a complex manifold and let be a Kähler form on . Since , the form determines a class
in real de Rham cohomology. This class is the Kähler class of . A class is called a Kähler class if it has at least one representative that is a positive real -form. Thus being a Kähler class is stronger than merely having a closed -representative: positivity is indispensable.
Structure and consequences
Kähler forms in the same class differ by an exact real -form. On a compact Kähler manifold, the -lemma refines this: two cohomologous Kähler forms differ by for a global real smooth function , up to the chosen normalization. Positivity is then the open inequality that the modified form must continue to satisfy.
If has complex dimension and is compact, then
so . More generally, every power is nonzero for , as shown in Demailly, Chapter VI, §4, Consequence 4.3.
Examples and non-examples
On complex projective space, the Fubini–Study form represents a Kähler class; with the standard integral normalization, it generates . By contrast, the zero class on a positive-dimensional compact complex manifold is not Kähler: if , then Stokes' theorem would give , contradicting positivity. Demailly records both the Fubini–Study class and its normalization in Chapter VI, §4, Example 4.4.
References
- Jean-Pierre Demailly, Complex Analytic and Differential Geometry, 2012. Author-hosted text. Relevant: Chapter VI, §4, especially Consequence 4.3 and Example 4.4.