Diffeomorphism groups of non-compact manifolds endowed with the Whitney \(C^\infty\)-topology (Q465847): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4245044776 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1005.1789 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Detecting topological groups which are (locally) homeomorphic to LF-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On homeomorphism groups of non-compact surfaces, endowed with the Whitney topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological structure of direct limits in the category of uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Direct limit topologies in the categories of topological groups and of uniform spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A topological characterization of \(LF\)-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The homotopy type of the space of diffeomorphisms. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologie de certains espaces de plongements / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separable complete ANR's admitting a group structure are Hilbert manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A fibre bundle description of Teichmüller theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The inverse function theorem of Nash and Moser / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homeomorphisms of sufficiently large \(P^2\)-irreducible 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A proof of the Smale conjecture, \(Diff(S^ 3)\simeq O(4)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4114528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The very-strong C\(^\infty\) topology on C\(^{\infty}(M,N)\) and \(K\)-equivariant maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4122518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2776340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On a differential structure for the group of diffeomorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Open Subsets of LF-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local triviality of the restriction map for embeddings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The space of homeomorphisms of a 2-manifold / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extension of C ∞ Functions Defined in a Half Space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diffeomorphisms of the 2-Sphere / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On irreducible 3-manifolds which are sufficiently large / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:43, 9 July 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
0 references
0 references