The next goal of this series of posts is to understand the computation of the complex cobordism ring . In the computation of the unoriented cobordism ring , we did this by working out as a comodule over the dual Steenrod algebra , and observing that it was cofree. We were able to conclude that is actually a direct sum of Eilenberg-MacLane spectra , after which it was easy to get the homotopy groups.
is a little harder, because it does not split in the same way. We can still compute for each prime , but it won’t exactly be cofree. So the strategy will be to approximate by a sort of complex of cofree things. This is the idea of the Adams spectral sequence.
Let be a connective spectrum. Suppose is a prime number, and that we know the cohomology as a module over the Steenrod algebra (or, equivalently, that we know as a comodule over ). Our goal is to glean from this information about the homotopy groups .
To understand the Adams spectral sequence (ASS), let’s try to recall how spectral sequences arise. One of the most basic examples comes from a filtered complex of abelian groups. In this case, one has a spectral sequence starting with the homology of the associated graded and converging to the homology of the actual thing. Many spectral sequences in homological algebra (for instance, the Grothendieck spectral sequence for the derived functors of a composite), arise from filtering a suitable complex in this way. At least the initial page might be computable.
Unfortunately, many of the spectral sequences in topology don’t arise in this way. Nonetheless, they arise similarly.
Idea: a spectral sequence arises, more generally, when one has a filtered object (for instance, a filtered spectrum), starting with the homotopy groups of the associated graded, and converging to the homotopy groups of the whole thing.
Let’s say is a spectrum, and let’s say we have a filtration
Under good conditions, we might know something about the homotopy groups of the “associated graded” pieces: that is, of the cofibers or quotients . We’d like to go from there to . When this is just a long exact sequence in homotopy groups: for higher , we get a spectral sequence.
How might we set up this spectral sequence? The theory of exact couples provides one method. There is a cofiber sequence
for each , and, taking all these together, we get an exact triangle of homotopy groups
The associated spectral sequence (which is a sequence of bigraded groups starting with the bottom term in the above triangle at ) starts from the homotopy of the “associated graded” and, in good cases, converges to the homotopy groups of .
One can, in fact, write down explicit descriptions of the terms of the spectral sequence, and see that they are better and better approximations to the homotopy groups of .
2. Setting up the Adams spectral sequence
If we want to find a suitable filtration to compute , we then need to know the homotopy groups of the successive cofibers. A good way to arrange this, of course, is to have the cofibers be Eilenberg-MacLane spaces. This is very different from the Atiyah-Hirzebruch spectral sequence, where one filters a space by its CW filtration, and the successive cofibers are spheres (whose homology is easy but whose homotopy is hard).
Definition 1 An Adams resolution for the spectrum is a sequence
such that the cofiber of each map is a wedge of Eilenberg-MacLane spaces, and such that the map on -homology is zero.
The existence of an Adams resolution reduces to the following claim: given a spectrum , there is a wedge of -spectra and a map which is a monomorphism on -homology. We can do this very explicitly: take , for instance.
Using the sequence (which we can think of as a “filtration” of by turning all the maps into cofibrations), we get a spectral sequence starting from the of the cofibers. This is called the Adams spectral sequence. In good cases, this will converge to the -adic completion of . The idea is that the condition that be zero will guarantee that the inverse limit will have no -adic homology, and consequently we can think of the filtration of as exhaustive at least when completed at .
I don’t want to worry too much about these types of convergence issues. They’re a little technical, and they are probably not all that well suited for a blog. However, let’s try to see what the page of this spectral sequence looks like.
The spectral sequence associated to the filtration is obtained from an exact couple. Let be the cofiber of , so there are maps for each , which are monomorphisms on -homology. At the beginning (the page), the exact couple which gives rise to the ASS looks like
where the map comes from the maps (so it is of bidegree ). The map comes from the maps , and the map comes from the maps .
3. The page
Let’s figure out the page of this spectral sequence. The page is the homology of the differential on . Another way to say this is that the form a “complex” in the homotopy category of spectra: that is, there are maps
any two of which are nullhomotopic. These come from chasing around the cofiber sequences, and are the homotopyish version of the map. Because we are working with an Adams resolution, we find that the sequence
is exact and is, in particular, a resolution of by cofree -comodules.
Now because maps of -comodules are precisely the primitive elements in . As is a sum of Eilenberg-MacLane spectra, we can get the homotopy groups as the primitive elements in homology. Consequently, if we want to take the homology of the bigraded group , this is the same as the homology of the bigraded group
But we have just seen that is a resolution of by cofree -comodules. The conclusion is that the homology of this bigraded group, or the term, is
The big theorem is:
Theorem 2 (Adams) Let be a connective spectrum whose homotopy groups are finitely generated. Then there is a spectral sequence whose page is
(where is computed in the category of comodules over ). This spectral sequence converges to the -adic completion , in the sense that there is a filtration on (compatible with the -adic filtration) whose successive quotients are the terms.
I don’t feel like I have enough to say about the proof of this theorem to make it worth spending much time on it at this point—it’s annoyingly technical because the convergence is generally not that strong. The thing that really does need explanation is why -adic completion should be relevant at all. That comes in because the aren’t really an exhaustive filtration of —if they were, then the spectral sequence would just converge to the homotopy groups of . But they are an exhaustive filtration if is “-adically complete.”
The goal for the next few posts is to use the Adams spectral sequence, rather than worrying about the theory behind it.