Reduction of exact symplectic manifolds and energy hypersurfaces

This article introduces two reduction schemes for Hamiltonian systems on an exact symplectic manifold admitting Lie group symmetries. It is demonstrated that these reduction procedures are equivalent by employing a modified Marsden-Meyer-Weinstein reduction theorem for exact symplectic manifolds and contact manifolds given by energy hypersurfaces. Each approach is illustrated through an example.