Kähler manifold

Kähler manifold. In differential geometry and complex geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian metric, and a symplectic form. This rich interplay endows these spaces with exceptional geometric and topological properties, making them central objects of study. The theory was pioneered by Erich Kähler in his 1932 work, and these manifolds form a fundamental bridge between algebraic geometry, global analysis, and theoretical physics.

Definition and basic properties

A Kähler manifold is defined as a complex manifold equipped with a Hermitian metric whose associated fundamental 2-form is closed. This closed form is a symplectic form, ensuring compatibility between the Riemannian structure, the complex structure \(J\), and the symplectic structure. The key condition, \(d\omega = 0\), is known as the Kähler condition. This implies the local existence of a Kähler potential, a real-valued function from which the metric can be derived. Consequently, the Levi-Civita connection preserves the complex structure, meaning its holonomy is contained in the unitary group \(U(n)\). This unified framework simplifies many calculations, as the Riemann curvature tensor enjoys additional symmetries compared to general Riemannian manifolds.

Examples

The most fundamental example is complex Euclidean space \(\mathbb{C}^n\) with its standard Hermitian inner product. The complex projective space \(\mathbb{CP}^n\), endowed with the Fubini–Study metric, is a compact Kähler manifold of paramount importance. Any complex submanifold of a Kähler manifold, such as a smooth projective variety embedded in \(\mathbb{CP}^n\), inherits a Kähler structure. Further examples include complex tori, K3 surfaces, and Calabi–Yau manifolds. Notably, not all compact complex manifolds admit Kähler metrics; a classic obstruction is that all Hodge numbers \(h^{p,q}\) must be non-negative, which fails for the Hopf surface.

Kähler metrics and curvature

The study of Kähler metrics involves special curvature conditions. The Ricci curvature of a Kähler metric can be expressed in terms of the Ricci form, a closed \((1,1)\)-form representing the first Chern class of the manifold. A Kähler metric is called Kähler–Einstein if its Ricci tensor is proportional to the metric tensor. The search for such metrics is a major problem in geometry, deeply connected to the Yau's solution of the Calabi conjecture. Other important classes include metrics of constant holomorphic sectional curvature, which generalize the Fubini–Study metric, and extremal Kähler metrics introduced by Calabi.

Hodge theory on Kähler manifolds

On a compact Kähler manifold, Hodge theory acquires a particularly powerful and refined form due to the Kähler identities. These identities imply the celebrated Hodge decomposition theorem, which states that the de Rham cohomology groups decompose into a direct sum of Dolbeault cohomology groups: \(H^k(M, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(M)\). This decomposition is independent of the choice of Kähler metric. Furthermore, the Hodge diamond exhibits symmetries like Serre duality and complex conjugation. These results forge a profound link between the smooth topology and the complex-analytic structure, underpinning much of algebraic geometry via the Lefschetz hyperplane theorem.

Kähler-Einstein manifolds

A Kähler-Einstein manifold carries a Kähler metric whose Ricci form is proportional to the Kähler form. The existence of such metrics depends crucially on the sign of the first Chern class. The uniformization theorem in complex dimension one generalizes to a trichotomy: for \(c_1(M) < 0\), a theorem of Aubin and Yau guarantees existence; for \(c_1(M) = 0\), Yau's theorem proves existence, yielding Calabi–Yau manifolds; for \(c_1(M) > 0\), the situation is delicate and relates to K-stability and the Yau–Tian–Donaldson conjecture, with breakthroughs by Chen–Donaldson–Sun. Important examples include the complex projective space with the Fubini–Study metric.

Applications in physics

Kähler geometry is indispensable in modern theoretical physics, particularly in string theory and supersymmetry. Calabi–Yau manifolds, which are Ricci-flat Kähler manifolds, provide the required compactification spaces in superstring theory to yield four-dimensional spacetime with N=1 supersymmetry. The moduli spaces of supersymmetric quantum field theories are often Kähler manifolds. In geometric quantization, the Kähler structure provides a natural framework, with the Kähler potential relating to the vacuum functional. Furthermore, special Kähler geometry governs the structure of the vector multiplet moduli space in \(\mathcal{N}=2\) supergravity theories. Category:Differential geometry Category:Complex manifolds Category:Symplectic geometry