Complex manifold
Generated by GPT-5-miniExpansion Funnel Raw 94 → Dedup 0 → NER 0 → Enqueued 0
| Complex manifold | |
|---|---|
 Gpeyre · CC BY-SA 4.0 · source | |
| Name | Complex manifold |
| Dimension | Complex dimension n |
| Coordinates | Holomorphic charts |
| Examples | Riemann surface, complex torus, complex projective space |
Complex manifold A complex manifold is a topological space locally modeled on open sets of C^n with transition maps given by holomorphic functions; it generalizes Riemann surface theory and underpins study in Algebraic geometry, Complex analysis, and Differential geometry. Origins trace through work of Bernhard Riemann, Henri Poincaré, Hermann Weyl, and later formalization by Kurt Friedrichs and others, influencing developments in Hodge theory, Index theorem, and Mirror symmetry.
Definition and basic examples
A complex manifold of complex dimension n is a second-countable Hausdorff space equipped with an atlas of charts mapping to open subsets of C^n whose transition functions are holomorphic; foundational examples include Riemann surfaces such as the Riemann sphere, complex tori like those arising from lattices studied by Augustin-Louis Cauchy and Niels Henrik Abel, and projective models such as Complex projective space CP^n which feature prominently in Projective geometry and Enumerative geometry. Other standard examples are noncompact domains like the unit ball studied by Stefan Bergman and Élie Cartan and bounded symmetric domains classified by Élie Cartan and appearing in work by Harish-Chandra. Constructions include products, coverings as in the theory of Universal covering space, and quotients by discrete groups such as lattices considered by Hermann Minkowski and Jean-Pierre Serre.
Complex structure and charts
The complex structure is an atlas of compatible charts to C^n; existence criteria relate to the vanishing of certain integrability conditions expressed by the Newlander–Nirenberg theorem proved by Albert Nijenhuis and Louis Nirenberg and employing techniques from Partial differential equation theory used by Charles Fefferman. Local holomorphic coordinates link to the notion of almost complex structures studied by Shiing-Shen Chern and André Weil; the obstruction to an almost complex manifold admitting a complex structure is captured by the Nijenhuis tensor and integrability statements connected to results of Jean-Pierre Serre and Kunihiko Kodaira. Charts and transition maps are central to gluing constructions used by Alexander Grothendieck in scheme theory and by David Mumford in moduli problems.
Holomorphic maps and morphisms
Holomorphic maps between complex manifolds generalize holomorphic functions on Riemann surfaces and serve as morphisms in categories considered by Alexander Grothendieck and Jean-Pierre Serre. Key theorems include the Open mapping theorem and Maximum modulus principle with roots in work of Karl Weierstrass and Augustin-Louis Cauchy, while extension results relate to the Hartogs phenomenon and the Oka–Grauert principle developed by Kiyoshi Oka and Hans Grauert. Proper holomorphic maps and embeddings connect to the Nash embedding theorem context in John Nash's work and to rigidity results like those of André Weil and George Mostow in Mostow rigidity. Morphisms also underlie moduli problems as studied by Mikhail Gromov and Maxim Kontsevich.
Complex submanifolds and divisors
Complex submanifolds arise as zero loci of holomorphic sections of vector bundles studied by Hirzebruch–Riemann–Roch theorem contexts and by Michael Atiyah and Isadore Singer in index theory. Divisors appear in the classification of line bundles and in the construction of Picard groups and Jacobian varietys, central to work by André Weil and Oscar Zariski. Notions such as Cartier divisors and Weil divisors are pivotal in Algebraic geometry treatments by Alexander Grothendieck and Jean-Pierre Serre, while intersection theory for divisors uses tools from Lefschetz hyperplane theorem frameworks developed by Solomon Lefschetz. Singular subvarieties and resolution techniques connect to Heisuke Hironaka's resolution of singularities and to stratification theories studied by René Thom.
Sheaves, cohomology, and Dolbeault theory
Sheaf-theoretic methods introduced by Jean Leray and systematized by Alexander Grothendieck are essential: coherent analytic sheaves, Cartan's theorems A and B from Henri Cartan, and Serre duality link to Dolbeault cohomology and the \bar\partial-operator analyzed by Lars Hörmander and Henri Skoda. The Dolbeault isomorphism ties sheaf cohomology to differential forms used in Hodge decomposition proven by W.V.D. Hodge and refined in Deligne's mixed Hodge structures. Elliptic operator techniques from Michael Atiyah and Isadore Singer yield index formulae used to compute Euler characteristics of coherent sheaves, while spectral sequence machinery developed by Jean Leray and Henri Cartan organizes filtrations in complex geometry.
Special classes and examples
Important special classes include compact Kähler manifolds central to Kähler geometry studied by Élie Cartan and Kunihiko Kodaira; Calabi–Yau manifolds pivotal in Calabi conjecture proved by Shing-Tung Yau and in String theory contexts explored by Edward Witten and Maxim Kontsevich; projective varieties studied in Mumford's geometric invariant theory; complex tori and abelian varieties developed by Niels Henrik Abel and Jacobi; and non-Kähler examples such as Hopf surfaces investigated by Heinz Hopf. Other classes include Stein manifolds advancing Oka theory and complex surfaces classified in the Enriques–Kodaira classification refined by Kunihiko Kodaira and Igor Dolgachev.
Applications and connections to other fields
Complex manifolds interface with Algebraic topology through Chern classs and characteristic classes from Shiing-Shen Chern, with Differential topology via exotic structure questions pursued by John Milnor, and with Mathematical physics through Mirror symmetry and Topological quantum field theory studied by Edward Witten and Kontsevich. They underpin moduli theory in Algebraic geometry explored by David Mumford and Pierre Deligne, form the analytic foundation for Number theory topics like complex multiplication investigated by Goro Shimura and Yutaka Taniyama, and contribute to complex dynamics as in work by Pierre Fatou and Gaston Julia. Computational and applied links include methods in Signal processing and complex methods in Control theory influenced by techniques from Niels Henrik Abel and Laplace-based analysis.