The setting for the momentum mapping is a smooth symplectic manifold or even a Poisson manifold (cf. also Poisson algebra; Symplectic structure) with the Poisson brackets on functions (where is the Poisson tensor). To each function there is the associated Hamiltonian vector field , where is the Lie algebra of all locally Hamiltonian vector fields satisfying for the Lie derivative.
The Hamiltonian vector field mapping can be subsumed into the following exact sequence of Lie algebra homomorphisms:
where , the de Rham cohomology class of the contraction of into , and where the brackets not yet mentioned are all .
A Lie group can act from the right on by in a way which respects , so that one obtains a homomorphism , where is the Lie algebra of . (For a left action one gets an anti-homomorphism of Lie algebras.) One can lift to a linear mapping if ; if not, one replaces by its Lie subalgebra . The question is whether one can change into a homomorphism of Lie algebras. The mapping then induces a Chevalley -cocycle in . If it vanishes one can change as desired. If not, the cocycle describes a central extension of on which one may change to a homomorphism of Lie algebras.
In any case, even for a Poisson manifold, for a homomorphism of Lie algebras (or more generally, if is just a linear mapping), by flipping coordinates one gets a momentum mapping of the -action from into the dual of the Lie algebra ,
where is the duality pairing.
For a particle in Euclidean -space and the rotation group acting on , this is just the angular momentum, hence its name. The momentum mapping is infinitesimally equivariant for the -actions if is a homomorphism of Lie algebras. It is a Poisson morphism for the canonical Poisson structure on , whose symplectic leaves are the co-adjoint orbits. The momentum mapping can be used to reduce the number of coordinates of the original mechanical problem, hence it plays an important role in the theory of reductions of Hamiltonian systems.
[a6], [a4] and [a7] are convenient references; [a7] has a large and updated bibliography. The momentum mapping has a strong tendency to have a convex image, and is important for representation theory, see [a2] and [a8]. There is also a recent (1998) proposal for a group-valued momentum mapping, see [a1].
|[a1]||A. Alekseev, A. Malkin, E. Meinrenken, "Lie group valued moment maps" J. Diff. Geom. , 48 (1998) pp. 445–495|
|[a2]||A.A. Kirillov, "Elements of the theory of representations" , Springer (1976)|
|[a3]||B. Kostant, "Orbits, symplectic structures, and representation theory" , Proc. United States–Japan Sem. Diff. Geom. , Nippon Hyoronsha (1966) pp. 71|
|[a4]||P. Libermann, C.M. Marle, "Symplectic geometry and analytic mechanics" , Reidel (1987)|
|[a5]||S. Lie, "Theorie der Transformationsgruppen, Zweiter Abschnitt" , Teubner (1890)|
|[a6]||G. Marmo, E. Saletan, A. Simoni, B. Vitale, "Dynamical systems. A differential geometric approach to symmetry and reduction" , Wiley/Interscience (1985)|
|[a7]||J. Marsden, T. Ratiu, "Introduction to mechanics and symmetry" , Springer (1999) (Edition: Second)|
|[a8]||K.-H. Neeb, "Holomorphy and convexity in Lie theory" , de Gruyter (1999)|
|[a9]||J.M. Souriau, "Quantification géométrique" Commun. Math. Phys. , 1 (1966) pp. 374–398|
Momentum mapping. Peter W. Michor (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Momentum_mapping&oldid=14198