Marsden–Weinstein reduction

Marsden–Weinstein reduction
Name	Marsden–Weinstein reduction
Area	Symplectic geometry
Introduced	1974
Authors	Jerrold Marsden; Alan Weinstein
Related	Symplectic manifold; Hamiltonian mechanics; Momentum map

Marsden–Weinstein reduction is a foundational result in modern symplectic geometry that provides a procedure to construct lower-dimensional symplectic manifolds from higher-dimensional ones endowed with a symmetry group action. Originating from work by Jerrold Marsden and Alan Weinstein, the theorem connects ideas from Joseph-Louis Lagrange-inspired Hamiltonian mechanics to structural techniques used by Élie Cartan, Hermann Weyl, and later formalizers such as Vladimir Arnold and Andrey Kolmogorov. It unifies concepts present in treatments by Poincaré, Noether, Sergio Fubini, and the development of modern reduction methods used in Michael Atiyah's and Isadore Singer's index-theoretic frameworks.

Introduction

The reduction procedure addresses a situation where a compact Lie group such as SO(3), U(1), SU(2) acts in a Hamiltonian fashion on a symplectic manifold akin to examples studied by William Rowan Hamilton and Pierre-Simon Laplace. Using a momentum map influenced by Emmy Noether's theorem and constructions related to work of Marston Morse and John Milnor, one obtains a quotient that inherits a canonical symplectic form as in expositions by Jean-Marie Souriau and Shlomo Sternberg.

Mathematical Background

A symplectic manifold in the Marsden–Weinstein context is a smooth manifold exemplified by phase spaces appearing in the work of Carl Gustav Jacobi and Siméon Denis Poisson equipped with a closed nondegenerate two-form studied by André Weil and formalized by Hermann Weyl. The relevant symmetry is a smooth action of a Lie group exemplars include Niels Henrik Abel-named groups such as SO(n), SU(n), or tori like T^k; the infinitesimal generators relate to Lie algebra elements studied by Sophus Lie and Élie Cartan. Momentum maps arise from pairing these generators with conserved quantities reminiscent of results by Emmy Noether and are central in formulations by Alan Weinstein and Jerrold Marsden. Foundational analytic techniques draw from work of Serge Lang and John Nash on smooth structures and quotients.

Symplectic Reduction (Marsden–Weinstein Theorem)

The Marsden–Weinstein theorem prescribes that for a Hamiltonian action of a Lie group such as SO(3), U(1), or SU(2) on a symplectic manifold with a momentum map modeled after constructs in Noether's correspondence, the level set of a regular value yields a submanifold studied in classical treatments by Henri Poincaré and Gaspard Monge. Taking the quotient by the stabilizer subgroup—a procedure related to quotient constructions in David Mumford's geometric invariant theory and André Weil's descent theory—produces a reduced space carrying an induced symplectic form analogous to forms appearing in Élie Cartan's work. The theorem has formulations paralleling reduction techniques in the literature of Michael Atiyah, Isadore Singer, and applications considered by Vladimir Guillemin and Shlomo Sternberg.

Momentum Maps and Examples

Momentum maps appear in classical examples rooted in physics problems treated by Joseph Fourier and Pierre de Fermat and in geometric models such as the cotangent bundle of a Lie group studied by Henri Cartan and the rigid body dynamics of Euler and Lagrange analyzed by Leonhard Euler and Joseph-Louis Lagrange. Standard examples include the action of SO(3) on the cotangent bundle of S^2 and circle actions by U(1) on complex projective spaces considered in studies by Élie Cartan and Jean-Pierre Serre. Toric manifolds studied by Victor Guillemin and Toru Kubota illustrate integral momentum maps leading to convex polytopes in the spirit of results by Aleksandr Aleksandrov and Eugenio Calabi.

Singular and Stratified Reduction

When the group action fails to be free, stabilizer subgroups classified by criteria from Élie Cartan and Sophus Lie lead to singular reduced spaces; stratification techniques developed by Raoul Bott and Mikhail Gromov organize these into strata echoing methods of René Thom and John Mather. The stratified symplectic spaces resonate with constructions by Alan Weinstein and later refinements by Bates and Lerman and are linked to analytic approaches found in the works of Bernhard Riemann and Laurent Schwartz on singularities and distributions.

Applications in Mechanics and Gauge Theory

Marsden–Weinstein reduction underpins the geometric understanding of rigid body motion explored by Leonhard Euler and continuum models studied by Claude-Louis Navier and George Gabriel Stokes, and informs the study of integrable systems as in the work of Sofia Kovalevskaya and Nikolai Nekhoroshev. In gauge theory contexts inspired by James Clerk Maxwell, Paul Dirac, and crystallized in Yang–Mills theory by Chen Ning Yang and Robert Mills, reduction techniques organize constraint surfaces and moduli spaces appearing in the work of Michael Atiyah and Edward Witten, and enter into constructions used by Andrew Wiles in arithmetic geometry analogies.

Generalizations and Related Constructions

Extensions of the Marsden–Weinstein framework include Poisson reduction influenced by Siméon Denis Poisson and Dirac structures developed from ideas by Paul Dirac and furthered by Ted Courant, as well as stratified and algebroid generalizations related to Lie algebroids studied by Marius Crainic and Ieke Moerdijk. Interactions with geometric invariant theory by David Mumford, symplectic implosion by Allen Knutson and Michael Vergne, and categorical perspectives linked to Alexander Grothendieck broaden the landscape of reduction techniques used across mathematics and theoretical physics.

Category:Symplectic geometry