Le foncteur V -> $F_2[V]^{otimes 3}$ entre F2-espaces vectoriels est noethérien

Abstract

We prove that in the category F of functors between F2-vector spaces, the tensor product between three copies of the standard projective object P : V -> F2[V] and a functor of finite length is noetherian. The only case known to date was the noetherian character of P tensor 2 tensor F for F of finite length. For this wis use several division functors, whose effect on finitely generated functors of F is analyzed with the help of the grassmannian functor categories and facts from modular representation theory of linear groups. -- Nous démontrons que dans la catégorie F des foncteurs entre espaces vectoriels sur F2, le produit tensoriel entre trois copies du foncteur projectif P : V->F2[V] et un foncteur de longueur finie est noethérien. Seul était antérieurement connu le caractère noethérien de P tenseur 2 tenseur F pour F de longueur finie. Nous utilisons pour cela plusieurs foncteurs de division, dont nous analysons l'effet sur des foncteurs de type fini de F à l'aide des catégories de foncteurs en grassmanniennes et de considérations issues de la théorie des représentations modulaires des groupes linéaires.