Generating the presheaf ∞-category on an ∞-groupoid under colimits

Let be a connected -groupoid. Then we want to see that the category of functors from to the category of spaces is generated freely under colimits by the constant functor . First we recall from HTT.5.1.5.8 that is generated freely under (small) colimits by the Yoneda embedding . But what do functors in this Yoneda embedding look like? They are the representable functors, so for a point they look like which is a little confusing since is supposed to be a space, not a category, so what are “morphisms” in from some “object” in to a point ? They’re precisely the paths in that terminate at . So the output of one of these representable functors is the space of paths in that end at . But we assumed that was connected. This means that all of the path spaces are equivalent (where the homotopy equivalence is just given by composing with a path from in ). Which means that, up to homotopy, there’s really only one representable functor in , and it’s the functor that takes to . But, again, since is path connected, and for every , we can actually describe the homotopy type of . Notice that for any we have the equivalences , i.e. the space of based loops in based at .

Recall from Lurie’s straightening/unstraightening correspondence that each functor should correspond to a fibration for some space . Given a functor , its corresponding fibration, say has fiber . So what’s the fibration whose fiber over is equivalent to the space of paths ? It’s precisely the inclusion of the point (of course this isn’t actually a “fibration” but it is up to homotopy, and since we’re working with ∞-categories, that’s good enough). The choice of homotopy type of the functor we’re working with here (i.e. versus ) is what determines the choice of homotopy type of the fibration (i.e. versus ).

So the punchline is that the category is generated by the constant functor or equivalently by the inclusion of any point . If you recall that, essentially by Koszul duality, , then this corresponds to saying that is generated under colimits by , which is maybe not surprising considering that, classically, the category of -modules for a commutative ring is generated under colimits by itself.

Ordinals, Cardinals, etc. (Part 1 – Foundations)

In my reading of Hovey’s “Model Categories,” Hovey talks a bit about ordinals, cardinals, transfinite compositions, small objects and ordinals being filtered.  I found that I didn’t have a very good intuition for such situations, and thought it might be helpful to write a short article on it, since such issues, while often ignored or downplayed, become relevant in the category theoretic facet of homotopy theory. One note: some of this early stuff I’m doing from memory, so excuse any notational discrepancies, I think the basic idea is still there. And also, we will, without even mentioning it, be assuming the axiom of choice here.

(Editor’s Note: This first part just contains foundational stuff on ordinals and cardinals, i.e. what are they?  The next piece of this article will actually get into Hovey’s stuff.)

First of all, I’d like to briefly discuss the construction of the ordinals.  We can consider an ordinal “number” to be the set of all “smaller” ordinals.  Of course, without any background, the above statement doesn’t make any sense.  So, let’s start at the beginning, i.e. the empty set .  This is our first ordinal.  Next we take the set containing the empty set, which we might write as or, if we’re feeling adventurous, just . The next ordinal will be the set containing all smaller ordinals, i.e. or maybe just .  We can continue this process ad infinitum.  One thing to note here is that when we look at the cardinality of these ordinals (i.e. how many elements are in each, since each is a set) we’re not counting the cardinality of the sets the ordinal contains.  We’re counting each contained set as one object in itself.  Thus while the next ordinal could be written as it would be since it contains three elements.

Now, unless we’re just doing our taxes, we’d like a way to enumerate things that aren’t finite (i.e. infinite…).  To do this we take a “limit ordinal,” (up till now we’ve been taking what are called “successor ordinals”).  We let just be the set of all the finite ordinals, which we note is in bijection with and . This ordinal is, as you probably know, the first of the countable (and infinite) ordinals.  Of course, continuing the process from the finite ordinals, we might now take the set of all finite ordinals AND , which we denote by .  Note that is a successor ordinal again, since we got it by just bumping up a step, instead of taking the union of some infinite sequence of things (some might say “But we are taking the union of an infinite number of things, because has both in it and all the finite ordinals,” but the idea is that we’ve already dealt with that process by jumping up to and can just start taking successor ordinals again). Similarly to what we did before, we can now just keep taking successor ordinals, getting for every .  However, this is not enough for us now.  So again we take a limit ordinal, this time taking the union of all the finite ordinals, , …. and call this thing or .  Of course we can now repeat, getting , and so on and so forth.

The thing to note here is that all of the things we’ve gotten above, and infinity of them in addition to the ones we’ve talked about, have one thing in common.  As sets, they are all in bijection with .  That is, they’re all countable (there is lots of interesting stuff going on with ordinals, and lots of interesting definitions; check out wikipedia to follow that particular path, specifically Cantor-Normal form, Church Kleene Ordinal and recursive ordinals are rather interesting).  So, for any one of those ordinals, say , we know that (except for finite ordinals, which have cardinality themselves, and so are in fact also the finite cardinals), which is by definition, the cardinality of something which is “countable.” In general, the cardinality of an ordinal is defined to be the smallest ordinal which is in bijection with .  Hence from our point of view.

So, like we’ve done before, let’s take the union of all the countable ordinals! We do, and what we get is what we denote as the set .  This is the smallest uncountable ordinal, and so we also call it .  The point is, this process just keeps going, forever. I think that what we’ve done so far however will be enough to serve intuition.

As a side note, the content of the Continuum Hypothesis, which is something I struggled with for a time, is that .  That is, the cardinality of the power set of is in fact .  It is necessarily true that the cardinality of is less than or equal to since in some sense is the next biggest cardinal after and that’s the way we constructed it, but showing that they are equal is independent of ZFC.

 

-JB

Homotopy Groups of Spectra

We’d like to discuss the homotopy groups of spectra, i.e. what they are, and some very basic things about them.  In the process we will make some vague categorical statements. Hopefully, along the way it will be clear why the category of spectra is in some sense the natural place to do stable homotopy theory.

First of all, we’re going to make some assumptions:

1. All spaces are pointed CW complexes, all maps take base point to point, and all homotopies are homotopies of pointed maps (that is, given a homotopy such that and , we have that is a pointed map.

2. As clearly follows from above, we’ll be working with pointed CW spectra.  We could just as easily work with spectra of simplicial sets.

Now towards defining homotopy groups of spectra, we note that there are always group homomorphisms .  How can you be so sure, you say?  This is how we can be so sure:  Say we have some map which defines a homotopy class.  Then we can define , where in general, since , we can just takse (we assume knowledge of the smash product here, especially its construction, but more information can be found at http://en.wikipedia.org/wiki/Smash_product).  This last map clearly defines an element of so by composition with the structure map we obtain a representative of some class in . Thus, for each fixed we have a diagram in the category of groups indexed by , the natural numbers (corresponding to , ).  Since we are in the category of groups, a cocomplete category, we know that the colimit of this diagram exists.  So for fixed and spectrum we define to be .  Note, this colimit exists even for negative even if we ignore lower degrees where the groups may not exist.

Now, what do we mean when we ask about the stable homotopy groups of a space ?  Well, we mean precisely what is discussed above, that is, we mean the elements of homotopy group that remain after an arbitrary number of suspensions.  For instance, the th stable homotopy group of spheres is defined to be but that is precisely the th homotopy group of the sphere spectrum where .

We wish also to have relative homotopy groups of spectra.  This follows directly from our knowledge of relative homotopy groups of spaces.  As we’ve seen in earlier posts, we can just define subspectra as spectra which are level-wise contained in another spectra with natural structure (suspension) maps.

We go ahead and define relative homotopy as

where is some subspectrum of . The details work out similarly to the above.  Note that for each fixed and  we have a long exact sequence in homotopy, the one for homotopy groups of spaces.   The diagram we are taking the colimit of is called “filtered,” and filtered colimits are always exact (this is not hard to prove), so we can take the colimit of the LES along again, which yields the desired LES in the homotopy of spectra.

Some useful theorems

Before we go too far into the world of spectra and generalized cohomology, I want to catalog some nice theorems that I have used but haven’t studied much in the past.  Let’s start with the Freudenthal suspension theorem, which nicely falls out of the Serre spectral sequence.  It will follow from the following proposition.

Proposition: If is an -connected CW-complex, then the canonical map is a -equivalence.

Proof: Consider the path-loop fibration .   By the Hurewicz theorem, for .  Since suspension induces an isomorphism on homology, we have that for .  By the Hurewicz theorem again, we have for .  By the adjointness of loops and suspension, we have , which is zero for $k \leq n$.  So in the above fibration, the fiber is -connected and the base is -connected.  Looking at the Serre spectral sequence, we see that for , the first nonzero differential from and the first nonzero differential into must be the transgression, .  Since is contractible, $\tau$ is an isomorphism for .  Now we have the following diagram

(diagram coming soon–I need to figure out how to draw commutative diagrams on this blog and in TeX in general)

where is given by where is the cone on and is the map that collapses to a point.  Notice that the composition is exactly the suspension.  Going to the long exact sequences in homology, we have

(diagram coming soon)

where the composition of $latex $\delta$ and is exactly the suspension isomorphism on homology.

TO BE COMPLETED…

Freudenthal Suspension Theorem: Let be an -connected CW-complex.  Then is an isomorphism for .

Proof: We have for . 

More theorems will be added soon: Blakers-Massey, how to get long exact sequences from fibrations, etc.

Next week I plan on writing up some notes on complex oriented cohomology theories and the connection to formal group laws.  I will also continue studying spectra on the way to the Adams spectral sequence.  So far, I’ve been getting most of my notes from the book Bordism, Stable Homotopy, and Adams Spectral Sequences by S.O. Kochman.

Spectra, part I

I have been trying to work out the details of what spectra are and the various constructions one can make with them.  Today I’m going to define spectra and say a little bit about why they are useful.  In the future, I’d like to continue this series of posts to talk about Brown representability, Eilenberg-MacLane spectra, the Adams spectral sequence, and maybe some other topics.   Today’s notes are mostly from chapter 2 of Hatcher’s book on spectral sequences.

Let’s start with a few definitions.

Definition: A CW spectrum is a collection of CW spaces for integers together with a collection of maps of CW complexes that are inclusions of subcomplexes.  A spectrum is a subspectrum of if for each we have that , and is the restriction of the map to .

Notice that a non-basepoint -cell of suspends to a -cell of .  Now there is sort of a subtle question of how to define maps between CW spectra.  Our first guess would be to define what we’ll call a strict map as a collection of cellular maps which fit into commutative squares with the suspension maps and the maps .

But it turns out that a nicer and weaker condition will let us do the things that we want (for example, maps of CW spectra should induce maps on the homology, cohomology, and homotopy groups of spectra, when we define them).

First, we define a subspectrum of to be cofinal in if for every , every cell of is such that there is some large enough such that is a cell in .  In other words, every cell of a space in eventually suspends to a cell of a space in .

Now we define a map of CW spectra to be an equivalence class of strict maps for cofinal subspectra of , where we regard two maps and as equivalent if there is a subspectrum cofinal in both and such that and agree on .

It is a useful exercise to check that composing two maps of CW spectra and gives us a map of CW spectra.  The idea is to choose a cofinal subspectrum of the cofinal subspectrum on which is defined, such that has the property that each of the cells in each of its complexes maps into , where is the cofinal subspectrum on which is defined.  Then we may compose the restriction of to with , and it just remains to check that is cofinal in (it is because it is cofinal in ).

We define a homotopy of maps of CW spectra, and , to be a map of spectra which is the map on , .  Here we regard as a spectrum with and we mean the reduced product, with the interval above the basepoint collapsed to a point so that we have that the reduced suspension of is just the reduced product of the reduced suspension of with .  We denote the homotopy classes of maps as .

Now we come to a proposition which explains what the homotopy category of spectra is good for and how it is different from the category of CW spaces.  This proposition says that the suspension functor is invertible.

Proposition: The map is an isomorphism.

Proof: To see that the above map is surjective, let be a map of CW spectra.  If is a strict map on a cofinal subspectrum of , we set .  Then we have that the spectrum is cofinal in , the spectrum is cofinal in , and the map is strict on .  In other words, we may assume that is strict in the first place.

Now we rewrite where and the map from to is .  So we have .  We may replace by its restriction

As we noted above, this map is independent of the coordinate “in” $\latex \Sigma$.  We want to homotope it to a map that is also independent of the coordinate in .  Thus, each will be replaced by a map .  Then this map will be sent to via the homomorphism above.

So how can we homotope to a map which is independent of the coordinate in ?  Well, we write .  Now the map may depend on the coordinate in , identified with the equator in .  We homotope the sphere by rotating it by 90 degrees.  Now the new map, also called , on this sphere is independent of the new equator, and we identify with .  This new map is independent of both and coordinates (since is now the new equator inside , so it is of the form

The proof of injectivity of the above homomorphism is similar.  Let and be maps such that and are homotopic.  That is, there is a map of CW spectra

restricting to and on the two endpoints.  As above, we may assume that is strict.  We need to come up with a homotopy .  We can find inside by choosing the copy of that lies in the middle of each suspension.  This gives us a map $\latex X \times I \rightarrow \Sigma Y$.

But since the homotopy above is independent of the coordinate (that is, it sends each horizontal cross section of the suspension of into the horizontal cross section of with the same coordinate), it maps the copy of in the middle of all of the suspensions into the copy of in the middle of .  This is a map of CW spectra restricts to and at the endpoints.

The invertibility of the suspension functor essentially says that the homotopy category of spectra is the place in which to study stable phenomena.  As we will see later, the homology/cohomology/homotopy groups of spectra will be the stable homology/cohomology/homotopy groups of the underlying spaces.