Symplectic and Poisson Structures

Updated 23 January 2026

Symplectic and Poisson structures are foundational frameworks that define Hamiltonian systems through nondegenerate 2-forms and bivector fields, capturing both regular and singular behaviors.
They establish local and global geometric properties via Darboux’s theorem, symplectic foliations, and the Weinstein splitting theorem, ensuring systematic analysis of phase spaces.
Their applications range from invariant structures in homogeneous spaces to derived moduli stacks and multisymplectic field theories, offering practical tools for advanced geometric analysis.

Symplectic and Poisson structures are foundational geometric frameworks that encode both the local and global algebraic features of classical, derived, and singular phase spaces. Symplectic geometry provides the structure underlying classical Hamiltonian mechanics, while Poisson geometry generalizes these ideas to possibly degenerate and singular settings, encompassing phenomena from integrable systems and foliation theory to moduli spaces and quantization.

1. Fundamental Definitions and Local Structure

A symplectic manifold $(M^{2n},\omega)$ is a differentiable manifold equipped with a closed, nondegenerate 2-form $\omega$ (Contreras et al., 2024). Nondegeneracy implies that for each $p \in M$ , the skew-symmetric bilinear form $\omega_p$ induces an isomorphism $T_pM \to T_p^*M$ . The canonical local structure is ensured by Darboux's theorem: every symplectic form is locally equivalent to the standard form $\sum_{i=1}^n dx_i \wedge dy_i$ (Roubtsov et al., 2020, Contreras et al., 2024).

A Poisson manifold $(M,\pi)$ consists of a manifold and a bivector field $\pi$ ( $\pi \in \Gamma(\wedge^2 TM)$ ) such that the Schouten-Nijenhuis bracket vanishes: $[\pi,\pi]_{SN}=0$ . This structure induces a Lie bracket on $C^\infty(M)$ given by $\{f,g\} = \pi(df,dg)$ (Contreras et al., 2024, Roubtsov et al., 2020).

Every symplectic manifold gives rise to a nondegenerate Poisson structure $\pi = \omega^{-1}$ . Conversely, general Poisson manifolds may have degeneracies; their geometric complexity is characterized by the symplectic foliation, wherein $M$ decomposes into symplectic leaves of possibly varying dimension (Contreras et al., 2024, Abouqateb et al., 8 Apr 2025).

2. Symplectic Foliations, Regular and Singular Structures

Symplectic foliations on Poisson manifolds are determined by the rank stratification of $\pi$ . The Weinstein splitting theorem ensures that locally, the Poisson bivector decomposes into a nondegenerate (symplectic) part and a transversal, possibly degenerate (singular) part (Contreras et al., 2024).

In the regular case, all leaves have the same dimension. For corank-one regular Poisson manifolds, a complete classification (with global normal forms) associates such manifolds to mapping tori of symplectomorphisms, and characterizes obstructions via closedness of defining forms (Guillemin et al., 2010). Such manifolds appear as singular hypersurfaces (critical sets) in Poisson b-manifolds, with canonical "logarithmic" local models (Guillemin et al., 2010, Garmendia et al., 2024).

Singular Poisson structures arise naturally in the context of near-symplectic manifolds (in dimension four, for example, when symplectic forms vanish transversely on 1-dimensional loci). Such structures can be constructed explicitly, and their Poisson cohomology analyzed in detail; notably, the only nontrivial cohomology in positive degree is associated with the modular vector field (Batakidis et al., 2017).

3. Symplectic and Poisson Structures on Stratified and Singular Spaces

On stratified spaces (e.g., singular quotients, orbit closures), one defines a Poisson smooth structure and a weakly symplectic structure by requiring a compatible sheaf of smooth functions and a closed, possibly degenerate form that restricts to genuine symplectic forms on each stratum (Le et al., 2010). Under mild conditions, crucial features of the symplectic toolkit—Hamiltonian flows, Brylinski–Poisson and de Rham homology isomorphism, Lefschetz decomposition—extend to this setting, allowing for a near-complete translation of classical theory to singular spaces.

These methods formalize and generalize earlier constructions such as the stratified symplectic structures appearing in symplectic reduction (Sjamaar–Lerman theory), nilpotent orbit closures, and pseudomanifolds with conical singularities (Le et al., 2010).

4. Homogeneous, Invariant, and Derived Structures

For homogeneous spaces $M=G/H$ , the analysis of invariant Poisson and symplectic tensors is closely linked to algebraic data:

Invariant Poisson tensors correspond to Ad( $H$ )-invariant elements in $\wedge^2(\mathfrak{g}/\mathfrak{h})$ satisfying a (generalized) classical Yang–Baxter equation (Abouqateb et al., 8 Apr 2025).
There is a bijection between invariant Poisson structures on $G/H$ and pairs $(\mathfrak{a},\omega)$ (Lie subalgebra, Ad( $H$ )-invariant 2-cocycle) with nondegeneracy conditions on radicals (Abouqateb et al., 8 Apr 2025).
The symplectic leaves are themselves homogeneous symplectic manifolds, with explicit forms constructed via these algebraic correspondences (Abouqateb et al., 8 Apr 2025).

In the derived algebraic geometry context, shifted symplectic and Poisson structures appear on derived moduli stacks and mapping spaces, formalized via the de Rham algebra, shifted cotangent complexes, and the Cartan–de Rham or Getzler–Cartan complexes (Spaide, 2016, Yeung, 2021). In this setting, closed 2-forms of "shift" $n$ (classes in the negative cyclic complex) and nondegeneracy (quasi-isomorphism conditions) underpin the geometry of moduli of sheaves, local systems, and intersection theory in derived categories.

5. Extensions: Lie Algebroids, Generalized Geometries, and Analytic Regularity

Many degenerate Poisson structures (e.g., log-symplectic, $b^k$ -symplectic, elliptic, scattering) are best understood as symplectic structures on Lie algebroids. These algebroids replace the tangent bundle with a sub-bundle adapted to the degeneracy locus (e.g., $b$ -tangent bundle for singularities along hypersurfaces) (Klaasse, 2018, Garmendia et al., 2024). The obstruction theory for existence is then governed by characteristic classes (e.g., Stiefel–Whitney, Pontryagin), and explicit calculations provide obstructions or existence criteria for symplectic algebroid structures in various topological settings (Klaasse, 2018).

In analytic settings, the theory extends to spaces of lower regularity, such as Sobolev loop spaces $W^{s,p}(S^1;\mathbb{R}^m)$ with $0 < s \leq 1/2$ . The canonical presymplectic form and hydrodynamic-type Poisson operators (local and weakly nonlocal) are well-posed for these spaces, allowing the extension of Hamiltonian integrable PDE formalism beyond smooth settings (Magnot, 7 Oct 2025).

Non-smooth symplectic and Poisson geometry can be addressed in the Colombeau algebra framework, where one defines generalized symplectic forms as closed, nondegenerate elements of the module of generalized 2-forms, extending Darboux theorems and Hamiltonian flows to discontinuous or distributional data (Hoermann et al., 2014).

6. Global Models, Realizations, and Resolutions

Explicit global models and realizations are available for significant families of Poisson structures:

For a large three-parameter family in dimension three (encompassing, e.g., the Halphen system and Euler top), Casimir functions, symplectic leaves, and canonical coordinates are constructed globally and explicitly (Hernández-Bermejo, 2019).
Symplectic realizations embed (possibly singular) Poisson manifolds into higher-dimensional symplectic manifolds, recasting the Poisson bracket as a projection of a canonical symplectic bracket via a Bopp-shift-type transformation. The theory extends to quasi-Poisson (non-associative) structures and finds application in deformation quantization and string/M-theory (Kupriyanov, 2018).
Dimension-preserving symplectic resolutions (Σ,ω,φ:Σ→M) are possible under restrictive conditions; when the singular set has codimension one, strong obstructions emerge, with results showing that, for instance, holomorphic Poisson structures admit such resolutions if and only if they are already symplectic (Lassoued, 2017).

7. Generalizations: Multisymplectic, Graded, and Field-Theoretic Structures

The classical notion is broadened in graded (multi-)symplectic, graded Poisson, and Dirac structures, which are pivotal in field theory and multisymplectic geometry (León et al., 2024).

Multisymplectic forms $\omega \in \Omega^{k+1}(M)$ generalize symplectic forms to higher degree.
Graded Poisson and Dirac structures include sequences of bundle pairs and compatibility maps encoding higher-order "Hamiltonian" and "multi-moment" structures, with local and global bracket properties extending the classical case.
Such frameworks provide the geometric language for De Donder–Weyl theory, graded quantization, and the BV-BRST formalism, and yield higher analogues of symplectic and Poisson reductions, integrability, and Lie-theoretic constructions (León et al., 2024).