When may the bar resolution be truncated for calculating $\operatorname{hocolim}$?

100 Views Asked by At

Suppose $D$ is a small category and $F\colon D\to sSets$ a functor. I want to calculate the simplicial set $$\operatorname{hocolim}F$$ via the bar construction: $\operatorname{hocolim}F$ is the diagonal of the bisimplicial set $$ \ldots\begin{array}{c}\to \\ \vdots\\\to\end{array}\coprod_{d_{k}\to ...\to d_0}F(d_{k})\begin{array}{c}\to \\ \vdots\\\to\end{array}...\begin{array}{c}\to \\ \to\\\to\end{array}\coprod_{d_1\to d_0}F(d_1)\begin{array}{c}\to\\\to\end{array}\coprod_{d_0}F(d_0). $$ which is called the bar resolution $BF\colon \Delta^{op}\to sSets$. We have also $\operatorname{hocolim}F = \operatorname{hocolim}BF$ by Bousfield-Kan.

In some cases, it seems to be sufficient to consider only the $k$-truncation of $BF\colon \Delta^{op}\to sSets$. For example, if $D=\mathbb{N}$ we have $$ \operatorname{hocolim}F= \operatorname{hocolim}\left( \coprod_{d_1\to d_0}F(d_1)\begin{array}{c}\to\\\to\end{array}\coprod_{d_0}F(d_0)\right). $$ As explained in in the answer to this question on MO, one may consider the $k$-truncation of $BF$, if the nerve $ND$ of $D$ is $k$-skeletal. However, the nerve $N\mathbb{N}$ is not $1$-skeletal and it suffices nevertheless to consider the $1$-truncation of the bar resolution. Apparently it does not suffice to observe that $N\mathbb{N}$ is contractible.

Why does this suffice for $D=\mathbb{N}$ and are there some easy to formulate conditions on $D$ such that one may take the $k$-truncated bar resolution for calculating $\operatorname{hocolim}F$?