Mathematics.

complex geometry

Kähler Manifolds

Differential Geometry110 minDifficulty10 out of 10

You should know: riemannian metric, complex differentiation, symplectic geometry

Overview

A Kähler manifold is a complex manifold equipped simultaneously with a Riemannian metric, a symplectic form, and a complex structure, all three compatible with each other. They are the intersection of Riemannian, symplectic, and complex geometry. Examples include complex projective space ℂPⁿ, smooth projective varieties over ℂ, and Calabi–Yau manifolds. Kähler geometry is central to algebraic geometry (via the Kodaira embedding theorem), string theory (Calabi–Yau compactifications), and the Kähler–Einstein metric problem (resolved by Yau in 1978 and Donaldson–Chen–Tian for the Fano case).

Intuition

On a Kähler manifold, three structures coexist harmoniously: the complex structure J (multiplication by i), the Riemannian metric g (measuring lengths), and the symplectic form ω (measuring areas). Compatibility means g(Ju, Jv) = g(u, v) (J is an isometry) and ω(u, v) = g(Ju, v) (the symplectic form is the metric twisted by J). The key extra condition that makes everything fit is that J is integrable (the manifold has genuine complex coordinates) and ω is closed. This closedness — the Kähler condition — is what ties the three structures together and gives Kähler manifolds their extraordinary properties.

Formal Definition

Definition

A Kähler manifold is a complex manifold (M, J) of complex dimension n (real dimension 2n) with a Hermitian metric g satisfying the Kähler condition: the associated (1,1)-form ω is closed.

J:TM→TM,J2=−idJ: TM \to TM,\quad J^2 = -\mathrm{id}
Almost complex structure J (complex multiplication)
g(u,v)=g(Ju,Jv)∀u,v∈TMg(u, v) = g(Ju, Jv) \quad \forall u, v \in TM
J-invariance of the Hermitian metric
ω(u,v)=g(Ju,v)\omega(u, v) = g(Ju, v)
Kähler form (fundamental 2-form)
dω=0d\omega = 0
Kähler condition
ω=i2∑j,khjkˉ dzj∧dzˉk\omega = \frac{i}{2} \sum_{j,k} h_{j\bar{k}}\, dz^j \wedge d\bar{z}^k
Local expression in complex coordinates (z¹,...,zⁿ)
ω=i2∂∂ˉφ\omega = \frac{i}{2} \partial\bar{\partial}\varphi
Kähler potential: ω is locally the ∂∂̄ of a real function φ (Kähler potential)

Properties

Kähler manifolds are symplectic

(M,ω) is symplectic since dω=0 and ωn≠0(M, \omega) \text{ is symplectic since } d\omega = 0 \text{ and } \omega^n \neq 0

Hodge numbers symmetry

hp,q=hq,p=hn−p,n−qh^{p,q} = h^{q,p} = h^{n-p,n-q}

ℂPⁿ is Kähler

Complex projective space CPn with the Fubini-Study metric is Ka¨hler\text{Complex projective space } \mathbb{CP}^n \text{ with the Fubini-Study metric is Kähler}

Theorems

Theorem 1: Hodge Decomposition
Hk(M,C)=⨁p+q=kHp,q(M),Hp,q≅Hq,p‾H^k(M, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(M),\quad H^{p,q} \cong \overline{H^{q,p}}
Theorem 2: Kähler identities
[Λ,∂]=−i∂ˉ∗,[Λ,∂ˉ]=i∂∗[\Lambda, \partial] = -i\bar{\partial}^*,\quad [\Lambda, \bar{\partial}] = i\partial^*
Theorem 3: Calabi–Yau Theorem (Yau, 1978)
On a compact Ka¨hler manifold with c1(M)=0, every Ka¨hler class contains a unique Ricci-flat Ka¨hler metric.\text{On a compact Kähler manifold with } c_1(M) = 0, \text{ every Kähler class contains a unique Ricci-flat Kähler metric.}
Theorem 4: Kodaira Embedding Theorem
A compact complex manifold is projective (embeds in CPN) iff it admits a positive Ka¨hler form.\text{A compact complex manifold is projective (embeds in } \mathbb{CP}^N\text{) iff it admits a positive Kähler form.}

Worked Examples

  1. 1

    ℂP¹ has one complex coordinate chart, z = z₁/z₀ on U₀ = {z₀ ≠ 0}.

  2. 2

    The Fubini-Study Kähler potential on U₀ is φ = log(1 + |z|²).

    φ=log⁡(1+∣z∣2)\varphi = \log(1 + |z|^2)
  3. 3

    The Kähler form is ω = (i/2)∂∂̄ φ:

    ω=i2∂∂ˉlog⁡(1+∣z∣2)=i2dz∧dzˉ(1+∣z∣2)2\omega = \frac{i}{2} \partial\bar{\partial}\log(1+|z|^2) = \frac{i}{2} \frac{dz \wedge d\bar{z}}{(1+|z|^2)^2}
  4. 4

    This is closed (exact on the chart) and positive definite, hence a Kähler form. The resulting metric is the round metric on S².

✓ Answer

ℂP¹ ≅ S² is Kähler: the Fubini-Study form ω = (i/2)∂∂̄ log(1+|z|²) is a positive closed (1,1)-form, giving the round metric on S².

Practice Problems

Hardfree response

What are the three compatible structures on a Kähler manifold, and what is the Kähler condition?

Hardproof writing

Show that on a compact Kähler manifold, b_{2k+1} (odd Betti numbers) are even.

Common Mistakes

Common Mistake

Every complex manifold is Kähler

Not every complex manifold admits a Kähler metric. The Hopf surface S¹ × S³ is a complex manifold that is not Kähler (its first Betti number b₁ = 1 is odd, but compact Kähler manifolds have even odd Betti numbers).

Common Mistake

Kähler = Calabi–Yau

Calabi–Yau manifolds are a special subclass of Kähler manifolds: those with vanishing first Chern class (or equivalently, with a Ricci-flat Kähler metric). Most Kähler manifolds are not Calabi–Yau.

Quiz

The Kähler condition on a Hermitian manifold (M, g, J) is:
A Calabi–Yau manifold is a Kähler manifold with:
The Hodge decomposition for a compact Kähler manifold says:

Historical Background

Erich Kähler introduced Kähler manifolds in 1933 in his study of complex differential geometry. The Hodge decomposition theorem (1941) showed that the cohomology of a compact Kähler manifold splits into holomorphic and anti-holomorphic parts — a fundamental structural result. Eugenio Calabi conjectured in 1954 that Ricci-flat Kähler metrics (Calabi–Yau manifolds) exist on any compact Kähler manifold with vanishing first Chern class. Shing-Tung Yau proved this in 1978 (Fields Medal 1982), and Calabi–Yau manifolds became central to string theory in the 1980s.

  1. 1933

    Kähler introduces Kähler metrics in Über eine bemerkenswerte Hermitesche Metrik

    Erich Kähler

  2. 1941

    Hodge proves the decomposition theorem H^k = ⊕_{p+q=k} H^{p,q} for compact Kähler manifolds

    W.V.D. Hodge

  3. 1954

    Calabi conjectures existence of Ricci-flat Kähler metrics (Calabi conjecture)

    Eugenio Calabi

  4. 1978

    Yau proves the Calabi conjecture, establishing existence of Calabi–Yau manifolds

    Shing-Tung Yau

  5. 1985

    Candelas et al. propose Calabi–Yau manifolds as the extra dimensions in string theory

    Philip Candelas

Summary

  • A Kähler manifold has compatible complex structure J, Hermitian metric g, and symplectic form ω = g(J·,·) with dω = 0.
  • All compact submanifolds of ℂPⁿ (projective varieties) are Kähler; ℂPⁿ itself carries the Fubini-Study metric.
  • The Hodge decomposition H^k = ⊕_{p+q=k} H^{p,q} is the key structural theorem, implying even odd Betti numbers.
  • Calabi–Yau manifolds (Ricci-flat Kähler, c₁=0) exist by Yau's 1978 theorem and appear in string theory as extra dimensions.
  • The Kodaira embedding theorem characterises projective algebraic manifolds as compact Kähler manifolds with a positive line bundle.

References

  1. BookGriffiths, P. and Harris, J. — Principles of Algebraic Geometry, Wiley, 1978, Chapter 0
  2. BookHuybrechts, D. — Complex Geometry: An Introduction, Springer, 2005
  3. WebsiteWikipedia — Kähler manifold
  4. WebsitenLab — Kähler manifold