Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Momentum map
Summary
In mathematics, specifically in symplectic geometry, the momentum map (or, by false etymology, moment 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 momentum 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.
Let M be a manifold with symplectic form ω. Suppose that a Lie group G acts on M via symplectomorphisms (that is, the action of each g in G preserves ω). Let be the Lie algebra of G, its dual, and
the pairing between the two. Any ξ in induces a vector field ρ(ξ) on M describing the infinitesimal action of ξ. To be precise, at a point x in M the vector is
where is the exponential map and denotes the G-action on M. Let denote the contraction of this vector field with ω. Because G acts by symplectomorphisms, it follows that is closed (for all ξ in ).
Suppose that is not just closed but also exact, so that for some function . If this holds, then one may choose the to make the map linear. A momentum map for the G-action on (M, ω) is a map such that
for all ξ in . Here is the function from M to R defined by . The momentum map is uniquely defined up to an additive constant of integration (on each connected component).
An -action on a symplectic manifold is called Hamiltonian if it is symplectic and if there exists a momentum map.
A momentum map is often also required to be -equivariant, where G acts on via the coadjoint action, and sometimes this requirement is included in the definition of a Hamiltonian group action. If the group is compact or semisimple, then the constant of integration can always be chosen to make the momentum 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).
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.