A finite group acting freely by diffeomorphisms on a smooth manifold has a smooth quotient. Choose each coordinate neighbourhood disjoint from all its nontrivial translates and transport its chart through the quotient map. The resulting transition maps are restrictions of the original transition maps composed with group elements.
Articles by others on the same topic
There are currently no matching articles.