I’d like to use the next couple of posts to compute the first three stable stems, using the Adams spectral sequence. Recall from the linked post that, for a connective spectrum with appropriate finiteness hypotheses, we have a first quadrant spectral sequence
where the groups are computed in the category of comodules over (the dual of the Steenrod algebra), and the convergence is to the -adic completion of the homotopy groups of . In the case of the sphere spectrum, we thus get a spectral sequence
converging to the 2-torsion in the stable stems. In this post and the next, we’ll compute the first couple of groups of , or equivalently of (this is usually called the cohomology of the Steenrod algebra), and thus show:
- , generated by the Hopf map (coming from the Hopf fibration ).
- , generated by the square of the Hopf map.
- , generated by the Hopf map (coming from the Hopf fibration ). We have . (This is actually true only mod odd torsion; there is also a , so the full thing is a .)
In fact, we’ll be able to write down the first four columns of the Adams spectral sequence by direct computation. There are numerous fancier tools which let one go further.
1. The cobar complex
Let be a comodule over a coalgebra over some field (for instance, ). There is a useful cofree resolution which one can use for computing groups. Namely, consider the cosimplicial object
The various cosimplicial arrows come from the comultiplications on various factors and the counit maps. We can extract from this a normalized chain complex , which we can describe as follows:
- In degree , . Elements are written as .
- The coboundary is described via
- Here the notation is such that the comultiplication satisfies , , and the map sends . This is an abuse of notation—really may be a sum of pure tensors, etc. Note that this is a chain complex of cofree -modules (with coacting on the first factor), and (by a formal argument which works in a fair bit of generality), it is a resolution of .
- If is an augmented coalgebra and is the cokernel of the augmentation, then we can use a smaller version of the cobar complex: instead take
This will still be a resolution of by cofree -modules, and we will denote this by the . This will be the cobar complex that we use below. The formula for the differential is the same.
As an example (the purpose of this post), let’s write down what the complex to compute (the page of the ASS for the sphere) looks like. Namely, we have to take the complex
which is a cofree resolution of , and then take comodule maps of into this. Taking comodule maps of into this peels of the first (cofree) factor in each case, so we are left with a complex
This cobar complex has cohomology which is the page of the ASS. So, in degree , we have the free vector space on elements
and the coboundary is given by
where after quotienting out by the image of (so as to get into the reduced thing ). The nice thing about working mod 2 is that we don’t have to worry about signs.
Note that this is a bigraded complex, which means it lets us see the bigrading of (which we need for the ASS). Note also that the cobar complex has a multiplicative structure given by juxtaposing two “bars”: that is, one multiplies by to get . It turns out that this coincides with the Yoneda product in , which corresponds to the ring structure in the stable stems.
2. First steps
We now have a recipe for working out the page of the ASS for the sphere. This is a fairly large complex of which we have to compute the cohomology, though, and so we do it only in small dimensions.
For , there is only one element , whose differential is trivial: this gives a cycle in .
Let’s start filling in the page of the ASS. The topologists like to typeset it with the vertically and the horizontally, so right now what we have computed looks like:
The dot in the position indicates that there’s a there. The empty space here means that we don’t know what is there, not that it is zero.
Anyway, the point of drawing the spectral sequence this way is that the vertical lines are parametrized by , so that any given homotopy group is obtained by going up one of them. The horizontal level is the “Adams filtration.”
For the rest of the post, I’ll be using the notation for the dual Steenrod algebra as in this post: that is, is a polynomial algebra on generators of degrees . The formula for the coproduct is described there.
Admittedly that wasn’t very interesting. Let’s now get the remaining elements on the zeroth vertical line. These are cocycles in the cobar complex of degree . Any such cocycle is of the form where the are in the augmentation ideal of , i.e. have positive degree. So the only such cocycles are
These can’t be coboundaries, because there are no terms in the cobar complex with to annihilate them. So, if is represented by , we get a chain of dots:
The zero stem is and its completion is the 2-adic integers , so must represent multiplication by . It isn’t surprising at all that we’ve gotten the above associated graded for the 0-stem. It also isn’t surprising that the multiples of 2 should live in Adams filtration higher than one.
3. The 1-stem
Now let’s do the 1-stem. We need to look for cocycles in the cobar complex with . That is, we need to look for elements of the form
where the total degree of the is . This means that all the but one must have degree (i.e., all but one of them has to be ) and the other must have degree two: that is, it is . So the only possible candidates for cycles in the cobar complex with are the elements (and their permutations)
Now, if we let , then we easily check that is a cycle: this corresponds to the fact that is a primitive element of the Hopf algebra . (The dual indecomposable element of the Steenrod algebra is .)
So, the elements are cycles and they are the only cycles with in the cobar complex. These represent the classes in the Adams spectral sequence.
Claim: is not zero (i.e., is not a coboundary) but .
In fact, cannot be a coboundary because there is nothing with to cobound it. So . However,
as one sees by going back to the formulas in . This exhibits as a coboundary (and corresponds to the fact that twice the Hopf map is stably zero).
So we can extend the spectral sequence:
This means that we’ve computed the first two columns of the ASS, and we find that . Using the Freudenthal suspension theorem, we find that the image of the Hopf map must be a generator.
4. The second stem
Now let’s move on to the second stem. We need to look for cocycles in the cobar complex with . This means that we have terms of the form
where the total degree of the amounts to . This means that any such term is a permutation of
The second term is not a cocycle. The first term is, and represents a power of times . Since we saw earlier, the only possibility for a nontrivial cohomology class is .
This corresponds to the fact that the square of the Hopf map is stably essential. We can prove it in the cobar complex, though: we have to show that is not a coboundary. In fact, a cobounding element would have to be something like where has degree four in : that is, either or . It’s easy to check that no combination of those possibilities works. So the spectral sequence now looks like:
Now this takes care of the first two stems (it’s easy to see that the spectral sequence has to degenerate here). I think we can treat the third stem in the same way, but it’ll require a little more effort, so it’ll be the subject of the next post.