Researcher profile

Tatsuhiko Yagasaki

Tatsuhiko Yagasaki contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
8works
0followers
5topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2014arXiv

Local and end deformation theorems for uniform embeddings

A local deformation property for uniform embeddings in metric manifolds (LD) is formulated and its behaviour is studied in a formal view point. It is shown that any metric manifold with a geometric group action, typical metric spaces (Euclidean space, hyperbolic space and cylinders) and for κ\leq 0 the κ-cone ends over any compact Lipschitz metric manifolds, all of them have the property (LD). We also formulate a notion of end deformation property for uniform embeddings over proper product ends (ED). For example, the 0-cone end over a compact metric manifold has the property (ED) if it has the property (LD). It is shown that if a metric manifold M has finitely many proper product ends with the property (ED), then the group of bounded uniform homeomorphisms of M endowed with the uniform topology admits a strong deformation retraction onto the subgroup of bounded uniform homeomorphisms which are identity over those ends. We also study a role of uniform isotopies in deformation of uniform homeomorphisms and show that Alexander isotopies in κ-cones induce contractions of some subgroups of groups of bounded uniform homeomorphisms.

preprint2012arXiv

Diffeomorphism groups of non-compact manifolds endowed with the Whitney C^infty-topology

Suppose M is a non-compact connected n-manifold without boundary, DD(M) is the group of C^\infty-diffeomorphisms of M endowed with the Whitney C^\infty-topology and DD_0(M) is the identity connected component of DD(M), which is an open subgroup in the group DD_c(M) \subset DD(M) of compactly supported diffeomorphisms of M. It is shown that DD_0(M) is homeomorphic to N \times IR^\infty for an l_2-manifold N whose topological type is uniquely determined by the homotopy type of DD_0(M). For instance, DD_0(M) is homeomorphic to l_2 \times IR^\infty if n = 1, 2 or n = 3 and M is orientable and irreducible. We also show that for any compact connected n-manifold N with non-empty boundary \partial N the group DD_0(N - \partial N) is homeomorphic to DD_0(N; \partial N) \times IR^\infty, where DD_0(N;\partial N) is the identity component of the group DD(N;\partial N) of diffeomorphisms of N that do not move points of the boundary \partial N.

preprint2012arXiv

Groups of uniform homeomorphisms of covering spaces

In this paper we deduce a local deformation lemma for uniform embeddings in a metric covering space over a compact manifold from the deformation lemma for embeddings of a compact subspace in a manifold. This implies the local contractibility of the group of uniform homeomorphisms of such a metric covering space under the uniform topology. Further more, combining with similarity transformation, this enables us to induce a global homotopy property of groups of uniform homeomorphisms of metric spaces with Euclidean ends. In particular, we show that the identity component of the group of uniform homeomorphisms of the standard Euclidean n-space is contractible.

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.

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.

preprint2010arXiv

Topological (\prod^ω\ell_2, \sum^ω\ell_2)-factors of diffeomorphism groups of non-compact manifolds

Suppose M is a non-compact connected smooth n-manifold. Let D(M) denote the group of diffeomorphisms of M endowed with the compact-open C^\infty-topology and D^c(M) denote the subgroup consisting of diffeomorphisms of M with compact support. Let D(M)_0 and D^c(M)_0 be the connected components of id_M in D(M) and D^c(M) respectively. In this paper we show that the pair (D(M), D^c(M)) admits a topological (\prod^ω\ell_2, \sum^ω\ell_2)-factor. In the case n = 2, this enables us to apply the characterization of (\prod^ω\ell_2, \sum^ω\ell_2)-manifolds and show that the pair (D(M)_0, D^c(M)_0) is a (\prod^ω\ell_2, \sum^ω\ell_2)-manifold and determine its topological type. We also obtain a similar result for groups of homeomorphisms of non-compact topological 2-manifolds.

preprint2009arXiv

The diffeomorphism groups of the real line are pairwise bihomeomorphic

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.