Definition

Let GG be a and let (M,ω)(M,\omega) be a . A Φ:G×MM\Phi:G\times M\to M is a symplectic Lie group action if, for every gGg\in G, the diffeomorphism Φg(x)=Φ(g,x)\Phi_g(x)=\Phi(g,x) is a :

Φgω=ω.\Phi_g^*\omega=\omega.

Equivalently, the action homomorphism sends GG into the group of symplectomorphisms of (M,ω)(M,\omega). The definition requires preservation of the specified symplectic form, not merely of its cohomology class or of the associated volume form.

Infinitesimal criterion

For ξ\xi in the of GG, let ξM\xi_M be the corresponding infinitesimal generator. A symplectic action satisfies

LξMω=0.\mathcal L_{\xi_M}\omega=0.

Since dω=0d\omega=0, Cartan's formula makes this equivalent to d(ιξMω)=0d(\iota_{\xi_M}\omega)=0. Conversely, this infinitesimal condition implies that the identity component of GG acts symplectically. If GG is disconnected, its other components must still be checked separately Cannas da Silva, Chapter 5.

Relationship to Hamiltonian actions

A is a symplectic action supplied with a whose components have equal, up to the adopted sign convention, to the infinitesimal generators. Symplecticity alone only says that the 11-forms ιξMω\iota_{\xi_M}\omega 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 SO(2)SO(2) on (R2,dxdy)(\mathbb R^2,dx\wedge dy) is symplectic and Hamiltonian. Translation of the symplectic torus by the torus itself is symplectic, but its generating constant 11-forms need not be exact, so the action is not Hamiltonian. A diffeomorphism preserving only ωn\omega^n is volume-preserving but need not be symplectic when dimM4\dim M\geq4.

References
  1. 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.
  2. 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.