# All Science Fair Projects

## Science Fair Project Encyclopedia for Schools!

 Search    Browse    Forum  Coach    Links    Editor    Help    Tell-a-Friend    Encyclopedia    Dictionary

# Science Fair Project Encyclopedia

For information on any area of science that interests you,
enter a keyword (eg. scientific method, molecule, cloud, carbohydrate etc.).
Or else, you can start by choosing any of the categories below.

# Kähler manifold

(Redirected from Kähler metric)

In mathematics, a Kähler manifold is a complex manifold which also carries a Riemannian metric and a symplectic form on the underlying real manifold in such a way that the three structures (complex, Riemannian, and symplectic) are all mutually compatible. Kähler manifolds can thus be thought of as Riemannian manifolds and symplectic manifolds in a natural way.

Kähler manifolds are named for the mathematician Erich Kähler and are important in algebraic geometry.

 Contents

## Definition

A Kähler metric on a complex manifold M is a hermitian metric on the complexified tangent bundle $TM \otimes \mathbf C$ satisfying a condition that has several equivalent characterizations (the most geometric being that parallel transport gives rise to complex-linear mappings on the tangent spaces). In terms of local coordinates it is specified in this way: if

$h = \sum h_{i\bar j}\; dz^i \otimes d \bar z^j$

is the hermitian metric, then the associated Kähler form (defined up to a factor of i/2) by

$\omega = \sum h_{i\bar j}\; dz^i \wedge d \bar z^j$

is closed: that is, dω = 0. If M carries such a metric it is called a Kähler manifold.

## Examples

1. Complex Euclidean space Cn with the standard Hermitian metric is a Kähler manifold.
2. A complex torus, given by Cn/Λ for some lattice Λ, forms a compact Kähler manifold with the natural metric.
3. Every Riemann surface is a Kähler manifold, since the condition for ω to be closed is trivial in 2 (real) dimensions.
4. Complex projective space CPn has a natural Kähler metric called the Fubini-Study metric . It is essentially determined by the condition that it be invariant under the action of the unitary group (of dimension one larger, acting on the complex vector space giving rise to the projective space).
5. Any complex submanifold of a Kähler manifold is Kähler. In particular, any complex manifold that can be embedded in Cn or CPn is Kähler.
6. The restriction properties of the Fubini-Study metric mean that non-singular projective complex algebraic varieties carry Kähler metrics. This is fundamental to their analytic theory.

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