Given a Hamiltonian G-action on (M, ω) with moment map μ: M → 𝔤*, if μ⁻¹(0) is smooth with free G-action, the quotient M//G is a symplectic manifold of dimension 2(n − dim G). The canonical way to gauge-fix first-class constraints.
Given a Hamiltonian G-action on (M, ω) with moment map μ: M → 𝔤*, if μ⁻¹(0) is smooth with free G-action, the quotient M//G is a symplectic manifold of dimension 2(n − dim G). The canonical way to gauge-fix first-class constraints.