Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology (Q465847)

For a smooth manifold \(M\) without boundary let \(\mathcal D(M)\) be the group of diffeomorphisms of \(M\) with the Whitney \(C^\infty\) topology and \(\mathcal D_c(M)\) and \(\mathcal D_0(M)\) respectively be the subgroup consisting of diffeomorphisms with compact support and the identity component. The main result is that if \(M\) is non-compact and metrisable then \(\mathcal D_c(M)\) is homeomorphic to an open subspace of \(l_2\times\mathbb R^\infty\). Consequently \(\mathcal D_0(M)\) is homeomorphic to \(N\times\mathbb R^\infty\) for some \(l_2\)-manifold \(N\) whose topological type is determined by the homotopy type of \(\mathcal D_0(M)\). In particular if \(n=1\) or 2 or if \(n=3\) and \(M\) is orientable and irreducible then \(\mathcal D_0(M)\) is homeomorphic to \(l_2\times\mathbb R^\infty\).