Loading field map
Symplectic geometry is the study of symplectic manifolds: smooth even-dimensional spaces equipped with a closed, nondegenerate differential 2-form called a symplectic form. This structure, abstracted from the phase spaces of classical mechanics, gives a geometric language for Hamiltonian dynamics, and it imposes rigid constraints on the topology and geometry of the underlying manifold. The field asks how much of the classical mechanical picture—conservation of energy, the Poisson bracket, canonical transformations—survives in a purely geometric setting, and what new global phenomena emerge from the interplay between the symplectic form and the manifold's shape.
A symplectic manifold \((M, \omega)\) consists of a smooth manifold \(M\) of even dimension \(2n\) and a 2-form \(\omega\) that is closed (\(d\omega = 0\)) and nondegenerate: for every nonzero tangent vector \(v\) at any point, the contraction \(\iotav \omega\) is a nonzero covector. Nondegeneracy forces the dimension to be even and gives an isomorphism between the tangent and cotangent bundles, sending a vector field \(X\) to the 1-form \(\iotaX \omega\). This isomorphism is central: it turns a function \(H\) (a Hamiltonian) into a vector field \(XH\) via \(\iota{X_H}\omega = -dH\), whose flow preserves \(\omega\) and conserves \(H\). The closedness of \(\omega\) ensures that the Poisson bracket of two functions satisfies the Jacobi identity, making the space of smooth functions into a Lie algebra.
The most basic example is \(\mathbb{R}^{2n}\) with coordinates \((q1, \dots, qn, p1, \dots, pn)\) and the standard form \(\omega = \sum dqi \wedge dpi\). The cotangent bundle \(T^*Q\) of any smooth manifold \(Q\) carries a canonical symplectic form, and Darboux's theorem states that every symplectic manifold is locally isomorphic to this standard model: near any point, coordinates exist in which \(\omega\) takes the standard form. This local uniformity means that symplectic geometry is fundamentally global—there are no local invariants beyond the dimension. The central questions therefore concern global obstructions: Which manifolds admit a symplectic structure? When are two symplectic manifolds equivalent? What constraints does the symplectic form impose on the topology of the manifold?
Symplectic geometry emerged from the Hamiltonian formulation of classical mechanics in the 19th century, where the phase space of a mechanical system is a symplectic manifold and time evolution is the flow of a Hamiltonian vector field. For much of the 20th century, the subject was pursued primarily by a small number of mathematicians and physicists, often under the name "analytical mechanics" or "canonical formalism." A major shift occurred in the 1970s and 1980s, when Vladimir Arnold and others recognized that the rigidity of symplectic maps—transformations preserving the symplectic form—had deep consequences for the behavior of Hamiltonian systems. Arnold's conjectures on fixed points of Hamiltonian diffeomorphisms spurred the development of new global techniques, most notably the theory of pseudoholomorphic curves introduced by Mikhail Gromov in 1985. This tool, imported from complex geometry, allowed symplectic geometers to define invariants—such as Gromov–Witten invariants and Floer homology—that could distinguish symplectic manifolds and detect phenomena invisible to classical topology.
A foundational question is which even-dimensional manifolds admit a symplectic structure. Necessary conditions come from the nondegeneracy and closedness of \(\omega\): the manifold must be orientable (since \(\omega^n\) is a volume form), and the cohomology class \([\omega] \in H^2(M; \mathbb{R})\) must satisfy \([\omega]^n \neq 0\). For open manifolds, Gromov's h-principle shows that these conditions are essentially sufficient: any open even-dimensional manifold satisfying them admits a symplectic form. For closed manifolds, the situation is far more restrictive. The existence of a symplectic structure imposes constraints on the fundamental group, the cohomology ring, and the existence of almost complex structures (which are always present on a symplectic manifold, though not uniquely). The classification of symplectic manifolds up to symplectomorphism—a diffeomorphism preserving the symplectic form—remains largely open, even in dimension four, where the interplay with smooth topology is richest.
Symplectic geometry provides the natural setting for Hamiltonian dynamics. A Hamiltonian diffeomorphism is the time-1 map of the flow of a time-dependent Hamiltonian vector field. The Arnold conjecture, now a theorem in many cases via Floer homology, asserts that a Hamiltonian diffeomorphism of a closed symplectic manifold must have at least as many fixed points as a Morse function on the manifold has critical points. This result reveals a rigidity absent in general smooth dynamics: Hamiltonian maps cannot be arbitrarily deformed without creating fixed points. The proof uses Floer homology, which constructs a homology theory from the gradient flow lines of a certain action functional on the loop space, counting pseudoholomorphic curves in the product of the manifold with a cylinder. This approach links the dynamics of Hamiltonian systems to the topology of the underlying symplectic manifold.
Every symplectic manifold admits a compatible almost complex structure—an endomorphism \(J\) of the tangent bundle with \(J^2 = -1\) such that \(\omega(\cdot, J\cdot)\) is a Riemannian metric. This allows one to study \(J\)-holomorphic curves: maps from a Riemann surface into the manifold whose differential is complex-linear. Gromov's compactness theorem ensures that sequences of such curves have limits, often with bubbling, making it possible to define counts of curves that are invariant under symplectic deformations. These counts, the Gromov–Witten invariants, are powerful tools for distinguishing symplectic manifolds and for computing enumerative invariants in algebraic geometry. When the symplectic manifold is Kähler—that is, when the almost complex structure is integrable and the metric is Kähler—these invariants coincide with those from algebraic geometry. For general symplectic manifolds, the pseudoholomorphic curve approach provides invariants that are purely symplectic, not requiring any complex or algebraic structure.
Symplectic geometry is closely tied to contact geometry, which studies odd-dimensional manifolds with a maximally nonintegrable hyperplane field. A contact manifold can be viewed as the boundary of a symplectic filling, and many symplectic invariants have contact analogues. In higher dimensions, the flexibility of symplectic structures is better understood through the h-principle for open manifolds and through the study of Lefschetz fibrations, which decompose a symplectic manifold into simpler pieces. The existence of symplectic structures on manifolds of dimension six and above is still an active area, with techniques from algebraic topology and gauge theory playing a role.
Contemporary symplectic geometry is a mature but rapidly evolving field, with deep connections to mirror symmetry, low-dimensional topology, and mathematical physics. The development of Fukaya categories—algebraic structures encoding the Lagrangian submanifolds of a symplectic manifold and the pseudoholomorphic disks between them—has led to the homological mirror symmetry conjecture, which posits an equivalence between the Fukaya category of a symplectic manifold and the derived category of coherent sheaves on a mirror complex manifold. This conjecture, motivated by string theory, has been proved in many cases and has driven much of the recent progress.
In dimension four, symplectic geometry interacts with smooth topology through the work of Donaldson and others, who used pseudoholomorphic curves to prove that many smooth 4-manifolds admit no symplectic structure, and that symplectic 4-manifolds have a rich structure theory via Lefschetz pencils. The classification of symplectic 4-manifolds up to symplectomorphism remains incomplete, but significant progress has been made using Seiberg–Witten invariants and the theory of stable surfaces.
The field also continues to develop new invariants, such as symplectic cohomology for open manifolds and the various flavors of Floer homology (Lagrangian, Heegaard, instanton), each adapted to different geometric settings. These invariants have found applications beyond symplectic geometry itself, including in the study of knot complements, three-manifold topology, and the dynamics of Reeb flows in contact geometry.
Symplectic geometry thus stands as a discipline that unifies classical mechanics, complex geometry, and modern topology, using a single geometric structure to reveal deep constraints on the shape and dynamics of spaces. Its central tension—between the local uniformity guaranteed by Darboux's theorem and the global rigidity enforced by pseudoholomorphic curves—continues to drive its development.