Let’s do some more examples of cofinality. In the previous post, I erroneously claimed that the map
was cofinal: that is, taking a colimit of an -truncated simplicial object in an -category was the same as taking the colimit of the associated -truncated semisimplicial object. (The claim has since been deleted.) This is false, even when . In fact, the map of categories
is not even a weak homotopy equivalence. (While this is not obvious, one of the statements of “Theorem A” is that a cofinal map is automatically a homotopy equivalence.)
In fact, looks like . This is not contractible: if we take of the nerve, that’s the same as taking the category itself and inverting all the morphisms. So that gives us a free groupoid on two morphisms. However, is contractible. We’ll see that this is true in general for any , but the only become “asymptotically” contractible.
The purpose of this post is to work through a few examples of Theorem A, discussed in the previous post. This will show that the colimit of an -truncated simplicial object can in fact be recovered from the semisimplicial restriction, but in a somewhat more subtle way than one might expect. We will need this lemma in the discussion of the Dold-Kan correspondence.
1. Example: the diagonal of
Let’s start with an important example in practice: the (opposite to) the simplex category. This has the handy property that the diagonal is cofinal.
Proposition 6 The diagonal map
Simplicial sets with the property that the diagonal is cofinal are called sifted; these simplicial sets are a generalization of filtered categories. They have the following property. In spaces, filtered colimits commute with finite limits. In spaces, sifted colimits commute with finite products. I’ve heard that one can make this analogy a lot more precise, pairing types of colimits and the types of limits they commute with, but I don’t know the details.
Proof: The strategy, again, is to use Theorem A. We need to show that if are fixed, the category
is contractible. This is the opposite to the category of objects equipped with maps . We’ll show that is contractible, which will complete the proof.
There are various tricks for showing that a category like this is contractible.
One such trick is to note that an adjunction between categories is automatically a weak homotopy equivalence. In fact, if is an adjunction, then we have unit and counit natural transformations
which act as categorical homotopies: we find that and are inverse to each other.
So the strategy here is to use an adjunction to reduce the above category to a category whose nerve is more familiar. Namely, let’s consider the category whose objects are monomorphisms of posets . Then there is an adjunction whose left adjoint sends a map to the injective map . The right adjoint is the forgetful functor.
It follows from this that we need only show that is contractible. Here’s where the next trick comes in: one recognizes these categories as subdivisions of appropriate simplicial sets. In this case, (see below), the nerve of is the subdivision of the poset , which means that its homotopy type is that of —i.e., it is contractible.
Let’s state a few facts about subdivision: if we can recognize the nerve of some category as a subdivision, then we can probably figure out its homotopy type. Given a poset , we define a category whose objects are injections and whose morphisms are commutative triangles; then we set
that is, is the nerve of the category of injections .
This is functorial in in an appropriate sense: one takes the image. Observe that is the colimit of over all maps . This procedure enables one to define a simplicial set
As Goerss-Jardine prove, preserves the homotopy type. So for instance, , which we encountered previously, is a contractible homotopy type.
2. A lemma for Dold-Kan
In the course of proving the -categorical version of the Dold-Kan correspondence (by this I mean the equivalence between filtered and simplicial objects in a stable -category), we’ll need to be able to take certain colimits over . As we saw above, the cofinality of the inclusion does not generalize to the inclusions : we can’t compute the colimit of an -truncated simplicial object by restricting to the semisimplicial object. But we almost can: the truncated semisimplicial object does determine the colimit, just in a slightly unusual way.
Proposition 7 (Lurie) The forgetful functor is cofinal.
Let’s unwind what this means. Here looks scary, but it’s actually something familiar. By definition, it is opposite to the nerve of the category of all injections . In other words, is the nerve of the opposite of the poset of nonempty subsets of . This has a forgetful functor to .
Unfortunately, the argument that used to be here is wrong. A correct argument is in Lurie’s book; I was trying unsuccessfully to find one which made no reference to topological spaces.
In the next post, we’re going to apply this to derive the higher categorical version of the Dold-Kan correspondence.