nLab mapping cylinder

Contents

Context

Homotopy theory

homotopy theory, (∞,1)-category theory, homotopy type theory

flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed

models: topological, simplicial, localic, …

see also algebraic topology

Introductions

Definitions

Paths and cylinders

Homotopy groups

Basic facts

Theorems

Contents

In Top

Definition

Given a continuous map f:XYf:X\to Y of topological spaces, one can define its mapping cylinder as a pushout

X f Y σ 0 f *(σ 0) X×I (σ 0) *(f) Cyl(f) \array{ X &\stackrel{f}\to& Y \\ {}^{\mathllap{\sigma_0}}\downarrow && \downarrow^{\mathrlap{ f_*(\sigma_0)}} \\ X\times I &\stackrel{(\sigma_0)_* (f)}\to & Cyl(f) }

in Top, where I=[0,1]I = [0,1] (the unit interval) and σ 0:XX×I\sigma_0:X\to X\times I is given by x(x,0)x\mapsto (x,0). By tradition, homotopy theorists sometimes use the inverted (upside-down) mapping cylinder where σ 0\sigma_0 is replaced by σ 1:x(x,1)\sigma_1:x\mapsto (x,1). The two mapping cylinders are homeomorphic so it is a matter of convention which one to use, of course, compatibly with other constructions depending on the orientation of II.

Set-theoretically, the mapping cylinder is usually represented as the quotient space (X×IY)/(X\times I \coprod Y)/{\sim} where \sim is the smallest equivalence relation identifying (x,0)f(x)(x,0)\sim f(x) for all xXx\in X.

Properties

As any other pushout, the mapping cylinder has a universal property: for any space ZZ and mapping g 1:X×IZg_1:X\times I\to Z, g 2:YZg_2:Y\to Z such that g 1(x,0)=g 2(f(x))g_1(x,0)=g_2(f(x)) for all xXx\in X, there is a unique k:Cyl(f)Zk:Cyl(f)\to Z, such that the composition X×ICyl(f)kZX\times I\to Cyl(f)\stackrel{k}\to Z equals g 1g_1 and the composition YCyl(f)kZY\to Cyl(f)\stackrel{k}\to Z equals g 2g_2.

Theorem

For f:XYf \colon X\to Y a continuous function, the canonical map jf *(σ 0):YCyl(f)j \coloneqq f_*(\sigma_0) \colon Y\to Cyl(f) is a homotopy equivalence. In fact its homotopy inverse can be chosen a deformation retraction. In particular every continuous function factors as a map into its mapping cylinder followed by a deformation retraction.

Proof

We exhibit jj as a homotopy equivalence by constructing its homotopy inverse f˜\tilde{f} given by f˜:[x,t]f(x)\tilde{f}:[x,t]\mapsto f(x), where [x,t][x,t] is a class of (x,t)X×I(x,t)\in X\times I and f˜([y])=[y]\tilde{f}([y])=[y] for yYy\in Y. Clearly this map is well-defined and f˜j=id Y\tilde{f}\circ j = \id_Y. On the other hand, (jf˜)[x,t]=[f(x)](j\circ\tilde{f})[x,t] = [f(x)]. Homotopy H:Cyl(f)×IYH:\mathrm{Cyl}(f)\times I\to Y is given by

H([x,t],τ)=[x,t(1τ)],H([y],τ)=[y]. H([x,t],\tau) = [x,t(1-\tau)], \,\,\,H([y],\tau)=[y].

It is easy to see that H(,0)=id Cyl(f)H(-,0) = \id_{Cyl(f)}, H(,1)=[,0]=[f()]H(-,1)=[-,0]=[f(-)] hence jf˜id Cyl(f)j\circ\tilde{f}\sim id_{Cyl(f)}.

Theorem

A continuous map i:AXi:A\to X is a Hurewicz cofibration iff there is a retraction r:X×ICyl(f)r:X\times I\to Cyl(f) for the canonical map X×ICyl(f)X\times I \to Cyl(f).

Theorem

A continuous map f:XYf:X\to Y is a homotopy equivalence iff X=X×{0}X = X\times\{0\} is a deformation retract of the cylinder Cyl(f)Cyl(f).

Theorem

For any f:XYf:X\to Y, the composition

Xσ 1X×I(σ 0) *(f)Cyl(f)X\stackrel{\sigma_1}\to X\times I\stackrel{(\sigma_0)_* (f)}\to Cyl(f)

is a Hurewicz cofibration. Furthermore, the map r:Cyl(f)Yr:Cyl(f)\to Y determined by r([x,t])=f(x)r([x,t])= f(x) (for all xXx\in X and tIt\in I) and r([y])=yr([y])=y (for yYy\in Y) is well defined and a homotopy equivalence.

The composition r(σ 0) *(f)σ 1=fr\circ (\sigma_0)_* (f)\circ \sigma_1 = f, hence this is a decomposition of a continuous map into a cofibration followed by a homotopy equivalence.

examples of universal constructions of topological spaces:

AAAA\phantom{AAAA}limitsAAAA\phantom{AAAA}colimits
\, point space\,\, empty space \,
\, product topological space \,\, disjoint union topological space \,
\, topological subspace \,\, quotient topological space \,
\, fiber space \,\, space attachment \,
\, mapping cocylinder, mapping cocone \,\, mapping cylinder, mapping cone, mapping telescope \,
\, cell complex, CW-complex \,

References

General

(…)

In topology

Discussion of mapping cylinders of topological spaces in general topology:

See also:

In homological algebra

Discussion of mapping cylinders of chain complexes in homological algebra:

Textbook accounts:

Lecture notes:

  • Keller Vandebogert, Def. 3.1 in: Homological Algebra Notes (pdf)

Last revised on May 13, 2023 at 14:23:26. See the history of this page for a list of all contributions to it.