# 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.