Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

5.6.4 Comparison with the Weighted Nerve

Let $\operatorname{\mathcal{C}}$ be a category which is equipped with a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$. In §5.3.3 and §5.6.3, we introduced two different cocartesian fibrations associated to $\mathscr {F}$:

  • The projection map $U: \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$ denotes the $\mathscr {F}$-weighted nerve of $\operatorname{\mathcal{C}}$ (Definition 5.3.3.1). For each object $C \in \operatorname{\mathcal{C}}$, the fiber $U^{-1} \{ C\} $ is isomorphic (as a simplicial set) to the $\infty $-category $\mathscr {F}(C)$ (Example 5.3.3.8).

  • The projection map $U': \int _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \rightarrow \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, where $\int _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ denotes the $\infty $-category of elements of the functor $\operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}): \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \rightarrow \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{QCat}) = \operatorname{\mathcal{QC}}$. For each object $C \in \operatorname{\mathcal{C}}$, the fiber $U'^{-1} \{ C\} $ is equivalent (but not necessarily isomorphic) to the $\infty $-category $\mathscr {F}(C)$ (Example 5.6.2.18).

Our goal in this section is to show that these constructions are equivalent (though not necessarily isomorphic).

Construction 5.6.4.1 (The Comparison Map). Let $\operatorname{\mathcal{C}}$ be a category and let $\overrightarrow {C}$ be an $n$-simplex of the nerve $\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})$, given by a diagram

\[ C_0 \rightarrow C_1 \rightarrow C_2 \rightarrow \cdots \rightarrow C_{n-1} \rightarrow C_ n \]

in the category $\operatorname{\mathcal{C}}$. Let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets and suppose that we are given a collection of simplices $\overrightarrow {\sigma } = \{ \sigma _{j}: \Delta ^{j} \rightarrow \mathscr {F}(C_ j) \} _{0 \leq j \leq n}$ which fit into a commutative diagram

\[ \xymatrix@R =50pt@C=50pt{ \Delta ^{0} \ar [d]_{\sigma _0} \ar@ {^{(}->}[r] & \Delta ^{1} \ar [d]^-{\sigma _1} \ar@ {^{(}->}[r] & \Delta ^{2} \ar@ {^{(}->}[r] \ar [d]_{\sigma _2} & \cdots \ar [d] \ar@ {^{(}->}[r] & \Delta ^{n} \ar [d]_{\sigma _ n} \\ \mathscr {F}(C_0) \ar [r] & \mathscr {F}(C_1) \ar [r] & \mathscr {F}(C_2) \ar [r] & \cdots \ar [r] & \mathscr {F}(C_ n). } \]

To this data, we can associate a commutative diagram of simplicial sets

5.57
\begin{equation} \begin{gathered}\label{equation:compare-with-weighted-nerve} \xymatrix@R =50pt@C=50pt{ \Delta ^{n} \ar [r] \ar [d]^{ \overrightarrow {C}} & \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Set_{\Delta }})_{ \Delta ^{0} / } \ar [d] \\ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) \ar [r]^-{ \operatorname{N}_{\bullet }^{\operatorname{hc}}( \mathscr {F}) } & \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Set_{\Delta }}), } \end{gathered} \end{equation}

where the upper horizontal map is given by the simplicial functor

\[ F: \operatorname{Path}[ \{ x\} \star [n] ]_{\bullet } \rightarrow \operatorname{Set_{\Delta }} \]

described as follows:

  • The functor $F$ carries $x$ to the simplicial set $\Delta ^{0}$ (so that $F$ can be identified with an $n$-simplex of the coslice simplicial set $\operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Set_{\Delta }})_{\Delta ^{0}/}$).

  • The restriction of $F$ to the simplicial path category $\operatorname{Path}[n]_{\bullet }$ is given by the composition

    \[ \operatorname{Path}[n]_{\bullet } \rightarrow [n] \xrightarrow { \overrightarrow {C}} \operatorname{\mathcal{C}}\xrightarrow { \mathscr {F}} \operatorname{Set_{\Delta }} \]

    (as required by the commutativity of the diagram (5.57)).

  • For $0 \leq m \leq n$, the induced map of simplicial sets

    \[ \operatorname{Hom}_{\operatorname{Path}[ \{ x\} \star [n] ]}( x, m)_{\bullet } \rightarrow \operatorname{Hom}_{\operatorname{Set_{\Delta }}}( F(x), F(m) )_{\bullet } = \mathscr {F}( C_ m ) \]

    is given by the composition $\operatorname{Hom}_{ \operatorname{Path}[ \{ x\} \star [n] ] }( x, m )_{\bullet } \xrightarrow {\rho } \Delta ^{m} \xrightarrow { \sigma _ m} \mathscr {F}(C_ m)$, where $\rho $ is induced by the morphism of partially ordered sets

    \[ \operatorname{Hom}_{ \operatorname{Path}[ \{ x\} \star [n] ]}(x,m) \rightarrow [m] \quad \quad (S \subseteq \{ x\} \star [n] ) \mapsto \min ( S \setminus \{ x\} ). \]

Note that we can identify the diagram (5.57) with an $n$-simplex $\theta ( \overrightarrow {C}, \overrightarrow {\sigma } )$ of the simplicial set $\int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$. The construction $(\overrightarrow {C}, \overrightarrow {\sigma }) \mapsto \theta ( \overrightarrow {C}, \overrightarrow {\sigma } )$ then determines a morphism of simplicial sets $\theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$, which we will refer to as the comparison map.

Example 5.6.4.2 (The Comparison Map on Vertices). Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. Let us identify vertices of the weighted nerve $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$ with pairs $(C,X)$, where $C$ is an object of $\operatorname{\mathcal{C}}$ and $X$ is a vertex of the simplicial set $\mathscr {F}(C)$ (Remark 5.3.3.3). Under this identification, the comparison map

\[ \theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \]

of Construction 5.6.4.1 is given on vertices by the construction $(C,X) \mapsto (C,X)$, where we identify $(C,X)$ with a vertex of $\int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ using Example 5.6.2.12. In particular, the morphism $\theta $ is bijective at the level of vertices.

Example 5.6.4.3 (The Comparison Map on Edges). Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. Let $(C,X)$ and $(D,Y)$ be vertices of the weighted nerve $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$. Using Remark 5.3.3.4, we can identify edges of $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$ having source $(C,X)$ and target $(D,Y)$ with pairs $(f,u)$, where $f: C \rightarrow D$ is a morphism in the category $\operatorname{\mathcal{C}}$ and $u: \mathscr {F}(f)(X) \rightarrow Y$ is an edge of the simplicial set $\mathscr {F}(D)$. Under this identification, the comparison map

\[ \theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \]

of Construction 5.6.4.1 is given on edges by the construction $(f,u) \mapsto (f,u)$, where we identify $(f,u)$ with an edge of the simplicial set $\int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ using Example 5.6.2.13. In particular, the morphism $\theta $ is bijective at the level of edges.

Warning 5.6.4.4. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. The comparison map $\theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ of Construction 5.6.4.1 is generally not bijective on $n$-simplices for $n \geq 2$ (even in the special case $\operatorname{\mathcal{C}}= [0]$).

Exercise 5.6.4.5. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. Show that the comparison map $\theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ of Construction 5.6.4.1 is a monomorphism of simplicial sets.

Remark 5.6.4.6. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. Then the diagram of simplicial sets

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \ar [rr]^-{\theta } \ar [dr] & & \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \ar [dl] \\ & \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) & } \]

is commutative, where the vertical morphisms are the projection maps of Definitions 5.3.3.1 and 5.6.2.1 and $\theta $ is the comparison morphism of Construction 5.6.4.1

Example 5.6.4.7. Let $\operatorname{\mathcal{C}}$ be a category and let $\mathscr {F}$ be a functor from $\operatorname{\mathcal{C}}$ to the category of simplicial sets. For every object $C \in \operatorname{\mathcal{C}}$, the comparison morphism $\theta : \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$ of Construction 5.6.4.1 induces a morphism of simplicial sets

\[ \theta _{C}: \{ C\} \times _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \{ C\} \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}). \]

Under the isomorphisms

\[ \mathscr {F}(C) \simeq \{ C\} \times _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \quad \quad \operatorname{Hom}^{\mathrm{L}}_{\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{Set_{\Delta }})}( \Delta ^{0}, \mathscr {F}(C) ) \simeq \{ C\} \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \]

supplied by Examples 5.3.3.8 and 5.6.2.18, we can identify $\theta _{C}$ with the comparison map $\mathscr {F}(C) \rightarrow \operatorname{Hom}^{\mathrm{L}}_{\operatorname{N}_{\bullet }^{\operatorname{hc}}(\operatorname{Set_{\Delta }})}( \Delta ^{0}, \mathscr {F}(C) )$ of Construction 4.6.8.3.

Proposition 5.6.4.8. Let $\operatorname{\mathcal{C}}$ be a category equipped with a functor $\mathscr {F}: \operatorname{\mathcal{C}}\rightarrow \operatorname{QCat}$, and let

\[ \xymatrix@R =50pt@C=50pt{ \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \ar [dr]_{U} \ar [rr]^-{\theta } & & \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}) \ar [dl]^{U'} \\ & \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) & } \]

be the commutative diagram of Remark 5.6.4.6. Then:

$(1)$

For each object $C \in \operatorname{\mathcal{C}}$, the morphism $\theta $ induces an equivalence of $\infty $-categories

\[ \theta _{C}: \{ C\} \times _{\operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}}) \rightarrow \{ C\} \times _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}}) } \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F}). \]
$(2)$

A morphism $f$ of the weighted nerve $\operatorname{N}_{\bullet }^{\mathscr {F}}(\operatorname{\mathcal{C}})$ is $U$-cocartesian if and only if $\theta (f)$ is a $U'$-cocartesian morphism of the $\infty $-category $\int _{ \operatorname{N}_{\bullet }(\operatorname{\mathcal{C}})} \operatorname{N}_{\bullet }^{\operatorname{hc}}(\mathscr {F})$.

$(3)$

The functor $\theta $ is an equivalence of $\infty $-categories.

Proof. Assertion $(1)$ follows from Example 5.6.4.7 and Theorem 4.6.8.9. Assertion $(2)$ follows from Example 5.6.4.3 together with the descriptions of $U$-cocartesian and $U'$-cocartesian morphisms supplied by Corollary 5.3.3.16 and Remark 5.6.2.14. Assertion $(3)$ follows by combining $(1)$ and $(2)$ with Theorem 5.1.6.1 (since $U$ and $U'$ are cocartesian fibrations, by virtue of Corollary 5.3.3.16 and Proposition 5.6.2.2). $\square$