Reduction of exact symplectic manifolds and energy hypersurfaces

Abstract: 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.