Symplectic reduction (${\mu }^{-1}(c)/G$)

For a Hamiltonian group action, a regular value level preserved by a free proper group action has a smooth quotient. The restricted symplectic form descends to a symplectic form on that quotient when the kernel is exactly the orbit directions; this is symplectic reduction.