Gromov compactness theorem

Gromov compactness theorem
Name	Gromov compactness theorem
Field	Differential geometry; Symplectic topology
Introduced	1985
Key figures	Mikhail Gromov; Yakov Eliashberg; Simon Donaldson; Richard Hamilton; Andreas Floer
Related concepts	Pseudoholomorphic curve; Moduli space; J-holomorphic map; Bubbling analysis

Gromov compactness theorem Gromov compactness theorem gives a compactness criterion for sequences of J-holomorphic maps from Riemann surfaces into symplectic manifolds, describing convergence up to bubbling and nodal degeneration. The theorem underpins the construction of moduli spaces used in symplectic topology and interacts with results in Riemannian geometry, geometric analysis, and gauge theory. Its formulation and proofs connect work of Mikhail Gromov with subsequent advances by Andreas Floer, Simon Donaldson, Yakov Eliashberg, and Richard Hamilton.

Statement of the theorem

The theorem asserts that for a sequence of stable maps from closed Riemann surfaces with marked points into a fixed compact symplectic manifold with a compatible almost complex structure, any sequence with uniformly bounded energy has a subsequence converging (in the sense of Gromov) to a stable nodal J-holomorphic map after reparametrization. This statement situates J-holomorphic curves, moduli spaces, Deligne–Mumford compactification, and bubbling phenomena within the frameworks developed by Mikhail Gromov, Phillip Griffiths, John Milnor, and Pierre Deligne. The conclusion combines notions of convergence used by Richard Hamilton in Ricci flow, the compactness techniques familiar from Armand Borel and André Weil, and the analytic estimates related to Karen Uhlenbeck and Clifford Taubes.

Historical context and motivations

Gromov introduced the theorem in his 1985 paper, influenced by prior work in complex analysis and symplectic topology by Henri Cartan, Lars Ahlfors, and Alexander Grothendieck's students in moduli theory. The motivation came from questions posed in the study of symplectic invariants such as those later formalized by Andreas Floer, Simon Donaldson, and Yakov Eliashberg, and from parallels with compactness theorems in gauge theory by Karen Uhlenbeck and Michael Freedman. The result bridged insights from complex algebraic geometry as developed by David Mumford and Yuri Manin, and analytic techniques from Richard Hamilton and Shing-Tung Yau.

Proof outline and key ideas

The proof proceeds by energy quantization, removable singularity theorems, and a bubbling analysis that produces sphere and disk bubbles modeled on work by Charles Fefferman and Lars Hörmander in elliptic PDE theory. One begins with uniform C^0 and energy bounds, applies elliptic bootstrapping akin to results used by Terence Tao and Elias Stein, and uses reparametrization via Möbius transformations linked to classical ideas of Henri Poincaré and Felix Klein. The Deligne–Mumford compactification of stable curves, developed by Pierre Deligne and David Mumford, provides the framework to encode nodal degeneration, while analytic compactness exploits estimates related to Karen Uhlenbeck and Clifford Taubes. Key lemmas invoke monotonicity formulas comparable to those employed by Richard Hamilton and Grigori Perelman in geometric flows.

Variants and generalizations

Variants include versions for bordered Riemann surfaces with Lagrangian boundary conditions studied by Yakov Eliashberg and Paul Seidel, equivariant compactness statements associated with group actions explored by Michael Atiyah and Raoul Bott, and versions for noncompact target manifolds with convexity at infinity used by Helmut Hofer and Klaus Mohnke. Generalizations extend to pseudoholomorphic quilts due to Katrin Wehrheim and Chris Woodward, to stable map compactifications in algebraic geometry by Maxim Kontsevich and Behrend–Fantechi virtual fundamental class techniques, and to sequences with varying almost complex structures as in work by Dusa McDuff and Dietmar Salamon.

Applications in symplectic geometry and Riemannian geometry

The theorem is foundational for defining Gromov–Witten invariants pioneered by Maxim Kontsevich and Edward Witten, for techniques in symplectic field theory initiated by Yakov Eliashberg and Helmut Hofer, and for Floer homology constructions due to Andreas Floer and Paul Seidel. It underlies results in enumerative geometry connected to Alexander Givental and Yuri Manin, informs Lagrangian intersection theory from works by Kenji Fukaya and Paul Seidel, and impacts studies of minimal surfaces and harmonic maps influenced by Richard Schoen and Leon Simon. In Riemannian geometry, the bubbling analysis resonates with compactness theorems for metrics explored by Michael Anderson and Gilles Carron and with singularity analysis in geometric flows by Richard Hamilton and Grigori Perelman.

Examples and counterexamples

Standard examples exhibiting the theorem include sequences of holomorphic maps from the Riemann sphere into complex projective space studied by Henri Poincaré and Friedrich Hirzebruch, where concentration of energy produces rational curve bubbles as in work by David Mumford and Yuri Manin. Counterexamples to stronger compactness without energy bounds arise from constructions related to Nekhoroshev instability and noncompactness examples considered by Victor Guillemin and Shlomo Sternberg; these demonstrate necessity of energy control and stability conditions emphasized by Maxim Kontsevich and Behrend. Examples with boundary bubbling for Lagrangian submanifolds connect to constructions by Kenji Fukaya, Paul Seidel, and Mohammed Abouzaid.

Category:Symplectic topology