Symplectic reduction (source code)

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

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.