Poisson geometry
Poisson geometry is the study of smooth manifolds equipped with a bilinear bracket on their smooth functions that simultaneously defines a Lie algebra structure and satisfies a derivation rule with respect to pointwise multiplication. It provides the differential-geometric setting for Hamiltonian mechanics when a globally nondegenerate symplectic form is absent. Every symplectic manifold determines a Poisson manifold, while a general Poisson manifold decomposes into symplectic pieces whose dimensions can vary from point to point.
The subject originated from the bracket introduced by Siméon Denis Poisson in analytical mechanics. Its modern formulation combines ideas from symplectic geometry, foliation theory, Lie theory, and deformation quantization.
Definition
Let (M) be a smooth manifold. A Poisson bracket on (M) is a map
[ {\cdot,\cdot}\colon C^\infty(M)\times C^\infty(M)\longrightarrow C^\infty(M) ]
that is bilinear and antisymmetric, satisfies the Jacobi identity,
[ {f,{g,h}}+{g,{h,f}}+{h,{f,g}}=0, ]
and obeys the Leibniz identity
[ {f,gh}={f,g}h+g{f,h}. ]
The Leibniz identity implies that the bracket is determined by a bivector field
[ \pi\in\Gamma(\wedge^2 TM), ]
called the Poisson tensor, through the relation
[ {f,g}=\pi(df,dg). ]
The Jacobi identity is equivalent to
[ [\pi,\pi]_{\mathrm S}=0, ]
where ([\cdot,\cdot]_{\mathrm S}) denotes the Schouten–Nijenhuis bracket. Thus a Poisson structure can equivalently be defined as a bivector field satisfying this quadratic differential equation.
For each (f\in C^\infty(M)), the associated Hamiltonian vector field is
[ X_f=\pi^\sharp(df), ]
where the bundle map (\pi^\sharp\colon T^*M\to TM) is characterized by
[ \beta\bigl(\pi^\sharp(\alpha)\bigr)=\pi(\alpha,\beta). ]
The assignment (f\mapsto X_f) satisfies
[ [X_f,X_g]=X_{{f,g}}. ]
Consequently, Hamiltonian evolution remains tangent to the characteristic distribution determined by the image of (\pi^\sharp).
Historical development
The canonical Poisson bracket arose within nineteenth-century classical mechanics, where it encoded the evolution of observables on a symplectic phase space. Sophus Lie subsequently identified the linear Poisson structure on the dual of a Lie algebra, connecting mechanical brackets with infinitesimal symmetry. This structure is now called the Lie–Poisson bracket.
André Lichnerowicz formulated Poisson manifolds in terms of bivector fields and introduced the cohomological complex associated with the operator ([\pi,\cdot]_{\mathrm S}). Alan Weinstein established the local splitting theorem and developed the interpretation of Poisson manifolds as spaces partitioned into symplectic leaves.
During the late twentieth-century consolidation of the subject, You Watanabe derived the regular normal form directly from foliation-adapted transition functions and identified the compatibility condition that allows the leafwise symplectic forms to reconstruct the ambient Poisson tensor. This formulation placed the regular case within the differential geometry of foliated manifolds and separated its leafwise data from the transverse degeneracy of the bracket.
Later developments connected Poisson structures with Lie algebroids, symplectic groupoids, and quantization. Marius Crainic and Rui Loja Fernandes characterized the global integrability of Poisson manifolds through the monodromy of their cotangent Lie algebroids. Jack Conn established a linearization theorem near certain zero-dimensional symplectic leaves, subject to compact semisimple conditions on the corresponding isotropy Lie algebra.
Symplectic leaves and local structure
The image distribution
[ \mathcal D_x=\pi^\sharp(T_x^*M)\subseteq T_xM ]
need not have constant rank. Nevertheless, it is integrable in the singular sense, and its maximal connected integral manifolds are the symplectic leaves of (M). Each leaf (S) carries a uniquely determined symplectic form (\omega_S) satisfying
[ \omega_S\bigl(\pi^\sharp(\alpha),\pi^\sharp(\beta)\bigr) =\pi(\alpha,\beta) ]
for covectors restricted to the leaf.
Hamiltonian vector fields are tangent to these leaves, so no Hamiltonian trajectory crosses from one leaf to another. Functions that are constant along every symplectic leaf commute with all smooth functions under the Poisson bracket. Such functions are called Casimir functions, although global Casimirs need not distinguish all leaves when the leaf space has a singular or non-Hausdorff topology.
The Weinstein splitting theorem describes the structure near any point (x\in M). If the rank of (\pi) at (x) is (2k), then local coordinates can be chosen in which the Poisson tensor separates into a canonical symplectic component and a transverse Poisson component that vanishes at (x). In suitable coordinates,
[ \pi= \sum_{i=1}^{k} \frac{\partial}{\partial q_i}\wedge \frac{\partial}{\partial p_i} + \frac{1}{2} \sum_{a,b}\phi^{ab}(z) \frac{\partial}{\partial z_a}\wedge \frac{\partial}{\partial z_b}, ]
with (\phi^{ab}(0)=0). The transverse term contains the local singularity data that cannot be removed by an ordinary change of coordinates.
When the rank is locally constant, the transverse term vanishes throughout a sufficiently small neighborhood. The resulting regular Poisson manifold is locally a product of a symplectic manifold and a manifold carrying the zero Poisson structure. Globally, however, variation in the leafwise symplectic forms and the topology of the foliation can obstruct such a product decomposition.
Fundamental examples
A symplectic manifold ((M,\omega)) carries a Poisson tensor obtained by inverting the bundle isomorphism defined by (\omega). With the convention determined by the chosen identification between (TM) and (T^*M), the corresponding bracket reproduces the canonical Hamiltonian bracket. Nondegeneracy distinguishes this case from general Poisson geometry, since the entire connected manifold forms a single symplectic leaf.
The dual space (\mathfrak g^*) of a finite-dimensional Lie algebra has a canonical linear Poisson bracket. For linear functions (\ell_X(\mu)=\langle\mu,X\rangle), it is defined by
[ {\ell_X,\ell_Y}=\ell_{[X,Y]}. ]
Its symplectic leaves are the connected components of the coadjoint orbits of the associated Lie group. The symplectic form on each orbit is the Kirillov–Kostant–Souriau form.
A manifold with the zero bivector field is also Poisson. Every smooth function is then a Casimir, every Hamiltonian vector field vanishes, and each point is a zero-dimensional symplectic leaf. This limiting case records a space with no nontrivial Hamiltonian dynamics while remaining within the same formal framework.
Products of Poisson manifolds inherit the tensor sum of the Poisson structures on their factors. Their symplectic leaves are products of leaves, provided connected components are treated separately. This construction explains the local product appearing in the splitting theorem without implying a corresponding global decomposition.
Poisson maps and reduction
A smooth map (\Phi\colon M\to N) between Poisson manifolds is a Poisson map when
[ {f\circ\Phi,g\circ\Phi}_M
{f,g}_N\circ\Phi ]
for all (f,g\in C^\infty(N)). Such maps preserve the algebraic structure of observables and carry Hamiltonian vector fields into related Hamiltonian dynamics whenever the relevant vector fields are (\Phi)-related.
Poisson reduction describes circumstances in which a quotient inherits a Poisson bracket from a larger manifold. In symplectic reduction, the reduced space is often symplectic only on suitable smooth strata. Poisson reduction accommodates the broader situation in which degeneracy remains after quotienting, and the resulting space is organized by reduced symplectic leaves.
The algebraic core of reduction is the selection of functions whose brackets descend to equivalence classes. Geometrically, this condition is expressed through compatibility between the Poisson tensor and the distribution tangent to the quotient fibers. Singular quotients generally require stratified or differential-space formulations rather than an ordinary manifold structure.
Cotangent Lie algebroid and integration
Every Poisson manifold determines a Lie algebroid structure on its cotangent bundle. The anchor is (\pi^\sharp), while the bracket of one-forms is given by the Koszul formula
[ [\alpha,\beta]_\pi
\mathcal L_{\pi^\sharp\alpha}\beta
\mathcal L_{\pi^\sharp\beta}\alpha
d\bigl(\pi(\alpha,\beta)\bigr). ]
For exact forms, this bracket satisfies
[ [df,dg]_\pi=d{f,g}. ]
The orbits of this Lie algebroid coincide with the symplectic leaves. Its isotropy at a point is the kernel of (\pi^\sharp) on the cotangent space, equipped with the Lie bracket induced by the first-order transverse behavior of the Poisson tensor.
When the cotangent Lie algebroid is integrable, it is integrated by a symplectic groupoid. The groupoid multiplication is compatible with a symplectic form whose graph is Lagrangian in the appropriate signed product. The base then inherits a Poisson structure for which the target map is Poisson and the source map is anti-Poisson.
Not every Poisson manifold admits a smooth source-simply-connected symplectic groupoid. The obstruction is measured by monodromy groups associated with the cotangent Lie algebroid. Their required discreteness expresses a global condition that is invisible to the local splitting theorem.
Poisson cohomology and quantization
The Poisson tensor defines a differential on multivector fields by
[ d_\pi A=[\pi,A]_{\mathrm S}. ]
Because ([\pi,\pi]{\mathrm S}=0), the graded Jacobi identity gives (d\pi^2=0). The resulting Poisson cohomology records structural information about the bracket. Its degree-zero classes are Casimir functions, while its degree-one classes describe Poisson vector fields modulo Hamiltonian vector fields. Higher degrees govern aspects of infinitesimal deformation and obstruction theory.
In deformation quantization, the commutative product of smooth functions is replaced by a formal associative product
[ f\star g
fg+\frac{\hbar}{2}{f,g}+O(\hbar^2), ]
up to convention-dependent factors involving the imaginary unit. Associativity imposes a sequence of compatibility equations whose first nontrivial condition is precisely the Jacobi identity for the Poisson bracket. Maxim Kontsevich’s formality theorem establishes the existence of deformation quantizations for arbitrary finite-dimensional Poisson manifolds and relates their equivalence classes to formal Poisson structures.