No label defined (Q4400705)

Applying Priddy's theorem on Koszul resolutions to the Steenrod algebra \({\mathcal A}\), the author defines a smaller and simpler differential graded algebra \(\overline \Lambda\) than the lambda algebra \(\Lambda\) at primes \(p>2\), whose homology is \(\text{Ext}^*_{{ \mathcal A}_*} (\mathbb{Z}/2, \mathbb{Z}/2)\). Considering some subalgebras of \({\mathcal A}\), this can be generalized to define \(\overline \Lambda_{(m)}\) for \(\text{Ext}^*_{{\mathcal A}_*} (\mathbb{Z}/2,\;H_*(V (m)))\), where \(H_*(V(m)) =E(\tau_0, \dots, \tau_m)\), such that the classes \(v_n\) of the Milnor elements \(Q_n\) behave very well. For example, there is a Bockstein spectral sequence \(E^1_{ s,t} =\mathbb{Z}/p \langle v^s_m \rangle \otimes H_t (\overline \Lambda_{(m)}) \Rightarrow H_{sq_m+ t} (\overline \Lambda_{(m-1)})\). Furthermore, this yields an unstable analogue \(\overline \Lambda_{(m)} (n)\) such that \(H_* (\overline \Lambda_{(-1)} (n))\) is the \(E^2\)-term of the unstable Adams spectral sequence converging to \(\pi_* (S^n)\), including the desuspended Bockstein spectral sequence and EHP sequence as well. For the entire collection see [Zbl 0890.00047].