This is a continuation of yesterday’s post, which used the Adams spectral sequence to compute the first two stable homotopy groups of spheres (only as a toy example for myself: one can use more elementary tools). In this post, I’d like to describe the third stable stem.The claim is that the first four columns of the -page of the Adams spectral sequence for the sphere look like:
Furthermore, we have the relation . This is the complete picture for the first four columns.
Note that there can be no nontrivial differentials in this range for dimensional reasons. Since corresponds to multiplication by 2 in the stable stems, this corresponds to the fact that : in fact, we find that has a three-term filtration with successive quotients , and that passage down each step of the filtration is given by multiplication by . The relation corresponds to the fact that the Hopf map (which corresponds to the element of Hopf invariant one in ) satisfies
for the element of Hopf invariant one in represented by .
1. First steps
Proving this will take a little more work than the first two stems. Let’s first show:
Lemma 1 In the page of the ASS, we have .
This amounts to saying that the two cycles in the cobar complex
are cohomologous (recall that multiplication corresponds to the juxtaposition product in the cobar complex). So, we’ll need elements of total -degree six of the form to provide a cobounding element. There aren’t too many such elements, and writing out the cobar formula gives
Next, we get
Finally, we have
Adding these three relations shows that almost all the terms cancel, and we are left with the fact that is a coboundary in the cobar complex. This is precisely the meaning of the assertion claimed in the lemma.
We haven’t yet shown yet that these elements are nonzero; that will come last. Now, let’s show that there can’t be any other elements in this column.
Lemma 2 The only elements in the page of the ASS with are the multiples of .
To see this, let’s look for cocycles in the cobar complex with . These will be, necessarily, of the form
where the total degree of the is . This means that all but three of the ‘s have to be degree one, and so must be —these just correspond to multiplying by . The other three will have to have degrees summing to . We have a few possibilities for the remaining three of the corresponding to the various partitions of six into three natural numbers:
This is getting somewhat tedious to analyze, so let’s abandon this and introduce a new tool.
2. The change-of-rings spectral sequence
Consider the subHopf algebra of given by : the coproduct formulas show easily that it is closed under the coproduct. This is a normal subHopf algebra, and a useful observation here is that:
Proposition 3 The map is an isomorphism for and a surjection for .
The map in question comes from the inclusion of cobar complexes: the cobar complex of maps to that of . The elements with in the cobar complex of are the same as the elements with in the cobar complex of (because the have ), which is the argument.
So our goal will be to compute the cohomology of the subalgebra . Notice that has a subHopf algebra
and where the quotient element is primitive. In other words, we have a sequence
which is not exact, but which is an extension of Hopf algebras in the appropriate sense. The coalgebras are simple and their cohomology is easy to compute (as they are tensor products of exterior coalgebras, the cohomology is a big polynomial algebra on a countable number of generators).
Proposition 4 (Cartan-Eilenberg spectral sequence) There is a spectral sequence of algebras converging to . The page is given by
(where means the groups). The th differential runs upward: .
This is proved in Adams’s paper on the Hopf invariant one problem. I don’t really understand the details, but for now I’d like to take it as a black box. This is a somewhat more cavalier attitude than I like to take, but I think for now I’d rather see how the machinery is used before getting into the details. Let’s just try to use it and see what we can get.
Now, the cohomology of the coalgebra is a polynomial ring on the generators . This is because the coalgebra is a tensor product of (primitive) exterior algebras on the generators , and the cohomology of an exterior algebra is a polynomial algebra. Similarly, the cohomology of the coalgebra is a polynomial ring on the . It follows that we can draw the page of this spectral sequence:
This spectral sequence comes from a filtration of the cobar complex on . Namely, an element in the cobar complex of belongs to the th stage of the filtration if of the belong to . The exact identification of the page is not really necessary to our purposes, but the point that the spectral sequence comes from such a filtration is crucial.
For instance, we can work out with the second differential does to . This element is represented by in the cobar complex of the quotient, so we lift that to in the cobar complex of . Then compute the coboundary to get . This means
So these elements must be killed in the page and hence in the cohomology of : this corresponds, for instance, to the fact that in the Adams spectral sequence as earlier (i.e., the Hopf fibration is stably of order two).
Anyway, it follows from this that in the page, none of the terms survive: any linear combination of them will have nonzero -value. Also, the terms in in will be killed in because they are hit by boundaries, and by a similar logic, the terms for will have nonzero :
and these are linearly independent.
Finally, we have to figure out what happens to the . We have
so no new elements are killed in (that is, only multiples of the old relation are introduced). However, we observe that
is a cycle under , and so survives to the page. These are the linear combinations that do survive.
So looks like:
The dots indicate terms which are not determined. The term in is already quotiented by the relations and those deriving from it. In order to proceed, we will determine the transgression of the .
Morally, the idea is that and the transgression should commute with the Steenrod squares, as it does in the Serre spectral sequence. Consequently we can determine the transgression of from that of , which we found to be earlier. This can be done and made precise, but let’s work with the cobar complex. Here in is represented by
Unfortunately this is not a representative in , as the differential of this is
which is not sufficiently good enough for the filtration degree: it’s in the second, but not the third, level of the filtration. So to get a representative of this class in , we need to modify this class in the cobar complex to get something whose boundary has three terms involving .
For simplicity, let’s take , so we need to modify to get a representative of . The strategy is to take the modification
which is a modification by terms of lower filtration, but which has the advantage that the cobar differential takes this to something in filtration 3. This is a computation we have done before:
It follows that in the term, the space becomes empty, and we have something looking like
The relation means that the term is quotiented out by the relations arising from and . These relations are exactly those that we want to claim in .
Now, with this term, we can determine the cohomology of the Steenrod algebra in the relevant range of . We note that has degree equal to and has degree equal to . Consequently, has degree equal to for . Any higher terms in the middle column that survive can also be seen to have degree at least (something like is the only possible counterexample, and that doesn’t even live to ).
It follows that all the terms not shown have degree at least and so do not contribute to the cohomology of in the range , except possibly .
Proposition 5 The cohomology of in degrees is: free on .
As a corollary, we find that the cohomology of is the same in . It follows that the picture of the Adams spectral sequence drawn at the beginning of this post is correct, and we get the third stable stem.
This technique is used more generally in Adams’s paper on the Hopf invariant one problem to get a picture of the first three rows of the Adams spectral sequence. Hopefully I’ll be able to return to this in a later post.