11.10.6 Relative Homotopy Equivalences
Recall that a morphism of simplicial sets $f: X \rightarrow Y$ is said to be a homotopy equivalence if there exists a morphism $g: Y \rightarrow X$ such that $f \circ g$ and $g \circ f$ are homotopic to the identity morphisms $\operatorname{id}_{Y}$ and $\operatorname{id}_{X}$, respectively (Definition 3.1.6.1). We now introduce a relative version of this condition.
Definition 11.10.6.1. Suppose we are given a commutative diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_ Y} \\ & S, & } \]
so that we can regard $f$ as a vertex of the simplicial set $\operatorname{Fun}_{/S}(X,Y)$ of Construction 3.1.3.7. We say that $f$ is a homotopy equivalence relative to $S$ if there exists a morphism $g \in \operatorname{Fun}_{/S}(Y,X)$ such that $g \circ f$ and $\operatorname{id}_{X}$ belong to the same connected component of $\operatorname{Fun}_{/S}(X,X)$, and $f \circ g$ and $\operatorname{id}_{Y}$ belong to the same connected component of $\operatorname{Fun}_{/S}(Y,Y)$. In this case, we will refer to $g$ as a homotopy inverse of $f$ relative to $S$.
In the special case where $q_{X}$ and $q_{Y}$ are both left fibrations (or both right fibrations), then we can improve upon Remark 11.10.6.2:
Theorem 11.10.6.3. Suppose we are given a commutative diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_ Y} \\ & S. & } \]
Assume either that $q_{X}$ and $q_{Y}$ are both left fibrations, or that they are both right fibrations. Then the following conditions are equivalent:
- $(1)$
The morphism $f$ is a homotopy equivalence relative to $S$ (Definition 11.10.6.1).
- $(2)$
For every object $B$ of the slice category $(\operatorname{Set_{\Delta }})_{/S}$, the induced map $f_{B}: \operatorname{Fun}_{/S}(B,X) \rightarrow \operatorname{Fun}_{/S}(B,Y)$ is a homotopy equivalence.
- $(3)$
For each vertex $s \in S$, the induced map $f_{s}: X_{s} \rightarrow Y_{s}$ is a homotopy equivalence of Kan complexes.
The proof of Theorem 11.10.6.3 will require some preliminaries.
Proposition 11.10.6.4. Let $q_{X}: X \rightarrow S$ and $q_{Y}: Y \rightarrow S$ be morphisms of simplicial sets. If $q_{Y}$ is either a left fibration or a right fibration, then the simplicial set $\operatorname{Fun}_{/S}(X,Y)$ is a Kan complex.
Proof.
Without loss of generality, we may assume that $q_{Y}$ is a left fibration. Then postcomposition with $q_{Y}$ induces a left fibration $Q_{Y}: \operatorname{Fun}(X,Y) \rightarrow \operatorname{Fun}(X,S)$ (Corollary 4.2.5.2). By construction, $\operatorname{Fun}_{/S}(X,Y)$ is a fiber of the morphism $Q_{Y}$, and is therefore a Kan complex by virtue of Corollary 4.4.2.3.
$\square$
Proposition 11.10.6.5. Let $q_{X}: X \rightarrow S$ and $q_{Y}: Y \rightarrow S$ be morphisms of simplicial sets, and let $X' \subseteq X$ be a simplicial subset. If $q_{Y}$ is either a left fibration or a right fibration, then the restriction map $\theta : \operatorname{Fun}_{/S}(X, Y) \rightarrow \operatorname{Fun}_{/S}(X', Y)$ is a Kan fibration.
Proof.
Without loss of generality, we may assume that $q_{Y}$ is a left fibration. By construction, we have a pullback diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{/S}(X,Y) \ar [r] \ar [d]^{\theta } & \operatorname{Fun}(X,Y) \ar [d]^{\theta '} \\ \operatorname{Fun}_{/S}(X', Y) \ar [r] & \operatorname{Fun}(X',Y) \times _{ \operatorname{Fun}(X',S)} \operatorname{Fun}(X,S). } \]
Proposition 4.2.5.1 guarantees that $\theta '$ is a left fibration, so that $\theta $ is also a left fibration (Remark 4.2.1.8). Since $\operatorname{Fun}_{/S}(X',Y)$ is a Kan complex (Proposition 11.10.6.4), it follows that $\theta $ is also a Kan fibration (Corollary 4.4.3.8).
$\square$
Corollary 11.10.6.8. Let $q: Y \rightarrow S$ be a morphism of simplicial sets, and suppose we are given a pushout diagram
\[ \xymatrix@R =50pt@C=50pt{ A \ar [r]^-{i} \ar [d] & A' \ar [d] \\ B \ar [r] & B' } \]
in the slice category $(\operatorname{Set_{\Delta }})_{/S}$. If $i$ is a monomorphism and $q$ is either a left or right fibration, then the induced diagram
11.20
\begin{equation} \begin{gathered}\label{equation:mapping-space-homotopy-pullback} \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{/S}(A', Y) & \operatorname{Fun}_{/S}(A, Y) \ar [l] \\ \operatorname{Fun}_{/S}(B',Y) \ar [u] & \operatorname{Fun}_{/S}(B, Y) \ar [u] \ar [l] } \end{gathered} \end{equation}
is a homotopy pullback square of Kan complexes.
Proof.
Diagram (11.20) is automatically a pullback square (Remark 11.10.6.7). If $q$ is a right fibration and $i$ is a monomorphism, then the horizontal maps in (11.20) are Kan fibrations (Proposition 11.10.6.5). Invoking Example 3.4.1.3, we deduce that (11.20) is also a homotopy pullback square.
$\square$
Proof of Theorem 11.10.6.3.
The equivalence $(1) \Leftrightarrow (2)$ follows from Remark 11.10.6.2, and the implication $(2) \Rightarrow (3)$ is immediate (Example 3.1.3.12). We will complete the proof by showing that $(3) \Rightarrow (2)$. Assume that we are given a commutative diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ X \ar [rr]^{f} \ar [dr]_{q_ X} & & Y \ar [dl]^{q_ Y} \\ & S, & } \]
where $q_{X}$ and $q_{Y}$ are left fibrations and, for every vertex $s \in S$, the induced map of fibers $f_{s}: X_{s} \rightarrow Y_{s}$ is a homotopy equivalence of Kan complexes. We wish to show that, for each object $B \in (\operatorname{Set_{\Delta }})_{/S}$, the induced map $f_{B}: \operatorname{Fun}_{/S}(B,X) \rightarrow \operatorname{Fun}_{/S}(B,Y)$ is a homotopy equivalence. For each $n \geq 0$, let $\operatorname{sk}_{n}(B)$ denote the $n$-skeleton of $B$ (Construction 1.1.4.1). Then $f_{A}$ can be realized as the inverse limit of a tower of morphisms $\{ f_{ \operatorname{sk}_ n(B) }: \operatorname{Fun}_{/S}( \operatorname{sk}_ n(B), X) \rightarrow \operatorname{Fun}_{/S}( \operatorname{sk}_ n(B), Y) \} _{n \geq 0}$. Using Proposition 11.10.6.5, we see that the transition morphisms $\operatorname{Fun}_{/S}( \operatorname{sk}_{n+1}(B), X) \rightarrow \operatorname{Fun}_{/S}( \operatorname{sk}_ n(B), X)$ and $\operatorname{Fun}_{/S}( \operatorname{sk}_{n+1}(B), Y) \rightarrow \operatorname{Fun}_{/S}( \operatorname{sk}_ n(B), Y)$ are Kan fibrations. Consequently, to show that $f_{B}$ is a homotopy equivalence, it will suffice to show that each of the morphisms $f_{ \operatorname{sk}_{n}(B) }$ is a homotopy equivalence (Proposition 11.9.5.6). We may therefore replace $B$ by $\operatorname{sk}_{n}(B)$ and thereby reduce to the case where the simplicial set $B$ has dimension $\leq n$, for some $n \geq -1$.
The proof now proceeds by induction on $n$. In the case $n=-1$, the simplicial set $B$ is empty, and the morphism $f_{B}$ is an isomorphism (see Remark 11.10.6.7). Assume that $n \geq 0$, let $B'$ denote the $(n-1)$-skeleton of $B$, and let $T$ denote the collection of all nondegenerate $n$-simplices of $B$. Then Proposition 1.1.4.12 supplies a pushout diagram of simplicial sets
\[ \xymatrix@R =50pt@C=50pt{ A' \ar [r] \ar [d] & A \ar [d] \\ B' \ar [r] & B, } \]
where $A = \coprod _{ \tau \in T} \Delta ^{n}$ and $A' = \coprod _{\tau \in T} \operatorname{\partial \Delta }^ n$. This pushout square determines a commutative diagram of Kan complexes
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{/S}(B, X) \ar [dd]^(.5){ f_{B} } \ar [rr] \ar [dr] & & \operatorname{Fun}_{/S}( B', X) \ar [dd]^(.6){ f_{B'} } \ar [dr] & \\ & \operatorname{Fun}_{/S}(A, X) \ar [rr] \ar [dd]^(.6){ f_{A} } & & \operatorname{Fun}_{/S}(A', X) \ar [dd]^(.5){ f_{A'} } \\ \operatorname{Fun}_{/S}(B, Y) \ar [rr] \ar [dr] & & \operatorname{Fun}_{/S}(B', Y) \ar [dr] & \\ & \operatorname{Fun}_{/S}(A, Y) \ar [rr] & & \operatorname{Fun}_{/S}(A', Y), } \]
where the upper and lower squares are homotopy Cartesian by virtue of Corollary 11.10.6.8. Consequently, to show that $f_{B}$ is a homotopy equivalence of Kan complexes, it will suffice to show that $f_{B'}$, $f_{A'}$, and $f_{A}$ are homotopy equivalences (Corollary 3.4.1.12). In the first two cases, this follows from our inductive hypothesis. We may therefore replace $B$ by $A$, and thereby reduce to the case where is a coproduct of simplices. Using Remarks 11.10.6.7 and 3.1.6.8, we can further reduce to the case where $B = \Delta ^ n$ is a simplex of dimension $n$. In this case, the inclusion of the initial vertex $0 \in \Delta ^ n$ is left anodyne (Example 4.3.7.10). Let $s \in S$ denote the image of the vertex $0 \in \Delta ^ n$, so that we have a commutative diagram of Kan complexes
\[ \xymatrix@R =50pt@C=50pt{ \operatorname{Fun}_{/S}( B, X) \ar [r]^-{ f_{B} } \ar [d] & \operatorname{Fun}_{/S}(B, Y) \ar [d] \\ \operatorname{Fun}_{/S}( \{ s\} , X) \ar [r]^-{f_ s} & \operatorname{Fun}_{/S}( \{ s\} , Y). } \]
Invoking Remark 11.10.6.6, we conclude that the vertical maps in this diagram are trivial Kan fibrations. Since $f_{s}$ is a homotopy equivalence by assumption, it follows that $f_{B}$ is also a homotopy equivalence.
$\square$