This pages gives a detailed introduction to classical homotopy theory, starting with the concept of homotopy in topological spaces and motivating from this the “abstract homotopy theory” in general model categories.
$\,$
For background on basic topology see at Introduction to Topology.
For application to homological algebra see at Introduction to Homological algebra.
For application to stable homotopy theory see at Introduction to Stable 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
$\,$
While the field of algebraic topology clearly originates in topology, it is not actually interested in topological spaces regarded up to topological isomorphism, namely homeomorphism (“point-set topology”), but only in topological spaces regarded up to weak homotopy equivalence – hence it is interested only in the “weak homotopy types” of topological spaces. This is so notably because ordinary cohomology groups are invariants of the (weak) homotopy type of topological spaces but do not detect their homeomorphism class.
The category of topological spaces obtained by forcing weak homotopy equivalences to become isomorphisms is the “classical homotopy category” Ho(Top). This homotopy category however has forgotten a little too much information: homotopy theory really wants the weak homotopy equivalences not to become plain isomorphisms, but to become actual homotopy equivalences. The structure that reflects this is called a model category structure (short for “category of models for homotopy types”). For classical homotopy theory this is accordingly called the classical model structure on topological spaces. This we review here.
This section recalls relevant concepts from actual topology (“point-set topology”) and highlights facts that motivate the axiomatics of model categories below. We prove two technical lemmas (lemma 1 and lemma 5) that serve to establish the abstract homotopy theory of topological spaces further below.
Literature (Hirschhorn 15)
$\,$
Throughout, let Top denote the category whose objects are topological spaces and whose morphisms are continuous functions between them. Its isomorphisms are the homeomorphisms.
(Further below we restrict attention to the full subcategory of compactly generated topological spaces.)
To begin with, we recall some basics on universal constructions in Top: limits and colimits of diagrams of topological spaces; exponential objects.
Generally, recall:
A diagram in a category $\mathcal{C}$ is a small category $I$ and a functor
A cone over this diagram is an object $Q$ equipped with morphisms $p_i \colon Q \longrightarrow X_i$ for all $i \in I$, such that all these triangles commute:
Dually, a co-cone under the diagram is $Q$ equipped with morphisms $q_i \colon X_i \longrightarrow Q$ such that all these triangles commute
A limit over the diagram is a universal cone, denoted $\underset{\longleftarrow}{\lim}_{i \in I} X_i$, that is: a cone such that every other cone uniquely factors through it $Q \longrightarrow \underset{\longleftarrow}{\lim}_{i \in I} X_i$, making all the resulting triangles commute.
Dually, a colimit over the diagram is a universal co-cone, denoted $\underset{\longrightarrow}{\lim}_{i \in I} X_i$.
We now discuss limits and colimits in $\mathcal{C}=$ Top. The key for understanding these is the fact that there are initial and final topologies:
Let $\{X_i = (S_i,\tau_i) \in Top\}_{i \in I}$ be a set of topological spaces, and let $S \in Set$ be a bare set. Then
For $\{S \stackrel{f_i}{\to} S_i \}_{i \in I}$ a set of functions out of $S$, the initial topology $\tau_{initial}(\{f_i\}_{i \in I})$ is the topology on $S$ with the minimum collection of open subsets such that all $f_i \colon (S,\tau_{initial}(\{f_i\}_{i \in I}))\to X_i$ are continuous.
For $\{S_i \stackrel{f_i}{\to} S\}_{i \in I}$ a set of functions into $S$, the final topology $\tau_{final}(\{f_i\}_{i \in I})$ is the topology on $S$ with the maximum collection of open subsets such that all $f_i \colon X_i \to (S,\tau_{final}(\{f_i\}_{i \in I}))$ are continuous.
For $X$ a single topological space, and $\iota_S \colon S \hookrightarrow U(X)$ a subset of its underlying set, then the initial topology $\tau_{intial}(\iota_S)$, def. 2, is the subspace topology, making
a topological subspace inclusion.
Conversely, for $p_S \colon U(X) \longrightarrow S$ an epimorphism, then the final topology $\tau_{final}(p_S)$ on $S$ is the quotient topology.
Let $I$ be a small category and let $X_\bullet \colon I \longrightarrow Top$ be an $I$-diagram in Top (a functor from $I$ to $Top$), with components denoted $X_i = (S_i, \tau_i)$, where $S_i \in Set$ and $\tau_i$ a topology on $S_i$. Then:
The limit of $X_\bullet$ exists and is given by the topological space whose underlying set is the limit in Set of the underlying sets in the diagram, and whose topology is the initial topology, def. 2, for the functions $p_i$ which are the limiting cone components:
Hence
The colimit of $X_\bullet$ exists and is the topological space whose underlying set is the colimit in Set of the underlying diagram of sets, and whose topology is the final topology, def. 2 for the component maps $\iota_i$ of the colimiting cocone
Hence
(e.g. Bourbaki 71, section I.4)
The required universal property of $\left(\underset{\longleftarrow}{\lim}_{i \in I} S_i,\; \tau_{initial}(\{p_i\}_{i \in I})\right)$ (def. 1) is immediate: for
any cone over the diagram, then by construction there is a unique function of underlying sets $S \longrightarrow \underset{\longleftarrow}{\lim}_{i \in I} S_i$ making the required diagrams commute, and so all that is required is that this unique function is always continuous. But this is precisely what the initial topology ensures.
The case of the colimit is formally dual.
The limit over the empty diagram in $Top$ is the point $\ast$ with its unique topology.
For $\{X_i\}_{i \in I}$ a set of topological spaces, their coproduct $\underset{i \in I}{\sqcup} X_i \in Top$ is their disjoint union.
In particular:
For $S \in Set$, the $S$-indexed coproduct of the point, $\underset{s \in S}{\coprod}\ast$ is the set $S$ itself equipped with the final topology, hence is the discrete topological space on $S$.
For $\{X_i\}_{i \in I}$ a set of topological spaces, their product $\underset{i \in I}{\prod} X_i \in Top$ is the Cartesian product of the underlying sets equipped with the product topology, also called the Tychonoff product.
In the case that $S$ is a finite set, such as for binary product spaces $X \times Y$, then a sub-basis for the product topology is given by the Cartesian products of the open subsets of (a basis for) each factor space.
The equalizer of two continuous functions $f, g \colon X \stackrel{\longrightarrow}{\longrightarrow} Y$ in $Top$ is the equalizer of the underlying functions of sets
(hence the largets subset of $S_X$ on which both functions coincide) and equipped with the subspace topology, example 1.
The coequalizer of two continuous functions $f, g \colon X \stackrel{\longrightarrow}{\longrightarrow} Y$ in $Top$ is the coequalizer of the underlying functions of sets
(hence the quotient set by the equivalence relation generated by $f(x) \sim g(x)$ for all $x \in X$) and equipped with the quotient topology, example 2.
For
two continuous functions out of the same domain, then the colimit under this diagram is also called the pushout, denoted
(Here $g_\ast f$ is also called the pushout of $f$, or the cobase change of $f$ along $g$.)
This is equivalently the coequalizer of the two morphisms from $A$ to the coproduct of $X$ with $Y$ (example 4):
If $g$ is an inclusion, one also writes $X \cup_f Y$ and calls this the attaching space.
By example 8 the pushout/attaching space is the quotient topological space
of the disjoint union of $X$ and $Y$ subject to the equivalence relation which identifies a point in $X$ with a point in $Y$ if they have the same pre-image in $A$.
(graphics from Aguilar-Gitler-Prieto 02)
Notice that the defining universal property of this colimit means that completing the span
to a commuting square
is equivalent to finding a morphism
For $A\hookrightarrow X$ a topological subspace inclusion, example 1, then the pushout
is the quotient space or cofiber, denoted $X/A$.
An important special case of example 9:
For $n \in \mathbb{N}$ write
$D^n \coloneqq \{ \vec x\in \mathbb{R}^n | \; {\vert \vec x \vert \leq 1}\} \hookrightarrow \mathbb{R}^n$ for the standard topological n-disk (equipped with its subspace topology as a subset of Cartesian space);
$S^{n-1} = \partial D^n \coloneqq \{ \vec x\in \mathbb{R}^n | \; {\vert \vec x \vert = 1}\} \hookrightarrow \mathbb{R}^n$ for its boundary, the standard topological n-sphere.
Notice that $S^{-1} = \emptyset$ and that $S^0 = \ast \sqcup \ast$.
Let
be the canonical inclusion of the standard (n-1)-sphere as the boundary of the standard n-disk (both regarded as topological spaces with their subspace topology as subspaces of the Cartesian space $\mathbb{R}^n$).
Then the colimit in Top under the diagram
i.e. the pushout of $i_n$ along itself, is the n-sphere $S^n$:
(graphics from Ueno-Shiga-Morita 95)
Another kind of colimit that will play a role for certain technical constructions is transfinite composition. First recall
A partial order is a set $S$ equipped with a relation $\leq$ such that for all elements $a,b,c \in S$
1) (reflexivity) $a \leq a$;
2) (transitivity) if $a \leq b$ and $b \leq c$ then $a \leq c$;
3) (antisymmetry) if $a\leq b$ and $\b \leq a$ then $a = b$.
This we may and will equivalently think of as a category with objects the elements of $S$ and a unique morphism $a \to b$ precisely if $a\leq b$. In particular an order-preserving function between partially ordered sets is equivalently a functor between their corresponding categories.
A bottom element $\bot$ in a partial order is one such that $\bot \leq a$ for all a. A top element $\top$ is one for wich $a \leq \top$.
A partial order is a total order if in addition
4) (totality) either $a\leq b$ or $b \leq a$.
A total order is a well order if in addition
5) (well-foundedness) every non-empty subset has a least element.
An ordinal is the equivalence class of a well-order.
The successor of an ordinal is the class of the well-order with a top element freely adjoined.
A limit ordinal is one that is not a successor.
The finite ordinals are labeled by $n \in \mathbb{N}$, corresponding to the well-orders $\{0 \leq 1 \leq 2 \cdots \leq n-1\}$. Here $(n+1)$ is the successor of $n$. The first non-empty limit ordinal is $\omega = [(\mathbb{N}, \leq)]$.
Let $\mathcal{C}$ be a category, and let $I \subset Mor(\mathcal{C})$ be a class of its morphisms.
For $\alpha$ an ordinal (regarded as a category), an $\alpha$-indexed transfinite sequence of elements in $I$ is a diagram
such that
$X_\bullet$ takes all successor morphisms $\beta \stackrel{\leq}{\to} \beta + 1$ in $\alpha$ to elements in $I$
$X_\bullet$ is continuous in that for every nonzero limit ordinal $\beta \lt \alpha$, $X_\bullet$ restricted to the full-subdiagram $\{\gamma \;|\; \gamma \leq \beta\}$ is a colimiting cocone in $\mathcal{C}$ for $X_\bullet$ restricted to $\{\gamma \;|\; \gamma \lt \beta\}$.
The corresponding transfinite composition is the induced morphism
into the colimit of the diagram, schematically:
We now turn to the discussion of mapping spaces/exponential objects.
For $X$ a topological space and $Y$ a locally compact topological space (in that for every point, every neighbourhood contains a compact neighbourhood), the mapping space
is the topological space
whose underlying set is the set $Hom_{Top}(Y,X)$ of continuous functions $Y \to X$,
whose open subsets are unions of finitary intersections of the following subbase elements of standard open subsets:
the standard open subset $U^K \subset Hom_{Top}(Y,X)$ for
$K \hookrightarrow Y$ a compact topological space subset
$U \hookrightarrow X$ an open subset
is the subset of all those continuous functions $f$ that fit into a commuting diagram of the form
Accordingly this is called the compact-open topology on the set of functions.
The construction extends to a functor
For $X$ a topological space and $Y$ a locally compact topological space (in that for each point, each open neighbourhood contains a compact neighbourhood), the topological mapping space $X^Y$ from def. 5 is an exponential object, i.e. the functor $(-)^Y$ is right adjoint to the product functor $Y \times (-)$: there is a natural bijection
between continuous functions out of any product topological space of $Y$ with any $Z \in Top$ and continuous functions from $Z$ into the mapping space.
A proof is spelled out here (or see e.g. Aguilar-Gitler-Prieto 02, prop. 1.3.1).
In the context of prop. 2 it is often assumed that $Y$ is also a Hausdorff topological space. But this is not necessary. What assuming Hausdorffness only achieves is that all alternative definitions of “locally compact” become equivalent to the one that is needed for the proposition: for every point, every open neighbourhood contains a compact neighbourhood.
Proposition 2 fails in general if $Y$ is not locally compact. Therefore the plain category Top of all topological spaces is not a Cartesian closed category.
This is no problem for the construction of the homotopy theory of topological spaces as such, but it becomes a technical nuisance for various constructions that one would like to perform within that homotopy theory. For instance on general pointed topological spaces the smash product is in general not associative.
On the other hand, without changing any of the following discussion one may just pass to a more convenient category of topological spaces such as notably the full subcategory of compactly generated topological spaces $Top_{cg} \hookrightarrow Top$ (def. 46) which is Cartesian closed. This we turn to below.
The fundamental concept of homotopy theory is clearly that of homotopy. In the context of topological spaces this is about contiunous deformations of continuous functions parameterized by the standard interval:
Write
for the standard topological interval, a compact connected topological subspace of the real line.
Equipped with the canonical inclusion of its two endpoints
this is the standard interval object in Top.
For $X \in Top$, the product topological space $X\times I$, example 6, is called the standard cylinder object over $X$. The endpoint inclusions of the interval make it factor the codiagonal on $X$
For $f,g\colon X \longrightarrow Y$ two continuous functions between topological spaces $X,Y$, then a left homotopy
is a continuous function
out of the standard cylinder object over $X$, def. 6, such that this fits into a commuting diagram of the form
(graphics grabbed from J. Tauber here)
Let $X$ be a topological space and let $x,y \in X$ be two of its points, regarded as functions $x,y \colon \ast \longrightarrow X$ from the point to $X$. Then a left homotopy, def. 7, between these two functions is a commuting diagram of the form
This is simply a continuous path in $X$ whose endpoints are $x$ and $y$.
For instance:
Let
be the continuous function from the standard interval $I = [0,1]$ to itself that is constant on the value 0. Then there is a left homotopy, def. 7, from the identity function
given by
A key application of the concept of left homotopy is to the definition of homotopy groups:
For $X$ a topological space, then its set $\pi_0(X)$ of connected components, also called the 0-th homotopy set, is the set of left homotopy-equivalence classes (def. 7) of points $x \colon \ast \to X$, hence the set of path-connected components of $X$ (example 13). By composition this extends to a functor
For $n \in \mathbb{N}$, $n \geq 1$ and for $x \colon \ast \to X$ any point, then the $n$th homotopy group $\pi_n(X,x)$ of $X$ at $x$ is the group
whose underlying set is the set of left homotopy-equivalence classes of maps $I^n \longrightarrow X$ that take the boundary of $I^n$ to $x$ and where the left homotopies $\eta$ are constrained to be constant on the boundary;
whose group product operation takes $[\alpha \colon I^n \to X]$ and $[\beta \colon I^n \to X]$ to $[\alpha \cdot \beta]$ with
where the first map is a homeomorphism from the unit $n$-cube to the $n$-cube with one side twice the unit length (e.g. $(x_1, x_2, x_3, \cdots) \mapsto (2 x_1, x_2, x_3, \cdots)$).
By composition, this construction extends to a functor
from pointed topological spaces to graded groups.
Notice that often one writes the value of this functor on a morphism $f$ as $f_\ast = \pi_\bullet(f)$.
At this point we don’t go further into the abstract reason why def. 8 yields group structure above degree 0, which is that positive dimension spheres are H-cogroup objects. But this is important, for instance in the proof of the Brown representability theorem. See the section Brown representability theorem in Part S.
A continuous function $f \;\colon\; X \longrightarrow Y$ is called a homotopy equivalence if there exists a continuous function the other way around, $g \;\colon\; Y \longrightarrow X$, and left homotopies, def. 7, from the two composites to the identity:
and
If here $\eta_2$ is constant along $I$, $f$ is said to exhibit $X$ as a deformation retract of $Y$.
For $X$ a topological space and $X \times I$ its standard cylinder object of def. 6, then the projection $p \colon X \times I \longrightarrow X$ and the inclusion $(id, \delta_0) \colon X \longrightarrow X\times I$ are homotopy equivalences, def. 9, and in fact are homotopy inverses to each other:
The composition
is immediately the identity on $X$ (i.e. homotopic to the identity by a trivial homotopy), while the composite
is homotopic to the identity on $X \times I$ by a homotopy that is pointwise in $X$ that of example 14.
A continuous function $f \colon X \longrightarrow Y$ is called a weak homotopy equivalence if its image under all the homotopy group functors of def. 8 is an isomorphism, hence if
and for all $x \in X$ and all $n \geq 1$
Every homotopy equivalence, def. 9, is a weak homotopy equivalence, def. 10.
In particular a deformation retraction, def. 9, is a weak homotopy equivalence.
First observe that for all $X\in$ Top the inclusion maps
into the standard cylinder object, def. 6, are weak homotopy equivalences: by postcomposition with the contracting homotopy of the interval from example 14 all homotopy groups of $X \times I$ have representatives that factor through this inclusion.
Then given a general homotopy equivalence, apply the homotopy groups functor to the corresponding homotopy diagrams (where for the moment we notationally suppress the choice of basepoint for readability) to get two commuting diagrams
By the previous observation, the vertical morphisms here are isomorphisms, and hence these diagrams exhibit $\pi_\bullet(f)$ as the inverse of $\pi_\bullet(g)$, hence both as isomorphisms.
The converse of prop. 3 is not true generally: not every weak homotopy equivalence between topological spaces is a homotopy equivalence. (For an example with full details spelled out see for instance Fritsch, Piccinini: “Cellular Structures in Topology”, p. 289-290).
However, as we will discuss below, it turns out that
every weak homotopy equivalence between CW-complexes is a homotopy equivalence (Whitehead's theorem, cor. 3);
every topological space is connected by a weak homotopy equivalence to a CW-complex (CW approximation, remark 16).
For $X\in Top$, the projection $X\times I \longrightarrow X$ from the cylinder object of $X$, def. 6, is a weak homotopy equivalence, def. 10. This means that the factorization
of the codiagonal $\nabla_X$ in def. 6, which in general is far from being a monomorphism, may be thought of as factoring it through a monomorphism after replacing $X$, up to weak homotopy equivalence, by $X\times I$.
In fact, further below (prop. 14) we see that $X \sqcup X \to X \times I$ has better properties than the generic monomorphism has, in particular better homotopy invariant properties: it has the left lifting property against all Serre fibrations $E \stackrel{p}{\longrightarrow} B$ that are also weak homotopy equivalences.
Of course the concept of left homotopy in def. 7 is accompanied by a concept of right homotopy. This we turn to now.
For $X$ a topological space, its standard topological path space object is the topological path space, hence the mapping space $X^I$, prop. 2, out of the standard interval $I$ of def. 6.
The endpoint inclusion into the standard interval, def. 6, makes the path space $X^I$ of def. 11 factor the diagonal on $X$ through the inclusion of constant paths and the endpoint evaluation of paths:
This is the formal dual to example 6. As in that example, below we will see (prop. 22) that this factorization has good properties, in that
$X^{I \to \ast}$ is a weak homotopy equivalence;
$X^{\ast \sqcup \ast \to I}$ is a Serre fibration.
So while in general the diagonal $\Delta_X$ is far from being an epimorphism or even just a Serre fibration, the factorization through the path space object may be thought of as replacing $X$, up to weak homotopy equivalence, by its path space, such as to turn its diagonal into a Serre fibration after all.
For $f,g\colon X \longrightarrow Y$ two continuous functions between topological spaces $X,Y$, then a right homotopy $f \Rightarrow_R g$ is a continuous function
into the path space object of $X$, def. 11, such that this fits into a commuting diagram of the form
We consider topological spaces that are built consecutively by attaching basic cells.
Write
for the set of canonical boundary inclusion maps of the standard n-disks, example 11. This going to be called the set of standard topological generating cofibrations.
For $X \in Top$ and for $n \in \mathbb{N}$, an $n$-cell attachment to $X$ is the pushout (“attaching space”, example 9) of a generating cofibration, def. 13
along some continuous function $\phi$.
A continuous function $f \colon X \longrightarrow Y$ is called a topological relative cell complex if it is exhibited by a (possibly infinite) sequence of cell attachments to $X$, in that it is a transfinite composition (def. 4) of pushouts (example 9)
of coproducts (example 4) of generating cofibrations (def. 13).
A topological space $X$ is a cell complex if $\emptyset \longrightarrow X$ is a relative cell complex.
A relative cell complex is called a finite relative cell complex if it is obtained from a finite number of cell attachments.
A (relative) cell complex is called a (relative) CW-complex if the above transfinite composition is countable
and if $X_k$ is obtained from $X_{k-1}$ by attaching cells precisely only of dimension $k$.
Strictly speaking a relative cell complex, def. 14, is a function $f\colon X \to Y$, together with its cell structure, hence together with the information of the pushout diagrams and the transfinite composition of the pushout maps that exhibit it.
In many applications, however, all that matters is that there is some (relative) cell decomosition, and then one tends to speak loosely and mean by a (relative) cell complex only a (relative) topological space that admits some cell decomposition.
The following lemma 1, together with lemma 5 below are the only two statements of the entire development here that involve the concrete particular nature of topological spaces (“point-set topology”), everything beyond that is general abstract homotopy theory.
Assuming the axiom of choice and the law of excluded middle, every compact subspace of a topological cell complex, def. 14, intersects the interior of a finite number of cells.
(e.g. Hirschhorn 15, section 3.1)
So let $Y$ be a topological cell complex and $C \hookrightarrow Y$ a compact subspace. Define a subset
by choosing one point in the interior of the intersection with $C$ of each cell of $Y$ that intersects $C$.
It is now sufficient to show that $P$ has no accumulation point. Because, by the compactness of $X$, every non-finite subset of $C$ does have an accumulation point, and hence the lack of such shows that $P$ is a finite set and hence that $C$ intersects the interior of finitely many cells of $Y$.
To that end, let $c\in C$ be any point. If $c$ is a 0-cell in $Y$, write $U_c \coloneqq \{c\}$. Otherwise write $e_c$ for the unique cell of $Y$ that contains $c$ in its interior. By construction, there is exactly one point of $P$ in the interior of $e_c$. Hence there is an open neighbourhood $c \in U_c \subset e_c$ containing no further points of $P$ beyond possibly $c$ itself, if $c$ happens to be that single point of $P$ in $e_c$.
It is now sufficient to show that $U_c$ may be enlarged to an open subset $\tilde U_c$ of $Y$ containing no point of $P$, except for possibly $c$ itself, for that means that $c$ is not an accumulation point of $P$.
To that end, let $\alpha_c$ be the ordinal that labels the stage $Y_{\alpha_c}$ of the transfinite composition in the cell complex-presentation of $Y$ at which the cell $e_c$ above appears. Let $\gamma$ be the ordinal of the full cell complex. Then define the set
and regard this as a partially ordered set by declaring a partial ordering via
This is set up such that every element $(\beta, U)$ of $T$ with $\beta$ the maximum value $\beta = \gamma$ is an extension $\tilde U_c$ that we are after.
Observe then that for $(\beta_s, U_s)_{s\in S}$ a chain in $(T,\lt)$ (a subset on which the relation $\lt$ restricts to a total order), it has an upper bound in $T$ given by the union $({\cup}_s \beta_s ,\cup_s U_s)$. Therefore Zorn's lemma applies, saying that $(T,\lt)$ contains a maximal element $(\beta_{max}, U_{max})$.
Hence it is now sufficient to show that $\beta_{max} = \gamma$. We argue this by showing that assuming $\beta_{\max}\lt \gamma$ leads to a contradiction.
So assume $\beta_{max}\lt \gamma$. Then to construct an element of $T$ that is larger than $(\beta_{max},U_{max})$, consider for each cell $d$ at stage $Y_{\beta_{max}+1}$ its attaching map $h_d \colon S^{n-1} \to Y_{\beta_{max}}$ and the corresponding preimage open set $h_d^{-1}(U_{max})\subset S^{n-1}$. Enlarging all these preimages to open subsets of $D^n$ (such that their image back in $X_{\beta_{max}+1}$ does not contain $c$), then $(\beta_{max}, U_{max}) \lt (\beta_{max}+1, \cup_d U_d )$. This is a contradiction. Hence $\beta_{max} = \gamma$, and we are done.
It is immediate and useful to generalize the concept of topological cell complexes as follows.
For $\mathcal{C}$ any category and for $K \subset Mor(\mathcal{C})$ any sub-class of its morphisms, a relative $K$-cell complexes is a morphism in $\mathcal{C}$ which is a transfinite composition (def. 4) of pushouts of coproducts of morphsims in $K$.
Write
for the set of inclusions of the topological n-disks, def. 13, into their cylinder objects, def. 6, along (for definiteness) the left endpoint inclusion.
These inclusions are similar to the standard topological generating cofibrations $I_{Top}$ of def. 13, but in contrast to these they are “acyclic” (meaning: trivial on homotopy classes of maps from “cycles” given by n-spheres) in that they are weak homotopy equivalences (by prop. 3).
Accordingly, $J_{Top}$ is to be called the set of standard topological generating acyclic cofibrations.
For $X$ a CW-complex (def. 14), then its inclusion $X \overset{(id, \delta_0)}{\longrightarrow} X\times I$ into its standard cylinder (def. 6) is a $J_{Top}$-relative cell complex (def. 15, def. 16).
First erect a cylinder over all 0-cells
Assume then that the cylinder over all $n$-cells of $X$ has been erected using attachment from $J_{Top}$. Then the union of any $(n+1)$-cell $\sigma$ of $X$ with the cylinder over its boundary is homeomorphic to $D^{n+1}$ and is like the cylinder over the cell “with end and interior removed”. Hence via attaching along $D^{n+1} \to D^{n+1}\times I$ the cylinder over $\sigma$ is erected.
The maps $D^n \hookrightarrow D^n \times I$ in def. 16 are finite relative cell complexes, def. 14. In other words, the elements of $J_{Top}$ are $I_{Top}$-relative cell complexes.
There is a homeomorphism
such that the map on the right is the inclusion of one hemisphere into the boundary n-sphere of $D^{n+1}$. This inclusion is the result of attaching two cells:
here the top pushout is the one from example 11.
Every $J_{Top}$-relative cell complex (def. 16, def. 15) is a weak homotopy equivalence, def. 10.
Let $X \longrightarrow \hat X = \underset{\longleftarrow}{\lim}_{\beta \leq \alpha} X_\beta$ be a $J_{Top}$-relative cell complex.
First observe that with the elements $D^n \hookrightarrow D^n \times I$ of $J_{Top}$ being homotopy equivalences for all $n \in \mathbb{N}$ (by example 15), each of the stages $X_{\beta} \longrightarrow X_{\beta + 1}$ in the relative cell complex is also a homotopy equivalence. We make this fully explicit:
By definition, such a stage is a pushout of the form
Then the fact that the projections $p_{n_i} \colon D^{n_i} \times I \to D^{n_i}$ are strict left inverses to the inclusions $(id, \delta_0)$ gives a commuting square of the form
and so the universal property of the colimit (pushout) $X_{\beta + 1}$ gives a factorization of the identity morphism on the right through $X_{\beta + 1}$
which exhibits $X_{\beta + 1} \to X_\beta$ as a strict left inverse to $X_{\beta} \to X_{\beta + 1}$. Hence it is now sufficient to show that this is also a homotopy right inverse.
To that end, let
be the left homotopy that exhibits $p_{n_i}$ as a homotopy right inverse to $p_{n_i}$ by example 15. For each $t \in [0,1]$ consider the commuting square
Regarded as a cocone under the span in the top left, the universal property of the colimit (pushout) $X_{\beta + 1}$ gives a continuous function
for each $t \in [0,1]$. For $t = 0$ this construction reduces to the provious one in that $\eta(-,0) \colon X_{\beta +1 } \to X_{\beta} \to X_{\beta + 1}$ is the composite which we need to homotope to the identity; while $\eta(-,1)$ is the identity. Since $\eta(-,t)$ is clearly also continuous in $t$ it constitutes a continuous function
which exhibits the required left homotopy.
So far this shows that each stage $X_{\beta} \to X_{\beta+1}$ in the transfinite composition defining $\hat X$ is a homotopy equivalence, hence, by prop. 3, a weak homotopy equivalence.
This means that all morphisms in the following diagram (notationally suppressing basepoints and showing only the finite stages)
are isomorphisms.
Moreover, lemma 1 gives that every representative and every null homotopy of elements in $\pi_n(\hat X)$ already exists at some finite stage $X_k$. This means that also the universally induced morphism
is an isomorphism. Hence the composite $\pi_n(X) \overset{\simeq}{\longrightarrow} \pi_n(\hat X)$ is an isomorphism.
Given a relative $C$-cell complex $\iota \colon X \to Y$, def. 15, it is typically interesting to study the extension problem along $f$, i.e. to ask which topological spaces $E$ are such that every continuous function $f\colon X \longrightarrow E$ has an extension $\tilde f$ along $\iota$
If such extensions exists, it means that $E$ is sufficiently “spread out” with respect to the maps in $C$. More generally one considers this extension problem fiberwise, i.e. with both $E$ and $Y$ (hence also $X$) equipped with a map to some base space $B$:
Given a category $\mathcal{C}$ and a sub-class $C \subset Mor(\mathcal{C})$ of its morphisms, then a morphism $p \colon E \longrightarrow B$ in $\mathcal{C}$ is said to have the right lifting property against the morphisms in $C$ if every commuting diagram in $\mathcal{C}$ of the form
with $c \in C$, has a lift $h$, in that it may be completed to a commuting diagram of the form
We will also say that $f$ is a $C$-injective morphism if it satisfies the right lifting property against $C$.
A continuous function $p \colon E \longrightarrow B$ is called a Serre fibration if it is a $J_{Top}$-injective morphism; i.e. if it has the right lifting property, def. 17, against all topological generating acylic cofibrations, def. 16; hence if for every commuting diagram of continuous functions of the form
has a lift $h$, in that it may be completed to a commuting diagram of the form
Def. 18 says, in view of the definition of left homotopy, that a Serre fibration $p$ is a map with the property that given a left homotopy, def. 7, between two functions into its codomain, and given a lift of one the two functions through $p$, then also the homotopy between the two lifts. Therefore the condition on a Serre fibration is also called the homotopy lifting property for maps whose domain is an n-disk.
More generally one may ask functions $p$ to have such homotopy lifting property for functions with arbitrary domain. These are called Hurewicz fibrations.
The precise shape of $D^n$ and $D^n \times I$ in def. 18 turns out not to actually matter much for the nature of Serre fibrations. We will eventually find below (prop. 17) that what actually matters here is only that the inclusions $D^n \hookrightarrow D^n \times I$ are relative cell complexes (lemma 3) and weak homotopy equivalences (prop. 3) and that all of these may be generated from them in a suitable way.
But for simple special cases this is readily seen directly, too. Notably we could replace the n-disks in def. 18 with any homeomorphic topological space. A choice important in the comparison to the classical model structure on simplicial sets (below) is to instead take the topological n-simplices $\Delta^n$. Hence a Serre fibration is equivalently characterized as having lifts in all diagrams of the form
Other deformations of the $n$-disks are useful in computations, too. For instance there is a homeomorphism from the $n$-disk to its “cylinder with interior and end removed”, formally:
and hence $f$ is a Serre fibration equivalently also if it admits lifts in all diagrams of the form
The following is a general fact about closure of morphisms defined by lifting properties which we prove in generality below as prop. 6.
A Serre fibration, def. 18 has the right lifting property against all retracts (see remark 11) of $J_{Top}$-relative cell complexes (def. 16, def. 14).
The following statement is foreshadowing the long exact sequences of homotopy groups (below) induced by any fiber sequence, the full version of which we come to below (example 44) after having developed more of the abstract homotopy theory.
Let $f\colon X \longrightarrow Y$ be a Serre fibration, def. 18, let $y \colon \ast \to Y$ be any point and write
for the fiber inclusion over that point. Then for every choice $x \colon \ast \to X$ of lift of the point $y$ through $f$, the induced sequence of homotopy groups
is exact, in that the kernel of $f_\ast$ is canonically identified with the image of $\iota_\ast$:
It is clear that the image of $\iota_\ast$ is in the kernel of $f_\ast$ (every sphere in $F_y\hookrightarrow X$ becomes constant on $y$, hence contractible, when sent forward to $Y$).
For the converse, let $[\alpha]\in \pi_{\bullet}(X,x)$ be represented by some $\alpha \colon S^{n-1} \to X$. Assume that $[\alpha]$ is in the kernel of $f_\ast$. This means equivalently that $\alpha$ fits into a commuting diagram of the form
where $\kappa$ is the contracting homotopy witnessing that $f_\ast[\alpha] = 0$.
Now since $x$ is a lift of $y$, there exists a left homotopy
as follows:
(for instance: regard $D^n$ as embedded in $\mathbb{R}^n$ such that $0 \in \mathbb{R}^n$ is identified with the basepoint on the boundary of $D^n$ and set $\eta(\vec v,t) \coloneqq \kappa(t \vec v)$).
The pasting of the top two squares that have appeared this way is equivalent to the following commuting square
Because $f$ is a Serre fibration and by lemma 2 and prop. 4, this has a lift
Notice that $\tilde \eta$ is a basepoint preserving left homotopy from $\alpha = \tilde \eta|_1$ to some $\alpha' \coloneqq \tilde \eta|_0$. Being homotopic, they represent the same element of $\pi_{n-1}(X,x)$:
But the new representative $\alpha'$ has the special property that its image in $Y$ is not just trivializable, but trivialized: combining $\tilde \eta$ with the previous diagram shows that it sits in the following commuting diagram
The commutativity of the outer square says that $f_\ast \alpha'$ is constant, hence that $\alpha'$ is entirely contained in the fiber $F_y$. Said more abstractly, the universal property of fibers gives that $\alpha'$ factors through $F_y\overset{\iota}{\hookrightarrow} X$, hence that $[\alpha'] = [\alpha]$ is in the image of $\iota_\ast$.
The following lemma 5, together with lemma 1 above, are the only two statements of the entire development here that crucially involve the concrete particular nature of topological spaces (“point-set topology”), everything beyond that is general abstract homotopy theory.
The continuous functions with the right lifting property, def. 17 against the set $I_{Top} = \{S^{n-1}\hookrightarrow D^n\}$ of topological generating cofibrations, def. 13, are precisely those which are both weak homotopy equivalences, def. 10 as well as Serre fibrations, def. 18.
We break this up into three sub-statements:
A) $I_{Top}$-injective morphisms are in particular weak homotopy equivalences
Let $p \colon \hat X \to X$ have the right lifting property against $I_{Top}$
We check that the lifts in these diagrams exhibit $\pi_\bullet(f)$ as being an isomorphism on all homotopy groups, def. 8:
For $n = 0$ the existence of these lifts says that every point of $X$ is in the image of $p$, hence that $\pi_0(\hat X) \to \pi_0(X)$ is surjective. Let then $S^0 = \ast \coprod \ast \longrightarrow \hat X$ be a map that hits two connected components, then the existence of the lift says that if they have the same image in $\pi_0(X)$ then they were already the same connected component in $\hat X$. Hence $\pi_0(\hat X)\to \pi_0(X)$ is also injective and hence is a bijection.
Similarly, for $n \geq 1$, if $S^n \to \hat X$ represents an element in $\pi_n(\hat X)$ that becomes trivial in $\pi_n(X)$, then the existence of the lift says that it already represented the trivial element itself. Hence $\pi_n(\hat X) \to \pi_n(X)$ has trivial kernel and so is injective.
Finally, to see that $\pi_n(\hat X) \to \pi_n(X)$ is also surjective, hence bijective, observe that every elements in $\pi_n(X)$ is equivalently represented by a commuting diagram of the form
and so here the lift gives a representative of a preimage in $\pi_{n}(\hat X)$.
B) $I_{Top}$-injective morphisms are in particular Serre fibrations
By an immediate closure property of lifting problems (we spell this out in generality as prop. 6, cor. 7 below) an $I_{Top}$-injective morphism has the right lifting property against all relative cell complexes, and hence, by lemma 3, it is also a $J_{Top}$-injective morphism, hence a Serre fibration.
C) Acyclic Serre fibrations are in particular $I_{Top}$-injective morphisms
Let $f\colon X \to Y$ be a Serre fibration that induces isomorphisms on homotopy groups. In degree 0 this means that $f$ is an isomorphism on connected components, and this means that there is a lift in every commuting square of the form
(this is $\pi_0(f)$ being surjective) and in every commuting square of the form
(this is $\pi_0(f)$ being injective). Hence we are reduced to showing that for $n \geq 2$ every diagram of the form
has a lift.
To that end, pick a basepoint on $S^{n-1}$ and write $x$ and $y$ for its images in $X$ and $Y$, respectively
Then the diagram above expresses that $f_\ast[\alpha] = 0 \in \pi_{n-1}(Y,y)$ and hence by assumption on $f$ it follows that $[\alpha] = 0 \in \pi_{n-1}(X,x)$, which in turn mean that there is $\kappa'$ making the upper triangle of our lifting problem commute:
It is now sufficient to show that any such $\kappa'$ may be deformed to a $\rho'$ which keeps making this upper triangle commute but also makes the remaining lower triangle commute.
To that end, notice that by the commutativity of the original square, we already have at least this commuting square:
This induces the universal map $(\kappa,f \circ \kappa')$ from the pushout of its cospan in the top left, which is the n-sphere (see this example):
This universal morphism represents an element of the $n$th homotopy group:
By assumption that $f$ is a weak homotopy equivalence, there is a $[\rho] \in \pi_{n}(X,x)$ with
hence on representatives there is a lift up to homotopy
Morever, we may always find $\rho$ of the form $(\rho', \kappa')$ for some $\rho' \colon D^n \to X$. (“Paste $\kappa'$ to the reverse of $\rho$.”)
Consider then the map
and observe that this represents the trivial class:
This means equivalently that there is a homotopy
fixing the boundary of the $n$-disk.
Hence if we denote homotopy by double arrows, then we have now achieved the following situation
and it now suffices to show that $\phi$ may be lifted to a homotopy of just $\rho'$, fixing the boundary, for then the resulting homotopic $\rho''$ is the desired lift.
To that end, notice that the condition that $\phi \colon D^n \times I \to Y$ fixes the boundary of the $n$-disk means equivalently that it extends to a morphism
out of the pushout that identifies in the cylinder over $D^n$ all points lying over the boundary. Hence we are reduced to finding a lift in
But inspection of the left map reveals that it is homeomorphic again to $D^n \to D^n \times I$, and hence the lift does indeed exist.
In the above we discussed three classes of continuous functions between topological spaces
and we saw first aspects of their interplay via lifting properties.
A fundamental insight due to (Quillen 67) is that in fact all constructions in homotopy theory are elegantly expressible via just the abstract interplay of these classes of morphisms. This was distilled in (Quillen 67) into a small set of axioms called a model category structure (because it serves to make all objects be models for homotopy types.)
This abstract homotopy theory is the royal road for handling any flavor of homotopy theory, in particular the stable homotopy theory that we are after in Part 1. Here we discuss the basic constructions and facts in abstract homotopy theory, then below we conclude section P1) by showing that the above system of classes of maps of topological spaces is indeed an example.
Literature (Dwyer-Spalinski 95)
$\,$
A category with weak equivalences is
such that
$W$ contains all the isomorphisms of $\mathcal{C}$;
$W$ is closed under two-out-of-three: in every commuting diagram in $\mathcal{C}$ of the form
if two of the three morphisms are in $W$, then so is the third.
It turns out that a category with weak equivalences, def. 19, already determines a homotopy theory: the one given given by universally forcing weak equivalences to become actual homotopy equivalences. This may be made precise and is called the simplicial localization of a category with weak equivalences (Dwyer-Kan 80a, Dwyer-Kan 80b, Dwyer-Kan 80c). However, without further auxiliary structure, these simplicial localizations are in general intractable. The further axioms of a model category serve the sole purpose of making the universal homotopy theory induced by a category with weak equivalences be tractable:
A model category is
a category $\mathcal{C}$ with all limits and colimits (def. 1);
three sub-classes $W, Fib, Cof \subset Mor(\mathcal{C})$ of its morphisms;
such that
the class $W$ makes $\mathcal{C}$ into a category with weak equivalences, def. 19;
The pairs $(W \cap Cof\;,\; Fib)$ and $(Cap\;,\; W\cap Fib)$ are both weak factorization systems, def. 22.
One says:
elements in $W$ are weak equivalences,
elements in $Cof$ are cofibrations,
elements in $Fib$ are fibrations,
elements in $W\cap Cof$ are acyclic cofibrations,
elements in $W \cap Fib$ are acyclic fibrations.
The form of def. 20 is due to (Joyal, def. E.1.2). It implies various other conditions that (Quillen 67) demands explicitly, see prop. 6 and prop. 8 below.
We now dicuss the concept of weak factorization systems appearing in def. 20.
Let $\mathcal{C}$ be any category. Given a diagram in $\mathcal{C}$ of the form
then an extension of the morphism $f$ along the morphism $p$ is a completion to a commuting diagram of the form
Dually, given a diagram of the form
then a lift of $f$ through $p$ is a completion to a commuting diagram of the form
Combining these cases: given a commuting square
then a lifting in the diagram is a completion to a commuting diagram of the form
Given a sub-class of morphisms $K \subset Mor(\mathcal{C})$, then
dually:
A weak factorization system (WFS) on a category $\mathcal{C}$ is a pair $(Proj,Inj)$ of classes of morphisms of $\mathcal{C}$ such that
Every morphism $f \colon X\to Y$ of $\mathcal{C}$ may be factored as the composition of a morphism in $Proj$ followed by one in $Inj$
The classes are closed under having the lifting property, def. 21, against each other:
$Proj$ is precisely the class of morphisms having the left lifting property against every morphisms in $Inj$;
$Inj$ is precisely the class of morphisms having the right lifting property against every morphisms in $Proj$.
For $\mathcal{C}$ a category, a functorial factorization of the morphisms in $\mathcal{C}$ is a functor
which is a section of the composition functor $d_1 \;\colon \;\mathcal{C}^{\Delta[2]}\to \mathcal{C}^{\Delta[1]}$.
In def. 23 we are using the following standard notation, see at simplex category and at nerve of a category:
Write $[1] = \{0 \to 1\}$ and $[2] = \{0 \to 1 \to 2\}$ for the ordinal numbers, regarded as posets and hence as categories. The arrow category $Arr(\mathcal{C})$ is equivalently the functor category $\mathcal{C}^{\Delta[1]} \coloneqq Funct(\Delta[1], \mathcal{C})$, while $\mathcal{C}^{\Delta[2]}\coloneqq Funct(\Delta[2], \mathcal{C})$ has as objects pairs of composable morphisms in $\mathcal{C}$. There are three injective functors $\delta_i \colon [1] \rightarrow [2]$, where $\delta_i$ omits the index $i$ in its image. By precomposition, this induces functors $d_i \colon \mathcal{C}^{\Delta[2]} \longrightarrow \mathcal{C}^{\Delta[1]}$. Here
$d_1$ sends a pair of composable morphisms to their composition;
$d_2$ sends a pair of composable morphisms to the first morphisms;
$d_0$ sends a pair of composable morphisms to the second morphisms.
A weak factorization system, def. 22, is called a functorial weak factorization system if the factorization of morphisms may be chosen to be a functorial factorization $fact$, def. 23, i.e. such that $d_2 \circ fact$ lands in $Proj$ and $d_0\circ fact$ in $Inj$.
Not all weak factorization systems are functorial, def. 24, although most (including those produced by the small object argument (prop. 9 below), with due care) are.
Let $\mathcal{C}$ be a category and let $K\subset Mor(\mathcal{C})$ be a class of morphisms. Write $K Proj$ and $K Inj$, respectively, for the sub-classes of $K$-projective morphisms and of $K$-injective morphisms, def. 21. Then:
Both classes contain the class of isomorphism of $\mathcal{C}$.
Both classes are closed under composition in $\mathcal{C}$.
$K Proj$ is also closed under transfinite composition.
Both classes are closed under forming retracts in the arrow category $\mathcal{C}^{\Delta[1]}$ (see remark 11).
$K Proj$ is closed under forming pushouts of morphisms in $\mathcal{C}$ (“cobase change”).
$K Inj$ is closed under forming pullback of morphisms in $\mathcal{C}$ (“base change”).
$K Proj$ is closed under forming coproducts in $\mathcal{C}^{\Delta[1]}$.
$K Inj$ is closed under forming products in $\mathcal{C}^{\Delta[1]}$.
We go through each item in turn.
containing isomorphisms
Given a commuting square
with the left morphism an isomorphism, then a lift is given by using the inverse of this isomorphism ${}^{{f \circ i^{-1}}}\nearrow$. Hence in particular there is a lift when $p \in K$ and so $i \in K Proj$. The other case is formally dual.
closure under composition
Given a commuting square of the form
consider its pasting decomposition as
Now the bottom commuting square has a lift, by assumption. This yields another pasting decomposition
and now the top commuting square has a lift by assumption. This is now equivalently a lift in the total diagram, showing that $p_1\circ p_1$ has the right lifting property against $K$ and is hence in $K Inj$. The case of composing two morphisms in $K Proj$ is formally dual. From this the closure of $K Proj$ under transfinite composition follows since the latter is given by colimits of sequential composition and successive lifts against the underlying sequence as above constitutes a cocone, whence the extension of the lift to the colimit follows by its universal property.
closure under retracts
Let $j$ be the retract of an $i \in K Proj$, i.e. let there be a commuting diagram of the form.
Then for
a commuting square, it is equivalent to its pasting composite with that retract diagram
Here the pasting composite of the two squares on the right has a lift, by assumption:
By composition, this is also a lift in the total outer rectangle, hence in the original square. Hence $j$ has the left lifting property against all $p \in K$ and hence is in $K Proj$. The other case is formally dual.
closure under pushout and pullback
Let $p \in K Inj$ and and let
be a pullback diagram in $\mathcal{C}$. We need to show that $f^* p$ has the right lifting property with respect to all $i \in K$. So let
be a commuting square. We need to construct a diagonal lift of that square. To that end, first consider the pasting composite with the pullback square from above to obtain the commuting diagram
By the right lifting property of $p$, there is a diagonal lift of the total outer diagram
By the universal property of the pullback this gives rise to the lift $\hat g$ in
In order for $\hat g$ to qualify as the intended lift of the total diagram, it remains to show that
commutes. To do so we notice that we obtain two cones with tip $A$:
one is given by the morphisms
with universal morphism into the pullback being
the other by
with universal morphism into the pullback being
The commutativity of the diagrams that we have established so far shows that the first and second morphisms here equal each other, respectively. By the fact that the universal morphism into a pullback diagram is unique this implies the required identity of morphisms.
The other case is formally dual.
closure under (co-)products
Let $\{(A_s \overset{i_s}{\to} B_s) \in K Proj\}_{s \in S}$ be a set of elements of $K Proj$. Since colimits in the presheaf category $\mathcal{C}^{\Delta[1]}$ are computed componentwise, their coproduct in this arrow category is the universal morphism out of the coproduct of objects $\underset{s \in S}{\coprod} A_s$ induced via its universal property by the set of morphisms $i_s$:
Now let
be a commuting square. This is in particular a cocone under the coproduct of objects, hence by the universal property of the coproduct, this is equivalent to a set of commuting diagrams
By assumption, each of these has a lift $\ell_s$. The collection of these lifts
is now itself a compatible cocone, and so once more by the universal property of the coproduct, this is equivalent to a lift $(\ell_s)_{s\in S}$ in the original square
This shows that the coproduct of the $i_s$ has the left lifting property against all $f\in K$ and is hence in $K Proj$. The other case is formally dual.
An immediate consequence of prop. 6 is this:
Let $\mathcal{C}$ be a category with all small colimits, and let $K\subset Mor(\mathcal{C})$ be a sub-class of its morphisms. Then every $K$-injective morphism, def. 21, has the right lifting property, def. 21, against all $K$-relative cell complexes, def. 15 and their retracts, remark 11.
By a retract of a morphism $X \stackrel{f}{\longrightarrow} Y$ in some category $\mathcal{C}$ we mean a retract of $f$ as an object in the arrow category $\mathcal{C}^{\Delta[1]}$, hence a morphism $A \stackrel{g}{\longrightarrow} B$ such that in $\mathcal{C}^{\Delta[1]}$ there is a factorization of the identity on $g$ through $f$
This means equivalently that in $\mathcal{C}$ there is a commuting diagram of the form
In every category $C$ the class of isomorphisms is preserved under retracts in the sense of remark 11.
For
a retract diagram and $X \overset{f}{\to} Y$ an isomorphism, the inverse to $A \overset{g}{\to} B$ is given by the composite
More generally:
Given a model category in the sense of def. 20, then its class of weak equivalences is closed under forming retracts (in the arrow category, see remark 11).
Let
be a commuting diagram in the given model category, with $w \in W$ a weak equivalence. We need to show that then also $f \in W$.
First consider the case that $f \in Fib$.
In this case, factor $w$ as a cofibration followed by an acyclic fibration. Since $w \in W$ and by two-out-of-three (def. 19) this is even a factorization through an acyclic cofibration followed by an acyclic fibration. Hence we obtain a commuting diagram of the following form:
where $s$ is uniquely defined and where $t$ is any lift of the top middle vertical acyclic cofibration against $f$. This now exhibits $f$ as a retract of an acyclic fibration. These are closed under retract by prop. 6.
Now consider the general case. Factor $f$ as an acyclic cofibration followed by a fibration and form the pushout in the top left square of the following diagram
where the other three squares are induced by the universal property of the pushout, as is the identification of the middle horizontal composite as the identity on $A'$. Since acyclic cofibrations are closed under forming pushouts by prop. 6, the top middle vertical morphism is now an acyclic fibration, and hence by assumption and by two-out-of-three so is the middle bottom vertical morphism.
Thus the previous case now gives that the bottom left vertical morphism is a weak equivalence, and hence the total left vertical composite is.
Consider a composite morphism
If $f$ has the left lifting property against $p$, then $f$ is a retract of $i$.
If $f$ has the right lifting property against $i$, then $f$ is a retract of $p$.
We discuss the first statement, the second is formally dual.
Write the factorization of $f$ as a commuting square of the form
By the assumed lifting property of $f$ against $p$ there exists a diagonal filler $g$ making a commuting diagram of the form
By rearranging this diagram a little, it is equivalent to
Completing this to the right, this yields a diagram exhibiting the required retract according to remark 11:
Small object argument
Given a set $C \subset Mor(\mathcal{C})$ of morphisms in some category $\mathcal{C}$, a natural question is how to factor any given morphism $f\colon X \longrightarrow Y$ through a relative $C$-cell complex, def. 15, followed by a $C$-injective morphism, def. 17
A first approximation to such a factorization turns out to be given simply by forming $\hat X = X_1$ by attaching all possible $C$-cells to $X$. Namely let
be the set of all ways to find a $C$-cell attachment in $f$, and consider the pushout $\hat X$ of the coproduct of morphisms in $C$ over all these:
This gets already close to producing the intended factorization:
First of all the resulting map $X \to X_1$ is a $C$-relative cell complex, by construction.
Second, by the fact that the coproduct is over all commuting squres to $f$, the morphism $f$ itself makes a commuting diagram
and hence the universal property of the colimit means that $f$ is indeed factored through that $C$-cell complex $X_1$; we may suggestively arrange that factorizing diagram like so:
This shows that, finally, the colimiting co-cone map – the one that now appears diagonally – almost exhibits the desired right lifting of $X_1 \to Y$ against the $c\in C$. The failure of that to hold on the nose is only the fact that a horizontal map in the middle of the above diagram is missing: the diagonal map obtained above lifts not all commuting diagrams of $c\in C$ into $f$, but only those where the top morphism $dom(c) \to X_1$ factors through $X \to X_1$.
The idea of the small object argument now is to fix this only remaining problem by iterating the construction: next factor $X_1 \to Y$ in the same way into
and so forth. Since relative $C$-cell complexes are closed under composition, at stage $n$ the resulting $X \longrightarrow X_n$ is still a $C$-cell complex, getting bigger and bigger. But accordingly, the failure of the accompanying $X_n \longrightarrow Y$ to be a $C$-injective morphism becomes smaller and smaller, for it now lifts against all diagrams where $dom(c) \longrightarrow X_n$ factors through $X_{n-1}\longrightarrow X_n$, which intuitively is less and less of a condition as the $X_{n-1}$ grow larger and larger.
The concept of small object is just what makes this intuition precise and finishes the small object argument. For the present purpose we just need the following simple version:
For $\mathcal{C}$ a category and $C \subset Mor(\mathcal{C})$ a sub-set of its morphisms, say that these have small domains if there is an ordinal $\alpha$ (def. 3) such that for every $c\in C$ and for every $C$-relative cell complex given by a transfinite composition (def. 4)
every morphism $dom(c)\longrightarrow \hat X$ factors through a stage $X_\beta \to \hat X$ of order $\beta \lt \alpha$:
The above discussion proves the following:
(small object argument)
Let $\mathcal{C}$ be a locally small category with all small colimits. If a set $C\subset Mor(\mathcal{C})$ of morphisms has all small domains in the sense of def. 25, then every morphism $f\colon X\longrightarrow$ in $\mathcal{C}$ factors through a $C$-relative cell complex, def. 15, followed by a $C$-injective morphism, def. 17
We discuss how the concept of homotopy is abstractly realized in model categories, def. 20.
Let $\mathcal{C}$ be a model category, def. 20, and $X \in \mathcal{C}$ an object.
where $X\to Path(X)$ is a weak equivalence and $Path(X) \to X \times X$ is a fibration.
where $Cyl(X) \to X$ is a weak equivalence. and $X \sqcup X \to Cyl(X)$ is a cofibration.
For every object $X \in \mathcal{C}$ in a model category, a cylinder object and a path space object according to def. 26 exist: the factorization axioms guarantee that there exists
a factorization of the codiagonal as
a factorization of the diagonal as
The cylinder and path space objects obtained this way are actually better than required by def. 26: in addition to $Cyl(X)\to X$ being just a weak equivalence, for these this is actually an acyclic fibration, and dually in addition to $X\to Path(X)$ being a weak equivalence, for these it is actually an acyclic cofibrations.
Some authors call cylinder/path-space objects with this extra property “very good” cylinder/path-space objects, respectively.
One may also consider dropping a condition in def. 26: what mainly matters is the weak equivalence, hence some authors take cylinder/path-space objects to be defined as in def. 26 but without the condition that $X \sqcup X\to Cyl(X)$ is a cofibration and without the condition that $Path(X) \to X$ is a fibration. Such authors would then refer to the concept in def. 26 as “good” cylinder/path-space objects.
The terminology in def. 26 follows the original (Quillen 67, I.1 def. 4). With the induced concept of left/right homotopy below in def. 27, this admits a quick derivation of the key facts in the following, as we spell out below.
Let $\mathcal{C}$ be a model category. If $X \in \mathcal{C}$ is cofibrant, then for every cylinder object $Cyl(X)$ of $X$, def. 26, not only is $(i_0,i_1) \colon X \sqcup X \to X$ a cofibration, but each
is an acyclic cofibration separately.
Dually, if $X \in \mathcal{C}$ is fibrant, then for every path space object $Path(X)$ of $X$, def. 26, not only is $(p_0,p_1) \colon Path(X)\to X \times X$ a cofibration, but each
is an acyclic fibration separately.
We discuss the case of the path space object. The other case is formally dual.
First, that the component maps are weak equivalences follows generally: by definition they have a right inverse $Path(X) \to X$ and so this follows by two-out-of-three (def. 19).
But if $X$ is fibrant, then also the two projection maps out of the product $X \times X \to X$ are fibrations, because they are both pullbacks of the fibration $X \to \ast$
hence $p_i \colon Path(X)\to X \times X \to X$ is the composite of two fibrations, and hence itself a fibration, by prop. 6.
Path space objects are very non-unique as objects up to isomorphism:
If $X \in \mathcal{C}$ is a fibrant object in a model category, def. 20, and for $Path_1(X)$ and $Path_2(X)$ two path space objects for $X$, def. 26, then the fiber product $Path_1(X) \times_X Path_2(X)$ is another path space object for $X$: the pullback square
gives that the induced projection is again a fibration. Moreover, using lemma 8 and two-out-of-three (def. 19) gives that $X \to Path_1(X) \times_X Path_2(X)$ is a weak equivalence.
For the case of the canonical topological path space objects of def 11, with $Path_1(X) = Path_2(X) = X^I = X^{[0,1]}$ then this new path space object is $X^{I \vee I} = X^{[0,2]}$, the mapping space out of the standard interval of length 2 instead of length 1.
Let $f,g \colon X \longrightarrow Y$ be two parallel morphisms in a model category.
Let $f,g \colon X \to Y$ be two parallel morphisms in a model category.
Let $X$ be cofibrant. If there is a left homotopy $f \Rightarrow_L g$ then there is also a right homotopy $f \Rightarrow_R g$ (def. 27) with respect to any chosen path space object.
Let $X$ be fibrant. If there is a right homotopy $f \Rightarrow_R g$ then there is also a left homotopy $f \Rightarrow_L g$ with respect to any chosen cylinder object.
In particular if $X$ is cofibrant and $Y$ is fibrant, then by going back and forth it follows that every left homotopy is exhibited by every cylinder object, and every right homotopy is exhibited by every path space object.
We discuss the first case, the second is formally dual. Let $\eta \colon Cyl(X) \longrightarrow Y$ be the given left homotopy. Lemma 8 implies that we have a lift $h$ in the following commuting diagram
where on the right we have the chosen path space object. Now the composite $\tilde \eta \coloneqq h \circ i_1$ is a right homotopy as required:
For $X$ a cofibrant object in a model category and $Y$ a fibrant object, then the relations of left homotopy $f \Rightarrow_L g$ and of right homotopy $f \Rightarrow_R g$ (def. 27) on the hom set $Hom(X,Y)$ coincide and are both equivalence relations.
That both relations coincide under the (co-)fibrancy assumption follows directly from lemma 9.
The symmetry and reflexivity of the relation is obvious.
That right homotopy (hence also left homotopy) with domain $X$ is a transitive relation follows from using example 18 to compose path space objects.
We discuss the construction that takes a model category, def. 20, and then universally forces all its weak equivalences into actual isomorphisms.
Let $\mathcal{C}$ be a model category, def. 20. Write $Ho(\mathcal{C})$ for the category whose
objects are those objects of $\mathcal{C}$ which are both fibrant and cofibrant;
morphisms are the homotopy classes of morphisms of $\mathcal{C}$, hence the equivalence classes of morphism under the equivalence relation of prop. 10;
and whose composition operation is given on representatives by composition in $\mathcal{C}$.
This is, up to equivalence of categories, the homotopy category of the model category $\mathcal{C}$.
Def. 28 is well defined, in that composition of morphisms between fibrant-cofibrant objects in $\mathcal{C}$ indeed passes to homotopy classes.
Fix any morphism $X \overset{f}{\to} Y$ between fibrant-cofibrant objects. Then for precomposition
to be well defined, we need that with $(g\sim h)\;\colon\; Y \to Z$ also $(f g \sim f h)\;\colon\; X \to Z$. But by prop 10 we may take the homotopy $\sim$ to be exhibited by a right homotopy $\eta \colon Y \to Path(Z)$, for which case the statement is evident from this diagram:
For postcomposition we may choose to exhibit homotopy by left homotopy and argue dually.
We now spell out that def. 28 indeed satisfies the universal property that defines the localization of a category with weak equivalences at its weak equivalences.
(Whitehead theorem in model categories)
Let $\mathcal{C}$ be a model category. A weak equivalence between two objects which are both fibrant and cofibrant is a homotopy equivalence.
By the factorization axioms in the model category $\mathcal{C}$ and by two-out-of-three (def. 19), every weak equivalence $f\colon X \longrightarrow Y$ factors through an object $Z$ as an acyclic cofibration followed by an acyclic fibration. In particular it follows that with $X$ and $Y$ both fibrant and cofibrant, so is $Z$, and hence it is sufficient to prove that acyclic (co-)fibrations between such objects are homotopy equivalences.
So let $f \colon X \longrightarrow Y$ be an acyclic fibration between fibrant-cofibrant objects, the case of acyclic cofibrations is formally dual. Then in fact it has a genuine right inverse given by a lift $f^{-1}$ in the diagram
To see that $f^{-1}$ is also a left inverse up to left homotopy, let $Cyl(X)$ be any cylinder object on $X$ (def. 26), hence a factorization of the codiagonal on $X$ as a cofibration followed by a an acyclic fibration
and consider the commuting square
which commutes due to $f^{-1}$ being a genuine right inverse of $f$. By construction, this commuting square now admits a lift $\eta$, and that constitutes a left homotopy $\eta \colon f^{-1}\circ f \Rightarrow_L id$.
Given a model category $\mathcal{C}$, consider a choice for each object $X \in \mathcal{C}$ of
a factorization $\emptyset \underoverset{\in Cof}{i_X}{\longrightarrow} Q X \underoverset{\in W \cap Fib}{p_X}{\longrightarrow} X$ of the initial morphism, such that when $X$ is already cofibrant then $p_X = id_X$;
a factorization $X \underoverset{\in W \cap Cof}{j_X}{\longrightarrow} P X \underoverset{\in Fib}{q_X}{\longrightarrow} \ast$ of the terminal morphism, such that when $X$ is already fibrant then $j_X = id_X$.
Write then
for the functor to the homotopy category, def. 28, which sends an object $X$ to the object $P Q X$ and sends a morphism $f \colon X \longrightarrow Y$ to the homotopy class of the result of first lifting in
and then lifting (here: extending) in
The construction in def. 29 is indeed well defined.
First of all, the object $P Q X$ is indeed both fibrant and cofibrant (as well as related by a zig-zag of weak equivalences to $X$):
Now to see that the image on morphisms is well defined. First observe that any two choices $(Q f)_{i}$ of the first lift in the definition are left homotopic to each other, exhibited by lifting in
Hence also the composites $j_{Q Y}\circ (Q_f)_i$ are left homotopic to each other, and since their domain is cofibrant, then by lemma 9 they are also right homotopic by a right homotopy $\kappa$. This implies finally, by lifting in
that also $P (Q f)_1$ and $P (Q f)_2$ are right homotopic, hence that indeed $P Q f$ represents a well-defined homotopy class.
Finally to see that the assignment is indeed functorial, observe that the commutativity of the lifting diagrams for $Q f$ and $P Q f$ imply that also the following diagram commutes
Now from the pasting composite
one sees that $(P Q g)\circ (P Q f)$ is a lift of $g \circ f$ and hence the same argument as above gives that it is homotopic to the chosen $P Q(g \circ f)$.
For the following, recall the concept of natural isomorphism between functors: for $F, G \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ two functors, then a natural transformation $\eta \colon F \Rightarrow G$ is for each object $c \in Obj(\mathcal{C})$ a morphism $\eta_c \colon F(c) \longrightarrow G(c)$ in $\mathcal{D}$, such that for each morphism $f \colon c_1 \to c_2$ in $\mathcal{C}$ the following is a commuting square:
Such $\eta$ is called a natural isomorphism if its $\eta_c$ are isomorphisms for all objects $c$.
For $\mathcal{C}$ a category with weak equivalences, its localization at the weak equivalences is, if it exists,
a category denoted $\mathcal{C}[W^{-1}]$
a functor
such that
$\gamma$ sends weak equivalences to isomorphisms;
$\gamma$ is universal with this property, in that:
for $F \colon \mathcal{C} \longrightarrow D$ any functor out of $\mathcal{C}$ into any category $D$, such that $F$ takes weak equivalences to isomorphisms, it factors through $\gamma$ up to a natural isomorphism $\rho$
and this factorization is unique up to unique isomorphism, in that for $(\tilde F_1, \rho_1)$ and $(\tilde F_2, \rho_2)$ two such factorizations, then there is a unique natural isomorphism $\kappa \colon \tilde F_1 \Rightarrow \tilde F_2$ making the evident diagram of natural isomorphisms commute.
For $\mathcal{C}$ a model category, the functor $\gamma_{P,Q}$ in def. 29 (for any choice of $P$ and $Q$) exhibits $Ho(\mathcal{C})$ as indeed being the localization of the underlying category with weak equivalences at its weak equivalences, in the sense of def. 30:
First, to see that that $\gamma_{P,Q}$ indeed takes weak equivalences to isomorphisms: By two-out-of-three (def. 19) applied to the commuting diagrams shown in the proof of lemma 11, the morphism $P Q f$ is a weak equivalence if $f$ is:
With this the “Whitehead theorem for model categories”, lemma 10, implies that $P Q f$ represents an isomorphism in $Ho(\mathcal{C})$.
Now let $F \colon \mathcal{C}\longrightarrow D$ be any functor that sends weak equivalences to isomorphisms. We need to show that it factors as
uniquely up to unique natural isomorphism. Now by construction of $P$ and $Q$ in def. 29, $\gamma_{P,Q}$ is the identity on the full subcategory of fibrant-cofibrant objects. It follows that if $\tilde F$ exists at all, it must satisfy for all $X \stackrel{f}{\to} Y$ with $X$ and $Y$ both fibrant and cofibrant that
(hence in particular $\tilde F(\gamma_{P,Q}(f)) = F(P Q f)$).
But by def. 28 that already fixes $\tilde F$ on all of $Ho(\mathcal{C})$, up to unique natural isomorphism. Hence it only remains to check that with this definition of $\tilde F$ there exists any natural isomorphism $\rho$ filling the diagram above.
To that end, apply $F$ to the above commuting diagram to obtain
Here now all horizontal morphisms are isomorphisms, by assumption on $F$. It follows that defining $\rho_X \coloneqq F(j_{Q X}) \circ F(p_X)^{-1}$ makes the required natural isomorphism:
Due to theorem 1 we may suppress the choices of cofibrant $Q$ and fibrant replacement $P$ in def. 29 and just speak of the localization functor
up to natural isomorphism.
In general, the localization $\mathcal{C}[W^{-1}]$ of a category with weak equivalences $(\mathcal{C},W)$ (def. 30) may invert more morphisms than just those in $W$. However, if the category admits the structure of a model category $(\mathcal{C},W,Cof,Fib)$, then its localiztion precisely only inverts the weak equivalences.
Let $\mathcal{C}$ be a model category (def. 20) and let $\gamma \;\colon\; \mathcal{C} \longrightarrow Ho(\mathcal{C})$ be its localization functor (def. 29, theorem 1). Then a morphism $f$ in $\mathcal{C}$ is a weak equivalence precisely if $\gamma(f)$ is an isomorphism in $Ho(\mathcal{C})$.
(e.g. Goerss-Jardine 96, II, prop 1.14)
While the construction of the homotopy category in def. 28 combines the restriction to good (fibrant/cofibrant) objects with the passage to homotopy classes of morphisms, it is often useful to consider intermediate stages:
Given a model category $\mathcal{C}$, write
for the system of full subcategory inclusions of:
the category of fibrant objects $\mathcal{C}_f$
the category of cofibrant objects $\mathcal{C}_c$,
the category of fibrant-cofibrant objects $\mathcal{C}_{fc}$,
all regarded a categories with weak equivalences (def. 19), via the weak equivalences inherited from $\mathcal{C}$, which we write $(\mathcal{C}_f, W_f)$, $(\mathcal{C}_c, W_c)$ and $(\mathcal{C}_{f c}, W_{f c})$.
Of course the subcategories in def. 31 inherit more structure than just that of categories with weak equivalences from $\mathcal{C}$. $\mathcal{C}_f$ and $\mathcal{C}_c$ each inherit “half” of the factorization axioms. One says that $\mathcal{C}_f$ has the structure of a “fibration category” called a “Brown-category of fibrant objects”, while $\mathcal{C}_c$ has the structure of a “cofibration category”.
We discuss properties of these categories of (co-)fibrant objects below in Homotopy fiber sequences.
The proof of theorem 1 immediately implies the following:
For $\mathcal{C}$ a model category, the restriction of the localization functor $\gamma\;\colon\; \mathcal{C} \longrightarrow Ho(\mathcal{C})$ from def. 29 (using remark 13) to any of the sub-categories with weak equivalences of def. 31
exhibits $Ho(\mathcal{C})$ equivalently as the localization also of these subcategories with weak equivalences, at their weak equivalences. In particular there are equivalences of categories
The following says that for computing the hom-sets in the homotopy category, even a mixed variant of the above will do; it is sufficient that the domain is cofibrant and the codomain is fibrant:
For $X, Y \in \mathcal{C}$ with $X$ cofibrant and $Y$ fibrant, and for $P, Q$ fibrant/cofibrant replacement functors as in def. 29, then the morphism
(on homotopy classes of morphisms, well defined by prop. 10) is a natural bijection.
We may factor the morphism in question as the composite
This shows that it is sufficient to see that for $X$ cofibrant and $Y$ fibrant, then
is an isomorphism, and dually that
is an isomorphism. We discuss this for the former; the second is formally dual:
First, that $Hom_{\mathcal{C}}(id_X, p_Y)$ is surjective is the lifting property in
which says that any morphism $f \colon X \to Y$ comes from a morphism $\hat f \colon X \to Q Y$ under postcomposition with $Q Y \overset{p_Y}{\to} Y$.
Second, that $Hom_{\mathcal{C}}(id_X, p_Y)$ is injective is the lifting property in
which says that if two morphisms $f, g \colon X \to Q Y$ become homotopic after postcomposition with $p_Y \colon Q X \to Y$, then they were already homotopic before.
We record the following fact which will be used in part 1.1 (here):
Let $\mathcal{C}$ be a model category (def. 20). Then every commuting square in its homotopy category $Ho(C)$ (def. 28) is, up to isomorphism of squares, in the image of the localization functor $\mathcal{C} \longrightarrow Ho(\mathcal{C})$ of a commuting square in $\mathcal{C}$ (i.e.: not just commuting up to homotopy).
Let
be a commuting square in the homotopy category. Writing the same symbols for fibrant-cofibrant objects in $\mathcal{C}$ and for morphisms in $\mathcal{C}$ representing these, then this means that in $\mathcal{C}$ there is a left homotopy of the form
Consider the factorization of the top square here through the mapping cylinder of $f$
This exhibits the composite $A \overset{i_0}{\to} Cyl(A) \to Cyl(f)$ as an alternative representative of $f$ in $Ho(\mathcal{C})$, and $Cyl(f) \to B'$ as an alternative representative for $b$, and the commuting square
as an alternative representative of the given commuting square in $Ho(\mathcal{C})$.
For $\mathcal{C}$ and $\mathcal{D}$ two categories with weak equivalences, def. 19, then a functor $F \colon \mathcal{C}\longrightarrow \mathcal{D}$ is called a homotopical functor if it sends weak equivalences to weak equivalences.
Given a homotopical functor $F \colon \mathcal{C} \longrightarrow \mathcal{D}$ (def. 32) between categories with weak equivalences whose homotopy categories $Ho(\mathcal{C})$ and $Ho(\mathcal{D})$ exist (def. 30), then its (“total”) derived functor is the functor $Ho(F)$ between these homotopy categories which is induced uniquely, up to unique isomorphism, by their universal property (def. 30):
While many functors of interest between model categories are not homotopical in the sense of def. 32, many become homotopical after restriction to the full subcategories $\mathcal{C}_f$ of fibrant objects or $\mathcal{C}_c$ of cofibrant objects, def. 31. By corollary 1 this is just as good for the purpose of homotopy theory.
Therefore one considers the following generalization of def. 33:
Consider a functor $F \colon \mathcal{C} \longrightarrow \mathcal{D}$ out of a model category $\mathcal{C}$ (def. 20) into a category with weak equivalences $\mathcal{D}$ (def. 19).
If the restriction of $F$ to the full subcategory $\mathcal{C}_f$ of fibrant object becomes a homotopical functor (def. 32), then the derived functor of that restriction, according to def. 33, is called the right derived functor of $F$ and denoted by $\mathbb{R}F$:
where we use corollary 1.
If the restriction of $F$ to the full subcategory $\mathcal{C}_c$ of cofibrant object becomes a homotopical functor (def. 32), then the derived functor of that restriction, according to def. 33, is called the left derived functor of $F$ and denoted by $\mathbb{L}F$:
where again we use corollary 1.
The key fact that makes def. 34 practically relevant is the following:
Let $\mathcal{C}$ be a model category with full subcategories $\mathcal{C}_f, \mathcal{C}_c$ of fibrant objects and of cofibrant objects respectively (def. 31). Let $\mathcal{D}$ be a category with weak equivalences.
A functor out of the category of fibrant objects
is a homotopical functor, def. 32, already if it sends acylic fibrations to weak equivalences.
A functor out of the category of cofibrant objects
is a homotopical functor, def. 32, already if it sends acylic cofibrations to weak equivalences.
The following proof refers to the factorization lemma, whose full statement and proof we postpone to further below (lemma 19).
We discuss the case of a functor on a category of fibrant objects $\mathcal{C}_f$, def. 31. The other case is formally dual.
Let $f \colon X \longrightarrow Y$ be a weak equivalence in $\mathcal{C}_f$. Choose a path space object $Path(X)$ (def. 26) and consider the diagram
where the square is a pullback and $Path(f)$ on the top left is our notation for the universal cone object. (Below we discuss this in more detail, it is the mapping cocone of $f$, def. 58).
Here:
$p_i$ are both acyclic fibrations, by lemma 8;
$Path(f) \to X$ is an acyclic fibration because it is the pullback of $p_1$.
$p_1^\ast f$ is a weak equivalence, because the factorization lemma 19 states that the composite vertical morphism factors $f$ through a weak equivalence, hence if $f$ is a weak equivalence, then $p_1^\ast f$ is by two-out-of-three (def. 19).
Now apply the functor $F$ to this diagram and use the assumption that it sends acyclic fibrations to weak equivalences to obtain
But the factorization lemma 19, in addition says that the vertical composite $p_0 \circ p_1^\ast f$ is a fibration, hence an acyclic fibration by the above. Therefore also $F(p_0 \circ p_1^\ast f)$ is a weak equivalence. Now the claim that also $F(f)$ is a weak equivalence follows with applying two-out-of-three (def. 19) twice.
Let $\mathcal{C}, \mathcal{D}$ be model categories and consider $F \colon \mathcal{C}\longrightarrow \mathcal{D}$ a functor. Then:
If $F$ preserves cofibrant objects and acyclic cofibrations between these, then its left derived functor (def. 34) $\mathbb{L}F$ exists, fitting into a diagram
If $F$ preserves fibrant objects and acyclic fibrants between these, then its right derived functor (def. 34) $\mathbb{R}F$ exists, fitting into a diagram
Let $F \;\colon\; \mathcal{C} \longrightarrow \mathcal{D}$ be a functor between two model categories (def. 20).
If $F$ preserves fibrant objects and weak equivalences between fibrant objects, then the total right derived functor $\mathbb{R}F \coloneqq \mathbb{R}(\gamma_{\mathcal{D}}\circ F)$ (def. 34) in
is given, up to isomorphism, on any object $X\in \mathcal{C} \overset{\gamma_{\mathcal{C}}}{\longrightarrow} Ho(\mathcal{C})$ by appying $F$ to a fibrant replacement $P X$ of $X$ and then forming a cofibrant replacement $Q(F(P X))$ of the result:
If $F$ preserves cofibrant objects and weak equivalences between cofibrant objects, then the total left derived functor $\mathbb{L}F \coloneqq \mathbb{L}(\gamma_{\mathcal{D}}\circ F)$ (def. 34) in
is given, up to isomorphism, on any object $X\in \mathcal{C} \overset{\gamma_{\mathcal{C}}}{\longrightarrow} Ho(\mathcal{C})$ by appying $F$ to a cofibrant replacement $Q X$ of $X$ and then forming a fibrant replacement $P(F(Q X))$ of the result:
We discuss the first case, the second is formally dual. By the proof of theorem 1 we have
But since $F$ is a homotopical functor on fibrant objects, the cofibrant replacement morphism $F(Q(P(X)))\to F(P(X))$ is a weak equivalence in $\mathcal{D}$, hence becomes an isomorphism under $\gamma_{\mathcal{D}}$. Therefore
Now since $F$ is assumed to preserve fibrant objects, $F(P(X))$ is fibrant in $\mathcal{D}$, and hence $\gamma_{\mathcal{D}}$ acts on it (only) by cofibrant replacement.
In practice it turns out to be useful to arrange for the assumptions in corollary 2 to be satisfied by pairs of adjoint functors. Recall that this is a pair of functors $L$ and $R$ going back and forth between two categories
such that there is a natural bijection between hom-sets with $L$ on the left and those with $R$ on the right:
for all objects $d\in \mathcal{D}$ and $c \in \mathcal{C}$. This being natural means that $\phi \colon Hom_{\mathcal{D}}(L(-),-) \Rightarrow Hom_{\mathcal{C}}(-, R(-))$ is a natural transformation, hence that for all morphisms $g \colon d_2 \to d_1$ and $f \colon c_1 \to c_2$ the following is a commuting square:
We write $(L \dashv R)$ to indicate an adjunction and call $L$ the left adjoint and $R$ the right adjoint of the adjoint pair.
The archetypical example of a pair of adjoint functors is that consisting of forming Cartesian products $Y \times (-)$ and forming mapping spaces $(-)^Y$, as in the category of compactly generated topological spaces of def. 46.
If $f \colon L(d) \to c$ is any morphism, then the image $\phi_{d,c}(f) \colon d \to R(c)$ is called its adjunct, and conversely. The fact that adjuncts are in bijection is also expressed by the notation
For an object $d\in \mathcal{D}$, the adjunct of the identity on $L d$ is called the adjunction unit $\eta_d \;\colon\; d \longrightarrow R L d$.
For an object $c \in \mathcal{C}$, the adjunct of the identity on $R c$ is called the adjunction counit $\epsilon_c \;\colon\; L R c \longrightarrow c$.
Adjunction units and counits turn out to encode the adjuncts of all other morphisms by the formulas
$\widetilde{(L d\overset{f}{\to}c)} = (d\overset{\eta}{\to} R L d \overset{R f}{\to} R c)$
$\widetilde{(d\overset{g}{\to} R c)} = (L d \overset{L g}{\to} L R c \overset{\epsilon}{\to} c)$.
Let $\mathcal{C}, \mathcal{D}$ be model categories. A pair of adjoint functors between them
is called a Quillen adjunction (and $L$,$R$ are called left/right Quillen functors, respectively) if the following equivalent conditions are satisfied
$L$ preserves cofibrations and $R$ preserves fibrations;
$L$ preserves acyclic cofibrations and $R$ preserves acyclic fibrations;
$L$ preserves cofibrations and acylic cofibrations;
$R$ preserves fibrations and acyclic fibrations.
The conditions in def. 35 are indeed all equivalent.
First observe that
(i) A left adjoint $L$ between model categories preserves acyclic cofibrations precisely if its right adjoint $R$ preserves fibrations.
(ii) A left adjoint $L$ between model categories preserves cofibrations precisely if its right adjoint $R$ preserves acyclic fibrations.
We discuss statement (i), statement (ii) is formally dual. So let $f\colon A \to B$ be an acyclic cofibration in $\mathcal{D}$ and $g \colon X \to Y$ a fibration in $\mathcal{C}$. Then for every commuting diagram as on the left of the following, its $(L\dashv R)$-adjunct is a commuting diagram as on the right here:
If $L$ preserves acyclic cofibrations, then the diagram on the right has a lift, and so the $(L\dashv R)$-adjunct of that lift is a lift of the left diagram. This shows that $R(g)$ has the right lifting property against all acylic cofibrations and hence is a fibration. Conversely, if $R$ preserves fibrations, the same argument run from right to left gives that $L$ preserves acyclic fibrations.
Now by repeatedly applying (i) and (ii), all four conditions in question are seen to be equivalent.
Let $\mathcal{C} \stackrel{\overset{L}{\longleftarrow}}{\underoverset{R}{\bot}{\longrightarrow}} \mathcal{D}$ be a Quillen adjunction, def. 35.
For $X \in \mathcal{C}$ a fibrant object and $Path(X)$ a path space object (def. 26), then $R(Path(X))$ is a path space object for $R(X)$.
For $X \in \mathcal{C}$ a cofibrant object and $Cyl(X)$ a cylinder object (def. 26), then $L(Cyl(X))$ is a path space object for $L(X)$.
Consider the second case, the first is formally dual.
First Observe that $L(Y \sqcup Y) \simeq L Y \sqcup L Y$ because $L$ is left adjoint and hence preserves colimits, hence in particular coproducts.
Hence
is a cofibration.
Second, with $Y$ cofibrant then also $Y \sqcup Cyl(Y)$ is a cofibrantion, since $Y \to Y \sqcup Y$ is a cofibration (lemma 8). Therefore by Ken Brown's lemma (prop. 13) $L$ preserves the weak equivalence $Cyl(Y) \overset{\in W}{\longrightarrow} Y$.
For $\mathcal{C} \underoverset{\underoverset{R}{\bot}{\longrightarrow}}{\overset{L}{\longleftarrow}}{} \mathcal{D}$ a Quillen adjunction, def. 35, then also the corresponding left and right derived functors, def. 34, via cor. 2, form a pair of adjoint functors
By def. 34 and lemma 12 it is sufficient to see that for $X, Y \in \mathcal{C}$ with $X$ cofibrant and $Y$ fibrant, then there is a natural bijection
Since by the adjunction isomorphism for $(L \dashv R)$ such a natural bijection exists before passing to homotopy classes $(-)/_\sim$, it is sufficient to see that this respects homotopy classes. To that end, use from lemma 14 that with $Cyl(Y)$ a cylinder object for $Y$, def. 26, then $L(Cyl(Y))$ is a cylinder object for $L(Y)$. This implies that left homotopies
given by
are in bijection to left homotopies
given by
For $\mathcal{C}, \mathcal{D}$ two model categories, a Quillen adjunction (def.35)
is called a Quillen equivalence, to be denoted
if the following equivalent conditions hold.
The right derived functor of $R$ (via prop. 14, corollary 2) is an equivalence of categories
The left derived functor of $L$ (via prop. 14, corollary 2) is an equivalence of categories
For every cofibrant object $d\in \mathcal{D}$, the “derived adjunction unit”, hence the composite
(of the adjunction unit with any fibrant replacement $P$ as in def. 29) is a weak equivalence;
and for every fibrant object $c \in \mathcal{C}$, the “derived adjunction counit”, hence the composite
(of the adjunction counit with any cofibrant replacement as in def. 29) is a weak equivalence in $D$.
For every cofibrant object $d \in \mathcal{D}$ and every fibrant object $c \in \mathcal{C}$, a morphism $d \longrightarrow R(c)$ is a weak equivalence precisely if its adjunct morphism $L(c) \to d$ is:
The conditions in def. 36 are indeed all equivalent.
That $1) \Leftrightarrow 2)$ follows from prop. 15 (if in an adjoint pair one is an equivalence, then so is the other).
To see the equivalence $1),2) \Leftrightarrow 3)$, notice (prop.) that a pair of adjoint functors is an equivalence of categories precisely if both the adjunction unit and the adjunction counit are natural isomorphisms. Hence it is sufficient to show that the morphisms called “derived adjunction (co-)units” above indeed represent the adjunction (co-)unit of $(\mathbb{L}L \dashv \mathbb{R}R)$ in the homotopy category. We show this now for the adjunction unit, the case of the adjunction counit is formally dual.
To that end, first observe that for $d \in \mathcal{D}_c$, then the defining commuting square for the left derived functor from def. 34
(using fibrant and fibrant/cofibrant replacement functors $\gamma_P$, $\gamma_{P,Q}$ from def. 29 with their universal property from theorem 1, corollary 1) gives that
where the second isomorphism holds because the left Quillen functor $L$ sends the acyclic cofibration $j_d \colon d \to P d$ to a weak equivalence.
The adjunction unit of $(\mathbb{L}L \dashv \mathbb{R}R)$ on $P d \in Ho(\mathcal{C})$ is the image of the identity under
By the above and the proof of prop. 15, that adjunction isomorphism is equivalently that of $(L \dashv R)$ under the isomorphism
of lemma 12. Hence the derived adjunction unit is the $(L \dashv R)$-adjunct of
which indeed (by the formula for adjuncts) is
To see that $4) \Rightarrow 3)$:
Consider the weak equivalence $L X \overset{j_{L X}}{\longrightarrow} P L X$. Its $(L \dashv R)$-adjunct is
by assumption 4) this is again a weak equivalence, which is the requirement for the derived unit in 3). Dually for derived counit.
To see $3) \Rightarrow 4)$:
Consider any $f \colon L d \to c$ a weak equivalence for cofibrant $d$, firbant $c$. Its adjunct $\tilde f$ sits in a commuting diagram
where $P f$ is any lift constructed as in def. 29.
This exhibits the bottom left morphism as the derived adjunction unit, hence a weak equivalence by assumption. But since $f$ was a weak equivalence, so is $P f$ (by two-out-of-three). Thereby also $R P f$ and $R j_Y$, are weak equivalences by Ken Brown's lemma 13 and the assumed fibrancy of $c$. Therefore by two-out-of-three (def. 19) also the adjunct $\tilde f$ is a weak equivalence.
In certain situations the conditions on a Quillen equivalence simplify. For instance:
If in a Quillen adjunction $\array{\mathcal{C} &\underoverset{\underset{R}{\to}}{\overset{L}{\leftarrow}}{\bot}& \mathcal{D}}$ (def. 35) the right adjoint $R$ “creates weak equivalences” (in that a morphism $f$ in $\mathcal{C}$ is a weak equivalence precisly if $U(f)$ is) then $(L \dashv R)$ is a Quillen equivalence (def. 36) precisely already if for all cofibrant objects $d \in \mathcal{D}$ the plain adjunction unit
is a weak equivalence.
By prop. 16, generally, $(L \dashv R)$ is a Quillen equivalence precisely if
for every cofibrant object $d\in \mathcal{D}$, the “derived adjunction unit”
is a weak equivalence;
for every fibrant object $c \in \mathcal{C}$, the “derived adjunction counit”
is a weak equivalence.
Consider the first condition: Since $R$ preserves the weak equivalence $j_{L(d)}$, then by two-out-of-three (def. 19) the composite in the first item is a weak equivalence precisely if $\eta$ is.
Hence it is now sufficient to show that in this case the second condition above is automatic.
Since $R$ also reflects weak equivalences, the composite in item two is a weak equivalence precisely if its image
under $R$ is.
Moreover, assuming, by the above, that $\eta_{Q(R(c))}$ on the cofibrant object $Q(R(c))$ is a weak equivalence, then by two-out-of-three this composite is a weak equivalence precisely if the further composite with $\eta$ is
By the formula for adjuncts, this composite is the $(L\dashv R)$-adjunct of the original composite, which is just $p_{R(c)}$
But $p_{R(c)}$ is a weak equivalence by definition of cofibrant replacement.
We now discuss how the category Top of topological spaces satisfies the axioms of abstract homotopy theory (model category) theory, def. 20.
Say that a continuous function, hence a morphism in Top, is
a classical weak equivalence if it is a weak homotopy equivalence, def. 10;
a classical fibration if it is a Serre fibration, def. 18;
a classical cofibration if it is a retract (rem. 11) of a relative cell complex, def. 14.
and hence
a acyclic classical cofibration if it is a classical cofibration as well as a classical weak equivalence;
a acyclic classical fibration if it is a classical fibration as well as a classical weak equivalence.
Write
for the classes of these morphisms, respectively.
We first prove now that the classes of morphisms in def. 37 satisfy the conditions for a model category structure, def. 20 (after some lemmas, this is theorem 2 below). Then we discuss the resulting classical homotopy category (below) and then a few variant model structures whose proof follows immediately along the line of the proof of $Top_{Quillen}$:
The model structure on pointed topological spaces $Top^{\ast/}_{Quillen}$;
The model structure on compactly generated topological spaces $(Top_{cg})_{Quillen}$ and $(Top^{\ast/}_{cg})_{Quillen}$;
The model structure on topologically enriched functors $[\mathcal{C}, (Top_{cg})_{Quillen}]_{proj}$ and $[\mathcal{C},(Top^{\ast}_{cg})_{Quillen}]_{proj}$.
$\,$
The classical weak equivalences, def. 37, satify two-out-of-three (def. 19).
Since isomorphisms (of homotopy groups) satisfy 2-out-of-3, this property is directly inherited via the very definition of weak homotopy equivalence, def. 10.
Every morphism $f\colon X \longrightarrow Y$ in Top factors as a classical cofibration followed by an acyclic classical fibration, def. 37:
By lemma 1 the set $I_{Top} = \{S^{n-1}\hookrightarrow D^n\}$ of topological generating cofibrations, def. 13, has small domains, in the sense of def. 25 (the n-spheres are compact). Hence by the small object argument, prop. 9, $f$ factors as an $I_{Top}$-relative cell complex, def. 15, hence just a plain relative cell complex, def. 14, followed by an $I_{Top}$-injective morphisms, def. 17:
By lemma 5 the map $\hat X \to Y$ is both a weak homotopy equivalence as well as a Serre fibration.
Every morphism $f\colon X \longrightarrow Y$ in Top factors as an acyclic classical cofibration followed by a fibration, def. 37:
By lemma 1 the set $J_{Top} = \{D^n \hookrightarrow D^n\times I\}$ of topological generating acyclic cofibrations, def. 16, has small domains, in the sense of def. 25 (the n-disks are compact). Hence by the small object argument, prop. 9, $f$ factors as an $J_{Top}$-relative cell complex, def. 15, followed by a $J_{top}$-injective morphisms, def. 17:
By definition this makes $\hat X \to Y$ a Serre fibration, hence a fibration.
By lemma 3 a relative $J_{Top}$-cell complex is in particular a relative $I_{Top}$-cell complex. Hence $X \to \hat X$ is a classical cofibration. By lemma 4 it is also a weak homotopy equivalence, hence a clasical weak equivalence.
Every commuting square in Top with the left morphism a classical cofibration and the right morphism a fibration, def. 37
admits a lift as soon as one of the two is also a classical weak equivalence.
A) If the fibration $f$ is also a weak equivalence, then lemma 5 says that it has the right lifting property against the generating cofibrations $I_{Top}$, and cor. 7 implies the claim.
B) If the cofibration $g$ on the left is also a weak equivalence, consider any factorization into a relative $J_{Top}$-cell complex, def. 16, def. 15, followed by a fibration,
as in the proof of lemma 16. By lemma 4 the morphism $\overset{\in J_{Top} Cell}{\longrightarrow}$ is a weak homotopy equivalence, and so by two-out-of-three (prop. 18) the factorizing fibration is actually an acyclic fibration. By case A), this acyclic fibration has the right lifting property against the cofibration $g$ itself, and so the retract argument, lemma 7 gives that $g$ is a retract of a relative $J_{Top}$-cell complex. With this, finally cor. 7 implies that $f$ has the right lifting property against $g$.
Finally:
The systems $(Cof_{cl} , W_{cl} \cap Fib_{cl})$ and $(W_{cl} \cap Cof_{cl}, Fib_{cl})$ from def. 37 are weak factorization systems.
Since we have already seen the factorization property (lemma 15, lemma 16) and the lifting properties (lemma 17), it only remains to see that the given left/right classes exhaust the class of morphisms with the given lifting property.
For the classical fibrations this is by definition, for the the classical acyclic fibrations this is by lemma 5.
The remaining statement for $Cof_{cl}$ and $W_{cl}\cap Cof_{cl}$ follows from a general argument (here) for cofibrantly generated model categories (def. 38), which we spell out:
So let $f \colon X \longrightarrow Y$ be in $(I_{Top} Inj) Proj$, we need to show that then $f$ is a retract (remark 11) of a relative cell complex. To that end, apply the small object argument as in lemma 15 to factor $f$ as
It follows that $f$ has the left lifting property against $\hat Y \to Y$, and hence by the retract argument (lemma 7) it is a retract of $X \overset{I Cell}{\to} \hat Y$. This proves the claim for $Cof_{cl}$.
The analogous argument for $W_{cl} \cap Cof_{cl}$, using the small object argument for $J_{Top}$, shows that every $f \in (J_{Top} Inj) Proj$ is a retract of a $J_{Top}$-cell complex. By lemma 3 and lemma 4 a $J_{Top}$-cell complex is both an $I_{Top}$-cell complex and a weak homotopy equivalence. Retracts of the former are cofibrations by definition, and retracts of the latter are still weak homotopy equivalences by lemma 6. Hence such $f$ is an acyclic cofibration.
In conclusion, prop. 18 and prop. 19 say that:
The classes of morphisms in $Mor(Top)$ of def. 37,
$W_{cl} =$ weak homotopy equivalences,
$Fib_{cl} =$ Serre fibrations
$Cof_{cl} =$ retracts of relative cell complexes
define a model category structure (def. 20) $Top_{Quillen}$, the classical model structure on topological spaces or Serre-Quillen model structure .
In particular
every object in $Top_{Quillen}$ is fibrant;
the cofibrant objects in $Top_{Quillen}$ are the retracts of cell complexes.
Hence in particular the following classical statement is an immediate corollary:
(Whitehead theorem)
Every weak homotopy equivalence (def. 10) between topological spaces that are homeomorphic to a retract of a cell complex, in particular to a CW-complex (def. 14), is a homotopy equivalence (def. 9).
This is the “Whitehead theorem in model categories”, lemma 10, specialized to $Top_{Quillen}$ via theorem 2.
In proving theorem 2 we have in fact shown a bit more that stated. Looking back, all the structure of $Top_{Quillen}$ is entirely induced by the set $I_{Top}$ (def. 13) of generating cofibrations and the set $J_{Top}$ (def. 16) of generating acyclic cofibrations (whence the terminology). This phenomenon will keep recurring and will keep being useful as we construct further model categories, such as the classical model structure on pointed topological spaces (def. 44), the projective model structure on topological functors (thm. 5), and finally various model structures on spectra which we turn to in the section on stable homotopy theory.
Therefore we make this situation explicit:
A model category $\mathcal{C}$ (def. 20) is called cofibrantly generated if there exists two subsets
of its class of morphisms, such that
$I$ and $J$ have small domains according to def. 25,
the (acyclic) cofibrations of $\mathcal{C}$ are precisely the retracts, of $I$-relative cell complexes ($J$-relative cell complexes), def. 15.
For $\mathcal{C}$ a cofibrantly generated model category, def. 38, with generating (acylic) cofibrations $I$ ($J$), then its classes $W, Fib, Cof$ of weak equivalences, fibrations and cofibrations are equivalently expressed as injective or projective morphisms (def. 21) this way:
$Cof = (I Inj) Proj$
$W \cap Fib = I Inj$;
$W \cap Cof = (J Inj) Proj$;
$Fib = J Inj$;
It is clear from the definition that $I \subset (I Inj) Proj$, so that the closure property of prop. 6 gives an inclusion
For the converse inclusion, let $f \in (I Inj) Proj$. By the small object argument, prop. 9, there is a factorization $f\colon \overset{\in I Cell}{\longrightarrow}\overset{I Inj}{\longrightarrow}$. Hence by assumption and by the retract argument lemma 7, $f$ is a retract of an $I$-relative cell complex, hence is in $Cof$.
This proves the first statement. Together with the closure properties of prop. 6, this implies the second claim.
The proof of the third and fourth item is directly analogous, just with $J$ replaced for $I$.
With the classical model structure on topological spaces in hand, we now have good control over the classical homotopy category:
The Serre-Quillen classical homotopy category is the homotopy category, def. 28, of the classical model structure on topological spaces $Top_{Quillen}$ from theorem 2: we write
From just theorem 2, the definition 28 (def. 39) gives that
is the category whose objects are retracts of cell complexes (def. 14) and whose morphisms are homotopy classes of continuous functions. But in fact more is true:
Theorem 2 in itself implies that every topological space is weakly equivalent to a retract of a cell complex, def. 14. But by the existence of CW approximations, this cell complex may even be taken to be a CW complex.
(Better yet, there is Quillen equivalence to the classical model structure on simplicial sets which implies a functorial CW approximation ${\vert Sing X\vert} \overset{\in W_{cl}}{\longrightarrow} X$ given by forming the geometric realization of the singular simplicial complex of $X$.)
Hence the Serre-Quillen classical homotopy category is also equivalently the category of just the CW-complexes whith homotopy classes of continuous functions between them
It follows that the universal property of the homotopy category (theorem 1)
implies that there is a bijection, up to natural isomorphism, between
functors out of $Top_{CW}$ which agree on homotopy-equivalent maps;
functors out of all of $Top$ which send weak homotopy equivalences to isomorphisms.
This statement in particular serves to show that two different axiomatizations of generalized (Eilenberg-Steenrod) cohomology theories are equivalent to each other. See at Introduction to Stable homotopy theory -- S the section generalized cohomology functors (this prop.)
Beware that, by remark 4, what is not equivalent to $Ho(Top_{Quillen})$ is the category
obtained from all topological spaces with morphisms the homotopy classes of continuous functions. This category is “too large”, the correct homotopy category is just the genuine full subcategory
Beware also the ambiguity of terminology: “classical homotopy category” some literature refers to $hTop$ instead of $Ho(Top_{Quillen})$. However, here we never have any use for $hTop$ and will not mention it again.
Let $X$ be a CW-complex, def. 14. Then the standard topological cylinder of def. 6
(obtained by forming the product space with the standard topological interval $I = [0,1]$) is indeed a cylinder object in the abstract sense of def. 26.
We describe the proof informally. It is immediate how to turn this into a formal proof, but the notation becomes tedious. (One place where it is spelled out completely is Ottina 14, prop. 2.9.)
So let $X_0 \to X_1 \to X_2\to \cdots \to X$ be a presentation of $X$ as a CW-complex. Proceed by induction on the cell dimension.
First observe that the cylinder $X_0 \times I$ over $X_0$ is a cell complex: First $X_0$ itself is a disjoint union of points. Adding a second copy for every point (i.e. attaching along $S^{-1}\to D^0$) yields $X_0 \sqcup X_0$, then attaching an inteval between any two corresponding points (along $S^0 \to D^1$) yields $X_0 \times I$.
So assume that for $n \in \mathbb{N}$ it has been shown that $X_n \times I$ has the structure of a CW-complex of dimension $(n+1)$. Then for each cell of $X_{n+1}$, attach it twice to $X_n \times I$, once at $X_n \times \{0\}$, and once at $X_n \times \{1\}$.
The result is $X_{n+1}$ with a hollow cylinder erected over each of its $(n+1)$-cells. Now fill these hollow cylinders (along $S^{n+1} \to D^{n+1}$) to obtain $X_{n+1}\times I$.
This completes the induction, hence the proof of the CW-structure on $X\times I$.
The construction also manifestly exhibits the inclusion $X \sqcup X \overset{(i_0,i_1)}{\longrightarrow}$ as a relative cell complex.
Finally, it is clear (prop. 3) that $X \times I \to X$ is a weak homotopy equivalence.
Conversely:
Let $X$ be any topological space. Then the standard topological path space object (def. 11)
(obtained by forming the mapping space, def. 5, with the standard topological interval $I = [0,1]$) is indeed a path space object in the abstract sense of def. 26.
To see that $const \colon X\to X^I$ is a weak homotopy equivalence it is sufficient, by prop. 3, to exhibit a homotopy equivalence. Let the homotopy inverse be $X^{\delta_0} \colon X^I \to X$. Then the composite
is already equal to the identity. The other we round, the rescaling of paths provides the required homotopy
To see that $X^I \to X\times X$ is a fibration, we need to show that every commuting square of the form
has a lift.
Now first use the adjunction $(I \times (-))\dashv (-)^I$ from prop. 2 to rewrite this equivalently as the following commuting square:
This square is equivalently (example 9) a morphism out of the pushout
By the same reasoning, a lift in the original diagram is now equivalently a lifting in
Inspection of the component maps shows that the left vertical morphism here is the inclusion into the square times $D^n$ of three of its faces times $D^n$. This is homeomorphic to the inclusion $D^{n+1} \to D^{n+1} \times I$ (as in remark 7). Therefore a lift in this square exsists, and hence a lift in the original square exists.
A pointed object $(X,x)$ is of course an object $X$ equipped with a point $x \colon \ast \to X$, and a morphism of pointed objects $(X,x) \longrightarrow (Y,y)$ is a morphism $X \longrightarrow Y$ that takes $x$ to $y$. Trivial as this is in itself, it is good to record some basic facts, which we do here.
Passing to pointed objects is also the first step in linearizing classical homotopy theory to stable homotopy theory. In particular, every category of pointed objects has a zero object, hence has zero morphisms. And crucially, if the original category had Cartesian products, then its pointed objects canonically inherit a non-cartesian tensor product: the smash product. These ingredients will be key below in the section on stable homotopy theory.
Let $\mathcal{C}$ be a category and let $X \in \mathcal{C}$ be an object.
The slice category $\mathcal{C}_{/X}$ is the category whose
objects are morphisms $\array{A \\ \downarrow \\ X}$ in $\mathcal{C}$;
morphisms are commuting triangles $\array{ A && \longrightarrow && B \\ & {}_{}\searrow && \swarrow \\ && X}$ in $\mathcal{C}$.
Dually, the coslice category $\mathcal{C}^{X/}$ is the category whose
objects are morphisms $\array{X \\ \downarrow \\ A}$ in $\mathcal{C}$;
morphisms are commuting triangles $\array{ && X \\ & \swarrow && \searrow \\ A && \longrightarrow && B }$ in $\mathcal{C}$.
There are the canonical forgetful functors
given by forgetting the morphisms to/from $X$.
We here focus on this class of examples:
For $\mathcal{C}$ a category with terminal object $\ast$, the coslice category (def. 40) $\mathcal{C}^{\ast/}$ is the corresponding category of pointed objects: its
objects are morphisms in $\mathcal{C}$ of the form $\ast \overset{x}{\to} X$ (hence an object $X$ equipped with a choice of point; i.e. a pointed object);
morphisms are commuting triangles of the form
(hence morphisms in $\mathcal{C}$ which preserve the chosen points).
In a category of pointed objects $\mathcal{C}^{\ast/}$, def. 41, the terminal object coincides with the initial object, both are given by $\ast \in \mathcal{C}$ itself, pointed in the unique way.
In this situation one says that $\ast$ is a zero object and that $\mathcal{C}^{\ast/}$ is a pointed category.
It follows that also all hom-sets $Hom_{\mathcal{C}^{\ast/}}(X,Y)$ of $\mathcal{C}^{\ast/}$ are canonically pointed sets, pointed by the zero morphism
Let $\mathcal{C}$ be a category with terminal object and finite colimits. Then the forgetful functor $U \colon \mathcal{C}^{\ast/} \to \mathcal{C}$ from its category of pointed objects, def. 41, has a left adjoint
given by forming the disjoint union (coproduct) with a base point (“adjoining a base point”).
Let $\mathcal{C}$ be a category with all limits and colimits. Then also the category of pointed objects $\mathcal{C}^{\ast/}$, def. 41, has all limits and colimits.
Moreover:
the limits are the limits of the underlying diagrams in $\mathcal{C}$, with the base point of the limit induced by its universal property in $\mathcal{C}$;
the colimits are the limits in $\mathcal{C}$ of the diagrams with the basepoint adjoined.
It is immediate to check the relevant universal property. For details see at slice category – limits and colimits.
Given two pointed objects $(X,x)$ and $(Y,y)$, then:
their product in $\mathcal{C}^{\ast/}$ is simply $(X\times Y, (x,y))$;
their coproduct in $\mathcal{C}^{\ast/}$ has to be computed using the second clause in prop. 23: since the point $\ast$ has to be adjoined to the diagram, it is given not by the coproduct in $\mathcal{C}$, but by the pushout in $\mathcal{C}$ of the form:
This is called the wedge sum operation on pointed objects.
Generally for a set $\{X_i\}_{i \in I}$ in $Top^{\ast/}$
For $X$ a CW-complex, def. 14 then for every $n \in \mathbb{N}$ the quotient (example 10) of its $n$-skeleton by its $(n-1)$-skeleton is the wedge sum, def. 20, of $n$-spheres, one for each $n$-cell of $X$:
For $\mathcal{C}^{\ast/}$ a category of pointed objects with finite limits and finite colimits, the smash product is the functor
given by
hence by the pushout in $\mathcal{C}$
In terms of the wedge sum from def. 20, this may be written concisely as
For a general category $\mathcal{C}$ in def. 43, the smash product need not be associative, namely it fails to be associative if the functor $(-)\times Z$ does not preserve the quotients involved in the definition.
In particular this may happen for $\mathcal{C} =$ Top.
A sufficient condition for $(-) \times Z$ to preserve quotients is that it is a left adjoint functor. This is the case in the smaller subcategory of compactly generated topological spaces, we come to this in prop. 26 below.
These two operations are going to be ubiquituous in stable homotopy theory:
symbol | name | category theory |
---|---|---|
$X \vee Y$ | wedge sum | coproduct in $\mathcal{C}^{\ast/}$ |
$X \wedge Y$ | smash product | tensor product in $\mathcal{C}^{\ast/}$ |
For $X, Y \in Top$, with $X_+,Y_+ \in Top^{\ast/}$, def. 42, then
$X_+ \vee Y_+ \simeq (X \sqcup Y)_+$;
$X_+ \wedge Y_+ \simeq (X \times Y)_+$.
By example 20, $X_+ \vee Y_+$ is given by the colimit in $Top$ over the diagram
This is clearly $X \sqcup \ast \sqcup Y$. Then, by definition 43
Let $\mathcal{C}^{\ast/} = Top^{\ast/}$ be pointed topological spaces. Then
denotes the standard interval object $I = [0,1]$ from def. 6, with a djoint basepoint adjoined, def. 42. Now for $X$ any pointed topological space, then
is the reduced cylinder over $X$: the result of forming the ordinary cyclinder over $X$ as in def. 6, and then identifying the interval over the basepoint of $X$ with the point.
(Generally, any construction in $\mathcal{C}$ properly adapted to pointed objects $\mathcal{C}^{\ast/}$ is called the “reduced” version of the unpointed construction. Notably so for “reduced suspension” which we come to below.)
Just like the ordinary cylinder $X\times I$ receives a canonical injection from the coproduct $X \sqcup X$ formed in $Top$, so the reduced cyclinder receives a canonical injection from the coproduct $X \sqcup X$ formed in $Top^{\ast/}$, which is the wedge sum from example 20:
For $(X,x),(Y,y)$ pointed topological spaces with $Y$ a locally compact topological space, then the pointed mapping space is the topological subspace of the mapping space of def. 5
on those maps which preserve the basepoints, and pointed by the map constant on the basepoint of $X$.
In particular, the standard topological pointed path space object on some pointed $X$ (the pointed variant of def. 11) is the pointed mapping space $Maps(I_+,X)_\ast$.
The pointed consequence of prop. 2 then gives that there is a natural bijection
between basepoint-preserving continuous functions out of a smash product, def. 43, with pointed continuous functions of one variable into the pointed mapping space.
Given a morphism $f \colon X \longrightarrow Y$ in a category of pointed objects $\mathcal{C}^{\ast/}$, def. 41, with finite limits and colimits,
its fiber or kernel is the pullback of the point inclusion
its cofiber or cokernel is the pushout of the point projection
In the situation of example 25, both the pullback as well as the pushout are equivalently computed in $\mathcal{C}$. For the pullback this is the first clause of prop. 23. The second clause says that for computing the pushout in $\mathcal{C}$, first the point is to be adjoined to the diagram, and then the colimit over the larger diagram
be computed. But one readily checks that in this special case this does not affect the result. (The technical jargon is that the inclusion of the smaller diagram into the larger one in this case happens to be a final functor.)
Let $\mathcal{C}$ be a model category and let $X \in \mathcal{C}$ be an object. Then both the slice category $\mathcal{C}_{/X}$ as well as the coslice category $\mathcal{C}^{X/}$, def. 40, carry model structures themselves – the model structure on a (co-)slice category, where a morphism is a weak equivalence, fibration or cofibration iff its image under the forgetful functor $U$ is so in $\mathcal{C}$.
In particular the category $\mathcal{C}^{\ast/}$ of pointed objects, def. 41, in a model category $\mathcal{C}$ becomes itself a model category this way.
The corresponding homotopy category of a model category, def. 28, we call the pointed homotopy category $Ho(\mathcal{C}^{\ast/})$.
This is immediate:
By prop. 23 the (co-)slice category has all limits and colimits. By definition of the weak equivalences in the (co-)slice, they satisfy two-out-of-three, def. 19, because the do in $\mathcal{C}$.
Similarly, the factorization and lifting is all induced by $\mathcal{C}$: Consider the coslice category $\mathcal{C}^{X/}$, the case of the slice category is formally dual; then if
commutes in $\mathcal{C}$, and a factorization of $f$ exists in $\mathcal{C}$, it uniquely makes this diagram commute
Similarly, if
is a commuting diagram in $\mathcal{C}^{X/}$, hence a commuting diagram in $\mathcal{C}$ as shown, with all objects equipped with compatible morphisms from $X$, then inspection shows that any lift in the diagram necessarily respects the maps from $X$, too.
For $\mathcal{C}$ any model category, with $\mathcal{C}^{\ast/}$ its pointed model structure according to prop. 24, then the corresponding homotopy category (def. 28) is, by remark 17, canonically enriched in pointed sets, in that its hom-functor is of the form
Write $Top^{\ast/}_{Quillen}$ for the classical model structure on pointed topological spaces, obtained from the classical model structure on topological spaces $Top_{Quillen}$ (theorem 2) via the induced coslice model structure of prop. 24.
Its homotopy category, def. 28,
we call the classical pointed homotopy category.
The fibrant objects in the pointed model structure $\mathcal{C}^{\ast/}$, prop. 24, are those that are fibrant as objects of $\mathcal{C}$. But the cofibrant objects in $\mathcal{C}^{\ast}$ are now those for which the basepoint inclusion is a cofibration in $X$.
For $\mathcal{C}^{\ast/} = Top^{\ast/}_{Quillen}$ from def. 44, then the corresponding cofibrant pointed topological spaces are tyically referred to as spaces with non-degenerate basepoints or . Notice that the point itself is cofibrant in $Top_{Quillen}$, so that cofibrant pointed topological spaces are in particular cofibrant topological spaces.
While the existence of the model structure on $Top^{\ast/}$ is immediate, via prop. 24, for the discussion of topologically enriched functors (below) it is useful to record that this, too, is a cofibrantly generated model category (def. 38), as follows:
Write
and
respectively, for the sets of morphisms obtained from the classical generating cofibrations, def. 13, and the classical generating acyclic cofibrations, def. 16, under adjoining of basepoints (def. 42).
The sets $I_{Top^{\ast/}}$ and $J_{Top^{\ast/}}$ in def. 45 exhibit the classical model structure on pointed topological spaces $Top^{\ast/}_{Quillen}$ of def. 44 as a cofibrantly generated model category, def. 38.
(This is also a special case of a general statement about cofibrant generation of coslice model structures, see this proposition.)
Due to the fact that in $J_{Top^{\ast/}}$ a basepoint is freely adjoined, lemma 5 goes through verbatim for the pointed case, with $J_{Top}$ replaced by $J_{Top^{\ast/}}$, as do the other two lemmas above that depend on point-set topology, lemma 1 and lemma 4. With this, the rest of the proof follows by the same general abstract reasoning as above in the proof of theorem 2.
The category Top has the technical inconvenience that mapping spaces $X^Y$ (def. 5) satisfying the exponential property (prop. 2) exist in general only for $Y$ a locally compact topological space, but fail to exist more generally. In other words: Top is not cartesian closed. But cartesian closure is necessary for some purposes of homotopy theory, for instance it ensures that
the smash product (def. 43) on pointed topological spaces is associative (prop. 26 below);
there is a concept of topologically enriched functors with values in topological spaces, to which we turn below;
geometric realization of simplicial sets preserves products.
The first two of these are crucial for the development of stable homotopy theory in the next section, the third is a great convenience in computations.
Now, since the homotopy theory of topological spaces only cares about the CW approximation to any topological space (remark 16), it is plausible to ask for a full subcategory of Top which still contains all CW-complexes, still has all limits and colimits, still supports a model category structure constructed in the same way as above, but which in addition is cartesian closed, and preferably such that the model structure interacts well with the cartesian closure.
Such a full subcategory exists, the category of compactly generated topological spaces. This we briefly describe now.
Literature (Strickland 09)
$\,$
Let $X$ be a topological space.
A subset $A \subset X$ is called compactly closed (or $k$-closed) if for every continuous function $f \colon K \longrightarrow X$ out of a compact Hausdorff space $K$