In differential geometry, a **complex manifold** is a manifold such that every neighborhood looks like the complex *n*-space. More precisely, a complex manifold has an atlas of charts, such that the change of coordinates between charts are analytic. Complex manifolds can be regarded as a special case of real manifolds of twice the dimension. For example, a 1-dimensional complex manifold is geometrically a surface, known as a Riemann surface. The theory of complex manifolds has a much different flavor than that of real manifolds, since complex analytic functions are much more rigid than smooth functions. For example, by the Whitney embedding theorem, every real manifold can be embedded as a submanifold of **R**^{n}, while it is rare for a complex manifold to be a (complex) submanifold of **C**^{n}. Consider for example any compact complex manifold *M*: any entire function on it must be locally constant, by the extension to several complex variables of Liouville's theorem. This means that *M* cannot be embedded in **C**^{n} unless it has dimension 0. Complex manifolds which can be embedded in **C**^{n} (which are necessarily noncompact) are known as Stein manifolds. One can define an analogue of a Riemannian metric for complex manifolds, called a Kähler metric. Again, unlike the case of real manifolds (which always have Riemannian metrics), it is unusual for a complex manifold to have a Kähler metric.
## Examples of complex manifolds
## Integrable almost-complex structures The definition of complex manifold is by charts; one can ask whether such structures can be defined also by means of conditions on the tangent bundle, given that the tangent bundle to a complex manifold is a complex vector bundle. This is the case, but requires some result from partial differential equation theory: an *integrable* almost complex structure on a manifold *M* comes from a complex manifold structure. In other words, necessary conditions on the tangent bundle level can be given that are also sufficient for the existence of an underlying set of holomorphic charts. |