Skip to Content »

Michi’s blog » Geometric realization of simplicial sets

 Geometric realization of simplicial sets

  • March 1st, 2011
  • 9:27 pm

This post is an expansion of all the details I did not have a good feeling for when I started with for page 7 of Goerss-Jardine, where the geometric realization of simplicial sets is introduced.

The construction works by constructing a few helpful categories, and using their properties along the way. Especially after unpacking the categorical results G-J rely on, there are quite a few categories floating around. I shall try to be very explicit about which category is which, and how they work.

As we recall, simplicial sets are contravariant functors from the category \mathbf{\Delta} of ordinal numbers to the category of sets. We introduce the simplex category \mathbf{\Delta}\downarrow X of a simplicial set X with objects (simplices) given by maps \sigma:\Delta^n\to X and a map from \sigma to \tau being given by a map f in \mathbf{\Delta} such that \sigma = \tau f.

Interpreting each simplicial simplex as a simplicial set, this can be thought of as the subcategory of the slice category over X spanned by maps from the simplicial simplices. Any map between simplicial simplices is determined completely by a unique ordinal number map that induces it.

Lemma 2.1

The proof of the isomorphism
X \equiv \colim_{\Delta^n\to X} \Delta^n
taken over all simplices in the simplex category of X proceeds using the theorem that every functor from a small category to sets is a colimit of representable functors.

To unpack this statement, we turn to, say, Awodey, where this is Proposition 8.10.

Proposition 8.10 (Steve Awodey, Category Theory)
For any small category \mathbf{C}, every object P in the functor category Sets^{\mathbf{C}^{op}} is a colimit of representable functors \colim_{j\in J} yA_j using the Yoneda embedding y:\mathbf{C}\to Sets^{\mathbf{C}^{op}}.

Specifically, we can choose an index category J and a functor A: J\to \mathbf{C} such that P \equiv \colim_{J} y\circ A.

Proof
We start by introducing the category of elements or Grothendieck category of P. This will be our index category for the colimit, and is often written \int_\mathbf{C} P. This category has objects (x\in PC,C), and arrows h: (x, C)\to (x’,C’) given by arrows h in \mathbf{C} such that P(h)x = x’.

This is almost like a category of pointed sets, only that we also care about the action of P while we’re at it. Since \mathbf{C} is a small category, so is \int_\mathbf{C} P, and there is a projection functor \pi: \int_\mathbf{C} P \to \mathbf{C} given by forgetting about the point, so sending (x, C)\to C and preserving the arrow forming a morphism of elements.

We also recall the Yoneda embedding in order to progress nicely here:
yC = \hom_{\textbf{C}(-,C). The Yoneda lemma tells us that for contravariant F, \hom(yC, F) = FC, naturally in F and C, and works by assigning to x\in FC the natural transformation \theta_x: yC\to F which has components (\theta_x)_D: \hom(D,C) \to FD. These are defined by their actions on actual maps D\to C and we set (\theta_x)_D(h) = F(h)(x).

In other words, a contravariant functor to sets corresponds to natural transformations from the Yoneda embedding to the functor itself. An element in the functor image gives rise to a particular such natural transformation by using the element as a test case, and using the functor to make the test runnable.

Now, returning to the proof of 8.10, we need to build a colimit that will work as our colimit presentation of P. We will do this by using \pi and y. Indeed, for an object (x,C)\in\int_C P, by the Yoneda lemma this corresponds to some natural transformation x: yC\to P. These natural transformations form a subcategory of the slice category of Sets^{\mathbf{C}^{op}} over P by the naturality of the Yoneda construction.

So we can build a cocone y\pi\to P by taking the map from y\pi(x,C)\to P to be the natural transformation x:yC\to P. This is a colim because if we had some other cocone y\pi\to Q with components \theta_{(x,C)}: yC\to Q, we can produce the unique natural transformation P\to Q by \theta_C: PC\to QC defined by \theta_C(x) = \theta_(x,C) and recall that natural transformations yC\to Q are, by the Yoneda lemma, the same as elements of QC.

But what does all this mean!?

This was probably all about as headache inducing as anything else to do with Yoneda’s lemma. It’s a result that both in its proof and its applications tends to climb the ladder of nested categorical constructs pretty high.

So let’s get back to the simplicial case, and tease out what this implies for our reading. X is a simplicial set, hence a contravariant set-valued functor on \mathbf{\Delta}. So \mathbf{\Delta} is our small category.

The category of elements, \int_{\mathbf{\Delta}} X is the category where objects are (s, n) for s\in X_n. Morphisms track what happens to s under faces and degeneracies. Thus, specifically, by the arguments in example 1.7, we can put \int_{\mathbf{\Delta}} X in bijective correspondence with the collection of all simplicial n-simplices of X, in the sense that we associate to each s, n the simplicial map \iota_s: \Delta^n\to X as defined on page 6.

Thus, the index category is clear. The category of elements for a simplicial set really is “just” the category of simplices \iota_s. The representable functors are the yC for (x,C)\in\int_{\mathbf{\Delta}} X, and so are all on the shape \hom_{\mathbf{\Delta}}(-,n). But these are just the collections of standard simplicial n-simplices.

So our simplicial set is the colimit of simplical n-simplices under the conditions that they obey the face and degeneracy maps in the original simplicial set.

Let’s work this all through on an example. Consider the interval I, given by non-degenerate simplices a, b, x, subject to d_0x = a and d_1x = b. Maps from the simplicial n-simplex to I can hit one of these three simplices, or any degeneracy of these.

There are two maps \Delta^0\to I, namely \iota_0\mapsto a and \iota_0\mapsto b. Thus, we start the construction of our colimit by introducing cells e^0_a and e^0_b. Any degeneracies are adsorbed by the fact that a simplicial simplex is a simplicial map, hence e^0_a: s_0\iota_0\mapsto s_0a and so on.
There are three maps \Delta^1\to I, namely:
\iota_1\mapsto s_0a
\iota_1\mapsto s_0b and
\iota_1\mapsto x
These three choices all come with boundary maps that have to be taken into account in the colimit. Specifically, the two first maps here, the ones that hit degenerate simplices, factor through e^0_a and e^0_b respectively. There is a map \Delta^1\to\Delta^0 (in the category \mathbf{\Delta}) given by (0,1)\mapsto (0,0) = s^0\iota_0. This map corresponds to the map s_0:\Delta^0\to\Delta^1 (as a map of simplicial simplices), which embeds the simplex e^0_a into \Delta^1\to I. Thus, this embedding along degeneracies is a map in the index category of the colimit, and therefore leads to an identification of any simplex with all its degeneracies in the colimit. The non-degenerate case gives us a simplex e^1_x.
Similarly, the colimit forces the identifications d_0e^1_x = e^0_a and d_1e^1_x = e^0_b, finishing the description of X as a colimit.

Now, we have a nice candidate for the realization of a single simplicial n-simplex: the topological n-simplex defined in Example 1.1. This is used to define the geometric realization of a simplicial set through “simply” forcing the realization functor to be compatible with this colimit structure. Thus, we define the geometric realization of a simplicial set to be the colimit of the topological n-simplices over the same index category that we used to display X as a colimit.

Well, what about adjointness?

The first really nice property about realization is that it is left adjoint to the singular functor. Proving this is a sequence in abstract symbol manipulation and remembering what everything at each step of the way actually means. Thus, say we have a simplicial set X and a topological space Y. Adjointness means there is an isomorphism
\hom_{\mathbf{Top}}(|X|, Y) \equiv \hom_{\mathbf{sSet}}(X, SY)
which is natural in both X and Y.

Now, let’s consider the left hand side.
\hom_{\mathbf{Top}}(|X|, Y) \equiv \hom_{\mathbf{Top}}(\colim_{\Delta^n\to X}|\Delta^n|, Y)
by definition of the geometric realization.
\hom_{\mathbf{Top}}(\colim_{\Delta^n\to X}|\Delta^n|, Y) \equiv \lim_{\Delta^n\to X}\hom_{\mathbf{Top}}(|\Delta^n|, Y)
because contravariant representable functors map colimits to limits. This is Awodey 5.29, and sits very well with our intuition from sets, vector spaces, and just about anywhere else.
Now, remember that a map in \hom_{\mathbf{Top}}(|\Delta^n|, Y) is a simplex in the singular set SY, and that as we saw above, a simplicial set is the colimit of its simplices. Thus, we get
\lim_{\Delta^n\to X}\hom_{\mathbf{Top}}(|\Delta^n|, Y)\equiv\lim_{\Delta^n\to X}\hom_{\mathbf{sSet}}(\Delta^n, SY)
and then finally, we can re-introduce the colimit inside the morphism set
\lim_{\Delta^n\to X}\hom_{\mathbf{S}}(\Delta^n, SY) = \hom_{\mathbf{sSet}}(\colim_{\Delta^n\to X}\Delta^n, SY)
 = \hom_{\mathbf{sSet}}(X,SY)

Each step along the way is natural, which finishes the proof.

1 Person had this to say...

Gravatar
  • Giacomo
  • March 16th, 2011
  • 16:33

Thank you!

I was just getting an headache on the same page.

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>