Lannes’ T functor on injective unstable modules and Harish-Chandra restriction

Abstract

In the 1980's, the magic properties of the cohomology of elementary abelian groups as modules over the Steenrod algebra initiated a long lasting interaction between topology and modular representation theory in natural characteristic. The Adams-Gunawardena-Miller theorem in particular, showed that their decomposition is governed by the modular representations of the semi-groups of square matrices. Applying Lannes' T functor on the summands L P := Hom Mn(Fp) (P, H * (F p) n) defines an intriguing construction in representation theory. We show that T(L P) ∼ = L P ⊕ H * V 1 ⊗ L δ(P) , defining a functor δ from F p [M n (F p)]-projectives to F p [M n−1 (F p)]-projectives. We relate this new functor δ to classical constructions in the representation theory of the general linear groups.