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

Aurélien Djament (1)

1 LMJL - Laboratoire de Mathématiques Jean Leray

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.

Mots clés: catégories de foncteurs; représentations modulaires; groupes linéaires; foncteurs de division; filtration de Krull; grasmanniennes

Domaines: Topologie algébrique [math.AT]; Théorie des représentations [math.RT]; Catégories et ensembles [math.CT]

Aurélien Djament. Le foncteur V -> $F_2[V]^{otimes 3}$ entre F2-espaces vectoriels est noethérien. 2007. ⟨hal-00132871v3⟩