Poisson manifold

Poisson manifold
Name	Poisson manifold
Field	Differential geometry
Introduced	1970s
Notable	André Lichnerowicz, Jean-Louis Koszul, Alan Weinstein

Poisson manifold

A Poisson manifold is a differentiable manifold M equipped with a bilinear bracket on C^\infty(M) that makes it a Lie algebra and is compatible with the commutative algebra structure of functions. This structure connects classical mechanics, symplectic geometry, Lie theory, and noncommutative geometry through links to Hamiltonian flows, foliation theory, and deformation quantization. Central figures include André Lichnerowicz, Jean-Louis Koszul, Alan Weinstein, and applications touch Élie Cartan, Sophus Lie, William Rowan Hamilton, Joseph-Louis Lagrange, and Henri Poincaré.

Definition and basic properties

A Poisson manifold carries a Poisson bivector π, a section of Λ^2TM, whose Schouten–Nijenhuis bracket [π,π] vanishes, a condition introduced by Jean-Louis Koszul and formalized by André Lichnerowicz and Alan Weinstein. For f,g ∈ C^\infty(M) the Poisson bracket {f,g}=π(df,dg) endows C^\infty(M) with a Lie algebra structure related to the Lie algebroid structure on T^*M first studied in contexts by Élie Cartan and later by Kirill Mackenzie. Hamiltonian vector fields X_f satisfy i_{X_f}ω = df in the symplectic case studied by William Rowan Hamilton and Joseph-Louis Lagrange; on general Poisson manifolds they integrate to flows relevant to Henri Poincaré's study of dynamical systems. The bracket is a biderivation, reflecting compatibility with the commutative algebra of functions and echoing structures in Norbert Wiener's work on algebraic operations. Local structure theorems trace to ideas from Sophus Lie and were developed alongside work by Jean-Marie Souriau and Victor Guillemin.

Examples

Classical examples include symplectic manifolds (nondegenerate π) such as cotangent bundles studied by William Rowan Hamilton and phase spaces used in Émile Picard's mechanics. Lie–Poisson structures on duals of Lie algebras g^* arise from Sophus Lie and are exemplified by coadjoint orbits central to the Kirillov orbit method introduced by Alexandre Kirillov and furthered by Bertram Kostant and George Mackey. Linear Poisson structures associated to semisimple Lie algebras connect to Élie Cartan theory and Hermann Weyl's representation theory. Product manifolds, reduced spaces from moment maps related to Marcel Riesz and André Weil-type constructions, and certain algebraic Poisson varieties considered by Alexander Grothendieck appear in algebraic geometry. Singular examples arise in moduli spaces in gauge theory studied by Michael Atiyah and Raoul Bott and in stratified spaces considered by René Thom and John Milnor.

Symplectic leaves and foliation

The symplectic foliation of a Poisson manifold decomposes M into immersed symplectic leaves, a concept tied to foliation theory developed by Charles Ehresmann and Georges Reeb. Each leaf is a symplectic manifold as in the work of William Rowan Hamilton and Élie Cartan; leaves correspond to orbits of the Lie algebroid T^*M and mirror coadjoint orbits studied by Alexandre Kirillov and Bertram Kostant. Stability and holonomy aspects relate to results by Camille Jordan-style decomposition and to techniques used by Félix Hausdorff and Paul Émile Appell in topology. Singular foliation theory and stratifications connect to contributions by Stephen Smale and René Thom; transverse structures parallel developments by Hermann Weyl and Hassler Whitney. Integrability of the characteristic distribution links to criteria from Alan Weinstein and Marius Crainic alongside Rui Loja Fernandes.

Poisson cohomology and modular class

Poisson cohomology H^*(M,π), defined via the differential d_π=[π,•], generalizes de Rham cohomology used by Élie Cartan and Henri Cartan. Computations for linear Poisson structures evoke techniques from Élie Cartan and Alexander Grothendieck's homological algebra. The modular class, an obstruction first studied by André Lichnerowicz and later named in works by Alan Weinstein and Weinstein collaborators, lies in H^1(M,π) and generalizes the modular character from Lie algebra theory as in Wilhelm Killing and Élie Cartan's classifications. Vanishing of the modular class implies existence of volume forms invariant under Hamiltonian flows, a theme related to invariant measures in statistical mechanics traced to Ludwig Boltzmann and Josiah Willard Gibbs. Techniques involve spectral sequences akin to those used by Jean Leray and Hermann Weyl.

Morphisms, reductions, and integrability

Poisson maps preserve brackets and generalize canonical transformations central to William Rowan Hamilton's mechanics and to symplectic geometry advanced by Charles L. Dodgson-era mathematicians. Marsden–Weinstein reduction, originating from work by Jerrold Marsden and Alan Weinstein, yields reduced Poisson structures on quotient spaces and interfaces with moment map theory influenced by Shlomo Sternberg and Victor Guillemin. Integrability of Poisson manifolds to symplectic groupoids was established by Alan Weinstein and further by Marius Crainic and Rui Loja Fernandes; symplectic groupoids connect to groupoid theory developed by Charles Ehresmann and representation theory advanced by Jean-Pierre Serre and Claude Chevalley. Morita equivalence and bimodule techniques relate to Jean-Louis Koszul-style algebraic frameworks and to noncommutative geometry of Alain Connes.

Deformations and quantization

Deformation quantization of Poisson manifolds, formalized by Maxim Kontsevich in his formality theorem, constructs associative star-products deforming pointwise multiplication and links to ideas from Paul Dirac, Niels Bohr, and Werner Heisenberg. Kontsevich's work built on algebraic deformation theory of Gerhard Hochschild and Murray Gerstenhaber and on the formality concepts related to Alexander Grothendieck's homotopical algebra. Geometric quantization programs by Bertram Kostant and Jean-Marie Souriau provide alternate approaches, while strict deformation and C*-algebraic quantizations connect to Alain Connes and Marc Rieffel. Quantum groups and Poisson–Lie structures relate to Vladimir Drinfeld and Michio Jimbo's work; applications to integrable systems echo studies by Lax Pair-style contributors such as Peter Lax and Vadim Kuznetsov.

Category:Differential geometry