Sur les foncteurs dérivés de la déstabilisation (Q1092456)

Soit \({\mathfrak A}\) l'algèbre de Steenrod modulo 2. On désigne par \({\mathcal M}\) la catégorie dont les objets sont les \({\mathfrak A}\)-modules gradués et dont les morphismes sont les applications \({\mathfrak A}\)-linéaires de degré zéro. On dit qu'un \({\mathfrak A}\)-module M est instable si \(Sq^ ix=0\) pour tout x de M et tout i tel que \(i>| x|\), \(| x|\) désignant le degré de x. On note \({\mathcal U}\) la sous catégorie pleine de \({\mathcal M}\) dont les objets sont les \({\mathfrak A}\)-modules instables. On note \(D: {\mathcal M}\rightsquigarrow {\mathcal U}\) et on appelle foncteur de déstabilisation l'adjoint à gauche du foncteur oubli: \({\mathcal U}\rightsquigarrow {\mathcal M}.\) Pour tout t dans \({\mathbb{Z}}\), on note \(\Sigma^ t: {\mathcal M}\rightsquigarrow {\mathcal M}\) le foncteur qui associe au module \(M=\{M^ n\}_{n\in {\mathbb{Z}}}\) le module défini par \(\Sigma^ tM=\{M^{n-t}\}_{n\in {\mathbb{Z}}}\), la structure de \({\mathfrak A}\)-module sur \(\Sigma^ tM\) étant donnée par \(Sq^ i(\Sigma^ tx)=\Sigma^ t(Sq^ ix)\). On vérifie que pour tout \({\mathfrak A}\)-module instable M et tout \(s\geq 0\), il existe un isomorphisme naturel: \(D_ s\Sigma^{1-s}M\simeq \Sigma R_ s(M)\), \(R_ s(M)\) désignant un certain sous-\({\mathfrak A}\)-module de \(H^*(({\mathbb{Z}}/2)^ s:{\mathbb{Z}}/2)\otimes M\) dépendant fonctoriellement de M.