Kerodon

Proof. Fix an object $G$ of the $\infty $-category $\operatorname{\mathcal{M}}= \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}})$. We wish to show that the Kan complex $X = \operatorname{Hom}_{\operatorname{\mathcal{M}}}(F,G)$ is contractible. For every morphism of simplicial sets $S \rightarrow \operatorname{\mathcal{C}}$, set $\operatorname{\mathcal{M}}_{S} = \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(S), \operatorname{\mathcal{E}})$, let $F_{S}$ and $G_{S}$ denote the images of $F$ and $G$ in the $\infty $-category $\operatorname{\mathcal{M}}_{S}$, and let $X_ S$ denote the Kan complex $\operatorname{Hom}_{ \operatorname{\mathcal{M}}_{S} }( F_ S, G_ S )$. Let us say that $S$ is good if the Kan complex $X_{S}$ is contractible. We will complete the proof by showing that every object $S \in (\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$ is good. We make the following observations:

$(i)$

Since the functor $S \mapsto \operatorname{Tw}(S)$ commutes with colimits (Remark 8.1.1.4), the construction $S \mapsto \operatorname{\mathcal{M}}_{S}$ carries colimits (in the category $(\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$) to limits (in the category of simplicial sets). It follows that the construction $S \mapsto X_{S}$ has the same property.

$(ii)$

Let $S' \hookrightarrow S$ be a monomorphism in the category $(\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$. Then the induced map $\operatorname{Tw}(S') \rightarrow \operatorname{Tw}(S)$ is also a monomorphism, so the restriction map $\operatorname{\mathcal{M}}_{S} \rightarrow \operatorname{\mathcal{M}}_{S'}$ is an isofibration of $\infty $-categories (Proposition 4.5.5.14). It follows that the induced map $X_{S} \rightarrow X_{S'}$ is a Kan fibration (Proposition 4.6.1.21).

Let $S \rightarrow \operatorname{\mathcal{C}}$ be any morphism of simplicial sets. Using $(i)$ and $(ii)$, we see that $X_{S}$ can be realized as the limit of a tower of Kan fibrations

Consequently, to show that $S$ is good, it will suffice to show that each skeleton $\operatorname{sk}_ n(S)$ is good (Example 4.5.6.18). Replacing $S$ by $\operatorname{sk}_{n}(S)$, we can reduce to the case where $S$ has dimension $\leq n$, for some integer $n \geq -1$.

We now proceed by induction on $n$. If $n= -1$, then the simplicial set $S$ is empty and the Kan complex $X_{S}$ is isomorphic to $\Delta ^0$ (by virtue of $(i)$). Let us therefore assume that $n \geq 0$. Let $T$ denote the coproduct $\coprod _{\sigma } \Delta ^ n$, indexed by the collection of nondegenerate $n$-simplices of $S$, so that Proposition 1.1.4.12 supplies a pushout diagram of simplicial sets

Applying $(i)$, we obtain a pullback diagram of Kan complexes

It follows from $(ii)$ that the vertical maps in this diagram are Kan fibrations, so that (11.11) is a homotopy pullback diagram (Example 3.4.1.3). Our inductive hypothesis guarantees that the Kan complexes $X_{ \operatorname{sk}_{n-1}(S) }$ and $X_{ \operatorname{sk}_{n-1}(T) }$ are contractible, so that the lower horizontal map is a homotopy equivalence. Applying Corollary 3.4.1.5, we see that the map $X_{S} \rightarrow X_{T}$ is also a homotopy equivalence. We may therefore replace $S$ by $T$, and thereby reduce to the case where $S$ is a coproduct of simplices. Since the collection of contractible Kan complexes is closed under the formation of products (Remark 3.1.6.8), we can use $(i)$ to further reduce to the special case where $S = \Delta ^ n$ is a standard simplex. Replacing $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ by the projection map $S \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}\rightarrow S$, we are reduced to proving Lemma 11.9.1.6 in the special case where $\operatorname{\mathcal{C}}= \Delta ^ n$ is a standard simplex.

Let us identify the twisted arrow $\infty $-category $\operatorname{Tw}(\operatorname{\mathcal{C}})$ with the nerve of the partially ordered set $Q = \{ (i,j) \in [n]^{\operatorname{op}} \times [n]: i \leq j \} $, so that $F$ and $G$ can be identified with functors from $\operatorname{N}_{\bullet }(Q)$ into $\operatorname{\mathcal{E}}$. Let $Q' \subset Q$ be as in Remark 11.9.1.5, so that $F$ is $U$-left Kan extended from $\operatorname{N}_{\bullet }(Q')$. Set $\operatorname{\mathcal{M}}' = \operatorname{Fun}_{ / \Delta ^ n}( \operatorname{N}_{\bullet }(Q'), \operatorname{\mathcal{E}})$, so that the restriction map

is a homotopy equivalence (Proposition 7.3.6.7). It will therefore suffice to show that the mapping space $\operatorname{Hom}_{ \operatorname{\mathcal{M}}' }( F|_{ \operatorname{N}_{\bullet }(Q') }, G|_{ \operatorname{N}_{\bullet }(Q') })$, which follows from our inductive hypothesis (applied to the inclusion map $\Delta ^{n-1} \hookrightarrow \Delta ^{n}$). $\square$

Proof. We proceed as in the proof of Lemma 11.9.1.6. For every morphism of simplicial sets $S \rightarrow \operatorname{\mathcal{C}}$, let $\operatorname{\mathcal{M}}_{S}$ denote the $\infty $-category

and let $Y_{S} \subseteq \operatorname{\mathcal{M}}_{S}$ denote the full subcategory spanned by those objects which satisfy conditions $(1)$ and $(2)$ of Theorem 11.9.1.1 (after replacing $\operatorname{\mathcal{C}}$ by $S$). It follows from Lemma 11.9.1.6 that $Y_{S}$ is spanned by initial objects of $\operatorname{\mathcal{M}}_{S}$. In particular, $Y_{S}$ is a Kan complex which is either empty or contractible (Corollary 4.6.7.14). Let us say that $S$ is good if the Kan complex $Y_{S}$ is contractible. We will complete the proof by showing that each object $S \in (\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$ is good. We make the following observations:

$(i)$

The construction $S \mapsto Y_{S}$ carries colimits (in the category $(\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$) to limits (in the category of simplicial sets).

$(ii)$

Let $S' \hookrightarrow S$ be a monomorphism in the category $(\operatorname{Set_{\Delta }})_{/\operatorname{\mathcal{C}}}$. Then the restriction map $\operatorname{\mathcal{M}}_{S} \rightarrow \operatorname{\mathcal{M}}_{S'}$ is an isofibration of $\infty $-categories (Proposition 4.5.5.14), and therefore restricts to an isofibration of replete full subcategories $\theta : Y_{S} \rightarrow Y_{S'}$ (Remark 11.9.1.3 ). Since $Y_{S}$ and $Y_{S'}$ are Kan complexes, the restriction map $\theta $ is a Kan fibration (Corollary 4.4.3.8).

Let $S \rightarrow \operatorname{\mathcal{C}}$ be any morphism of simplicial sets. Using $(i)$ and $(ii)$, we see that $Y_{S}$ can be realized as the limit of a tower of Kan fibrations

Consequently, to show that $S$ is good, it will suffice to show that each skeleton $\operatorname{sk}_ n(S)$ is good (Example 4.5.6.18). Replacing $S$ by $\operatorname{sk}_{n}(S)$, we can reduce to the case where $S$ has dimension $\leq n$, for some integer $n \geq -1$.

We now proceed by induction on $n$. If $n= -1$, then the simplicial set $S$ is empty and the Kan complex $Y_{S}$ is isomorphic to $\Delta ^0$ (by virtue of $(i)$). Let us therefore assume that $n \geq 0$. Let $T$ denote the coproduct $\coprod _{\sigma } \Delta ^ n$, indexed by the collection of nondegenerate $n$-simplices of $S$, so that Proposition 1.1.4.12 supplies a pushout diagram of simplicial sets

Applying $(i)$, we obtain a pullback diagram of Kan complexes

It follows from $(ii)$ that the vertical maps in this diagram are Kan fibrations, so that (11.12) is a homotopy pullback diagram (Example 3.4.1.3). Our inductive hypothesis guarantees that the Kan complexes $Y_{ \operatorname{sk}_{n-1}(S) }$ and $Y_{ \operatorname{sk}_{n-1}(T) }$ are contractible, so that the lower horizontal map is a homotopy equivalence. Applying Corollary 3.4.1.5, we see that the map $Y_{S} \rightarrow Y_{T}$ is also a homotopy equivalence. We may therefore replace $S$ by $T$, and thereby reduce to the case where $S$ is a coproduct of simplices. Since the collection of contractible Kan complexes is closed under the formation of products (Remark 3.1.6.8), we can use $(i)$ to further reduce to the special case where $S = \Delta ^ n$ is a standard simplex. Replacing $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ by the projection map $S \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}\rightarrow S$, we are reduced to proving Lemma 11.9.1.7 in the special case where $\operatorname{\mathcal{C}}= \Delta ^ n$ is a standard simplex.

For $0 \leq i \leq n$, let $\operatorname{\mathcal{E}}_{i}$ denote the fiber $\{ i\} \times _{ \Delta ^ n } \operatorname{\mathcal{E}}$. Let us identify the twisted arrow $\infty $-category $\operatorname{Tw}(\operatorname{\mathcal{C}})$ with the nerve of the partially ordered set $Q = \{ (i,j) \in [n]^{\operatorname{op}} \times [n]: i \leq j \} $. Let $Q' \subset Q$ denote the partially ordered subset consisting of pairs $(i,j)$ satisfying $j < n$. Applying our inductive hypothesis to the simplicial subset $\Delta ^{n-1} \subseteq \Delta ^{n} = \operatorname{\mathcal{C}}$, we deduce that the Kan complex $Y_{ \Delta ^{n-1} } \subseteq \operatorname{Fun}_{ / \Delta ^ n}( \operatorname{Tw}( \Delta ^{n-1} ), \operatorname{\mathcal{E}})$ contains a vertex, which we can identify with a functor $F': \operatorname{N}_{\bullet }(Q') \rightarrow \operatorname{\mathcal{E}}$ satisfying $F'(i,j) \in \operatorname{\mathcal{E}}_{j}$ for $0 \leq i \leq j \leq n-1$. To complete the proof, it will suffice to show that $F'$ admits a $U$-left Kan extension $F: \operatorname{N}_{\bullet }(Q) \rightarrow \operatorname{\mathcal{E}}$ satisfying $F(i,j) \in \operatorname{\mathcal{E}}_{j}$ for $0 \leq i \leq j \leq n$ (Remark 11.9.1.5). We will prove this by verifying that $F'$ satisfies the hypothesis of Proposition 7.3.5.5.

Fix an element $q = (i,n) \in Q \setminus Q'$, and set $Q'_{< q} = \{ q' \in Q': q' < q \} $ and $F'_{ < q } = F' |_{ \operatorname{N}_{\bullet }( Q'_{

• If $i = n$, then the set $Q'$ is empty. In this case, the existence of $F_{< q }^{+}$ follows from our assumption that the $\infty $-category $\operatorname{\mathcal{E}}_{n}$ has an initial object.

• If $i < n$, then the partially ordered set $Q'_{7.2.2.5, it will suffice to show that there exists an object $E \in \operatorname{\mathcal{E}}_{n}$ and a $U$-cocartesian morphism $F_0(i,n-1) \rightarrow E$ of $\operatorname{\mathcal{E}}$. This follows from our assumption that $U$ is a cocartesian fibration.

Proof of Theorem 11.9.1.1. Let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a cocartesian fibration of simplicial sets. Suppose that, for every object $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\operatorname{\mathcal{E}}_{C}$ has an initial object. Applying Lemma 11.9.1.7, we see that there exists an object $F \in \operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}})$ satisfying conditions $(1)$ and $(2)$ of Theorem 11.9.1.1. Moreover, any object satisfying these conditions is initial in $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}})$ (Lemma 11.9.1.6). To complete the proof, we must prove the converse: if $F'$ is an initial object $\operatorname{Fun}_{ / \operatorname{\mathcal{C}}}( \operatorname{Tw}(\operatorname{\mathcal{C}}), \operatorname{\mathcal{E}})$, then $F'$ also satisfies conditions $(1)$ and $(2)$. This follows from Remark 11.9.1.3, since $F'$ is isomorphic to $F$ (Corollary 4.6.7.15). $\square$