arXiv research

Smale proved that the orientation-preserving diffeomorphism group of S^2 has a continuous strong deformation retraction to SO(3). In this paper, we construct such a strong deformation retraction which is diffeologically smooth.

The paper creates a deformation retraction for homeomorphisms of the projective plane.

We show that the infinite-dimensional space of Zoll Finsler metrics on the projective plane strongly deformation retracts to the canonical round metric. In particular, this space of Zoll Finsler metrics is connected. Moreover, the strong deformation retraction arises from a deformation of the geodesic flow of every Zol…

Spaces of circle embeddings in curved surfaces indexed by trees.

Let G be a complex reductive linear algebraic group and let K be a maximal compact subgroup of G. Given a nilpotent group Γgenerated by r elements, we consider the representation spaces Hom(Γ,G) and Hom(Γ,K) with the natural topology induced from an embedding into G^r and K^r respectively. The goal of this paper is to …

This paper studies a deformation retraction of Teichmüller space and its analogy with well-rounded retractions.

We present a (possibly) new sphere eversion based on the contractibility* of a certain subset of the space of immersions of the circle in the plane. (*: by strong deformation retraction)

Let $Γ=\langle a,b | a b^{p} a^{-1} = b^{q}\rangle$ be a Baumslag--Solitar group and $G$ be a complex reductive algebraic group with maximal compact subgroup $K<G$. We show that, when $p$ and $q$ are relatively prime with distinct absolute values, there is a strong deformation retraction retraction of $Hom(Γ,G)$ onto $…

Constructs a moment map flow for isotropic maps on surfaces.

Contact group retracts to unitary subgroup.

In this paper, we construct spines, i.e., $\Mod_g$-equivariant deformation retracts, of the Teichmüller space $\T_g$ of compact Riemann surfaces of genus $g$. Specifically, we define a $\Mod_g$-stable subspace $S$ of positive codimension and construct an intrinsic $\Mod_g$-equivariant deformation retraction from $\T_g$…

Selects points from Jordan domains on Riemannian surfaces.

This study examines the topology of singularities in optimal semicouplings between unequal spaces.

Embeds complex into higher-dimensional pseudomanifold.

Simplicial sets deformation retract onto transverse simplices.

Paper shows mapping class group-equivariant Teichmüller space deformation to Thurston spine.

Polyhedra collapse to subpolyhedra if they can be continuously shrunk onto them.

Global homotopies upgrade classical map in differential geometry.

Schmutz Schaller and Thurston's approaches are dual.

Study on higher-dimensional black holes, focusing on retractions and scalar quasibound states.

Control data constructed for smooth weak deformation retraction of stratified spaces.

Computational method approximates homology groups of compact metric spaces.

Being a maximal compact subgroup of SL_nC, SU_n is a deformation retract of the former group. In this note we prove that, for sufficiently large n, there is no retraction of SL_nC to SU_n which preserves commutativity.

Let f:Σ_1 --> Σ_2 be an area preserving diffeomorphism between compact Riemann surfaces of constant curvature. The graph of f can be viewed as a Lagrangian submanifold in Σ_1\times Σ_2. This article discusses a canonical way to deform f along area preserving diffeomorphisms. This deformation process is realized through…

Constructs Teichmüller curve to study Thurston spine structure.

We construct a one-dimensional deformation retract of the unordered k-point configuration space of a star S. This retract suggests an explicit set of free generators Beta_k for the corresponding braid group of the star B_k and shows that the natural map from B_k-1 to B_k sends Beta_k-1 to Beta_k injectively.

Let G be a complex reductive algebraic group (not necessarily connected), let K be a maximal compact subgroup, and let A be a finitely generated Abelian group. We prove that the conjugation orbit space Hom(A,K)/K is a strong deformation retract of the GIT quotient space Hom(A,G)//G. As a corollary, we determine necessa…

Suppose M is a noncompact connected 2-manifold and m is a good Radon measure of M with m(partial M) = 0. Let H(M)_0 denote the identity component of the group of homeomorphisms of M equipped with the compact-open topology and let H(M; m)_0 denote the identity component of the subgroup consisting of m-preserving homeomo…

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…

The notion of cellular stratified spaces was introduced in a joint work of the author with Basabe, González, and Rudyak [1009.1851] with the aim of constructing a cellular model of the configuration space of a sphere. In particular, it was shown that the classifying space (order complex) of the face poset of a totally …

In a 1983 paper with Frank Warner, we proved that the space of all great circle fibrations of the 3-sphere S^3 deformation retracts to the subspace of Hopf fibrations, and so has the homotopy type of a pair of disjoint two-spheres. Since that time, no generalization of this result to higher dimensions has been found, a…

Study shows diffeomorphism groups of certain 3-manifolds retract to isometry groups.

Study the boundary of a space related to Outer space.

Let G be a complex affine algebraic reductive group, and let K be a maximal compact subgroup of G. Fix elements h_1,...,h_m in K. For n greater than or equal to 0, let X (respectively, Y) be the space of equivalence classes of representations of the free group of m+n generators in G (respectively, K) such that for each…

Suppose M is a noncompact connected oriented C^infty n-manifold and omega is a positive volume form on M. Let D^+(M) denote the group of orientation preserving diffeomorphisms of M endowed with the compact-open C^infty topology and D(M; omega) denote the subgroup of omega-preserving diffeomorphisms of M. In this paper …

We prove that the set of symplectic lattices in the Siegel space $\mathfrak{h}_g$ whose systoles generate a subspace of dimension at least 3 in $\mathbb{R}^{2g}$ does not contain any $\mathrm{Sp}(2g,\mathbb{Z})$-equivariant deformation retract of $\mathfrak{h}_g$.

In this short note, we investigate some features of the space $\Inject{d}{m}$ of linear injective maps from $\bbR^d$ into $\bbR^m$; in particular, we discuss in detail its relationship with the Stiefel manifold $V_{m,d}$, viewed, in this context, as the set of orthonormal systems of $d$ vectors in $\bbR^m$. Finally, we…

The paper extends Lipschitz metric isometries between Outer Spaces of virtually free groups.

The paper shows conditions under which certain 4-manifolds have no smooth spines.

Researchers describe character varieties for Hopf links, proving geometric properties.

The paper proves parabolic gap theorems for Yang-Mills energy.

Let G be a Lie group and Q a quiver with relations. In this paper, we define G-valued representations of Q which directly generalize G-valued representations of finitely generated groups. Although as G-spaces, the G-valued quiver representations are more general than G-valued representations of finitely generated group…

Suppose M is a noncompact connected n-manifold and m is a good Radon measure of M with m(bdry M) = 0. Let H(M; m) denote the group of m-preserving homeomorphisms of M equipped with the compact-open topology and H_E(M; m) denote the subgroup consisting of all h in H(M; m) which fix the ends of M. Each h in H_E(M; m) mov…

We study the topology of the space $\d\K^n$ of complete convex hypersurfaces of $\R^n$ which are homeomorphic to $\R^{n-1}$. In particular, using Minkowski sums, we construct a deformation retraction of $\d\K^n$ onto the Grassmannian space of hyperplanes. So every hypersurface in $\d \K^n$ may be flattened in a canonic…

New contractible complex shows virtual cohomological dimension of RAAGs.

If Gamma is any finite graph, then the unlabelled configuration space of n points on Gamma, denoted UC^n(Gamma), is the space of n-element subsets of Gamma. The braid group of Gamma on n strands is the fundamental group of UC^n(Gamma). We apply a discrete version of Morse theory to these UC^n(Gamma), for any n and any …

Let M be a complete hyperbolic 3-manifold of finite volume that admits a decomposition into right-angled ideal polyhedra. We show that M has a deformation retraction that is a virtually special square complex, in the sense of Haglund and Wise and deduce that such manifolds are virtually fibered. We generalise a theorem…

We present a proof due to Duistermaat that the gradient flow of the norm squared of the moment map defines a deformation retract of the appropriate piece of the manifold onto the zero level set of the moment map. Duistermaat's proof is an adaptation of Lojasiewicz's argument for analytic functions to functions which ar…