On homeomorphism groups of non-compact surfaces, endowed with the Whitney topology
We prove that for any non-compact connected surface the group of compactly suported homeomorphisms of endowed with the Whitney topology is homeomorphic to or .
Source author record
Kotaro Mine
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
3works
3topics
3close collaborators
Published work
3 publications
preprint2010arXiv
Homeomorphism and diffeomorphism groups of non-compact manifolds with the Whitney topology
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.
Open access
preprint2010arXiv
Spaces of maps into topological group with the Whitney topology
Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps f:X \to G endowed with the Whitney (graph) topology and by C_c(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l_2-manifold. In this article we show that if X is non-compact and not end-discrete then C_c(X,G) is an (R^\infty \times l_2)-manifold, and moreover the pair (C(X,G), C_c(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l_2.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.