Definition

Let XX be a and let ω\omega be a on XX. Since dω=0d\omega=0, the form determines a class

[ω]HdR2(X;R)[\omega]\in H^2_{\mathrm{dR}}(X;\mathbb R)

in . This class is the Kähler class of ω\omega. A class κHdR2(X;R)\kappa\in H^2_{\mathrm{dR}}(X;\mathbb R) is called a Kähler class if it has at least one representative that is a positive real (1,1)(1,1)-form. Thus being a Kähler class is stronger than merely having a closed (1,1)(1,1)-representative: positivity is indispensable.

Structure and consequences

Kähler forms in the same class differ by an exact real 22-form. On a compact , the refines this: two cohomologous Kähler forms differ by iˉφi\partial\bar\partial\varphi for a global real smooth function φ\varphi, up to the chosen normalization. Positivity is then the open inequality that the modified form must continue to satisfy.

If XX has complex dimension nn and is compact, then

Xωn>0,\int_X\omega^n>0,

so [ω]n0[\omega]^n\neq0. More generally, every power [ω]k[\omega]^k is nonzero for 0kn0\leq k\leq n, as shown in Demailly, Chapter VI, §4, Consequence 4.3.

Examples and non-examples

On , the Fubini–Study form represents a Kähler class; with the standard integral normalization, it generates H2(CPn;Z)H^2(\mathbb{CP}^n;\mathbb Z). By contrast, the zero class on a positive-dimensional compact complex manifold is not Kähler: if ω=dη\omega=d\eta, then would give Xωn=0\int_X\omega^n=0, contradicting positivity. Demailly records both the Fubini–Study class and its normalization in Chapter VI, §4, Example 4.4.

References
  1. Jean-Pierre Demailly, Complex Analytic and Differential Geometry, 2012. Author-hosted text. Relevant: Chapter VI, §4, especially Consequence 4.3 and Example 4.4.