Marsden-Weinstein symplectic reduction

Intuition [Beginner]

Marsden-Weinstein symplectic reduction is a quotient construction producing a smaller symplectic manifold. It gives a geometric rule for motion, constraint, or size without choosing ordinary distances as the main object.

The first picture is phase space: position and momentum are paired. A symplectic structure records how those pairs rotate into motion. It is less like a ruler and more like a turning rule.

This idea matters because Hamiltonian mechanics, reduction, and Floer theory all use the same pairing language.

Visual [Beginner]

The diagram shows a surface with arrows and level curves. It is a mnemonic for the way symplectic geometry ties motion to paired directions.

The picture is not a coordinate proof. It marks the objects that the formal definition makes precise.

Worked example [Beginner]

Use the plane with coordinates called position and momentum. A point records both where something is and how strongly it is moving.

For the energy rule "half position squared plus half momentum squared," the level curves are circles. The motion follows those circles instead of moving straight toward lower energy.

At the point with position 1 and momentum 0, the motion points in the momentum direction. After a quarter turn, the roles have exchanged.

What this tells us: symplectic geometry turns an energy rule into organized motion.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $M$ denote a smooth manifold or $V$ a finite-dimensional vector space, according to the context. The prerequisites used here are 05.04.01, 03.03.02, 05.01.02. The concept marsden-Weinstein symplectic reduction is the structure described by the following data: a symplectic form $\omega$, compatible maps or subspaces, and the equations preserving the relevant pairing.

For this unit, the sign convention is the geometric Hamiltonian convention

$$\omega (X_H,-)=dH.$$

When the unit is purely linear, replace differential forms by skew bilinear forms. When a group acts, infinitesimal generators are paired with Hamiltonian functions through the same equation ^{[Marsden-Weinstein 1974]}.

A morphism between such structures is a smooth or linear map preserving the specified symplectic data. This preservation condition is the source of rigidity results absent from ordinary volume geometry.

Key theorem with proof [Intermediate+]

Theorem (Marsden-Weinstein-Meyer, regular case). Let a Lie group $G$ act on the symplectic manifold $(M,\omega )$ in a Hamiltonian fashion with moment map $\mu : M \to \mathfrak{g}^$inthesenseof[\mathrm{05.04.01}].Let$c \in \mathfrak{g}^$bearegularvalueof$\mu$,sothelevelset$Z := \mu^{-1}(c)$isasmoothsubmanifoldof$M$with$\dim Z = \dim M - \dim G$.Let$G_c \subseteq G$denotethecoadjointstabiliserof$c$,andassume$G_c$actsfreelyandproperlyon$Z$. Then:

(a) $M_c:=Z/G_c$ is a smooth manifold of dimension $\dim M-\dim G-\dim G_c$.

(b) There is a unique symplectic form ${\omega }_c$ on $M_c$ characterised by

$${\pi }^{\ast }{\omega }_c=i^{\ast }\omega ,$$

where $\pi :Z\to M_c$ is the orbit projection and $i:Z\hookrightarrow M$ is the inclusion.

When $c=0$ or $G$ is abelian, $G_c=G$ and $\dim M_c=\dim M-2\dim G$. The reduced space is then $M//G:={\mu }^{-1}(0)/G$.

Proof. The argument is in seven steps. Throughout, $p\in Z$ is fixed and $X_{\xi }$ denotes the fundamental vector field on $M$ generated by $\xi \in \mathfrak{g}$.

Step 1 (smooth structure on $Z$). Since $c$ is a regular value, $d{\mu }_p:T_{p}M\to {\mathfrak{g}}^{\ast }$ is surjective for every $p\in Z$. The implicit function theorem gives $Z$ the structure of a smooth embedded submanifold with

$$T_{p}Z=\ker d{\mu }_p,\dim Z=\dim M-\dim G.$$

Step 2 ($G_c$ acts on $Z$, smooth quotient). Equivariance of $\mu$ from condition (C2) of 05.04.01 gives $\mu (g\cdot p)={\mathrm{Ad}}_g^{\ast }\mu (p)$. For $g\in G_c$, ${\mathrm{Ad}}_g^{\ast }c=c$, so $g\cdot Z\subseteq Z$. The free, proper action of $G_c$ on $Z$ makes $\pi :Z\to M_c$ a principal $G_c$-bundle by the slice theorem; hence $M_c$ is a smooth manifold of dimension $\dim Z-\dim G_c=\dim M-\dim G-\dim G_c$. (For abelian $G$ or $c=0$, $G_c=G$ and the dimension is $\dim M-2\dim G$.)

Step 3 (radical of $i^\omega$).\ast Theform$i^\omega$on$Z$hasanon-zeroradicalateachpoint.Computeitskernel.Let$v \in T_p Z = \ker d\mu_p$.Then$v$liesintheradicalof$i^\omega$iff$\omega_p(v, w) = 0$forevery$w \in T_p Z$. By definition of the symplectic orthogonal,

$$(T_{p}Z{)}^{\omega }=\{v\in T_{p}M:{\omega }_p(v,w)=0\text{ for all }w\in \ker d{\mu }_p\}.$$

The condition (C1) of 05.04.01 reads ${\iota }_{X_{\xi }}\omega =d{\mu }^{\xi }$. So ${\omega }_p(X_{\xi }(p),-)=d{\mu }_p^{\xi }$ vanishes on $\ker d{\mu }_p$. Hence the orbit-tangent subspace $\mathfrak{g}\cdot p:=\{X_{\xi }(p):\xi \in \mathfrak{g}\}$ is contained in $(T_{p}Z{)}^{\omega }$. A dimension count using non-degeneracy of $\omega$ and surjectivity of $d{\mu }_p$ gives $\dim (T_{p}Z{)}^{\omega }=\dim G$. Since the action of $G_c$ on $Z$ is locally free, $\dim ({\mathfrak{g}}_c\cdot p)=\dim G_c$. The intersection $(T_{p}Z{)}^{\omega }\cap T_{p}Z$ is exactly the radical of $i^{\ast }\omega$ at $p$; the same dimension count combined with $T_{p}Z=\ker d{\mu }_p$ identifies this radical with ${\mathfrak{g}}_c\cdot p$, the tangent space to the $G_c$-orbit through $p$.

Step 4 (${\omega }_c$ exists and is unique). The orbit-projection $\pi :Z\to M_c$ is a surjective submersion whose vertical bundle is exactly ${\mathfrak{g}}_c\cdot p$, the radical of $i^{\ast }\omega$ from Step 3. The standard descent lemma applies: a smooth $k$-form $\eta$ on the total space of a submersion descends to the base iff ${\iota }_V\eta =0$ and ${\mathcal{L}}_V\eta =0$ for every vertical vector field $V$. Both conditions hold for $i^{\ast }\omega$: the contraction condition is the radical computation, and the Lie-derivative condition follows from $G_c$-invariance of $\omega$ (the action of $G_c$ on $M$ is by symplectomorphisms, since each $g\in G$ preserves $\omega$ by hypothesis). Thus a unique form ${\omega }_c$ on $M_c$ satisfies ${\pi }^{\ast }{\omega }_c=i^{\ast }\omega$.

Step 5 (${\omega }_c$ is closed). Pull back $d{\omega }_c$ along $\pi$:

$${\pi }^{\ast }(d{\omega }_c)=d({\pi }^{\ast }{\omega }_c)=d(i^{\ast }\omega )=i^{\ast }(d\omega )=0,$$

because $\omega$ is closed. Since $\pi$ is a surjective submersion, ${\pi }^{\ast }$ is injective on differential forms, so $d{\omega }_c=0$.

Step 6 (${\omega }_c$ is non-degenerate). Suppose $\bar{v}\in T_{[p]}{M}_c$ satisfies ${\omega }_c(\bar{v},\bar{w})=0$ for every $\bar{w}$. Lift $\bar{v}$ and arbitrary $\bar{w}$ to $v,w\in T_{p}Z$ with $d{\pi }_p(v)=\bar{v}$ and $d{\pi }_p(w)=\bar{w}$. Then

$${\omega }_c(\bar{v},\bar{w})=({\pi }^{\ast }{\omega }_c{)}_p(v,w)=(i^{\ast }\omega {)}_p(v,w)=0$$

for every $w\in T_{p}Z$. By Step 3, $v$ lies in the radical ${\mathfrak{g}}_c\cdot p$, hence $d{\pi }_p(v)=0$. Thus $\bar{v}=0$, and ${\omega }_c$ is non-degenerate.

Step 7 (worked example: ${\mathbb{C}}^{n+1}//S^1={\mathbb{CP}}^n$). Let $M={\mathbb{C}}^{n+1}$ with symplectic form $\omega =\frac{i}{2}{\sum }_{j=0}^{n}d{z}_j\wedge d{\bar{z}}_j={\sum }_{j}d{x}_j\wedge d{y}_j$ (writing $z_j=x_j+i{y}_j$). The diagonal $S^1$-action $\theta \cdot z=e^{i\theta }z$ preserves $\omega$ and has moment map

$$\mu (z)=\frac{1}{2}\Vert z{\Vert }^2=\frac{1}{2}\sum _{j=0}^n|z_j{|}^2,$$

obtained by integrating ${\iota }_{X_1}\omega =-d\mu$ for the generator $X_1(z)=iz$ (sign convention ${\iota }_{X_{\xi }}\omega =d{\mu }^{\xi }$). Every level $c>0$ is regular: $d{\mu }_z(v)=\mathrm{Re}⟨z,v⟩$ is surjective whenever $z\ne 0$. At $c=1/2$, ${\mu }^{-1}(1/2)=S^{2n+1}$ is the unit sphere, on which the diagonal $S^1$-action is free. Steps 1–6 then yield

$$M_{1/2}=S^{2n+1}/S^1={\mathbb{CP}}^n,$$

with reduced symplectic form ${\omega }_{1/2}$ uniquely determined by ${\pi }^{\ast }{\omega }_{1/2}=\omega {|}_{S^{2n+1}}$. A direct computation in homogeneous coordinates identifies ${\omega }_{1/2}$ with the Fubini-Study form on ${\mathbb{CP}}^n$, normalised so that the area of a projective line ${\mathbb{CP}}^1\subset {\mathbb{CP}}^n$ equals $\pi$. $\square$

Bridge. The reduction theorem feeds directly into 05.04.03 (Atiyah-Guillemin-Sternberg convexity), whose Stage 4 inducts on the rank of the torus by reducing along level sets of a moment-map component and applying the convexity statement on each $L_a/T_{\xi }$. The radical computation in Step 3 is the ingredient that makes that induction work: it identifies the symplectic-orthogonal kernel with the tangent space to the orbit, which is what lets the reduced moment map for the quotient torus take values in an affine hyperplane. Read in the opposite direction, the theorem packages the moment-map data of 05.04.01 into a quotient construction, turning the algebraic Lie-homomorphism characterisation into a geometric symplectic manifold one rank lower in symmetry. The toric classification of 05.04.04 reads off this construction repeatedly until the residual symmetry collapses to a point.

Exercises [Intermediate+]

Advanced results [Master]

The construction of marsden-Weinstein symplectic reduction is invariant under symplectomorphism. In local Darboux coordinates, the form is modeled by

$${\omega }_0=\sum _{i}d{q}_i\wedge d{p}_i,$$

and global information is carried by the way these local models are glued. This separation between local normal form and global obstruction is a recurring feature of the subject ^{[Marsden-Weinstein 1974]}.

For Hamiltonian group actions, the infinitesimal action, moment map, and Poisson bracket form one algebraic package. The identity $\omega (X_H,-)=dH$ converts functions into vector fields, and equivariance converts Lie brackets into Poisson brackets. Reduction, coadjoint orbits, and Floer complexes are built from this package.

Compactness and transversality questions enter when one counts trajectories or curves. In the finite-dimensional part of the strand, the essential inputs are closedness, nondegeneracy, and regular-value hypotheses. In Floer-theoretic units, analytic compactness replaces finite-dimensional regularity.

Synthesis. This construction generalises the pattern fixed in 05.04.01 (moment map), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Proposition. Hamiltonian vector fields preserve the symplectic form.

Let $X_H$ be defined by ${\iota }_{X_H}\omega =dH$. Cartan's formula gives

$${\mathcal{L}}_{X_H}\omega =d{\iota }_{X_H}\omega +{\iota }_{X_H}d\omega =d(dH)+0=0.$$

Hence the derivative of ${\Phi }_t^{\ast }\omega$ along the Hamiltonian flow is zero, and ${\Phi }_t^{\ast }\omega =\omega$ whenever the flow is defined.

Proposition. A symplectic linear map preserves symplectic orthogonals.

Let $A:V\to V$ satisfy $\omega (Av,Aw)=\omega (v,w)$. If $x\in W^{\omega }$, then $\omega (Ax,Aw)=\omega (x,w)=0$ for every $w\in W$. Hence $Ax\in (AW{)}^{\omega }$. Applying the same argument to $A^{-1}$ gives equality.

Connections [Master]

• The smooth-manifold language comes from 03.02.01, and differential forms enter through 03.04.02.

• The closedness condition uses exterior derivative 03.04.04 and feeds de Rham cohomology 03.04.06.

• This unit connects directly to 05.04.01, 03.03.02, and 05.01.02 inside the symplectic strand.

• Hamiltonian action principles also connect to variational calculus 03.04.08.

Historical & philosophical context [Master]

Hamiltonian mechanics supplied the original phase-space formalism, with canonical coordinates and the pairing of position and momentum. Poincare's qualitative theory of dynamical systems and Arnold's geometric mechanics placed this formalism in the language of manifolds and differential forms ^[Arnold].

Gromov's 1985 introduction of pseudoholomorphic curves changed symplectic topology by producing global rigidity phenomena not visible from Darboux's local theorem ^{[Gromov 1985]}. Floer's work later adapted infinite-dimensional Morse theory to Hamiltonian fixed points and Lagrangian intersections ^{[Floer original papers]}.

Bibliography [Master]

[object Promise]