Hermitian manifold

In mathematics, a Hermitian manifold is the complex analog of a Riemannian manifold. Specifically, a Hermitian manifold is a complex manifold with a smoothly varying Hermitian inner product on each (holomorphic) tangent space. One can also define a Hermitian manifold as a complex manifold with a Riemannian metric that preserves the almost complex structure "J".

There are several related concepts coming from integrability conditions:A Hermitian manifold has a unitary structure (a $U(n)$ -structure), with the almost complex structure integrable. Without the integrability condition, the notion is an almost Hermitian manifold. With an additional integrability condition on the Sp-structure, one obtains a Kähler manifold. With integrability on the Sp-structure but not the almost complex structure, one obtains an almost Kähler manifold.

Formal definition

A Hermitian metric on a complex vector bundle "E" over a smooth manifold "M" is a smoothly varying positive-definite Hermitian form on each fiber. Such a metric can be written as a smooth section: $h in Gamma(Eotimesar E)^*$ such that: $h_p(eta, arzeta) = overline{h_p(zeta, areta)}$ for all ζ, η in "E"_"p" and: $h_p(zeta,arzeta) > 0$ for all nonzero ζ in "E"_"p".

A Hermitian manifold is a complex manifold with a Hermitian metric on its holomorphic tangent space. Likewise, an almost Hermitian manifold is an almost complex manifold with a Hermitian metric on its holomorphic tangent space.

On a Hermitian manifold the metric can be written in local holomorphic coordinates ("z"^{α) as: $h = h_{alphaareta},dz^alphaotimes dar z^eta$ where $h_{alphaareta}$ are the components of a positive-definite Hermitian matrix.}

Riemannian metric and associated form

A Hermitian metric "h" on an (almost) complex manifold "M" defines a Riemannian metric "g" on the underlying smooth manifold. The metric "g" is defined to be the real part of "h":: $g = {1over 2}(h+ar h).$ The form "g" is a symmetric bilinear form on "TM"^C, the complexified tangent bundle. Since "g" is equal to its conjugate it is the complexification of a real form on "TM". The symmetry and positive-definiteness of "g" on "TM" follow from the corresponding properties of "h". In local holomorphic coordinates the metric "g" can be written: $g = {1over 2}h_{alphaareta},(dz^alphaotimes dar z^eta + dar z^etaotimes dz^alpha).$

One can also associate to "h" a complex differential form ω of degree (1,1). The form ω is defined as minus the imaginary part of "h":: $omega = {iover 2}(h-ar h).$ Again since ω is equal to its conjugate it is the complexification of a real form on "TM". The form ω is called variously the associated (1,1) form, the fundamental form, or the Hermitian form. In local holomorphic coordinates ω can be written: $omega = {iover 2}h_{alphaareta},dz^alphawedge dar z^eta.$

It is clear from the coordinate representations that any one of the three forms "h", "g", and ω uniquely determine the other two. The Riemannian metric "g" and associated (1,1) form ω are related by the almost complex structure "J" as follows: $egin{align}omega(u,v) &= g(Ju,v)\ g(u,v) &= omega(u,Jv)end{align}$ for all complex tangent vectors "u" and "v". The Hermitian metric "h" can be recovered from "g" and ω via the identity: $h = g - iomega.,$ All three forms "h", "g", and ω preserve the almost complex structure "J". That is,: $egin{align}h(Ju,Jv) &= h(u,v) \g(Ju,Jv) &= g(u,v) \omega(Ju,Jv) &= omega(u,v)end{align}$ for all complex tangent vectors "u" and "v".

A Hermitian structure on an (almost) complex manifold "M" can therefore be specified by either
#a Hermitian metric "h" as above,
#a Riemannian metric "g" that preserves the almost complex structure "J", or
#a nondegenerate 2-form ω which preserves "J" and is positive-definite in the sense that ω("u", "Ju") > 0 for all nonzero real tangent vectors "u".

Note that many authors call "g" itself the Hermitian metric.

Properties

Every (almost) complex manifold admits a Hermitian metric. This follows directly from the analogous statement for Riemannian metric. Given an arbitrary Riemannian metric "g" on an almost complex manifold "M" one can construct a new metric "g"′ compatible with the almost complex structure "J" in an obvious manner:: $g'(u,v) = {1over 2}left(g(u,v) + g(Ju,Jv)
ight).$

Choosing a Hermitian metric on an almost complex manifold "M" is equivalent to a choice of U("n")-structure on "M"; that is, a reduction of the structure group of the frame bundle of "M" from GL("n",C) to the unitary group U("n"). A unitary frame on an almost Hermitian manifold is complex linear frame which is orthonormal with respect to the Hermitian metric. The unitary frame bundle of "M" is the principal U("n")-bundle of all unitary frames.

Every almost Hermitian manifold "M" has a canonical volume form which is just the Riemannian volume form determined by "g". This form is given in terms of the associated (1,1)-form ω by: $mathrm{vol}_M = frac{omega^n}{n!} in Omega^{n,n}(M)$ where ω^"n" is the wedge product of ω with itself "n" times. The volume form is therefore a real ("n","n")-form on "M". In local holomorphic coordinates the volume form is given by: $mathrm{vol}_M = left(frac{i}{2}
ight)^n det(h_{alphaareta}), dz^1wedge dar z^1wedge cdots wedge dz^nwedge dar z^n.$

Kähler manifolds

The most important class of Hermitian manifolds are Kähler manifolds. These are Hermitian manifolds for which the Hermitian form ω is closed:: $domega = 0,.$ In this case the form ω is called a Kähler form. A Kähler form is a symplectic form, and so Kähler manifolds are naturally symplectic manifolds.

An almost Hermitian manifold whose associated (1,1)-form is closed is naturally called an almost Kähler manifold. Any symplectic manifold admits a compatible almost complex structure making it into an almost Kähler manifold.

Integrability

A Kähler manifold is an almost Hermitian manifold satisfying an integrability condition. This can be stated in several equivalent ways.

Let ("M", "g", ω, "J") be an almost Hermitian manifold of real dimension 2"n" and let ∇ be the Levi-Civita connection of "g". The following are equivalent conditions for "M" to be Kähler:
* ω is closed and "J" is integrable
* ∇"J" = 0,
* ∇ω = 0,
* the holonomy group of ∇ is contained in the unitary group U("n") associated to "J".The equivalence of these conditions corresponds to the "2 out of 3" property of the unitary group.

In particular, if "M" is a Hermitian manifold, the condition dω = 0 is equivalent to the apparently much stronger conditions ∇ω = ∇"J" = 0. The richness of Kähler theory is due in part to these properties.

References

Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

Hermitian connection — In mathematics, the Hermitian connection abla, also called the Chern connection, is the unique connection on a Hermitian manifold that satisfies the following conditions, # It preserves the metric g, i.e., abla g=0. # It preserves the complex… … Wikipedia
Hermitian — A number of mathematical entities are named Hermitian, after the mathematician Charles Hermite:*Hermitian adjoint *Hermitian connection *Hermitian form *Hermitian function *Hermitian hat wavelet *Hermitian kernel *Hermitian manifold/structure… … Wikipedia
Hermitian symmetric space — In mathematics, a Hermitian symmetric space is a Kähler manifold M which, as a Riemannian manifold, is a Riemannian symmetric space. Equivalently, M is a Riemannian symmetric space with a parallel complex structure with respect to which the… … Wikipedia
Kähler manifold — In mathematics, a Kähler manifold is a manifold with unitary structure (a U ( n ) structure) satisfying an integrability condition.In particular, it is a complex manifold, a Riemannian manifold, and a symplectic manifold, with these three… … Wikipedia
Nearly Kähler manifold — In mathematics, a nearly Kähler manifold is an almost Hermitian manifold M, with almost complex structure J, such that the (2,1) tensor is skew symmetric. So, for every vectorfield X on M. In particular, a Kähler manifold is nearly Kähler. The… … Wikipedia
Riemannian manifold — In Riemannian geometry, a Riemannian manifold ( M , g ) (with Riemannian metric g ) is a real differentiable manifold M in which each tangent space is equipped with an inner product g in a manner which varies smoothly from point to point. The… … Wikipedia
Complex manifold — In differential geometry, a complex manifold is a manifold with an atlas of charts to the open unit disk[1] in Cn, such that the transition maps are holomorphic. The term complex manifold is variously used to mean a complex manifold in the sense… … Wikipedia
CR manifold — In mathematics, a CR manifold is a differentiable manifold together with a geometric structure modeled on that of a real hypersurface in a complex vector space, or more generally modeled on an edge of a wedge. Formally, a CR manifold is a… … Wikipedia
Hypercomplex manifold — In differential geometry, a hypercomplex manifold is a manifold with the tangent bundleequipped with an action by the algebra of quaternionsin such a way that the quaternions I, J, Kdefine integrable almost complex structures. Examples Every… … Wikipedia
Almost complex manifold — In mathematics, an almost complex manifold is a smooth manifold equipped with smooth linear complex structure on each tangent space. The existence of this structure is a necessary, but not sufficient, condition for a manifold to be a complex… … Wikipedia

Academic Dictionaries and Encyclopedias

Hermitian manifold

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Hermitian manifold

Look at other dictionaries:

Share the article and excerpts

Direct link