TOPICS
Search

Kähler Metric


A Kähler metric is a Riemannian metric g on a complex manifold which gives M a Kähler structure, i.e., it is a Kähler manifold with a Kähler form. However, the term "Kähler metric" can also refer to the corresponding Hermitian metric h=g-iomega, where omega is the Kähler form, defined by omega(X,Y)=g(JX,Y). Here, the operator J is the almost complex structure, a linear map on tangent vectors satisfying J^2=-I, induced by multiplication by i. In coordinates z_k=x_k+iy_k, the operator J satisfies J(partial/partialx_k)=partial/partialy_k and J(partial/partialy_k)=-partial/partialx_k.

The operator J depends on the complex structure, and on a Kähler manifold, it must preserve the Kähler metric. For a metric to be Kähler, one additional condition must also be satisfied, namely that it can be expressed in terms of the metric and the complex structure. Near any point p, there exists holomorphic coordinates z_k=x_k+iy_k such that the metric has the form

 g=sumdx_k tensor dx_k+dy_k tensor dy_k+O(|z|^2),

where  tensor denotes the vector space tensor product; that is, it vanishes up to order two at p. Hence, any geometric equation in C^n involving only the first derivatives can be defined on a Kähler manifold. Note that a generic metric can be written to vanish up to order two, but not necessarily in holomorphic coordinates, using a Gaussian coordinate system.


See also

Calibrated Manifold, Complex Manifold, Complex Projective Space, Kähler Form, Kähler Identities, Kähler Manifold, Kähler Potential, Kähler Structure, Projective Algebraic Variety, Riemannian Metric, Symplectic Manifold

This entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Rowland, Todd. "Kähler Metric." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/KaehlerMetric.html

Subject classifications