Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHomeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology
254
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is locally contractible and the identity component H_0(M) of H(M) is an open normal subgroup in H_c(M). This induces the topological factorization H_c(M) approx H_0(M) times M_c(M) for the mapping class group M_c(M) = H_c(M)/H_0(M) with the discrete topology. Furthermore, for any non-compact surface M, the pair (H(M), H_c(M)) is locally homeomorphic to (square^w l_2,cbox^w l_2) at the identity id_M of M. Thus the group H_c(M) is an (l_2 times R^infty)-manifold. We also study topological properties of the group D(M) of diffeomorphisms of a non-compact smooth n-manifold M endowed with the Whitney C^infty-topology and the subgroup D_c(M) of D(M) consisting of all diffeomorphisms with compact support. It is shown that the pair (D(M),D_c(M)) is locally homeomorphic to (square^w l_2, cbox^w l_2) at the identity id_M of M. Hence the group D_c(M) is a topological (l_2 times R^infty)-manifold for any dimension n.
rate research
Read More
We determine all the normal subgroups of the group of C^r diffeomorphisms of R^n, r = 1,2,...,infinity, except when r=n+1 or n=4, and also of the group of homeomorphisms of R^n (r=0). We also study the group A_0 of diffeomorphisms of an open manifold M that are isotopic to the identity. If M is the interior of a compact manifold with nonempty boundary, then the quotient of A_0 by the normal subgroup of diffeomorphisms that coincide with the identity near to a given end e of M is simple.
A smooth five-dimensional s-cobordism becomes a smooth product if stabilized by a finite number n of $S^2xS^2x[0,1]$s. We show that for amenable fundamental groups, the minimal n is subextensive in covers, i.e., n(cover)/index(cover) has limit 0. We focus on the notion of sweepout width, which is a bridge between 4-dimensional topology and coarse geometry.
We prove that the group D^r(R) of C^r diffeomorphisms of the real line, endowed with the compact-open and Whitney C^r topologies, is bihomeomorphic to the group H(R) of homeomorphisms of the real line endowed with the compact-open and Whitney topologies. This implies that the diffeomorphism group D^r(R) endowed with the Whitney C^r topology is homeomorphic to the countable box-power of the separable Hilbert space.
For an infinite cardinal $kappa$ let $ell_2(kappa)$ be the linear hull of the standard othonormal base of the Hilbert space $ell_2(kappa)$ of density $kappa$. We prove that a non-separable convex subset $X$ of density $kappa$ in a locally convex linear metric space if homeomorphic to the space (i) $ell_2^f(kappa)$ if and only if $X$ can be written as countable union of finite-dimensional locally compact subspaces, (ii) $[0,1]^omegatimes ell_2^f(kappa)$ if and only if $X$ contains a topological copy of the Hilbert cube and $X$ can be written as a countable union of locally compact subspaces.
Let $X$ be a compact orientable non-Haken 3-manifold modeled on the Thurston geometry $text{Nil}$. We show that the diffeomorphism group $text{Diff}(X)$ deformation retracts to the isometry group $text{Isom}(X)$. Combining this with earlier work by many authors, this completes the determination the homotopy type of $text{Diff}(X)$ for any compact, orientable, prime 3-manifold $X$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
