Kähler manifold

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures; a complex structure, a Riemannian structure, and a symplectic structure. On a Kähler manifold X there exists Kähler potential and the Levi-Civita connection corresponding to the metric of X gives rise to a connection on the canonical line bundle.

Smooth projective algebraic varieties are examples of Kähler manifolds. By Kodaira embedding theorem, Kähler manifolds that have a positive line bundle can always be embedded into projective spaces.

They are named after German mathematician Erich Kähler.

Definitions

Since Kähler manifolds are naturally equipped with several compatible structures, there are many equivalent ways of creating Kähler forms.

Symplectic viewpoint

A Kähler manifold is a symplectic manifold $(K,\omega)$ equipped with an integrable almost-complex structure which is compatible with the symplectic form.^[1]

Complex viewpoint

A Kähler manifold is a Hermitian manifold whose associated Hermitian form is closed. The closed Hermitian form is called the Kähler metric.

Equivalence of definitions

Every Hermitian manifold $K$ is a complex manifold which comes naturally equipped with a Hermitian form $h$ and an integrable, almost complex structure $J$. Assuming that $h$ is closed, there is a canonical symplectic form defined as $\omega = \frac i2 (h - \bar h )$ which is compatible with $J$, hence satisfying the first definition.

On the other hand, any symplectic form compatible with an almost complex structure must be a complex differential form of type $(1,1)$, written in a coordinate chart $(U, z_i)$ as

$\omega = \frac i2 \sum_{j,k} h_{jk} dz_j \wedge d\bar{z_k}$

for $h_{jk} \in C^\infty(U,\mathbb C)$. The added assertions that $\omega$ be real-valued, closed, and non-degenerate guarantee that the $h_{jk}$ define Hermitian forms at each point in $K$.^[1]

Connection between Hermitian and symplectic definitions

Let $h$ be the Hermitian form, $\omega$ the symplectic form, and $J$ the almost complex structure. Since $\omega$ and $J$ are compatible, the new form $g(u,v) = \omega(u,Jv)$ is Riemannian.^[1] One may then summarize the connection between these structures via the identity $h=g - i\omega$.

Kähler potentials

If $K$ is a complex manifold, it can be shown^[1] that every strictly plurisubharmonic function $\rho \in C^\infty(K; \mathbb R)$ gives rise to a Kähler form as

$\omega = \frac i2 \partial \bar\partial \rho$

where $\partial, \bar\partial$ are the Dolbeault operators. The function $\rho$ is said to be a Kähler potential.

In fact, utilizing the holomorphic version of the Poincaré lemma, a partial converse holds true locally. More specifically, if $(K,\omega)$ is a Kähler manifold then about every point $p \in K$ there is a neighbourhood $U$ containing $p$ and a function $\rho \in C^\infty(U,\mathbb R)$ such that $\omega\vert_U = i \partial \bar\partial \rho$ and here $\rho$ is termed a (local) Kähler potential.

Ricci tensor and Kähler manifolds

see Kähler manifolds in Ricci tensor.

The Laplacians on Kähler manifolds

On any Riemannian manifold we can define the Laplacian as $\Delta_d=dd^*+d^*d$ where $d$ is the exterior derivative and $d^*=-(-1)^{nk}\star d\star$, with the Hodge operator $\star$ (alternatively, $d^*$ is the adjoint of $d$ with respect to the $L^2$ scalar product). Furthermore, if X is Kähler then $d$ and $d^*$ are decomposed as

$d=\partial+\bar{\partial},\ \ \ \ d^*=\partial^*+\bar{\partial}^*$

and we can define two other Laplacians

$\Delta_{\bar{\partial}}=\bar{\partial}\bar{\partial}^*+\bar{\partial}^*\bar{\partial},\ \ \ \ \Delta_\partial=\partial\partial^*+\partial^*\partial$

that satisfy

$\Delta_d=2\Delta_{\bar{\partial}}=2\Delta_\partial .$

From these facts we obtain the Hodge decomposition (see Hodge theory)

$\mathbf{H^r}=\bigoplus_{p+q=r}\mathbf{H}^{p,q}$

where $\mathbf{H^r}$ is r-degree harmonic form and $\mathbf{H}^{p,q}$ is {p,q}-degree harmonic form on X. Namely, a differential form $\alpha$ is harmonic if and only if each $\alpha^{i,j}$ belong to the {i,j}-degree harmonic form.

Further, if X is compact then we obtain

$H^p(X,\Omega^q)\simeq H^{p,q}_{\bar{\partial}}(X)\simeq\mathbf{H}^{p,q}$

where $H^{p,q}_{\bar{\partial}}(X)$ is $\bar{\partial}$-harmonic cohomology group. This means that if $\alpha$ is a differential form with {p,q}-degree there is only one element in {p,q}-harmonic form due to Dolbeault theorem.

Let $h^{p,q}=\text{dim} H^{p,q}$, called Hodge number, then we obtain

$b_r=\sum_{p+q=r}h^{p,q},\ \ \ \ h^{p,q}=h^{q,p},\ \ \ \ h^{p,q}=h^{n-p,n-q}.$

The LHS of the first identity, b_r, is r-th Betti number, the second identity comes from that since the Laplacian $\Delta_d$ is a real operator $H^{p,q}=\overline{H^{q,p}}$ and the third identity comes from Serre duality.

Applications

On a Kähler manifold, the associated Kähler form and metric are called Kähler–Einstein (or sometimes Einstein–Kähler) if its Ricci tensor is proportional to the metric tensor, $R = \lambda g$, for some constant λ. This name is a reminder of Einstein's considerations about the cosmological constant. See the article on Einstein manifolds for more details.

Originally the Kähler condition is independent on the Einstein condition, in which Ricci tensor is proportional to Riemannian metric with constant real number. The important point is that if X is Kähler then Christoffel symbols $\Gamma^\alpha_{\beta\gamma}$ vanish and Ricci curvature is much simplified. The Kähler condition, therefore, is closely related with Ricci curvature. In fact Yau proved the Calabi conjecture using the fact that on a compact Kähler manifold with the first Chern class c₁=0 there is a unique Ricci-flat Kähler metric in each Kähler class. But in non-compact case the situation turns to be more complicated and the final solution might not be reached.

Examples

1. Complex Euclidean space Cⁿ with the standard Hermitian metric is a Kähler manifold.
2. A torus Cⁿ/Λ (Λ a full lattice) inherits a flat metric from the Euclidean metric on Cⁿ, and is therefore a compact Kähler manifold.
3. Every Riemannian metric on a Riemann surface is Kähler, since the condition for ω to be closed is trivial in 2 (real) dimensions.
4. Complex projective space CPⁿ admits a homogeneous Kähler metric, the Fubini–Study metric. An Hermitian form in (the vector space) C^n + 1 defines a unitary subgroup U(n + 1) in GL(n + 1,C); a Fubini–Study metric is determined up to homothety (overall scaling) by invariance under such a U(n + 1) action. By elementary linear algebra, any two Fubini–Study metrics are isometric under a projective automorphism of CPⁿ, so it is common to speak of "the" Fubini–Study metric.
5. The induced metric on a complex submanifold of a Kähler manifold is Kähler. In particular, any Stein manifold (embedded in Cⁿ) or projective algebraic variety (embedded in CPⁿ) is of Kähler type. This is fundamental to their analytic theory.
6. The unit complex ball Bⁿ admits a Kähler metric called the Bergman metric which has constant holomorphic sectional curvature.
7. Every K3 surface is Kähler (by a theorem of Y.-T. Siu).

An important subclass of Kähler manifolds are Calabi–Yau manifolds.

See also

• Hermitian manifold
• Almost complex manifold
• Hyper-Kähler manifold
• Kähler–Einstein metric
• Quaternion-Kähler manifold
• Complex Poisson manifold
• Einstein manifold
• Calabi conjecture

References

1. Cannas da Silva, Ana (2008). Lectures on Symplectic Geometry. Springer. ISBN 978-3540421955.

• Deligne, P.; Griffiths, Ph.; Morgan, J.; Sullivan, D., (1975), "Real homotopy theory of Kähler manifolds", Invent. Math. 29: 245–274, doi:10.1007/BF01389853
• Kähler, E. (1933), "Über eine bemerkenswerte Hermitesche Metrik", Abh. Math. Sem. Univ. Hamburg 9: 173–186, doi:10.1007/BF02940642
• Hartshorne, Robin (1977), Algebraic Geometry, Berlin, New York: Springer-Verlag, ISBN 978-0-387-90244-9, MR 0463157, OCLC 13348052
• Alan Huckleberry and Tilman Wurzbacher, eds. Infinite Dimensional Kähler Manifolds (2001), Birkhauser Verlag, Basel ISBN 3-7643-6602-8.
• Moroianu, Andrei (2007), Lectures on Kähler geometry, London Mathematical Society Student Texts 69, Cambridge University Press, ISBN 978-0-521-68897-0, MR 2325093
• Andrei Moroianu, Lectures on Kähler Geometry (2004), http://www.math.polytechnique.fr/~moroianu/tex/kg.pdf
• André Weil, Introduction à l'étude des variétés kählériennes (1958)

External links

• Hazewinkel, Michiel, ed. (2001), "Kähler manifold", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4