Complex manifold

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 above (which can be specified as an integrable complex manifold), and an almost-complex manifold, as discussed below.

Implications of complex structure

Since holomorphic functions are much more rigid than smooth functions, the theories of smooth and complex manifolds have very different flavors: compact complex manifolds are much closer to algebraic varieties than to differentiable manifolds.

For example, the Whitney embedding theorem tells us that every smooth manifold can be embedded as a smooth submanifold of Rn, whereas it is "rare" for a complex manifold to have a holomorphic embedding into Cn. Consider for example any compact connected complex manifold M: any holomorphic function on it is locally constant by Liouville's theorem. Now if we had a holomorphic embedding of M into Cn, then the coordinate functions of Cn would restrict to nonconstant holomorphic functions on M, contradicting compactness, except in the case that M is just a point. Complex manifolds that can be embedded in Cn are called Stein manifolds and form a very special class of manifolds including, for example, smooth complex affine algebraic varieties.

The classification of complex manifolds is much more subtle than that of differentiable manifolds. For example, while in dimensions other than four, a given topological manifold has at most finitely many smooth structures, a topological manifold supporting a complex structure can and often does support uncountably many complex structures. Riemann surfaces, two dimensional manifolds equipped with a complex structure, which are topologically classified by the genus, are an important example of this phenomenon. The set of complex structures on a given orientable surface, modulo biholomorphic equivalence, itself forms a complex algebraic variety called a moduli space, the structure of which remains an area of active research.

Since the transition maps between charts are biholomorphic, complex manifolds are, in particular, smooth and canonically oriented (not just orientable: a biholomorphic map to (a subset of) Cn gives an orientation, as biholomorphic maps are orientation-preserving).

Examples of complex manifolds

• Riemann surfaces.
• The Cartesian product of two complex manifolds.
• The inverse image of any noncritical value of a holomorphic map.

Smooth complex algebraic varieties

Smooth complex algebraic varieties are complex manifolds, including:

Similarly, the quaternionic analogs of these are also complex manifolds.

Simply connected

The simply connected 1-dimensional complex manifolds are isomorphic to either:

Note that there are inclusions between these as Δ ⊆ CĈ, but that there are no non-constant maps in the other direction, by Liouville's theorem.

Disk vs. space vs. polydisk

The following spaces are different as complex manifolds, demonstrating the more rigid geometric character of complex manifolds (compared to smooth manifolds):

• the unit disk or open ball, {zCn : ||z|| < 1}
• complex space Cn
• the polydisk
$\{ z=(z_1, z_2, \dots, z_n) \in {\mathbb{C}}^n \mid \vert z_i \vert < 1, \mbox{ for all } i = 1,\dots,n \}.$

Almost complex structures

An almost complex structure on a real manifold is a GLn(C)-structure (in the sense of G-structures) – that is, the tangent bundle is equipped with a linear complex structure.

Concretely, this is an endomorphism of the tangent bundle whose square is −I; this endomorphism is analogous to multiplication by the imaginary number i, and is denoted J (to avoid confusion with the identity matrix I). An almost complex manifold is necessarily even dimensional.

An almost complex structure is weaker than a complex structure: any complex manifold has an almost complex structure, but not every almost complex structure comes from a complex structure. Note that every even dimensional real manifold has an almost complex structure defined locally from the local coordinate chart. The question is whether this complex structure can be defined globally. An almost complex structure that comes from a complex structure is called integrable, and when one wishes to specify a complex structure as opposed to an almost complex structure, one says an integrable complex structure. For integrable complex structures the so-called Nijenhuis tensor vanishes. This tensor is defined on pairs of vector fields, X, Y by

NJ(X, Y) = [X, Y] + J[JX, Y] + J[X, JY] − [JX, JY].

For example, the 6-dimensional sphere S6 has a natural almost complex structure arising from the fact that it is the orthogonal complement of i in the unit sphere of the octonions, but this is not a complex structure. (It is not currently known whether or not the 6-sphere has a complex structure.) Using an almost complex structure we can make sense of holomorphic maps and ask about the existence of holomorphic coordinates on the manifold. The existence of holomorphic coordinates is equivalent to saying the manifold is complex (which is what the chart definition says).

Tensoring the tangent bundle with the complex numbers we get the complexified tangent bundle, on which multiplication by complex numbers makes sense (even if we started with a real manifold). The eigenvalues of an almost complex structure are ±i and the eigenspaces form sub-bundles denoted by T 0, 1M and T 1, 0M. The Newlander–Niremberg theorem shows that an almost complex structure is actually a complex structure precisely when these subbundles are involutive, i.e., closed under the Lie bracket of vector fields, and such an almost complex structure is called integrable.

Kähler and Calabi–Yau manifolds

One can define an analogue of a Riemannian metric for complex manifolds, called a Hermitian metric. Like a Riemannian metric, a Hermitian metric consists of a smoothly varying, positive definite inner product on the tangent bundle, which is Hermitian with respect to the complex structure on the tangent space at each point. As in the Riemannian case, such metrics always exist in abundance on any complex manifold. If the skew symmetric part of such a metric is symplectic, i.e. closed and nondegenerate, then the metric is called Kähler. Kähler structures are much more difficult to come by and are much more rigid.

Examples of Kähler manifolds include smooth projective varieties and more generally any complex submanifold of a Kähler manifold. The Hopf manifolds are examples of complex manifolds that are not Kähler. To construct one, take a complex vector space minus the origin and consider the action of the group of integers on this space by multiplication by exp(n). The quotient is a complex manifold whose first Betti number is one, so by the Hodge theorem, it cannot be Kähler.

A Calabi–Yau manifold is a compact Ricci-flat Kähler manifold or equivalently one whose first Chern class vanishes.

• real-complex manifold

Footnotes

1. ^ One must use the open unit disk in Cn as the model space instead of Cn because these are not isomorphic, unlike for real manifolds.
2. ^ This means that all complex projective spaces are orientable, in contrast to the real case

References

• Kodaira, Kunihiko. Complex Manifolds and Deformation of Complex Structures. Classics in Mathematics. Springer. ISBN 3540226141.

Wikimedia Foundation. 2010.

Look at other dictionaries:

• 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

• Manifold — For other uses, see Manifold (disambiguation). The sphere (surface of a ball) is a two dimensional manifold since it can be represented by a collection of two dimensional maps. In mathematics (specifically in differential geometry and topology),… …   Wikipedia

• Complex differential form — In mathematics, a complex differential form is a differential form on a manifold (usually a complex manifold) which is permitted to have complex coefficients. Complex forms have broad applications in differential geometry. On complex manifolds,… …   Wikipedia

• Complex projective space — The Riemann sphere, the one dimensional complex projective space, i.e. the complex projective line. In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a …   Wikipedia

• Complex dimension — In mathematics, complex dimension usually refers to the dimension of a complex manifold M, or complex algebraic variety V. If the complex dimension is d, the real dimension will be 2d. That is, the smooth manifold M has dimension 2d; and away… …   Wikipedia

• Complex projective plane — In mathematics, the complex projective plane, usually denoted CP2, is the two dimensional complex projective space. It is a complex manifold described by three complex coordinates where, however, the triples differing by an overall rescaling are… …   Wikipedia

• Complex torus — In mathematics, a complex torus is a particular kind of complex manifold M whose underlying smooth manifold is a torus in the usual sense (i.e. the cartesian product of some number N circles). Here N must be the even number 2n, where n is the… …   Wikipedia

• Complex structure — A complex structure may refer to: Almost complex manifold Complex manifold Linear complex structure Complex data structure See also Real structure This disambiguation page lists articles associated with the same title …   Wikipedia

• Complex logarithm — A single branch of the complex logarithm. The hue of the color is used to show the arg (polar coordinate angle) of the complex logarithm. The saturation (intensity) of the color is used to show the modulus of the complex logarithm. The page with… …   Wikipedia

• Complex analytic geometry — In mathematics, complex analytic geometry sometimes denotes the application of complex numbers to plane geometry. Rather than represent a point in the plane as a pair of Cartesian coordinates, it can be represented as a single complex number,… …   Wikipedia