Loading field map
Symplectic geometry began as the geometric language of Hamiltonian mechanics, where the fundamental object—a symplectic form—encodes the phase space of a physical system. For nearly two centuries, the field was defined by a striking local flexibility: Darboux's theorem states that all symplectic manifolds of the same dimension are locally indistinguishable, so classical symplectic geometry could not distinguish global shapes. This 'softness' changed abruptly in 1985, when Mikhail Gromov introduced pseudoholomorphic curves and proved the non-squeezing theorem, revealing a hidden global rigidity. That rupture split the field into two new frameworks—Symplectic Topology and Contact Geometry—and soon generated a third, Floer Homology, which algebraized the new analytic tools. The story of symplectic geometry is thus a shift from a flexible geometric language to a rigid, algebraic science of global invariants.
Classical symplectic geometry grew out of the work of Lagrange, Hamilton, and Jacobi on the equations of motion. A symplectic manifold is a smooth manifold equipped with a closed, nondegenerate 2-form ω. The form ω provides a pairing between tangent vectors that models the Poisson bracket of classical mechanics. The central result of this period is Darboux's theorem: near any point, a symplectic manifold looks like the standard symplectic vector space ℝ²ⁿ with coordinates (p₁,…,pₙ,q₁,…,qₙ) and ω = Σ dpᵢ ∧ dqᵢ. This means that all symplectic manifolds are locally identical; there are no local invariants. The classical framework therefore focused on global questions that could be answered without local distinctions—for example, the study of Lagrangian submanifolds and the geometry of integrable systems. It provided the foundational language for Hamiltonian dynamics and for the later development of geometric quantization, but it lacked tools to tell one symplectic manifold from another globally.
The classical framework reached its limit when mathematicians tried to understand which symplectic manifolds could be embedded into others. Gromov's 1985 paper introduced pseudoholomorphic curves: maps from a Riemann surface into a symplectic manifold that satisfy a Cauchy–Riemann equation adapted to an almost complex structure compatible with ω. Using these curves, Gromov proved the non-squeezing theorem: a ball of radius R cannot be symplectically embedded into a cylinder of radius r < R, no matter how much one deforms the ball. This was the first global symplectic invariant, and it showed that symplectic geometry is not merely a branch of differential topology—it has its own rigidity. The non-squeezing theorem opened two parallel research programs: one that developed the analytic theory of pseudoholomorphic curves into a full-fledged topology of symplectic manifolds, and another that applied similar ideas to the odd-dimensional cousin of symplectic geometry, contact geometry.
Symplectic Topology is the study of global invariants of symplectic manifolds using pseudoholomorphic curves. Gromov's insight was that although symplectic manifolds do not have a canonical complex structure, they admit many almost complex structures that are compatible with ω, and these are enough to define pseudoholomorphic curves. The moduli spaces of such curves carry numerical invariants—Gromov–Witten invariants—that count curves in a given homology class. These invariants are deformation-invariant and can distinguish symplectic manifolds that are diffeomorphic but not symplectomorphic. Symplectic Topology replaced the classical 'soft' approach with a rigid, analytic one: where Darboux's theorem said all symplectic manifolds are locally the same, pseudoholomorphic curves revealed global constraints that depend on the symplectic form itself. The framework also introduced the concept of symplectic capacities, which generalize the non-squeezing theorem to a family of invariants. Today, Symplectic Topology remains the central framework for understanding the classification and geometry of symplectic manifolds.
Contact geometry is the odd-dimensional analogue of symplectic geometry. A contact manifold is a (2n+1)-dimensional manifold equipped with a maximally non-integrable hyperplane field ξ, locally defined as the kernel of a 1-form α satisfying α ∧ (dα)ⁿ ≠ 0. The relationship between the two frameworks is tight: the symplectization of a contact manifold (taking the product with ℝ and using the symplectic form d(eᵗα)) turns a contact structure into a symplectic cone, and many contact-geometric questions are studied by embedding them into symplectic geometry. Contact Geometry co-developed with Symplectic Topology after 1985, sharing the same analytic tools. For example, pseudoholomorphic curves in the symplectization of a contact manifold produce invariants of the contact structure, such as contact homology. A key distinction within contact geometry is the classification of contact structures into tight (rigid) and overtwisted (flexible) types, a dichotomy that mirrors the soft-versus-rigid tension in symplectic geometry. While Symplectic Topology focuses on even-dimensional manifolds, Contact Geometry extends the same rigidity phenomena to odd dimensions, and the two frameworks constantly exchange techniques and results.
Floer Homology, introduced by Andreas Floer in 1988, took the analytic machinery of Symplectic Topology and turned it into a homological algebra machine. Floer was inspired by Morse theory and by the instanton homology of gauge theory. He defined a homology theory for Lagrangian submanifolds and for symplectic manifolds by counting pseudoholomorphic curves with boundary conditions, or by counting gradient flow lines of a symplectic action functional. The result was a powerful invariant that could prove the Arnold conjecture (a lower bound on the number of fixed points of a Hamiltonian diffeomorphism) and that opened connections to mirror symmetry and low-dimensional topology. Floer Homology absorbed the analytic core of Symplectic Topology—pseudoholomorphic curves—and algebraized it: instead of studying curves directly, one studies chain complexes generated by geometric objects (e.g., intersection points of Lagrangians) and differentials defined by counting curves. This transformation made symplectic geometry part of homological algebra and category theory. Today, Floer Homology comes in many flavors (Lagrangian Floer homology, Heegaard Floer homology, symplectic field theory) and is a standard tool in both Symplectic Topology and Contact Geometry.
The three active frameworks—Symplectic Topology, Contact Geometry, and Floer Homology—share a common foundation in pseudoholomorphic curves and a commitment to global rigidity. They agree that the non-squeezing theorem and its descendants are the central phenomena of the field, and that connections to mirror symmetry, low-dimensional topology, and mathematical physics are among the most fruitful directions. They disagree, however, on what the primary goals should be. Symplectic Topology emphasizes the classification of symplectic manifolds and the computation of Gromov–Witten invariants. Contact Geometry focuses on the classification of contact structures, especially the tight vs. overtwisted dichotomy, and on the dynamics of Reeb flows. Floer Homology, meanwhile, has become a universal algebraic tool: it is used to prove existence results (e.g., of periodic orbits), to define invariants of knots and 3-manifolds, and to construct categorical structures such as the Fukaya category. The frameworks coexist and cross-fertilize: a theorem proved with Floer homology often becomes a theorem in symplectic topology, and contact geometry regularly borrows Floer-theoretic invariants. The classical framework, though no longer a research frontier, remains the indispensable language in which all later work is expressed.
From the local flexibility of Darboux's theorem to the global rigidity of pseudoholomorphic curves and the algebraic depth of Floer homology, symplectic geometry has transformed itself from a language for mechanics into a rich, interconnected network of invariants and categories. The 1985 rupture did not discard the classical framework; it built on it, revealing that beneath the apparent softness lies a hidden, rigid structure that continues to surprise.