Semiclassical Analysis of Schrödinger Operators on Closed Manifolds and Symmetry Reduction