Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology (Q465847): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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\). | |||
Property / review text: 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\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: David B. Gauld / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58D05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57N20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57S05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46A13 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6361138 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
diffeomorphism group | |||
Property / zbMATH Keywords: diffeomorphism group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Whitney topology | |||
Property / zbMATH Keywords: Whitney topology / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
non-compact, metrisable manifold | |||
Property / zbMATH Keywords: non-compact, metrisable manifold / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
LF-space | |||
Property / zbMATH Keywords: LF-space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(l_2\)-manifold | |||
Property / zbMATH Keywords: \(l_2\)-manifold / rank | |||
Normal rank |
Revision as of 14:58, 30 June 2023
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