No label defined (Q3973024)

[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)].