Loading field map
Complex geometry studies spaces that locally resemble complex coordinate space ℂⁿ. The central tension that drives the field is the interplay between analytic, algebraic, and geometric methods: a complex manifold can be studied through holomorphic functions, through polynomial equations, through curvature, or through cohomological invariants, and each approach reveals different features. The history of complex geometry is the story of how these frameworks emerged, diverged, and eventually began to re-converge.
The earliest systematic framework for complex geometry grew out of the theory of functions of several complex variables. In one complex variable, holomorphic functions are remarkably flexible: every domain in ℂ is a domain of holomorphy, and every holomorphic function has a local power series expansion. In several variables, the situation is radically different. Most domains are not domains of holomorphy—there exist domains that cannot be the natural region of existence of any holomorphic function. Understanding which domains are "holomorphically convex" became the Levi problem, named after Eugenio Levi's 1911 observation that pseudoconvexity (a condition on the boundary) might characterize domains of holomorphy.
By the 1930s and 1940s, Kiyoshi Oka, Henri Cartan, and others solved the Levi problem using sheaf theory and cohomological methods. The key tool was the sheaf of germs of holomorphic functions, which allowed local analytic data to be patched into global functions. This sheaf-theoretic approach gave complex geometry a powerful language that would later be absorbed into algebraic geometry and differential geometry. Several Complex Variables as a standalone framework narrowed after 1950, not because its problems were solved, but because its tools—sheaves, cohomology, pseudoconvexity—became infrastructure for the newer frameworks that followed.
In the 1930s, two frameworks emerged that would become deeply intertwined. Hodge Theory, initiated by William Hodge, asked a topological question: what constraints does a complex structure impose on the cohomology of a manifold? Hodge's answer was the Hodge decomposition: on a compact Kähler manifold, the complex de Rham cohomology splits into a direct sum of (p,q)-type cohomology groups, and this decomposition is compatible with the manifold's metric structure. The Hodge decomposition links topology (Betti numbers) to complex structure (Hodge numbers) in a way that is both rigid and computable.
Kähler Geometry, named after Erich Kähler's 1933 paper, introduced a special kind of Hermitian metric whose associated 2-form is closed. The Kähler condition is remarkably fertile: it implies that the metric and the complex structure are compatible in a way that makes Hodge theory work, that the manifold is formal in the sense of rational homotopy theory, and that many curvature tensors simplify. Kähler manifolds became the natural setting for almost all subsequent complex geometry.
Hodge Theory and Kähler Geometry reinforce each other: the Kähler condition provides the metric that makes Hodge decomposition possible, and Hodge theory provides invariants that distinguish Kähler manifolds from non-Kähler ones. Together, they gave complex geometry a cohomological and metric foundation that Several Complex Variables lacked. Hodge theory later evolved into variations of Hodge structure (for families of manifolds) and mixed Hodge theory (for singular varieties), while Kähler geometry expanded into the study of Kähler-Einstein metrics and the Calabi-Yau theorem.
Around 1950, complex geometry split into two methodological tracks that would develop in parallel for decades. Both tracks presupposed the Kähler-Hodge foundation, but they asked different questions and used different tools.
Complex Algebraic Geometry studies complex manifolds that can be defined by polynomial equations—projective varieties. The watershed moment was Jean-Pierre Serre's 1956 paper GAGA (Géométrie Algébrique et Géométrie Analytique), which proved that for projective varieties, the analytic and algebraic categories are equivalent: coherent sheaves, cohomology, and even the fundamental group are the same whether computed algebraically or analytically. GAGA meant that algebraic methods—schemes, sheaf cohomology, intersection theory—could be imported wholesale into complex geometry.
This framework focused on classification: the Enriques-Kodaira classification of complex algebraic surfaces, moduli spaces of curves and higher-dimensional varieties, and birational geometry (the minimal model program). Complex algebraic geometry is best at problems where global polynomial equations and discrete invariants (genus, Kodaira dimension, Hodge numbers) are the natural language. It coexists with the differential track by sharing objects (projective varieties are also Kähler manifolds) but diverging in method: algebraic geometers prefer algebraic cycles, Chow groups, and deformation theory over PDEs and curvature.
Complex Differential Geometry, by contrast, treats complex manifolds as Riemannian manifolds with additional structure. The central tool is curvature: the Ricci curvature, the holomorphic bisectional curvature, and the scalar curvature all encode geometric information that algebraic methods cannot directly access. The landmark achievement of this framework was Shing-Tung Yau's 1977 proof of the Calabi conjecture (the Calabi-Yau theorem), which showed that on a compact Kähler manifold with vanishing first Chern class, there exists a unique Ricci-flat Kähler metric in each Kähler class. This result opened up the study of Calabi-Yau manifolds and connected complex geometry to string theory.
Complex differential geometry also developed deformation theory through the Kuranishi theorem and the Bogomolov-Tian-Todorov theorem, which describe how complex structures vary in families. The Yau-Tian-Donaldson conjecture (now largely resolved) linked the existence of Kähler-Einstein metrics to algebro-geometric stability (K-stability), creating a bridge back to algebraic geometry. Complex differential geometry is best at problems where analytic PDEs, curvature estimates, and metric existence are the central questions.
Mirror Symmetry emerged from string theory in the late 1980s and early 1990s, and it fundamentally changed the relationship between complex geometry and symplectic geometry. The core observation is that Calabi-Yau threefolds come in mirror pairs: two manifolds (M, W) such that the Hodge numbers are swapped (h^{1,1}(M) = h^{2,1}(W) and vice versa) and the complex geometry of M encodes the symplectic geometry of W. The physical origin is that type IIA string theory on M is equivalent to type IIB string theory on W.
Mathematically, Mirror Symmetry has two main formulations. The first is the counting of rational curves (Gromov-Witten invariants) on one manifold being determined by period integrals on its mirror—this is the original insight that allowed Candelas, de la Ossa, Green, and Parkes to predict the number of rational curves on a quintic threefold. The second is Kontsevich's homological mirror symmetry conjecture, which posits an equivalence between the derived category of coherent sheaves on M (an algebraic invariant) and the Fukaya category of Lagrangian submanifolds on W (a symplectic invariant).
Mirror Symmetry created a new relationship between complex geometry and symplectic geometry: problems that are intractable on one side become computable on the other. It also revived interest in Several Complex Variables techniques (periods, Picard-Fuchs equations) and pushed complex algebraic geometry toward enumerative geometry and derived categories. Mirror Symmetry remains an active research frontier, with deep connections to the Strominger-Yau-Zaslow conjecture about special Lagrangian fibrations.
Today, all six frameworks remain active, but they have settled into a division of labor. Complex Algebraic Geometry and Complex Differential Geometry are the two dominant tracks, sharing the Kähler-Hodge foundation but diverging in method: algebraic geometry excels at classification and discrete invariants, differential geometry at metric existence and curvature. Hodge Theory and Kähler Geometry serve as shared infrastructure—every complex geometer uses Hodge decomposition and Kähler metrics, regardless of track. Several Complex Variables persists as a specialized toolkit for domains, boundaries, and analytic continuation, but its sheaf-theoretic core has been absorbed into algebraic geometry. Mirror Symmetry acts as a bridge between complex and symplectic geometry, forcing both sides to develop new invariants (Gromov-Witten, Fukaya categories) and to confront questions that neither framework could answer alone.
The leading frameworks agree on the centrality of Kähler manifolds and Hodge theory as the common language. They disagree on what counts as an explanation: algebraic geometers prefer discrete, cohomological, or birational arguments; differential geometers prefer analytic, PDE-based, or metric arguments. This methodological pluralism is a strength—the deepest results in recent decades (the Calabi-Yau theorem, the minimal model program, mirror symmetry) have come from combining frameworks rather than choosing one. The open frontiers include the study of non-Kähler complex manifolds (where Hodge theory fails), the extension of mirror symmetry beyond Calabi-Yau manifolds, and the search for a unified theory of moduli spaces that would bring the algebraic and differential tracks closer together.