Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology (Q465847): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1005.1789 / rank | |||
Normal rank |
Revision as of 14:59, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology |
scientific article |
Statements
Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology (English)
0 references
24 October 2014
0 references
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\).
0 references
diffeomorphism group
0 references
Whitney topology
0 references
non-compact, metrisable manifold
0 references
LF-space
0 references
\(l_2\)-manifold
0 references