Hi all! Today I’ll introduce simplicial sets, and talk about how they relate to higher categories. Simplicial sets are basically combinatorial models for topological things; in fact, a particular kind of simplicial set (a Kan complex) is essentially equivalent to a topological space! So more general kinds of simplicial sets should model something more general than a topological space. Exploring this will be the topic of this post. The reader should note that these are directly from the (rather terse) notes I took while preparing for the Intel International Science and Engineering Fair last year (so this blog post is currently also serving as the notes for preparing for the Intel Science Talent Institute), so there may be small errors.
We will begin by talking about some combinatorial constructions. Let denote the set equipped with the linear ordering. Define to be the category whose objects are the sets with the linear ordering and morphisms the order-preserving maps. A simplicial object of a category is a functor (with an analogous definition of a cosimplicial object). When is the category of sets, then a simplicial object of is called a simplicial set. More explicitly, a simplicial set consists of the following data:
- A set , namely the value of the functor on for every .
- A map given by an order-preserving map (note the direction of the map) of finite sets, that is compatible with composition.
The standard notation when working with simplicial sets is as follows. There is a face map for , given by the pullback of the map , defined as
The degeneracy map , for , is defined as the pullback of the map defined as
It turns out that the morphisms of are consisted of the composites of the s and s subject to the following relations:
This statement follows from the claim that any morphism can be put into a composition , where and and . The proof of the claim is a (simple) exercise, left to the reader.
A map of simplicial sets is a natural transformation of the functors and . These maps form a category of simplicial sets. The first example of a simplicial set one usually encounters is the nerve of a -category . The set of -simplices is the set of maps . It is possible to characterize those simplicial sets which arise as the nerve of a category, but in order to do this, we must first introduce some terminology.
Let denote the representable functor . One can naturally identify the set of -simplices of a simplicial set with . Let denote the -th horn, defined as follows: an element of is an order-preserving map satisfying the condition . In other words, corresponds to subset of in which the th face and the interior have been removed. We can now characterize those simplicial sets which arise as the nerve of a category:
Proposition: A simplicial set is isomorphic to the nerve of a small category if and only if for each , there is always a unique dotted arrow that makes the following diagram commute:
We will now do some basic geometric constructions, inherently combinatorial. The standard -simplex is the convex closure of the standard basis of . Let be a topological space. There is a natural functor from , where is the category of topological spaces, denoted , whose -simplices are continuous maps . This simplicial set is called the singular simplicial complex of the topological space . The left adjoint to the functor is called the geometric realization of the simplicial set, and is denoted . The geometric realization is the way you imagine a simplicial set, so this construction is particularly natural. The geometric realization of a simplicial set turns out to be a CW-complex! This is taking a very interesting turn.
A simplicial set is a Kan complex if for every , there is a lift:
So the nerve of a general category need not be a Kan complex! Also, a Kan complex need not be the nerve of a category, because the lift need not be unique. Let be a topological space. Then the singular simplicial complex is a Kan complex. This is because the horn can be seen to be a retract of in the category of topological spaces. The idea is that Kan complexes are simplicial versions of topological spaces. To make this precise, we’ll have to introduce a basic definition.
Let denote the left adjoint to the nerve functor . This assigns to each simplicial set its homotopy category. Awesome. We have the following results, making precise what we claimed in the first paragraph (and the previous one):
Theorem: The adjoint pair provides an equivalence between the homotopy category of CW complexes and the homotopy category of Kan complexes. Also, a simplicial set is a Kan complex if and only if for all , there is an extension:
and its homotopy category is a groupoid.
As you can see, that particular diagram is quite important in simplicial homotopy theory, the reason explained in the following video, which I may have already linked to in a previous post:
It turns out that you can do homotopy theory with simplicial sets! Let’s begin with a definition. Let be a class of monomorphisms in . It is said to be saturated if:
- contains all isomorphisms,
- is closed under pushouts,
- is closed under retracts,
- is closed under coproducts,
- is closed under -composites.
The intersection of all saturated classes containing a given set of monomorphisms, , is the saturated class generated by . A very important saturated class of morphisms is the collection of anodyne maps: The class of anodyne extensions is the saturated class of morphisms generated by the family . The importance of anodyne extensions is encoded in the following statement:
Proposition: A map is a Kan fibration if and only if it has the right lifting problem with respect to all anodyne extensions.
Now to define homotopies of maps of simplicial sets. Let be simplicial maps. There is a homotopy from to if there is a commutative diagram:
In order to gain intuition for this definition, consider the case when and are Kan complexes and then invoking the above theorem. Since is replaced by the interval , this definition of homotopy is analogous to ordinary homotopy theory. Similarly, replacing the interval with , the affine line, takes one into motivic homotopy theory, which is an interesting and exciting field of research.
One cool result is that simplicial homotopy of vertices of is an equivalence relation if is a fibrant simplicial set, i.e., a Kan complex. This further solidifies the idea that Kan complexes are essentially the same as topological spaces. This claim can be applied in the following way to show that certain simplicial sets are not Kan complexes. Consider the maps , for , that classify the vertices and , respectively. Then the simplex determined by these vertices exist, so there is a simplicial homotopy . However, it is not possible to find a -simplex such that (because ), so simplicial homotopy of the vertices of is not an equivalence relation; hence is not fibrant (i.e., it is not a Kan complex).
We also have the following definition of homotopies rel an inclusion. Let and let be simplicial maps. We say is homotopic to rel if, like above, there is a commutative diagram:
such that the following diagram commutes:
We will use this definition in the next post, to define the homotopy groups of simplicial sets. Then we’ll progress on to -categories!