A smooth even-dimensional manifold equipped with a closed, nondegenerate differential 2-form (the symplectic form) that provides a bilinear pairing on each tangent space and underlies Hamiltonian mechanics.

Principle

Nondegeneracy of the 2-form gives a canonical isomorphism between tangent and cotangent spaces; closedness (dω=0) yields local canonical coordinates (Darboux theorem) and conservation properties for Hamiltonian flows.

Demonstration

The standard phase space R^{2n} with coordinates (q,p) and 2-form ω = Σ_i dp_i ∧ dq_i is a symplectic manifold; Hamilton's equations are generated via contraction of ω with the Hamiltonian vector field.

Misapplication

Calling any manifold with a volume form symplectic—volume forms are top-degree and do not supply the required nondegenerate closed 2-form structure.

Consequence

Locally every symplectic manifold admits coordinates where the form takes the standard dp∧dq shape, implying absence of local scalar invariants of the form and rigidity of canonical transformations (symplectomorphisms).

Reversal

Dropping nondegeneracy yields a presymplectic form (degenerate closed 2-form) whose kernel supports constraints; dropping closedness leads to non-symplectic 2-forms without Darboux property.

Boundary

Applies to smooth, even-dimensional manifolds; excludes odd-dimensional manifolds and settings lacking a closed nondegenerate 2-form (e.g., purely volume-preserving structures or Poisson manifolds with singular leaves).

Semantic Tension

Often contrasted with Poisson manifolds: a symplectic manifold has a globally defined nondegenerate 2-form, while a Poisson structure may be degenerate or singular and gives a bivector field instead of a form.

Synthesis

A symplectic manifold is an even-dimensional smooth manifold endowed with a closed, nondegenerate 2-form that locally reduces to the canonical dp∧dq and provides the geometric setting for Hamiltonian dynamics.