I'm wondering about when the colimit and the homotopy colimit agree with diagrams of simplicial sets. I know that hocolim$(F)=$colim$(F_c)$ where $F_c$ is the cofibrant replacement of $F$. However, it is not always necessary for $F$ to be cofibrant for the colimit and homotopy colimit to be the same. For example, let $\mathcal{C}=b\leftarrow a\rightarrow c$. Then the cofibrant $\mathcal{C}$-diagrams of simplicial sets are ones $Y\leftarrow X\rightarrow Z$ with $X,Y,Z$ cofibrant and the maps $X\to Y$ and $X\to Z$ cofibrations. However, by the left-properness of simplicial sets, I believe we only need one of the maps to be a cofibration for $\text{colim}F$ to agree with $\text{hocolim}F$.
Are there other properties or tools that can say something about the colimit and homotopy colimit of a diagram of simplicial sets being the same?
Thanks!
Best Answer
I don't think we can expect to have one general answer to this question, only a collection of unrelated specialized results. Here are two more:
On the other hand, your example with homotopy pushouts does fit into the general framework of cofibrant diagrams. There may be more than one notion of cofibrant diagram suitable for deriving the colimit functor. In this case, if we denote the objects of the indexing category as $a_0 \leftarrow a_1 \to a_2$ and make it into a Reedy category by declaring the degree of $a_i$ to be $i$, then Reedy cofibrant diagrams are spans where one leg is a cofibration and the colimit functor is a Quillen functor with respect to the resulting Reedy model structure. (Added: See the proof of Lemma 5.2.6 in Hovey's Model Categories for the details.) Perhaps Gregory's example with cubes can also be described in a similar manner, but it is less obvious to me.