Slice Theorem For Differential Spaces And Reduction By Stages

Abstract

We show that the space P/G of orbits of a proper action of a Lie group G on a locally compact differential space P is a locally compact differential space with quotient topology. Applying this result to reduction of symmetries of Hamiltonian systems, we prove the reduction by stages theorem

Keywords

• differential space
• proper action
• reduction by stages
• slice