scientific article; zbMATH DE number 16370
[For the entire collection see Zbl 0721.00021.] Let \(\mathcal A\) denote the \(\bmod 2\) Steenrod algebra and \(\mathcal M\) the category of graded modules over \(\mathcal A\). Let \(\mathcal U\) denote the full subcategory of \(\mathcal M\) of unstable modules over \(\mathcal A\). The inclusion functor \({\mathcal U}\to {\mathcal M}\) has a left adjoint \(D: {\mathcal M}\to {\mathcal U}\) called, appropriately, destabilization. This functor is right exact. Its left derived functors are denoted by \(D_ s: {\mathcal M}\to {\mathcal U}\). Let \(\Sigma^ m: {\mathcal M}\to {\mathcal M}\) denote the \(m\)th suspension functor. Let \(\Omega: {\mathcal U}\to {\mathcal U}\) denote the left adjoint of the restriction \(\Sigma: {\mathcal U}\to {\mathcal U}\). Finally, let \(R_ s:{\mathcal U}\to {\mathcal U}\) denote the functor which is the image of the \(s\)th Steenrod diagonal when applied to the cohomology of a space. This functor was introduced in work of \textit{J. Lannes} and the author [Math. Z. 194, 25-59 (1987; Zbl 0627.55014)] and work of \textit{W. Singer} [J. Pure Appl. Algebra 11, 53-59 (1977; Zbl 0374.55016)]. This paper concerns nil-closed unstable \(\mathcal A\)-modules, that is, modules \(M\) such that the cup-square \(Sq^ n: M^ n\to M^{2n}\) is injective for all \(n\geq 0\), and for which an element \(x\) in \(M^{2n}\) is in the image of the cup-square if and only if \(Q_ ix=0\) for all \(i\geq 0\) and \(Q_ i\) is the \(i\)th Milnor primitive in \(\mathcal A\). The \(\bmod 2\) cohomology of \(B\mathbb{Z}/2\mathbb{Z}\) is a nil-closed module. The main theorem of this paper is that there is a natural isomorphism for a nil-closed module \(M\), \(D_ s\Sigma^{-(s+1)}M\cong \Omega R_ sM\). This may be applied to establish a collapse result for the Adams spectral sequence. To wit, suppose \(X\) and \(Y\) are pointed CW-complexes with \(\widetilde{H}^*(X;\mathbb{F}_ 2)\cong \Sigma^ 2 I\), where \(\Sigma I\) is an injective unstable \(\mathcal A\)-module. Suppose that \(\widetilde{H}^*(Y;\mathbb{F}_ 2)\) is nil-closed and locally finite. Then the Adams spectral sequence converging to \(\{X,Y\}\) collapses at \(E_ 2\). In the proof of the collapse result, the higher Hopf invariants of \textit{J. Lannes} and the author appear [C. R. Acad. Sci., Paris, Sér I 296, 695-698 (1983; Zbl 0534.55009)].
- Sur les foncteurs dérivés de la déstabilisation
- Fibrewise completion and unstable Adams spectral sequences
- Homology operations and \(v _{n}\)-Bockstein operations
- Self maps of $\mathbb {H}{P}^n$ via the unstable Adams spectral sequence
- scientific article; zbMATH DE number 3848221 (Why is no real title available?)
- On the derived functors of destabilization at odd primes
- Secondary derived functors and the Adams spectral sequence
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973024)
