Hamiltonian Systems and Moment Maps

⚡ Key Takeaways

A Hamiltonian system is a symplectic manifold $(M,\omega)$ together with a smooth function $H$ generating a flow that preserves $\omega$ . A moment map $\mu: M \to \mathfrak{g}^*$ packages the conserved quantities arising from a Lie group symmetry $G$ acting by symplectomorphisms, providing the geometric form of Noether's theorem. Used throughout classical mechanics, geometric quantization, integrable systems, and gauge theory. Foundational ideas due to Hamilton (1830s), Lie, Noether (1918), with the modern formulation by Souriau, Kostant, and Kirillov (1960s–70s).

💡 The Core Insight

Symplectic structure converts functions into flows ( $H \mapsto X_H$ ) and symmetries into momenta ( $\xi \mapsto \mu^\xi$ ). The moment map is the bridge: it is simultaneously the Noether conserved quantity and a $G$ -equivariant map whose fibers, after quotienting by the symmetry, carry their own induced symplectic structure. Conservation, symmetry, and dimensional reduction are one phenomenon.

DefinitionSymplectic Manifold and Hamiltonian Vector Field

A symplectic manifold is a pair $(M,\omega)$ where $\omega \in \Omega^2(M)$ satisfies

1

\quad d\omega = 0, \qquad \omega^n \neq 0 \;\;(\dim M = 2n).

Derivation hint: closedness is the integrability condition; $\omega^n \ne 0$ is equivalent to nondegeneracy of $\omega_p$ as a bilinear form at each point. Nondegeneracy gives a bundle isomorphism $\omega^\flat: TM \to T^*M$ , $v \mapsto \iota_v\omega$ . For $H \in C^\infty(M)$ , the Hamiltonian vector field $X_H$ is defined by

2

\quad \iota_{X_H}\omega = dH.

Derivation hint: invert $\omega^\flat$ applied to the 1-form $dH$ ; uniqueness follows from nondegeneracy.

DefinitionPoisson Bracket

The Poisson bracket of $f,g \in C^\infty(M)$ is

3

\quad \{f,g\} = \omega(X_f, X_g) = X_f(g) = -X_g(f).

Derivation hint: evaluate $\iota_{X_f}\omega$ on $X_g$ and use [2]; the sign conventions follow from antisymmetry of $\omega$ . It is bilinear, antisymmetric, satisfies the Jacobi identity (equivalent to $d\omega=0$ ), and the Leibniz rule, making $(C^\infty(M),\{\cdot,\cdot\})$ a Poisson algebra.

TheoremConservation of

\omega

and

H

The flow $\phi_t$ of $X_H$ satisfies $\phi_t^*\omega = \omega$ and $H\circ\phi_t = H$ . Thus Hamiltonian flows are symplectomorphisms preserving energy.

Proof

Step 1. By Cartan's magic formula, $\mathcal{L}_{X_H}\omega = d\,\iota_{X_H}\omega + \iota_{X_H}d\omega$ .

Step 2. Use [2] to replace $\iota_{X_H}\omega = dH$ and [1] to drop $d\omega=0$ :

4

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

Derivation hint: $d^2=0$ kills the first term, closedness the second.

Step 3. Since the Lie derivative along $X_H$ of $\omega$ vanishes, $\frac{d}{dt}\phi_t^*\omega = \phi_t^*\mathcal{L}_{X_H}\omega = 0$ , so $\phi_t^*\omega=\omega$ .

Step 4. Energy conservation: $X_H(H) = \{H,H\} = 0$ by antisymmetry of [3], so $H$ is constant along trajectories. $\blacksquare$

∎

DefinitionSymplectic, Hamiltonian, and Equivariant Moment Map

Let a Lie group $G$ with Lie algebra $\mathfrak g$ act on $(M,\omega)$ by symplectomorphisms. Each $\xi\in\mathfrak g$ generates a fundamental vector field $\xi_M$ (the infinitesimal generator). The action is Hamiltonian if there is a smooth map $\mu: M \to \mathfrak g^*$ such that, writing $\mu^\xi(p) := \langle \mu(p),\xi\rangle$ ,

5

\quad d\mu^\xi = \iota_{\xi_M}\omega, \qquad \forall \xi \in \mathfrak g.

Derivation hint: this says $X_{\mu^\xi} = \xi_M$ , i.e. $\mu^\xi$ is the Hamiltonian generating the symmetry direction $\xi$ . $\mu$ is equivariant when it intertwines the $G$ -action and the coadjoint action $\mathrm{Ad}^*$ :

6

\quad \mu(g\cdot p) = \mathrm{Ad}^*_{g^{-1}}\,\mu(p).

Derivation hint: differentiate the desired naturality of generating functions under $g$ ; equivalently $\{\mu^\xi,\mu^\eta\}=\mu^{[\xi,\eta]}$ infinitesimally. Infinitesimal equivariance is the comoment condition

7

\quad \{\mu^\xi,\mu^\eta\} = \mu^{[\xi,\eta]}.

Derivation hint: apply [5] twice and use $[\xi_M,\eta_M]=-[\xi,\eta]_M$ plus the Poisson-bracket relation $\{\mu^\xi,\mu^\eta\}=\omega(\xi_M,\eta_M)$ .

TheoremNoether: Moment Map Components are Conserved

If $H$ is $G$ -invariant ( $H\circ g = H$ for all $g\in G$ ), then $\mu$ is conserved by the Hamiltonian flow of $H$ : each $\mu^\xi$ is a constant of motion, $\{H,\mu^\xi\}=0$ .

Proof

Step 1. $G$ -invariance of $H$ means $\xi_M(H)=0$ for all $\xi$ , since $\xi_M$ is the infinitesimal generator of the symmetry.

Step 2. Compute $\{H,\mu^\xi\} = X_H(\mu^\xi) = -X_{\mu^\xi}(H)$ by antisymmetry of [3].

Step 3. By [5], $X_{\mu^\xi}=\xi_M$ , hence

8

\quad \{H,\mu^\xi\} = -\xi_M(H) = 0.

Derivation hint: substitute $X_{\mu^\xi}=\xi_M$ from [5] and apply Step 1. Therefore $\frac{d}{dt}\mu^\xi = X_H(\mu^\xi)=0$ along trajectories. $\blacksquare$

∎

TheoremMarsden–Weinstein Symplectic Reduction

Let $\mu$ be an equivariant moment map and $\eta\in\mathfrak g^*$ a regular value with $G_\eta$ (the coadjoint stabilizer) acting freely and properly on $\mu^{-1}(\eta)$ . Then the quotient $M_\eta := \mu^{-1}(\eta)/G_\eta$ is a smooth symplectic manifold with a unique $\omega_\eta$ satisfying

9

\quad \pi^*\omega_\eta = \iota^*\omega,

where $\iota:\mu^{-1}(\eta)\hookrightarrow M$ and $\pi:\mu^{-1}(\eta)\to M_\eta$ . Moreover $\dim M_\eta = \dim M - \dim G - \dim G_\eta$ .

Proof

Step 1. Regularity makes $\mu^{-1}(\eta)$ a smooth submanifold of codimension $\dim G$ . Its tangent space is $\ker d\mu_p = (\mathfrak g\cdot p)^{\omega}$ , the symplectic orthogonal of the orbit directions (using [5]: $d\mu^\xi=\iota_{\xi_M}\omega$ means $v\in\ker d\mu \iff \omega(\xi_M,v)=0\;\forall\xi$ ).

Step 2. The tangent to the $G_\eta$ -orbit inside $\mu^{-1}(\eta)$ is the characteristic distribution $\mathfrak g_\eta\cdot p = T_p\mu^{-1}(\eta)\cap (\text{null space of }\iota^*\omega)$ . The freely/properly acting $G_\eta$ makes $\pi$ a principal bundle.

Step 3. Define $\omega_\eta$ on $T_{[p]}M_\eta \cong T_p\mu^{-1}(\eta)/\mathfrak g_\eta\cdot p$ by $\omega_\eta([u],[v]) := \omega(u,v)$ . Well-definedness: the radical of $\iota^*\omega$ is exactly $\mathfrak g_\eta\cdot p$ , so the value is independent of representatives.

Step 4. $\omega_\eta$ is nondegenerate (we quotiented by the radical) and closed: $d(\iota^*\omega)=\iota^* d\omega=0=\pi^* d\omega_\eta$ and $\pi^*$ is injective on forms. This yields [9]. $\blacksquare$

∎

EN

Emmy Noether

1882–1935

Noether's 1918 theorems connected continuous symmetries to conservation laws in field theory and mechanics, the analytic ancestor of the moment map. Working at Göttingen (initially unpaid, lecturing under Hilbert's name due to discrimination against women), she also revolutionized abstract algebra with her theory of ideals and modules. The moment map is the modern, coordinate-free, group-theoretic crystallization of "Noether's first theorem": each independent symmetry generator contributes one component $\mu^\xi$ , a conserved current integrated over phase space.

🧠 Intuition

Think of $\omega$ as a currency converter between velocities (vectors) and forces (covectors). The relation $\iota_{X_H}\omega = dH$ says: the gradient-like covector $dH$ is exchanged for the velocity $X_H$ that flows along level sets of $H$ (not across them) — hence energy is conserved automatically. For symmetry: a one-parameter group of symplectomorphisms is itself a Hamiltonian flow, and its generating function is the conserved momentum. Stack all these momenta for every symmetry direction $\xi$ into one map valued in $\mathfrak g^*$ , and you get $\mu$ . Equivariance [6] is the statement that "rotating the system rotates its angular momentum vector the same way" — the bookkeeping is consistent. Reduction is the geometric act of fixing the conserved momentum and forgetting the symmetry directions; what remains is a smaller phase space with its own dynamics — like passing to the center-of-mass frame.

Figure

Moment map level set and symplectic reduction

```svg

```

ExampleAngular momentum as the

SO(3)

moment map

Given: $M = T^*\mathbb{R}^3 = \mathbb{R}^6$ with coordinates $(q,p)$ , canonical $\omega = \sum_i dp_i\wedge dq_i$ . Let $G=SO(3)$ act by rotating $q$ (lifted to $p$ ).

Step 1. A generator $\xi\in\mathfrak{so}(3)\cong\mathbb{R}^3$ acts as $\xi_M$ with $q\mapsto \xi\times q$ , $p\mapsto \xi\times p$ .

Step 2. Seek $\mu^\xi$ with $X_{\mu^\xi}=\xi_M$ . Guess the angular momentum $\mu(q,p) = q\times p \in \mathbb{R}^3 \cong \mathfrak{so}(3)^*$ , so $\mu^\xi = (q\times p)\cdot\xi$ .

Step 3. Verify [5]: $d\mu^\xi = (dq\times p + q\times dp)\cdot\xi$ . Pairing $\iota_{\xi_M}\omega$ with a test vector reproduces this; one checks component-wise, e.g. for $\xi=e_3$ rotation about $z$ , $\mu^{e_3}=q_1p_2-q_2p_1=L_z$ , and $\iota_{\xi_M}\omega = dL_z$ . ✓

Step 4. Equivariance [6]: $\mu(Rq,Rp) = (Rq)\times(Rp) = R(q\times p)$ for $R\in SO(3)$ , matching $\mathrm{Ad}^* = R$ on $\mathbb{R}^3$ . ✓

Boxed answer:

\boxed{\mu(q,p) = \mathbf{L} = \mathbf{q}\times\mathbf{p}\quad [\text{units: kg}\,\cdot\,\text{m}^2/\text{s}]}

If $H=\tfrac{|p|^2}{2m}+V(|q|)$ is rotationally invariant, all three components of $\mathbf L$ are conserved.

Example

U(1)

moment map and reduction of

\mathbb{C}^2

to

\mathbb{CP}^1

Given: $M=\mathbb{C}^2$ with $\omega = \tfrac{i}{2}\sum_{k=1}^2 dz_k\wedge d\bar z_k = \sum_k dx_k\wedge dy_k$ , and $U(1)$ acting by $z\mapsto e^{i\theta}z$ .

Step 1. Generator $\xi=1\in\mathfrak{u}(1)\cong\mathbb{R}$ ; $\xi_M$ rotates each $z_k$ , i.e. the vector field $\sum_k(x_k\partial_{y_k}-y_k\partial_{x_k})$ .

Step 2. Solving $d\mu = \iota_{\xi_M}\omega$ gives

\mu(z) = \tfrac12|z|^2 = \tfrac12(|z_1|^2+|z_2|^2)\;\in\mathbb{R}\cong\mathfrak{u}(1)^*.

Step 3. Choose regular value $\eta=\tfrac12$ . Then $\mu^{-1}(\tfrac12)=\{|z|^2=1\}=S^3$ , the unit 3-sphere.

Step 4. Quotient by $U(1)$ (free action on $S^3$ ):

\boxed{M_{1/2}=S^3/U(1)=\mathbb{CP}^1=S^2,\quad \dim = 4-1-1=2.}

The induced $\omega_\eta$ is (a multiple of) the Fubini–Study form; reduction realizes the Hopf fibration $S^1\hookrightarrow S^3\to S^2$ symplectically. This is the prototype of constructing $\mathbb{CP}^n$ as a symplectic quotient.

⚠️ Common mistake

A moment map need not exist, and need not be unique even when it does.

Existence: A symplectic $G$ -action gives only a closed 1-form $\iota_{\xi_M}\omega$ ; for $\mu^\xi$ to exist this must be exact. Obstruction lies in $H^1(M;\mathbb{R})$ (per generator) and a Lie-algebra cohomology class in $H^2(\mathfrak g;\mathbb{R})$ for equivariance.
Uniqueness: If $\mu$ works, so does $\mu + c$ for any $c\in\mathfrak g^*$ that is $\mathrm{Ad}^*$ -invariant (annihilating $[\mathfrak g,\mathfrak g]$ ). For semisimple $\mathfrak g$ , $H^1(\mathfrak g)=H^2(\mathfrak g)=0$ , so existence is automatic and $\mu$ is unique.
Do not confuse the momentum map $\mu:M\to\mathfrak g^*$ with the momentum coordinate $p$ ; the former is global and group-theoretic.

CounterexampleTorus action on the 2-torus with no moment map

Take $M=T^2=\mathbb{R}^2/\mathbb{Z}^2$ with coordinates $(\theta_1,\theta_2)$ and $\omega = d\theta_1\wedge d\theta_2$ (an area form, symplectic). Let $G=S^1$ act by translation $\theta_1\mapsto\theta_1+t$ . Then $\xi_M=\partial_{\theta_1}$ and $\iota_{\xi_M}\omega = d\theta_2$ , which is closed but not exact on $T^2$ (it generates $H^1(T^2)$ ). Hence no global function $\mu$ with $d\mu=d\theta_2$ exists: the action is symplectic but not Hamiltonian. This shows the cohomological obstruction is real, not pedantic.

connection

Moment maps sit at the crossroads of geometry and physics. The Poisson-algebra structure [3] is the classical shadow of operator commutators in Geometric Quantization, where $\mu$ becomes the quantized symmetry generators. Symplectic reduction [9] generalizes to Poisson Geometry (Poisson reduction) and underlies Symplectic Toric Manifolds, where the moment map image is a Delzant polytope. The convexity of $\mu(M)$ for torus actions (Atiyah–Guillemin–Sternberg) links to Morse Theory via the components $\mu^\xi$ being perfect Morse–Bott functions. Coadjoint orbits with the Kirillov–Kostant–Souriau form are the elementary "particles" of Coadjoint Orbits and Representation Theory, and reduction relates to Geometric Invariant Theory through the Kempf–Ness theorem identifying symplectic and GIT quotients.

🔬 Where this appears

⏳ History

- 1834–35: W. R. Hamilton reformulates mechanics via the principle of least action and canonical equations, introducing the function

H

and conjugate momenta.

- 1858–90: Sophus Lie develops the theory of continuous transformation groups and contact/symplectic transformations, with the bracket bearing his name.

- 1918: Emmy Noether proves her two theorems relating symmetries to conservation laws — the analytic seed of the moment map.

- 1927: H. Weyl and others formalize the algebra of canonical commutation relations, foreshadowing quantization of

\mu

.

- 1950s: A. Lichnerowicz and others advance global symplectic geometry on manifolds.

- 1962–70: B. Kostant and A. Kirillov independently introduce the orbit method and the canonical symplectic form on coadjoint orbits.

- 1966–70: J.-M. Souriau coins moment map (application moment) in Structure des systèmes dynamiques, giving the modern equivariant definition and the cohomological obstruction.

- 1974: J. Marsden and A. Weinstein publish Reduction of symplectic manifolds with symmetry, establishing Theorem [9].

- 1982: Atiyah and (independently) Guillemin–Sternberg prove the convexity theorem:

\mu(M)

for a torus action is the convex hull of the images of fixed points; Atiyah–Bott apply moment maps to gauge theory; Delzant (1988) classifies toric manifolds by their polytopes.

open-problem

Several frontiers remain active:

Singular reduction: When $\eta$ is not a regular value or the action is not free, $M_\eta$ is a stratified symplectic space (Sjamaar–Lerman). A fully functorial, computationally tractable theory of singular quotients and their quantization is incomplete.
Quantization commutes with reduction ("[Q,R]=0"): Guillemin–Sternberg conjectured and (in compact cases) it is proven that quantizing $M$ then taking $G$ -invariants equals quantizing $M_0$ . Extensions to noncompact $M$ , singular $\mu^{-1}(0)$ , and infinite-dimensional groups are open.
Convexity beyond tori: Nonabelian convexity (Kirwan) describes $\mu(M)\cap \mathfrak t^*_+$ ; sharp combinatorial control for general $G$ and the structure of multiplicity-free spaces is ongoing.
Moment maps in generalized geometry: Analogues for quasi-Hamiltonian, hyperkähler, and generalized complex structures, and Hitchin's "moment map" picture for special geometries, are not yet unified.
Infinite dimensions: Existence/equivariance obstructions and reduction for diffeomorphism and gauge groups require functional-analytic care that resists the clean finite-dimensional theorems.

Formal Statement

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also