1 Definition and basic properties

A symplectic structure is a geometric structure on a smooth even-dimensional space that is determined by a differential 2-form with two key properties: it is closed and nondegenerate. This form gives the space an intrinsic way to pair directions in tangent spaces, making it especially suited to the description of phase space in mechanics and related geometric settings. Because the form is skew-symmetric, the structure is fundamentally different from a Riemannian metric and does not define distances or angles.

1.1 Symplectic manifolds

A symplectic manifold is a smooth manifold equipped with a symplectic form. The manifold must have even dimension, since nondegeneracy forces tangent directions to come in paired form. Symplectic manifolds are the main objects of study in symplectic geometry and provide the natural setting for Hamiltonian dynamics.

1.2 Symplectic form

A symplectic form is a differential 2-form that assigns an oriented area-like quantity to pairs of tangent vectors. It varies smoothly from point to point and encodes the local geometric structure of the manifold. In coordinates, it often appears as a sum of wedge products of paired variables.

1.2.1 Closedness

Closedness means that the exterior derivative of the symplectic form is zero. This condition implies a strong local regularity and is essential for many of the form’s geometric and dynamical consequences. It also underlies the existence of canonical local coordinates.

1.2.2 Nondegeneracy

Nondegeneracy means that the symplectic form pairs tangent vectors in such a way that no nonzero vector is orthogonal to all others under the form. Equivalently, the associated linear map from tangent vectors to covectors is invertible. This property ensures that the manifold has even dimension and allows one to define Hamiltonian vector fields.

1.3 Local normal form

Symplectic structures have a remarkably rigid local behavior. Although global symplectic manifolds may be highly varied, every point has a neighborhood in which the form can be written in a standard model. This local uniformity is one of the defining features of symplectic geometry.

1.3.1 Darboux's theorem

Darboux's theorem states that every symplectic manifold is locally equivalent to standard symplectic space. In practical terms, there are no local invariants of the symplectic form beyond its dimension. This result distinguishes symplectic geometry from many other geometric theories, where curvature or other local quantities play a central role.

1.3.2 Canonical coordinates

Canonical coordinates are local coordinates in which the symplectic form takes its standard expression. They are often written in paired variables such as positions and momenta. In these coordinates, the equations of Hamiltonian mechanics acquire their familiar simplest form.

2 Historical background

The modern theory of symplectic structures developed from the study of classical motion and later became an independent branch of geometry. Its language and methods were shaped by mechanics, differential geometry, and mathematical physics. Over time, the theory expanded from explicit calculations to broad structural and topological questions.

2.1 Origins in classical mechanics

The roots of symplectic geometry lie in the formulation of classical mechanics, where the evolution of a system is described using coordinates for positions and momenta. The need to express conservation laws and equations of motion in a unified way led to the phase-space viewpoint. This perspective naturally suggested the geometric structures now recognized as symplectic.

2.2 Development of symplectic geometry

As mathematics advanced, the formal properties of the phase-space structure were abstracted into a general geometric framework. The study of differential forms and manifolds made it possible to define symplectic forms independently of mechanics. This abstraction revealed deep connections with topology, topology-adjacent invariants, and global geometry.

2.3 Influence on modern mathematical physics

Symplectic ideas have become central to modern mathematical physics because they provide the natural language for classical systems with constraints, conservation laws, and evolution equations. They also appear in quantization schemes and in the geometric study of dynamical systems. The formalism has influenced both the conceptual and computational sides of physics.

3 Linear symplectic algebra

Before considering manifolds, it is useful to study the linear version of symplectic geometry. In finite-dimensional vector spaces, the symplectic form is a nondegenerate alternating bilinear form. This linear theory supplies the algebraic models used in local coordinates and tangent spaces.

3.1 Symplectic vector spaces

A symplectic vector space is a vector space equipped with a nondegenerate skew-symmetric bilinear form. Such a form allows vectors to be paired in a way that resembles oriented area. The linear theory shows many features that later reappear in manifold theory.

3.2 Standard symplectic form

The standard symplectic form on a vector space of dimension 2n is the canonical model used in local computations. It is typically written as a sum of pairings between coordinate directions. This form serves as the template for Darboux coordinates and for the algebra of Hamiltonian systems.

3.3 Symplectic basis

A symplectic basis is a basis adapted to the standard pairing of the symplectic form. It consists of vectors grouped into complementary pairs whose interactions match the canonical form. Such bases simplify matrix representations and clarify the structure of symplectic linear transformations.

3.4 Symplectic matrices

Symplectic matrices are linear transformations that preserve the standard symplectic form. They arise naturally as the linear analogues of symplectomorphisms. Their algebraic constraints are stricter than those of general invertible matrices.

3.4.1 Preservation of the symplectic form

A matrix preserves the symplectic form when applying the transformation to vectors leaves the bilinear pairing unchanged. This preservation condition can be expressed as a specific matrix identity. It ensures that the transformation respects the geometric structure of phase space.

3.4.2 Symplectic group

The symplectic group is the collection of all symplectic matrices of a given size. It forms a Lie group and plays a major role in geometry, representation theory, and mechanics. Its elements describe the linear transformations compatible with symplectic structure.

4 Symplectic manifolds

Symplectic manifolds are the primary setting for the global theory. They combine smooth manifold structure with a closed nondegenerate 2-form, allowing the local model from linear algebra to be applied pointwise. Many natural geometric objects in mechanics and geometry belong to this class.

4.1 Examples

Several standard examples illustrate how symplectic manifolds arise in practice. These examples are important because they connect the abstract definition to concrete geometric and physical systems. They also show that symplectic structures often emerge naturally rather than being imposed artificially.

4.1.1 Cotangent bundles

Cotangent bundles carry a canonical symplectic structure. This makes them fundamental examples in geometry and mechanics, since they represent the phase spaces associated with configuration manifolds. Their symplectic form is built from the natural pairing between positions and covectors.

4.1.2 Phase spaces in mechanics

Phase spaces in classical mechanics are the most familiar symplectic manifolds. They combine coordinate variables and conjugate momenta into a single geometric arena. The symplectic form captures how these variables interact under time evolution.

4.2 Submanifolds

Submanifolds of symplectic manifolds can be classified according to how the symplectic form behaves on their tangent spaces. This classification is central to the study of constrained systems and geometric intersections. Different types of submanifolds have different dimensional and dynamical properties.

4.2.1 Isotropic submanifolds

An isotropic submanifold is one on which the symplectic form vanishes when restricted to tangent vectors. Such submanifolds are constrained by the ambient symplectic structure and cannot be too large in dimension. They often appear in the study of constraints and foliation-like structures.

4.2.2 Coisotropic submanifolds

A coisotropic submanifold is defined by a tangent condition involving the symplectic orthogonal complement. These submanifolds are important in reduction procedures and in the geometry of constrained motion. They often encode conserved or redundant directions.

4.2.3 Lagrangian submanifolds

A Lagrangian submanifold is both isotropic and as large as possible, having half the dimension of the ambient symplectic manifold. Lagrangian submanifolds are central in mechanics, optics, and quantization. They frequently represent the geometric realization of systems with maximal compatibility to the symplectic form.

4.3 Symplectic embeddings and immersions

Symplectic embeddings and immersions are maps between symplectic manifolds that preserve the symplectic structure in a suitable differential sense. They provide a way to compare symplectic spaces of possibly different sizes or complexities. Questions about existence and rigidity of such maps are a major theme in symplectic topology.

5 Hamiltonian mechanics

Hamiltonian mechanics is the classical framework most closely associated with symplectic structures. In this formulation, the state of a system is represented by a point in phase space, and the dynamics are generated by a function called the Hamiltonian. The symplectic form determines how the Hamiltonian produces motion.

5.1 Hamiltonian functions

A Hamiltonian function usually represents the total energy of a system, though it may also encode other conserved quantities or generators of motion. When combined with a symplectic form, it defines a dynamical system on phase space. Different Hamiltonians lead to different trajectories.

5.2 Hamiltonian vector fields

A Hamiltonian vector field is the vector field associated to a Hamiltonian function through the symplectic form. It describes the instantaneous direction of motion for the system. The nondegeneracy of the symplectic form guarantees that this vector field is uniquely determined.

5.3 Poisson brackets

The Poisson bracket is an operation on functions that measures how observables change under the flow generated by another function. It is derived from the symplectic structure and encodes the algebra of classical observables. The bracket satisfies antisymmetry, a Leibniz rule, and the Jacobi identity.

5.4 Hamilton's equations

Hamilton's equations express time evolution in terms of paired coordinate variables. They translate the abstract geometric data into differential equations for positions and momenta. In canonical coordinates, these equations take a simple and widely used form.

5.5 Conserved quantities and symmetries

Symplectic geometry provides a natural language for conservation laws. Symmetries of a Hamiltonian system often correspond to conserved quantities, a relationship that can be understood through geometric invariance and the Poisson bracket. This connection is a central organizing principle in mechanics.

6 Symplectomorphisms and transformations

Transformations that preserve symplectic structure are among the most important maps in the theory. They retain the geometric content of phase space and therefore preserve the form of Hamiltonian mechanics. Their study includes both global diffeomorphisms and infinitesimal flows.

6.1 Symplectic maps

A symplectic map is a smooth map between symplectic manifolds that pulls back one symplectic form to the other. Such maps preserve the essential pairing structure of the space. They are the natural morphisms in symplectic geometry.

6.2 Canonical transformations

Canonical transformations are changes of variables in mechanics that preserve the symplectic form. They allow one to reformulate a system without altering its underlying dynamics. In many cases, they simplify equations or reveal hidden symmetries.

6.3 Flow of Hamiltonian systems

The flow of a Hamiltonian system is generated by its Hamiltonian vector field. This flow consists of time-dependent symplectic transformations, reflecting the fact that evolution preserves the symplectic structure. It provides the geometric meaning of deterministic classical motion.

6.4 Invariance under symplectic diffeomorphisms

Many properties of symplectic systems remain unchanged under symplectic diffeomorphisms. This invariance is crucial for interpreting geometric quantities as intrinsic rather than coordinate-dependent. It also explains why symplectic methods are robust under change of variables.

7 Topological and global aspects

While local symplectic geometry is rigid, global behavior can be subtle and varied. Questions about the existence of symplectic forms, their classification, and their global constraints lead to deep interactions with topology. These issues distinguish symplectic geometry from purely local theories.

7.1 Symplectic cohomology

Symplectic cohomology is a tool used to study noncompact or large-scale symplectic manifolds through algebraic invariants. It captures information about dynamics and geometry that is invisible to local coordinate descriptions. The theory is especially useful in modern symplectic topology.

7.2 Obstructions to symplectic structures

Not every smooth manifold admits a symplectic structure. Topological conditions may prevent the existence of a closed nondegenerate 2-form. Such obstructions help classify which manifolds can support symplectic geometry and reveal the limits of the theory.

7.3 Symplectic invariants

Symplectic invariants are quantities or structures preserved under symplectic transformations. They include numerical and categorical objects arising from topology, dynamics, and analysis. These invariants are essential for distinguishing symplectic manifolds that are locally similar but globally different.

7.4 Compactness and closed manifolds

Compact symplectic manifolds, especially closed ones without boundary, often exhibit strong global properties. Compactness can impose restrictions on dynamics and on the behavior of submanifolds. Such manifolds are central in many classification and existence problems.

Symplectic geometry is closely related to several neighboring theories. Some of these structures generalize symplectic ideas, while others arise from adding extra geometric data. Together they show the broad reach of the symplectic viewpoint.

8.1 Contact geometry

Contact geometry is the odd-dimensional analogue of symplectic geometry. It studies maximally nonintegrable hyperplane fields and often appears as the boundary theory of symplectic manifolds. Many dynamical and geometric constructions move between contact and symplectic settings.

8.2 Kähler manifolds

Kähler manifolds combine symplectic, complex, and Riemannian structures in a compatible way. The symplectic form is linked to the complex structure and metric by strict compatibility conditions. These manifolds are important in geometry and in several areas of mathematical physics.

8.3 Poisson manifolds

Poisson manifolds generalize symplectic manifolds by allowing a Poisson bracket structure that may be degenerate. They can be viewed as spaces with a bracket on functions that need not come from a globally nondegenerate 2-form. Symplectic manifolds are the special case where the Poisson structure is invertible.

8.4 Almost symplectic structures

An almost symplectic structure is a nondegenerate 2-form that is not necessarily closed. It preserves many linear-algebraic features of symplectic geometry but lacks some of the strongest global properties. Such structures help clarify which results depend on closedness and which depend only on nondegeneracy.

9 Applications

Symplectic structures are widely used because they provide a unifying language for motion, conservation, and transformation. Their applications extend from pure mechanics to modern geometric methods in physics and mathematics. The same formalism can describe simple systems and highly sophisticated models.

9.1 Classical mechanics

In classical mechanics, symplectic geometry provides the standard framework for describing the evolution of physical systems. Phase space, Hamiltonians, and conserved quantities are naturally encoded by the symplectic form. This viewpoint remains foundational in analytical mechanics.

9.2 Celestial mechanics

Celestial mechanics uses symplectic methods to study the motion of bodies under mutual gravitational interaction. The geometric formulation helps organize integrals of motion, perturbation methods, and stability questions. Symplectic structure is especially valuable in long-term dynamical analysis.

9.3 Geometric quantization

Geometric quantization is a procedure that seeks to pass from a classical symplectic system to a quantum one. It uses the symplectic form as the starting point for constructing quantum states and operators. Although the theory has technical subtleties, it provides an important bridge between classical and quantum formalisms.

9.4 Integrable systems

Integrable systems are dynamical systems with enough conserved quantities to allow detailed analysis or explicit solution methods. Symplectic geometry supplies the natural language for their phase spaces and commuting flows. Many classical integrable models are most naturally understood in this framework.

10 Advanced topics

Advanced symplectic theory combines geometry, analysis, and topology to study phenomena beyond classical mechanics. These topics often involve subtle invariants and nonlinear analytic methods. They have become central areas of research in modern geometry.

10.1 J-holomorphic curves

J-holomorphic curves are maps from Riemann surfaces into almost complex manifolds that satisfy a nonlinear elliptic equation. In symplectic geometry, they are powerful tools for extracting invariants and studying rigidity. Their introduction transformed the field by linking symplectic topology with complex-analytic methods.

10.2 Floer homology

Floer homology is a homological theory built from infinite-dimensional analogues of Morse theory. In symplectic settings, it is used to study intersections, periodic orbits, and deep structural properties of manifolds. It has become one of the most influential tools in modern symplectic topology.

10.3 Symplectic topology

Symplectic topology studies global and qualitative properties of symplectic manifolds and symplectomorphisms. Unlike local geometry, it focuses on rigidity, embedding problems, and invariants preserved under deformation. The field has revealed many phenomena with no direct analogue in ordinary differential geometry.

10.4 Mirror symmetry

Mirror symmetry is a duality phenomenon connecting symplectic geometry with complex geometry and algebraic structures. In broad terms, it relates symplectic invariants on one space to geometric data on another. The subject has generated extensive interaction between geometry, topology, and mathematical physics.