Marsden-Weinstein Symplectic Reduction

• Marsden–Weinstein symplectic structure is a method that reduces a symplectic manifold to a lower-dimensional space while preserving its core geometric characteristics.
• It employs a moment map and Hamiltonian group actions to derive a unique reduced symplectic form on the quotient space.
• The framework extends to derived, algebroid, and stack contexts, offering versatile applications in mathematical physics and geometry.

The Marsden–Weinstein symplectic structure is the foundational construction underpinning symplectic reduction in the presence of symmetry. It provides a rigorous mechanism for systematically reducing a symplectic manifold with a Hamiltonian group action to a lower-dimensional quotient space that retains a canonical symplectic structure. This framework extends to numerous settings, including multisymplectic, derived, algebroid, and stack-theoretic contexts, and serves as a universal model for reduction phenomena in mathematical physics and geometry.

1. Classical Marsden–Weinstein Reduction

Let $(M,\omega)$ be a finite-dimensional symplectic manifold with a smooth action of a Lie group $G$ by symplectomorphisms, and let $\mathfrak{g}$ be its Lie algebra. A Hamiltonian $G$-action is specified by the existence of an equivariant moment map $\mu:M\to\mathfrak{g}^*$ satisfying

$$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$

where $\underline{\xi}$ denotes the fundamental vector field generated by $\xi\in\mathfrak{g}$.

Given a regular value $\lambda\in\mathfrak{g}^*$ of $\mu$ such that the stabilizer subgroup $G$0 acts freely and properly on $G$1, the Marsden–Weinstein–Meyer theorem asserts \cite{(Blacker, 2020Marle, 2014)}:

• The level set $G$2 is an embedded submanifold of codimension $G$3.
• The quotient $G$4 is a smooth manifold, and the projection $G$5 is a principal $G$6-bundle.
• There exists a uniquely determined symplectic form $G$7 on $G$8 characterized by

$G$9

$\mathfrak{g}$0 is called the symplectic reduced space or the Marsden–Weinstein quotient at level $\mathfrak{g}$1 (Blacker, 20201401.81571210.1744).

2. Construction of the Reduced Symplectic Form

The prescription for the reduced symplectic form relies on the property that $\mathfrak{g}$2 is basic relative to the $\mathfrak{g}$3-action: it is horizontal and $\mathfrak{g}$4-invariant, thereby descending to a unique two-form $\mathfrak{g}$5 on the quotient $\mathfrak{g}$6. This is expressed by the pullback relation $\mathfrak{g}$7. Nondegeneracy and closedness are inherited under the standard regularity and freeness assumptions, ensuring that $\mathfrak{g}$8 is symplectic (Blacker, 2020Marle, 2014).

3. Illustrative Examples and Applications

Cotangent Reduction: For $\mathfrak{g}$9 with canonical symplectic form, $G$0 acting by cotangent-lifted left multiplication, the moment map $G$1 leads to the identification $G$2, and reduction at zero yields the coadjoint orbits equipped with the Kostant–Kirillov form (Blacker, 2020Jakimowicz et al., 2017Bogolubov et al., 2012).

Hermitian Vector Spaces: For $G$3 under $G$4 actions by phase rotations, the reduced spaces $G$5 for $G$6 are complex projective spaces $G$7 endowed with scaled Fubini–Study forms (Blacker, 2020).

Siegel Upper Half Space: The Siegel upper half space $G$8 arises as the Marsden–Weinstein quotient $G$9, with the reduced symplectic form a constant multiple of Siegel's canonical form (Ohsawa, 2015).

Integrable Systems and the $\mu:M\to\mathfrak{g}^*$0-Matrix Formalism: Marsden–Weinstein reduction unifies the transition from the canonical symplectic structure on $\mu:M\to\mathfrak{g}^*$1 to the Lie–Poisson structure on $\mu:M\to\mathfrak{g}^*$2 and the Adler–Kostant–Souriau $\mu:M\to\mathfrak{g}^*$3-matrix approach to integrable systems (Bogolubov et al., 2012).

4. Extensions: Derived, Algebroid, and Stack Contexts

Derived Symplectic Reduction: The derived scheme or stack $\mu:M\to\mathfrak{g}^*$4 with a Hamiltonian $\mu:M\to\mathfrak{g}^*$5-action possesses a “derived” Marsden–Weinstein quotient at a coadjoint orbit $\mu:M\to\mathfrak{g}^*$6 given by $\mu:M\to\mathfrak{g}^*$7. This quotient carries a canonical $\mu:M\to\mathfrak{g}^*$8-shifted symplectic structure, generalizing the classical construction even when transversality fails or singularities are present (1205.65192605.16226).

Symplectic Lie Algebroid Reduction: For a symplectic Lie algebroid $\mu:M\to\mathfrak{g}^*$9 with a Hamiltonian $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$0-action and moment section $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$1, the reduced Lie algebroid $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$2 inherits a symplectic structure by the same pullback/pushforward relation $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$3, where $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$4 and $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$5 is the null-foliation generated by the infinitesimal action (Lin et al., 2022Marrero et al., 2011).

Stacky and Higher Symplectic Reduction: For etale symplectic stacks and strict Hamiltonian actions of Lie-group stacks, one obtains stacky Marsden–Weinstein quotients $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$6 equipped with induced symplectic (0-shifted) structures, broadening the paradigm to spaces with groupoid, foliation, or higher stack symmetry (Hoffman et al., 2018).

Multisymplectic Reduction: In the $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$7-plectic or multisymplectic case, with a closed nondegenerate form $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$8 and a moment map $$d\langle\mu,\xi\rangle = \iota_{\underline{\xi}}\omega,\quad \forall\xi\in\mathfrak{g},$$9, reduction yields a quotient space $\underline{\xi}$0 that generally carries a closed, potentially degenerate $\underline{\xi}$1-form $\underline{\xi}$2 descending from $\underline{\xi}$3. The Marsden–Weinstein–Meyer theorem is retrieved as the $\underline{\xi}$4 instance (Blacker, 2020).

5. Structure and Properties of the Marsden–Weinstein Form

The Marsden–Weinstein symplectic structure arises from descending a basic two-form, which is (i) horizontal with respect to the group action, and (ii) invariant. In coordinates, this implies that the null directions of $\underline{\xi}$5 are precisely the tangent directions to the group orbits. The resulting quotient structure is characterized by:

• The reduced symplectic form $\underline{\xi}$6 is unique and satisfies $\underline{\xi}$7.
• Closedness and nondegeneracy are directly inherited under standard regularity, freeness, and properness assumptions.
• This construction applies not only for finite-dimensional situations but also to infinite-dimensional exemplars, such as gauge field spaces and the space of codimension-2 submanifolds (where the Marsden–Weinstein form canonically appears as the curvature of a prequantum connection [(Chern et al., 15 Jul 2025),1707.009