Quillen stratification for the Steenrod algebra
Abstract
Let A be the mod 2 Steenrod algebra, and let Q denote the category of exterior sub-Hopf algebras of A, where the morphisms are given by inclusions. The restriction maps ExtA (Z/2,Z/2) --> ExtE (Z/2,Z/2), for E in Q, can be assembled into a map i:ExtA (Z/2, Z/2) --> limQ ExtE (Z/2,Z/2). There is an action of A on this inverse limit, and i factors through the invariants under this action, giving a map g:ExtA (Z/2, Z/2) --> ( limQ ExtE (Z/2,Z/2) )A. We show that g is an F-isomorphism.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.