Quillen stratification for the Steenrod algebra (Q1293363)

Let \(A\) be the mod 2 Steenrod algebra and let \({\mathcal Q}_A\) be the category whose objects are elementary sub-Hopf algebras of \(A\) and whose morphisms are inclusions. The author considers the ``Quillen map'' \(q_A\): \(H^*(A;\mathbb{F}_2)\to\varprojlim_{{\mathcal Q}_A}H^*(E;\mathbb{F}_2)\) induced by the restriction maps \(H^*(A;\mathbb{F}_2)\to H^*(E;\mathbb{F}_2)\). He proves the following results: (i) There is an action of \(A\) on the inverse limit \(\varprojlim_{{\mathcal Q}_A}H^*(E;\mathbb{F}_2)\) and, the map \(q_A\) factors through the invariants \((\varprojlim_{{\mathcal Q}_A}H^*(E;\mathbb{F}_2))^A\). (ii) The ``Quillen map'' \(q_A\): \(H^*(A;\mathbb{F}_2)\to(\varprojlim_{{\mathcal Q}_A}H^*(E;\mathbb{F}_2))^A\) is an \(F\)-isomorphism \((\ker(q_A)\) and \(\text{coker}(q_A)\) are nilpotent). The author computes also the inverse limit \(\varprojlim_{{\mathcal Q}_A}H^*(E;\mathbb{F}_2)\), gives explicitely the action of \(A\) on it and describes the algebra of invariants. This gives the mod 2 cohomology of \(A\), \(H^*(A;\mathbb{F}_2)= \text{Ext}^{*,*}_A(\mathbb{F}_2, \mathbb{F}_2)\), modulo nilpotent elements.