Strong Deformation Retract

• Strong deformation retract is a continuous homotopy that deforms a space onto a subspace while keeping every point in the subspace fixed.
• It refines standard retraction by enforcing pointwise invariance, facilitating explicit constructions in mapping cylinders and homotopy equivalence proofs.
• Its applications span equivariant, stratified, and infinite-dimensional topology, underpinning classification theorems and computational homotopy methods.

A strong deformation retract is a central concept in algebraic and geometric topology, specifying a particularly rigid form of homotopic equivalence between a space and a subspace. It enables the extraction of essential topological features by continuously "deforming" a space onto a subspace in a way that preserves the structure of the subspace throughout the deformation process. The strong variant requires the homotopy to fix all points of the subspace for the duration of the deformation. This concept underpins a multitude of results, from the computation of homotopy types via mapping cylinders to equivariant and stratified contexts.

1. Formal Definition and Basic Properties

Given a topological space $Z$ and a subspace $A \subset Z$, $A$ is a strong deformation retract of $Z$ if there exists a continuous homotopy

$H: Z \times [0,1] \to Z$

such that:

• $H(z,0)=z$ for all $z\in Z$ (initially the identity map),
• $H(z,1) \in A$ for all $z \in Z$ (at the end, every point lands in $A$),
• $H(a,s) = a$ for all $a \in A$, $s \in [0,1]$ (points of $A$ remain fixed throughout).

This structure is stronger than a general deformation retraction, which only requires the endpoint conditions $H(z,1)\in A$ and $H(a,1)=a$, not pointwise invariance of $A$ for all $s \in [0,1]$. The strong condition ensures homotopical and categorical stability, enabling use in broader constructions such as mapping cylinders, equivariant topology, and the study of cofibrations (Aguado, 2012, Pflaum et al., 2017).

2. Constructing Strong Deformation Retracts: Mapping Cylinders

For a continuous map $f : X \rightarrow Y$, the mapping cylinder $M_f$ is defined as

$$M_f = (X \times [0,1] \amalg Y) \big/ \{(x,0)\sim f(x)\} .$$

Two canonical subspaces in $M_f$ play distinct roles:

• The "bottom" $\widetilde{Y} = \{ [y] : y \in Y \}$,
• The "top" $\widetilde{X} = \{ [x,1] : x\in X \}$.

The theorem states that $f$ is a homotopy equivalence if and only if the inclusion $\widetilde{X} \hookrightarrow M_f$ is a strong deformation retract. Given explicit homotopies $F$ and $G$ witnessing the homotopy equivalence between $X$ and $Y$, a concrete formula for the strong deformation retraction of $M_f$ onto $\widetilde{X}$ exists, employing a multi-stage process:

1. Deformation toward $\widetilde{Y}$,
2. Homotopy along $G$ to a section through a homotopy inverse,
3. Push onto $\widetilde{X}$ via $F$,
4. Correction using a homotopy-extension property construction to ensure pointwise invariance of $\widetilde{X}$ (Aguado, 2012).

This explicit construction provides a template for constructing deformation retractions in more general settings and establishes the mapping cylinder as a categorical universal recipient for homotopy-theoretic factorization.

3. Stratified and Equivariant Variants

In geometric and stratified settings, strong deformation retracts manifest in the presence of stratifications and group actions. Let $X$ be a Whitney (B) regular $G$-stratified space with a compact Lie group $G$ acting smoothly and preserving strata. A system of $G$-equivariant control data, in the sense of Mather, ensures that for any closed $G$-invariant union of strata $A \subset X$, there exists:

• An open $G$-invariant neighborhood $U$ of $A$,
• A $G$-equivariant retraction $r: U \to A$,
• A $G$-equivariant homotopy $H: U \times [0,1] \to U$,

with all the axioms of a strong deformation retract, now $G$-equivariant.

The construction relies on iterated radial homotopies in tubular neighborhoods $T_S$ of strata $S \not\subset A$, ordered respecting closure relations: $H^S(x,t) = (\pi_S(x), (1-t)\rho_S(x))$ with projections $\pi_S$ and radial functions $\rho_S$, such that the commutation of the control data enables the construction of a well-defined global homotopy (Pflaum et al., 2017).

This generalizes the mapping cylinder scenario to the singular and equivariant context, extending to analytic $G$-subspaces embedded in analytic $G$-manifolds and their closed $G$-invariant analytic subspaces.

4. Equivariant Strong Deformation Retraction in Topological Groups

The concept extends further to infinite-dimensional settings, exemplified by the construction of strong equivariant deformation retractions in homeomorphism groups. For instance, the group of homeomorphisms of the 2-sphere $\mathrm{Homeo}(S^2)$ deformation retracts equivariantly onto the orthogonal group $O_3$. The construction yields a homotopy

$$R: \mathrm{Homeo}(S^2) \times [0,1] \rightarrow \mathrm{Homeo}(S^2)$$

such that $R(f,0) = f$, $R(f,1) \in O_3$, satisfying strong deformation and equivariance conditions: $$R(hf, t) = h R(f, t), \quad R(fs, t) = R(f, t) s \quad \forall h \in O_3, s \in \{\pm 1 \}.$$ A six-stage deformation proceeding through area-bisecting, curve-shortening flows, alignment, flattening, normalization on circles, and finally Alexander’s trick, yields the retraction. The construction is robust under passage to the quotient by the antipodal involution, producing a strong $SO_3$-equivariant deformation retraction from $\mathrm{Homeo}(\mathbb{R}P^2)$ to $SO_3$, and for subgroups preserving preassigned null-sets (Dobbins, 2021).

5. Explicit Formulae and Piecewise Descriptions

Explicit formulae for strong deformation retractions reveal the intricate piecewise homotopies underpinning the notion. For mapping cylinders, the strong deformation retraction $\Gamma$ can be written as: $$\Gamma([x,t],s) = \begin{cases} [x, \frac{2t}{2-3s}], & 0 \le s \le \frac{1}{3}, s \le \frac{2-2t}{3} \ [x, 1], & 0 \le s \le \frac{1}{3}, s \ge \frac{2-2t}{3} \ \text{...} & \ [F(x, \frac{2t}{3s-1}), 1], & \frac{2}{3} \le s \le 1, s \ge \frac{1+2t}{3} \ [x, 1], & \frac{2}{3} \le s \le 1, s \le \frac{1+2t}{3} \end{cases}$$ The construction guarantees that $\Gamma(p,0) = p$, $\Gamma(p,1) \in \widetilde{X}$, and $\Gamma(\tilde{x}, s) = \tilde{x}$ for all $\tilde{x} \in \widetilde{X}$, $s$. For points of the form $[y]$ the homotopy proceeds in several intervals using the specified data of $F, G, g$ (Aguado, 2012).

Such explicit piecewise homotopies provide the backbone for algorithmic and computational applications of homotopical deformation in constructive topology.

6. Applications and Implications

Strong deformation retracts are foundational in homotopy theory, (equivariant) cofibration theory, and stratified spaces. They supply the mechanism by which homotopy types are identified with subspaces (not merely up to homotopy equivalence but via a controlled deformation). In the equivariant context, the existence of strong deformation retracts underlies the construction of $G$-equivariant tubular neighborhoods and the theory of equivariant cofibrations (Pflaum et al., 2017). In infinite-dimensional topology, strong equivariant deformation retractions underpin classification theorems for homeomorphism groups of manifolds (Dobbins, 2021).

A plausible implication is the extension of these classical constructions to new settings in stratified and singular spaces, as well as broader classes of transformation groups, leveraging the strong structural control afforded by strong deformation retractions to study embedding, neighborhood, and classification problems in topology.

7. References to Literature and Further Developments

Key theoretical developments and explicit constructions are documented in:

• "A Short Note on Mapping Cylinders" (Aguado, 2012): establishes explicit strong deformation retraction formulae for mapping cylinders and characterizes homotopy equivalences in this framework.
• "Equivariant control data and neighborhood deformation retractions" (Pflaum et al., 2017): generalizes the notion to Whitney (B)-stratified spaces with compact Lie group actions, providing construction and categorical consequences.
• "A strong equivariant deformation retraction from the homeomorphism group of the projective plane to the special orthogonal group" (Dobbins, 2021): produces explicit strong equivariant retractions in group-theoretic settings, confirming conjectures about the homotopy type of homeomorphism groups.

These works constitute the current state of the art in the construction, explicit computation, and application of strong deformation retracts across multiple topological contexts.