Le foncteur V𝔽 2 [V] 3 entre 𝔽 2 -espaces vectoriels est noethérien
[The functor V𝔽 2 [V] 3 between 𝔽 2 -vector spaces is noetherian]
Annales de l'Institut Fourier, Volume 59 (2009) no. 2, pp. 459-490.

Functors between vector spaces, or generic representations of linear groups after Kuhn intervene in algebraic topology and in K-theory as in representation theory. We present here a new method to approach finiteness problems and the Krull dimension in this context.

More precisely, we prove that, in the category of functors between 𝔽 2 -vector spaces, the tensor product between P 3 , where P denotes the projective functor V𝔽 2 [V], and a functor of finite length is noetherian and we determine its structure. The only case known to date was the noetherian character of P 2 F for F of finite length.

For this we use several division functors, whose effect on finitely generated functors of is analyzed with the help of grassmannian functor categories. It allows us to reduce the initial problem to finite calculations on modular representations of linear groups (where appears in particular Steinberg’s representation), which inform ultimately on infinite phenomena in representation theory.

Les foncteurs entre espaces vectoriels, ou représentations génériques des groupes linéaires d’après Kuhn, interviennent en topologie algébrique et en K-théorie comme en théorie des représentations. Nous présentons ici une nouvelle méthode pour aborder les problèmes de finitude et la dimension de Krull dans ce contexte.

Plus précisément, nous démontrons que, dans la catégorie des foncteurs entre espaces vectoriels sur 𝔽 2 , le produit tensoriel entre P 3 , où P désigne le foncteur projectif V𝔽 2 [V], et un foncteur de longueur finie est noethérien et déterminons sa structure. Seul était antérieurement connu le caractère noethérien de P 2 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 à l’aide des catégories de foncteurs en grassmanniennes. Cela nous permet de ramener le problème initial à des calculs explicites finis portant sur des représentations modulaires de groupes linéaires (où intervient notamment la représentation de Steinberg), qui renseignent finalement sur des phénomènes infinis en théorie des représentations.

Received:
Accepted:
DOI: 10.5802/aif.2436
Classification: 18A25,  16P60,  18D10,  18E25,  20C33,  55S10
Keywords: Functor categories, modular representations, linear groups, division functors, Krull filtration, grassmannians
Djament, Aurélien 1

1 Université de Nantes Laboratoire de mathématiques Jean Leray 2 rue de la Houssinière BP 92208 44322 Nantes cedex 3 (France)
@article{AIF_2009__59_2_459_0,
     author = {Djament, Aur\'elien},
     title = {Le foncteur $V\mapsto {\mathbb{F}_2}[V]^{\otimes 3}$ entre $\mathbb{F}_2$-espaces vectoriels est noeth\'erien},
     journal = {Annales de l'Institut Fourier},
     pages = {459--490},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {59},
     number = {2},
     year = {2009},
     doi = {10.5802/aif.2436},
     mrnumber = {2521424},
     zbl = {1170.18002},
     language = {fr},
     url = {https://aif.centre-mersenne.org/articles/10.5802/aif.2436/}
}
TY  - JOUR
TI  - Le foncteur $V\mapsto {\mathbb{F}_2}[V]^{\otimes 3}$ entre $\mathbb{F}_2$-espaces vectoriels est noethérien
JO  - Annales de l'Institut Fourier
PY  - 2009
DA  - 2009///
SP  - 459
EP  - 490
VL  - 59
IS  - 2
PB  - Association des Annales de l’institut Fourier
UR  - https://aif.centre-mersenne.org/articles/10.5802/aif.2436/
UR  - https://www.ams.org/mathscinet-getitem?mr=2521424
UR  - https://zbmath.org/?q=an%3A1170.18002
UR  - https://doi.org/10.5802/aif.2436
DO  - 10.5802/aif.2436
LA  - fr
ID  - AIF_2009__59_2_459_0
ER  - 
%0 Journal Article
%T Le foncteur $V\mapsto {\mathbb{F}_2}[V]^{\otimes 3}$ entre $\mathbb{F}_2$-espaces vectoriels est noethérien
%J Annales de l'Institut Fourier
%D 2009
%P 459-490
%V 59
%N 2
%I Association des Annales de l’institut Fourier
%U https://doi.org/10.5802/aif.2436
%R 10.5802/aif.2436
%G fr
%F AIF_2009__59_2_459_0
Djament, Aurélien. Le foncteur $V\mapsto {\mathbb{F}_2}[V]^{\otimes 3}$ entre $\mathbb{F}_2$-espaces vectoriels est noethérien. Annales de l'Institut Fourier, Volume 59 (2009) no. 2, pp. 459-490. doi : 10.5802/aif.2436. https://aif.centre-mersenne.org/articles/10.5802/aif.2436/

[1] Curtis, Charles W.; Reiner, Irving Methods of representation theory. Vol. I, Wiley Classics Library, John Wiley & Sons Inc., New York, 1990 (With applications to finite groups and orders, Reprint of the 1981 original, A Wiley-Interscience Publication) | MR: 1038525 | Zbl: 0698.20001

[2] Djament, Aurélian Foncteurs de division et structure de I 2 Λ n dans la catégorie , Ann. Inst. Fourier (Grenoble), Volume 57 (2007) no. 6, pp. 1771-1823 | Article | Numdam | MR: 2377886 | Zbl: 1132.18002

[3] Djament, Aurélien Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs, Mém. Soc. Math. Fr. (N.S.) (2007) no. 111, xx+213 pages | Zbl: pre05497703

[4] Franjou, Vincent Extensions entre puissances extérieures et entre puissances symétriques, J. Algebra, Volume 179 (1996) no. 2, pp. 501-522 | Article | MR: 1367860 | Zbl: 0841.55012

[5] Franjou, Vincent; Friedlander, Eric M.; Pirashvili, Teimuraz; Schwartz, Lionel Rational representations, the Steenrod algebra and functor homology, Panoramas et Synthèses [Panoramas and Syntheses], Volume 16, Société Mathématique de France, Paris, 2003 | MR: 2117525 | Zbl: 1061.18011

[6] James, G. D. The representation theory of the symmetric groups, Lecture Notes in Mathematics, Volume 682, Springer, Berlin, 1978 | MR: 513828 | Zbl: 0393.20009

[7] Kuhn, Nicholas J. Generic representations of the finite general linear groups and the Steenrod algebra. I, Amer. J. Math., Volume 116 (1994) no. 2, pp. 327-360 | Article | MR: 1269607 | Zbl: 0813.20049

[8] Kuhn, Nicholas J. Generic representations of the finite general linear groups and the Steenrod algebra. II, K-Theory, Volume 8 (1994) no. 4, pp. 395-428 | Article | MR: 1300547 | Zbl: 0830.20065

[9] Mitchell, Stephen On the Steinberg module, representations of the symmetric groups, and the Steenrod algebra, J. Pure Appl. Algebra, Volume 39 (1986) no. 3, pp. 275-281 | Article | MR: 821892 | Zbl: 0593.20006

[10] Piriou, Laurent; Schwartz, Lionel Extensions de foncteurs simples, K-Theory, Volume 15 (1998) no. 3, pp. 269-291 | Article | MR: 1659961 | Zbl: 0918.20036

[11] Popescu, N. Abelian categories with applications to rings and modules, Academic Press, London, 1973 (London Mathematical Society Monographs, No. 3) | MR: 340375 | Zbl: 0271.18006

[12] Powell, Geoffrey M. L. The Artinian conjecture for I 2 , J. Pure Appl. Algebra, Volume 128 (1998) no. 3, pp. 291-310 (With an appendix by Lionel Schwartz) | Article | MR: 1626361 | Zbl: 0928.18004

[13] Powell, Geoffrey M. L. Polynomial filtrations and Lannes’ T-functor, K-Theory, Volume 13 (1998) no. 3, pp. 279-304 | Article | MR: 1609897 | Zbl: 0892.55009

[14] Powell, Geoffrey M. L. The structure of indecomposable injectives in generic representation theory, Trans. Amer. Math. Soc., Volume 350 (1998) no. 10, pp. 4167-4193 | Article | MR: 1458333 | Zbl: 0903.18006

[15] Powell, Geoffrey M. L. On Artinian objects in the category of functors between F 2 -vector spaces, Infinite length modules (Bielefeld, 1998) (Trends Math.), Birkhäuser, Basel, 2000, pp. 213-228 | MR: 1789217 | Zbl: pre01574533

Cited by Sources: