Orbit spaces of Hilbert manifolds (Q268562): Difference between revisions

Let \(G\) denote a compact topological group and \(X\) a Polish topological group such that \(G\) acts on \(X\) by means of automorphisms. The notion that \(X\) is a \(G\)-ANR (\(G\)-equivariant absolute neighborhood retract) is defined for the reader in Section 1. Similarly the definition of a \(G\)-AR (\(G\)-equivariant absolute retract) is also given there. The authors are able to prove that the orbit space \(X/G\) is an \(\ell_2\)-manifold (respectively, homeomorphic to \(\ell_2\)) provided \(X/G\) is an ANR (respectively, AR) and the fixed point set is locally path-connected and has no totally bounded neighborhoods. They also consider \(G\) acting affinely on a separable closed convex subset \(K\) of a Fréchet space and prove that the orbit space \(K/G\) is homeomorphic to \(\ell_2\) if the fixed point set is not locally compact.