Definition
Symplectic Lie group action
A smooth Lie group action whose transformations preserve the symplectic form.
Let be a Lie group and let be a symplectic manifold. A smooth action is a symplectic Lie group action if, for every , the diffeomorphism is a symplectomorphism:
Equivalently, the action homomorphism sends into the group of symplectomorphisms of . The definition requires preservation of the specified symplectic form, not merely of its cohomology class or of the associated volume form.
Infinitesimal criterion
For in the Lie algebra of , let be the corresponding infinitesimal generator. A symplectic action satisfies
Since , Cartan's formula makes this equivalent to . Conversely, this infinitesimal condition implies that the identity component of acts symplectically. If is disconnected, its other components must still be checked separately.
Relationship to Hamiltonian actions
A Hamiltonian action is a symplectic action supplied with a moment map whose components have Hamiltonian vector fields equal, up to the adopted sign convention, to the infinitesimal generators. Symplecticity alone only says that the -forms are closed; Hamiltonianity requires them to be exact in a compatible and usually equivariant way. Thus a symplectic action need not be Hamiltonian when first cohomology provides an obstruction.
Examples and non-examples
The standard rotation action of on is symplectic and Hamiltonian. Translation of the symplectic torus by the torus itself is symplectic, but its generating constant -forms need not be exact, so the action is not Hamiltonian. A diffeomorphism preserving only is volume-preserving but need not be symplectic when .
References
- Ana Cannas da Silva, Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, Springer, 2001. DOI record. Relevant: Chapter 5 on symplectic and Hamiltonian group actions.
- Juan-Pablo Ortega and Tudor S. Ratiu, Momentum Maps and Hamiltonian Reduction, Birkhäuser, 2004. DOI record. Relevant: the chapters on Lie group actions and the standard momentum map.