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. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, for example the existence of special connections such as Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics. Every smooth complex projective variety is a Kähler manifold. Hodge theory is a central part of algebraic geometry, proved using Kähler metrics.
Definitions Since Kähler manifolds are equipped with several compatible structures, they can be described from different points of view. The equivalence of these points of view essentially comes from the fact that the unitary group U ( n ) {\displaystyle \mathrm {U} (n)} is the intersection of any two groups among G L n ( C ) , S p ( 2 n , R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {C} ),\mathrm {Sp} (2n,\mathbb {R} )} and O ( 2 n ) {\displaystyle \mathrm {O} (2n)} .
Symplectic viewpoint A Kähler manifold is a symplectic manifold ( X , ω ) {\displaystyle (X,\omega )} equipped with an integrable almost-complex structure J {\displaystyle J} which is compatible with the symplectic form ω {\displaystyle \omega } , meaning that the bilinear form
g ( u , v ) = ω ( u , J v ) {\displaystyle g(u,v)=\omega (u,Jv)}
on the tangent space of X {\displaystyle X} at each point is symmetric and positive definite (and hence a Riemannian metric on X {\displaystyle X} ).
Complex viewpoint A Kähler manifold is a complex manifold X {\displaystyle X} with a Hermitian metric h {\displaystyle h} whose associated 2-form ω {\displaystyle \omega } is closed. In more detail, h {\displaystyle h} gives a positive definite Hermitian form on the tangent space T X {\displaystyle TX} at each point of X {\displaystyle X} , and the 2-form ω {\displaystyle \omega } is defined by
ω ( u , v ) = Re h ( i u , v ) = Im h ( u , v ) {\displaystyle \omega (u,v)=\operatorname {Re} h(iu,v)=\operatorname {Im} h(u,v)}
for tangent vectors u {\displaystyle u} and v {\displaystyle v} (where i {\displaystyle i} is the complex number − 1 {\displaystyle {\sqrt {-1}}} ). For a Kähler manifold X {\displaystyle X} , the Kähler form ω {\displaystyle \omega } is a real closed (1,1)-form. A Kähler manifold can also be viewed as a Riemannian manifold, with the Riemannian metric g {\displaystyle g} defined by
g ( u , v ) = Re h ( u , v ) . {\displaystyle g(u,v)=\operatorname {Re} h(u,v).}
… excerpt ends here. Continue reading the full article.
