Cofibration Diagram

In mathematics, in particular homotopy theory, a continuous mapping

:$i: A \to X$,

where $A$ and $X$ are topological spaces, is a cofibration if it lets homotopy classes of maps ,S/math> be extended to homotopy classes of maps ,S/math> whenever a map $f \in \text_(A,S)$ can be extended to a map $f' \in \text_(X,S)$ where $f'\circ i = f$, hence their associated homotopy classes are equal = '\circ i/math>.

This type of structure can be encoded with the technical condition of having the homotopy extension property with respect to all spaces $S$. This definition is dual to that of a fibration, which is required to satisfy the homotopy lifting property with respect to all spaces. This duality is informally referred to as Eckmann–Hilton duality. Because of the generality this technical condition is stated, it can be used in model categories.

Definition

Homotopy theory

In what follows, let I = ,1/math> denote the unit interval.

A map $i\colon A \to X$ of topological spaces is called a cofibration^{pg 51} if for any map $f:A \to S$ such that there is an extension to $X$, meaning there is a map $f':X \to S$ such that $f'\circ i = f$, we can extend a homotopy of maps $H:A\times I \to S$ to a homotopy of maps $H': X\times I \to S$, where

$\begin H(a,0) &= f(a) \\ H'(x,0) &= f'(x) \end$

We can encode this condition in the following commutative diagram

where $S^I = \text_(I,S)$ is the path space of $S$.

Cofibrant objects

For a model category $\mathcal$, such as for pointed topological spaces, an object $X$ is called cofibrant if the map $* \to X$ is a cofibration. Note that in the category of pointed topological spaces, the notion of cofibration coincides with the previous definition assuming the maps are pointed maps of topological spaces.

Examples

In topology

Cofibrations are an awkward class of maps from a computational perspective because they are more easily seen as a formal technical tool which enables one to "do" homotopy theoretic constructions with topological spaces. Fortunately, for any map
:$f:X \to Y$
of topological spaces, there is an associated cofibration to a space $Mf$ called the mapping cylinder (where $Y$ is a deformation retract of, hence homotopy equivalent to it) which has an induced cofibration called replacing a map with a cofibration
:$i: X \to Mf$
and a map $Mf \to Y$ through which $f$ factors through, meaning there is a commutative diagram
:
where $r$ is a homotopy equivalence.

In addition to this class of examples, there are
*A frequently used fact is that a cellular inclusion is a cofibration (so, for instance, if $(X, A)$ is a CW pair, then $A \to X$ is a cofibration). This follows from the previous fact since $S^ \to D^n$ is a cofibration for every $n$, and pushouts are the gluing maps to the $n-1$ skeleton.
*Cofibrations are preserved under pushouts and composition, which is stated precisely below.

In chain complexes

If we let $C_+(\mathcal)$ be the category of chain complexes which are $0$ in degrees $q << 0$, then there is a model category structure^{pg 1.2} where the weak equivalences are quasi-isomorphisms, so maps of chain complexes which are isomorphisms after taking cohomology, fibrations are just epimorphisms, and cofibrations are given by maps

$i:C_\bullet \to D_\bullet$

which are injective and the cokernel complex $\text(i)_\bullet$ is a complex of projective objects in $\mathcal$. In addition, the cofibrant objects are the complexes whose objects are all projective objects in $\mathcal$.

Semi-simplicial sets

For the category $ss\textbf$ of semi-simplicial sets^{pg 1.3} (meaning there are no co-degeneracy maps going up in degree), there is a model category structure with fibrations given by Kan-fibrations, cofibrations injective maps, and weak equivalences given by weak equivalences after geometric realization.

Properties

* For Hausdorff spaces, every cofibration is a closed inclusion (injective with closed image); the result also generalizes to weak Hausdorff spaces.
* The pushout of a cofibration is a cofibration. That is, if $g\colon A\to B$ is any (continuous) map (between compactly generated spaces), and $i\colon A\to X$ is a cofibration, then the induced map $B\to B\cup_g X$ is a cofibration.
* The mapping cylinder can be understood as the pushout of $i\colon A\to X$ and the embedding (at one end of the unit interval) $i_0\colon A\to A\times I$. That is, the mapping cylinder can be defined as $Mi=X\cup_i(A\times I)$. By the universal property of the pushout, $i$ is a cofibration precisely when a mapping cylinder can be constructed for every space ''X''.
* Every map can be replaced by a cofibration via the mapping cylinder construction. That is, given an arbitrary (continuous) map $f\colon X\to Y$ (between compactly generated spaces), one defines the mapping cylinder
::$Mf=Y\cup_f(X\times I)$.
:One then decomposes $f$ into the composite of a cofibration and a homotopy equivalence. That is, $f$ can be written as the map
::$X \xrightarrow Mf\xrightarrow Y$
:with $f=rj$, when $j\colon x\mapsto (x,0)$ is the inclusion, and $r\colon y\mapsto y$ on $Y$ and $r\colon(x,s)\mapsto f(x)$ on $X\times I$.

* There is a cofibration (''A'', ''X''), if and only if there is a retraction from $X \times I$ to $(A \times I) \cup (X \times \)$, since this is the pushout and thus induces maps to every space sensible in the diagram.
* Similar equivalences can be stated for deformation-retract pairs, and for neighborhood deformation-retract pairs.

Constructions with cofibrations

Cofibrant replacement

Note that in a model category $\mathcal$ if $i:* \to X$ is not a cofibration, then the mapping cylinder $Mi$ forms a cofibrant replacement. In fact, if we work in just the category of topological spaces, the cofibrant replacement for any map from a point to a space forms a cofibrant replacement.

Cofiber

For a cofibration $A \to X$ we define the cofiber to be the induced quotient space $X/A$. In general, for $f:X \to Y$, the cofiber^{pg 59} is defined as the quotient space

$C_f = M_f/(A\times \)$

which is the mapping cone of $f$. Homotopically, the cofiber acts as a homotopy cokernel of the map $f:X \to Y$. In fact, for pointed topological spaces, the homotopy colimit of

$\underset\left(\begin X & \xrightarrow & Y \\ \downarrow & & \\ * \end\right) = C_f$

In fact, the sequence of maps $X \to Y \to C_f$ comes equipped with the cofiber sequence which acts like a distinguished triangle in triangulated categories.

See also

* Fibration
*Homotopy colimit
*Homotopy fiber

References

Peter May, "A Concise Course in Algebraic Topology"
: chapter 6 defines and discusses cofibrations, and they are used throughout
* Chapter 7 has many results not found elsewhere.

{{Manifolds

Homotopical algebra
Homotopy theory