Moment_map

Moment map

In mathematics, specifically in symplectic geometry, the moment map (or momentum map) is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The moment map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden-Weinstein) quotients, discussed below, and symplectic cuts and sums.

Formal definition

Let M be a manifold with symplectic form $omega$ . Suppose that a Lie group G acts on M via symplectomorphisms (that is, the action of each g in G preserves $omega$ ). Let $mathbf{g}$ be the Lie algebra of G, $mathbf{g}^*$ its dual, and

langle, rangle : mathbf{g}^* times mathbf{g} to mathbb{R}

the pairing between the two. Any $xi$ in $mathbf{g}$ induces a vector field $rho(xi)$ on M describing the infinitesimal action of $xi$ . To be precise, at a point x in M the vector $rho(xi)_x$ is

left.frac{d}{dt}right|_{t = 0} exp(t xi) cdot x,

where $exp : mathbf{g} to G$ is the exponential map and $cdot$ denotes the G-action on M. Let $iota_{rho(xi)} omega$ denote the contraction of this vector field with $omega$ . Because G acts by symplectomorphisms, it follows that $iota_{rho(xi)} omega$ is closed for all $xi$ in $mathbf{g}$ .

A moment map for the $G$ -action on $(M, omega)$ is a map $mu : M to mathbf{g}^*$ such that

d(langle mu, xi rangle) = iota_{rho(xi)} omega

for all $xi$ in $mathbf{g}$ . Here $langle mu, xi rangle$ is the function from M to $mathbb{R}$ defined by $langle mu, xi rangle(x) = langle mu(x), xi rangle$ . The moment map is uniquely defined up to an additive constant of integration.

A moment map is often also required to be G-equivariant, where G acts on $mathbf{g}^*$ via the coadjoint action. If the group is compact or semisimple, then the constant of integration can always be chosen to make the moment map coadjoint equivariant; however in general the coadjoint action must be modified to make the map equivariant (this is the case for example for the Euclidean group).

Hamiltonian group actions

Clearly, for a moment map to exist $iota_{rho(xi)} omega$ must be not merely closed but also exact. In practice it is useful to make an even stronger assumption. The $G$ -action is said to be Hamiltonian if and only if the following conditions hold. First, for every $xi$ in $mathbf{g}$ the one-form $iota_{rho(xi)} omega$ is exact, meaning that it equals $dH_xi$ for some smooth function

H_xi : M to mathbb{R}.

If this holds, then one may choose the $H_xi$ to make the map $xi mapsto H_xi$ linear. The second requirement for the $G$ -action to be Hamiltonian is that the map $xi mapsto H_xi$ be a Lie algebra homomorphism from $mathbf{g}$ to the algebra of smooth functions on M under the Poisson bracket.

If the action of G on $(M, omega)$ is Hamiltonian in this sense, then a moment map is a map $mu : Mto mathbf{g}^*$ such that writing $H_xi = langle mu, xi rangle$ defines a Lie algebra homomorphism $xi mapsto H_xi$ satisfying $rho(xi) = X_{H_xi}$ . Here $X_{H_xi}$ is the vector field of the Hamiltonian $H_xi$ , defined by

iota_{X_{H_xi}} omega = d H_xi.

Examples

In the case of a Hamiltonian action of the circle $G = U(1)$ , the Lie algebra dual $mathbf{g}^*$ is naturally identified with $mathbb{R}$ , and the moment map is simply the Hamiltonian function that generates the circle action.

Another classical case occurs when M is the cotangent bundle of $mathbb{R}^3$ and G is the Euclidean group generated by rotations and translations. That is, G is a six-dimensional group, the semidirect product of $SO(3)$ and $mathbb{R}^3$ . The six components of the moment map are then the three angular momenta and the three linear momenta.

Symplectic quotients

Suppose that the action of a compact Lie group G on the symplectic manifold $(M, omega)$ is Hamiltonian, as defined above, with moment map $mu : Mto mathbf{g}^*$ . From the Hamiltonian condition it follows that $mu^{-1}(0)$ is invariant under G.

Assume now that 0 is a regular value of $mu$ and that G acts freely and properly on $mu^{-1}(0)$ . Thus $mu^{-1}(0)$ and its quotient $mu^{-1}(0) / G$ are both manifolds. The quotient inherits a symplectic form from M; that is, there is a unique symplectic form on the quotient whose pullback to $mu^{-1}(0)$ equals the pullback of $omega$ to $mu^{-1}(0)$ . Thus the quotient is a symplectic manifold, called the Marsden-Weinstein quotient, symplectic quotient or symplectic reduction of M by G. Its dimension equals the dimension of M minus twice the dimension of G.

References

J.-M. Souriau, Structure des systèmes dynamiques, Maîtrises de mathématiques, Dunod, Paris, 1970. ISSN 0750-2435.
S. K. Donaldson and P. B. Kronheimer, The Geometry of Four-Manifolds, Oxford Science Publications, 1990. ISBN 0-19-850269-9.
Dusa McDuff and Dietmar Salamon, Introduction to Symplectic Topology, Oxford Science Publications, 1998. ISBN 0-19-850451-9.