Triangulation of the map of a -manifold to its orbit space
Let be a Lie group and a smooth proper -manifold. Let denote the natural map to the orbit space. Then there exist a PL manifold , a polyhedron and homeomorphisms and such that $σ\circpi\circτ$ is PL. If and the -action are of analytic class, we can choose subanalytic and then unique and .