under construction
(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
A May spectral sequence (May 64, May 74, Ravenel 86, 3.2) is a certain type of spectral sequence that computes the second page of the classical Adams spectral sequence. More generally, it computes Ext-groups (or Cotor-groups, via this lemma) of comodules over commutative Hopf algebras (the dual Steenrod algebra in the classical case) starting from the corresponding $Ext$-groups over just an associated graded Hopf algebra.
The May spectral sequence is the spectral sequence of a filtered complex induced by suitably filtering the canonical (but intractable) bar complex model for Ext/Cotor (see Ravenel 86, chapter 3, section 2, Kochman 96, section 5.3).
Given $(\Gamma,A)$ a graded commutative Hopf algebroid, then $A$ becomes a left comodule over $\Gamma$ with coaction given by the right unit
and it becomes a right comodule with coaction given by the left unit
Dually this is the action of morphisms on objects given by evaluation at the source or target, respectively.
Let $(\Gamma,A)$ be a commutative Hopf algebra, hence a commutative Hopf algebroid for which the left and right units coincide $\eta \;\colon\; A \longrightarrow \Gamma$.
Then the unit coideal of $\Gamma$ is the cokernel
Let $(\Gamma,A)$ be a commutative Hopf algebra, hence a commutative Hopf algebroid for which the left and right units coincide $\eta \;\colon\; A \longrightarrow \Gamma$.
Then the unit coideal $\overline{\Gamma}$ (def. ) carries the structure of an $A$-bimodule such that the projection morphism
is an $A$-bimodule homomorphism. Moreover, the coproduct $\Psi \;\colon\; \Gamma \longrightarrow \Gamma \otimes_A \Gamma$ descends to a coproduct $\overline{\Gamma} \;\colon\; \overline{\Gamma} \longrightarrow \overline{\Gamma} \otimes_A \overline{\Gamma}$ such that the projection intertwines the two coproducts.
For the first statement, consider the commuting diagram
where the left commuting square exhibits the fact that $\eta$ is a homomorphism of left $A$-modules.
Since the tensor product of abelian groups $\otimes$ is a right exact functor it preserves cokernels, hence $A \otimes \overline{\Gamma}$ is the cokernel of $A \otimes A \to A\otimes \Gamma$ and hence the right vertical morphisms exists by the universal property of cokernels. This is the compatible left module structure on $\overline{\Gamma}$. Similarly the right $A$-module structure is obtained.
For the second statement, consider the commuting diagram
Here the left square commutes by one of the co-unitality conditions on $(\Gamma,A)$, equivalently this is the co-action property of $A$ regarded canonically as a $\Gamma$-comodule.
Since also the bottom morphism factors through zero, the universal property of the cokernel $\overline{\Gamma}$ implies the existence of the right vertical morphism as shown.
(cobar complex)
Let $(\Gamma,A)$ be a commutative Hopf algebra, hence a commutative Hopf algebroid for which the left and right units coincide $A \overset{\eta}{\longrightarrow} \Gamma$. Let $N$ be a left $\Gamma$-comodule.
The cobar complex $C^\bullet_\Gamma(N)$ is the cochain complex of abelian groups with terms
(for $\overline{\Gamma}$ the unit coideal of def. , with its $A$-bimodule structure via lemma )
and with differentials $d_s \colon C^s_\Gamma(N) \longrightarrow C^{s+1}_\Gamma(N)$ given by the alternating sum of the coproducts via lemma .
Let $(\Gamma,A)$ be a commutative Hopf algebra, hence a commutative Hopf algebroid for which the left and right units coincide $A \overset{\eta}{\longrightarrow} \Gamma$. Let $N$ be a left $\Gamma$-comodule.
Then the cochain cohomology of the cobar complex $C^\bullet_\Gamma(N)$ (def. ) is the Ext-groups of comodules from $A$ (regarded as a left comodule via def. ) into $N$
(Ravenel 86, cor. A1.2.12, Kochman 96, prop. 5.2.1)
Throughout, let $A$ be a commutative ring and let $\Gamma$ be a graded commutative Hopf algebra over $A$. We write $(\Gamma,A)$ for this data.
Let $(\Gamma,A)$ be a graded commutative Hopf algebra such that
the underlying algebra is free graded commutative;
$\eta \colon A \to \Gamma$ is a flat morphism;
$\Gamma$ is generated by primitive elements $\{x_i\}_{i\in I}$
then the Ext of $\Gamma$-comodules from $A$ and itself is the (graded) polynomial algbra on these generators:
(Ravenel 86, lemma 3.1.9, Kochman 96, prop. 3.7.5)
Consider the co-free left $\Gamma$-comodule (prop.)
and regard it as a chain complex of left comodules by defining a differential via
and extending as a graded derivation.
We claim that $d$ is a homomorphism of left comodules: Due to the assumption that all the $x_i$ are primitive we have on generators that
and
Since $d$ is a graded derivation on a free graded commutative algbra, and $\Psi$ is an algebra homomorphism, this implies the statement for all other elements.
Now observe that the canonical chain map
(which projects out the generators $x_i$ and $y_i$ and is the identity on $A$), is a quasi-isomorphism, by construction. Therefore it constitutes a co-free resolution of $A$ in left $\Gamma$-comodules.
Since the counit $\eta$ is assumed to be flat, and since $A$ is trivially a projective module over itself, this prop. now implies that the above is an acyclic resolution with respect to the functor $Hom_{\Gamma}(A,-) \colon \Gamma CoMod \longrightarrow A Mod$. Therefore it computes the Ext-functor. Using that forming co-free comodules is right adjoint to forgetting $\Gamma$-comodule structure over $A$ (prop.), this yields:
If $(\Gamma,A)$ is equipped with a filtering right/left $\Gamma$-comodules $N_1$ and $N_2$ are compatibly filtered, then there is a spectral sequence
converging to the Ext over $\Gamma$ between $N_1$ and $N_2$, whose first page is the Ext over the associated graded Hopf algebra $gr_\bullet \Gamma$ between the associated graded modules $gr_\bullet N_1$ and $gr_\bullet N_2$.
(Ravenel 86, lemma 3.1.9, Kochman 96, prop. 3.7.5)
The filtering induces a filtering on the standard cobar complex (def. ) which computes $Cotor(A,A)$. The spectral sequence in question is the corresponding spectral sequence of a filtered complex. Its first page is the homology of the associated graded complex (by this prop.).
Let now $A \coloneqq \mathbb{F}_2$, $\Gamma \coloneqq \mathcal{A}^\bullet_{\mathbb{F}_2}$ be the mod 2 dual Steenrod algebra. By Milnor’s theorem, as an $\mathbb{F}_2$-algebra this is
and the coproduct is given by
where we set $\xi_0 \coloneqq 1$.
Set
Also one abbreviates
By binary expansion of powers, there is a unique way to express every monomial in $\mathbb{F}_2[\xi_1, \xi_2, \cdots]$ as a product of the elements $h_{i,n}$ from def. , such that each such element appears at most once in the product. E.g.
In terms of the generators $\{h_{i,n}\}$, the coproduct on $\mathcal{A}^\ast_{\mathbb{F}_2}$ takes the following simple form
Using that the coproduct of a bialgebra is a homomorphism for the algebra structure and using freshman's dream arithmetic over $\mathbb{F}_2$, one computes:
Define a grading on $\mathcal{A}^\bullet_{\mathbb{F}_2}$ by setting (this is due to (Ravenel 86, p.69))
and extending this additively to these unique representative.
For instance
Consider the corresponding filtering
with filtering stage $p$ containing all elements of total degree $\leq p$.
Observe that
This means that after projection to the associated graded Hopf algebra
all the generators $h_{i,n}$ become primitive elements:
Hence lemma applies and says that thet $Ext$ from $\mathbb{F}_2$ to itself over the associated graded Hopf algebra is the polynomial algebra in these generators:
Moreover, lemma says that this is the first page of a spectral sequence that converges to the $Ext$ over the original Hopf algebra:
This is the May spectral sequence for the computation of $Ext_{\mathcal{A}^\ast_{\mathbb{F}_2}}(\mathbb{F}_2,\mathbb{F}_2)$. Notice that since everything is $\mathbb{F}_2$-linear, its extension problem is trivial.
Moreover, again by lemma , the differentials on any $r$-page are the restriction of the differentials of the bar complex to the $r$-almost cycles (prop.). The differential of the bar complex is the alternating sum of the coproduct on $\mathcal{A}^\ast_{\mathbb{F}_2}$, hence by prop. this is:
Now we use the above formula to explicitly compute the cohomology of the second page of the classical Adams spectral sequence.
In doing so it is now crucial that the differential in the standard cobar complex (def. ) for $Cotor$ lands in $\overline{\Gamma} \coloneqq coker(\eta)$ where the generator $h_{0,n} = \xi_0 = 1$ disappears.
Recall the further abbreviation
Hence we find using the formula from prop. , that
and hence all the elements $h_n$ are cocycles.
In the range $t - s \leq 13$, the second page of the May spectral sequence for $Ext_{\mathbb{A}^\ast_{\mathbb{F}_2}}(\mathbb{F}_2,\mathbb{F}_2)$ has as generators all the
$h_n$
$b_{i,n} \coloneqq (h_{i,n})^2$
as well as the element
subject to the relations
$h_n h_{n+1} = 0$
$h_2 b_{2,0} = h_0 x_7$
$h_2 x_7 = h_0 b_{2,1}$.
The differentials in this range are
$d_r(h_{n}) = 0$
$d_2(b_{2,n}) = h_n^2 h_{n+2} + h_{n+1}^3$
$d_2(x_7) = h_0 h_2^2$
$d_2(b_{3,0}) = h_1 b_{2,1} + h_3 b_{2,0}$
$d_4(b_{2,0}^2) = h_0^4 h_3$.
e.g. (Ravenel 86, lemma 3.2.8 and lemma 3.2.10, Kochman 96, lemma 5.3.2 and lemma 5.3.3)
Hence this solves the May spectral sequence, hence gives the second page of the classical Adams spectral sequence. Inspection just of the degrees then shows that in this range there is no non-trivial differential in the Adams spectral sequece in this range. This way one arrives at:
In low $t-s$ the group $Ext_{\mathcal{A}^\ast_{\mathbb{F}_2}}(\mathbb{F}_2,\mathbb{F}_2)$ is spanned by the items in the following table
(graphics taken from (Schwede 12))
(Ravenel 86, theorem 3.2.11, Kochman 96, prop. 5.3.6)
Hence the first dozen stable homotopy groups of spheres 2-locally are
$k =$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
$\pi_k(\mathbb{S}\otimes \mathbb{Z}_{(2)}) =$ | $\mathbb{Z}_{(2)}$ | $\mathbb{Z}/2$ | $\mathbb{Z}/2$ | $\mathbb{Z}/8$ | $0$ | $0$ | $\mathbb{Z}/2$ | $\mathbb{Z}/16$ | $(\mathbb{Z}/2)^2$ | $(\mathbb{Z}/2)^3$ | $\mathbb{Z}/2$ | $\mathbb{Z}/8$ | $0$ | $0$ |
Remark: The full answer turns out to be this:
$k =$ | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | $\cdots$ |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
$\pi_k(\mathbb{S}) =$ | $\mathbb{Z}$ | $\mathbb{Z}_2$ | $\mathbb{Z}_2$ | $\mathbb{Z}_{24}$ | $0$ | $0$ | $\mathbb{Z}_2$ | $\mathbb{Z}_{240}$ | $(\mathbb{Z}_2)^2$ | $(\mathbb{Z}_2)^3$ | $\mathbb{Z}_6$ | $\mathbb{Z}_{504}$ | $0$ | $\mathbb{Z}_3$ | $(\mathbb{Z}_2)^2$ | $\mathbb{Z}_{480} \oplus \mathbb{Z}_2$ | $\cdots$ |
The origin is in
Peter May, The cohomology of restricted Lie algebras and of Hopf algebras; application to the Steenrod algebra, Thesis, Princeton 1964
Peter May, The cohomology of restricted Lie algebras and of Hopf algebras, Journal of Algebra 3, 123-146 (1966) (pdf)
Peter May, Some remarks on the structure of Hopf algebras, Proceedings of the AMS, vol 23, No. 3 (1969) (pdf)
Further computational improvements and a computation of the first 70 differentials (for the case of the mod 2 Steenrod algebra) was given in
More on the $E_2$-term is in
Review includes
Doug Ravenel, chapter 3, section 2 of Complex cobordism and stable homotopy groups of spheres, 1986
Stanley Kochman, section 5.3 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Wikipedia, May spectral sequence
Last revised on October 15, 2020 at 01:21:47. See the history of this page for a list of all contributions to it.