Definition
Symplectic Lie group action
A smooth Lie group action whose transformations preserve the symplectic form.
Definition
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 Cannas da Silva, Chapter 5.
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.