Foncteurs de division et structure de $I^{\otimes 2}\otimes {\Lambda }^n$ dans la catégorie $ℱ$

Djament, Aurélien

Annales de l'Institut Fourier, Tome 57 (2007) no. 6, pp. 1771-1823.

Nous démontrons que dans la catégorie $ℱ$ des foncteurs entre espaces vectoriels sur ${𝔽}_2$, le produit tensoriel entre le second foncteur injectif standard non constant $V\mapsto {𝔽}_2^{{\left(V^{*}\right)}^{\oplus 2}}$ et un foncteur puissance extérieure est artinien. Seul était antérieurement connu le caractère artinien de cet injectif ; notre résultat constitue une étape pour l’étude du troisième foncteur injectif standard non constant de $ℱ$.

Nous utilisons le foncteur de division par le foncteur identité et des considérations issues de la théorie des représentations modulaires des groupes symétriques pour obtenir ce théorème par la détection de facteurs de composition convenables.

We prove that, in the category $ℱ$ of functors between ${𝔽}_2$-vector spaces, the tensor product between the second non constant standard injective functor $V\mapsto {𝔽}_2^{{\left(V^{*}\right)}^{\oplus 2}}$ and an exterior power functor is artinian. The only case known to date was the artinian character of this injective ; our result is a step in the study of the third non constant standard injective of $ℱ$.

We use the division functor by the identity functor and facts from modular representation theory of the symmetric groups to obtain this theorem by detecting suitable composition factors.

[1] Djament, Aurélien Catégories de foncteurs en grassmanniennes (2006) (arXiv :math.AT/0610598)

[2] Djament, Aurélien Catégories de foncteurs en grassmanniennes et filtration de Krull (2006) (arXiv :math.RT/0611861)

[3] Djament, Aurélien Représentations génériques des groupes linéaires : catégories de foncteurs en grassmanniennes, avec applications à la conjecture artinienne, Université Paris 13 (2006) (Ph. D. Thesis)

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

[5] Franjou, Vincent; Friedlander, Eric M.; Scorichenko, Alexander; Suslin, Andrei General linear and functor cohomology over finite fields, Ann. of Math. (2), Volume 150 (1999) no. 2, pp. 663-728 | DOI | MR | Zbl

[6] Gabriel, Pierre Des catégories abéliennes, Bull. Soc. Math. France, Volume 90 (1962), pp. 323-448 | Numdam | MR | Zbl

[7] Henn, Hans-Werner; Lannes, Jean; Schwartz, Lionel The categories of unstable modules and unstable algebras over the Steenrod algebra modulo nilpotent objects, Amer. J. Math., Volume 115 (1993) no. 5, pp. 1053-1106 | DOI | MR | Zbl

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

[9] 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 | DOI | MR | Zbl

[10] 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 | DOI | MR | Zbl

[11] Lannes, Jean Sur les espaces fonctionnels dont la source est le classifiant d’un $p$-groupe abélien élémentaire, Inst. Hautes Études Sci. Publ. Math. (1992) no. 75, pp. 135-244 (avec un appendice de Michel Zisman) | DOI | Numdam | Zbl

[12] Macdonald, I. G. Symmetric functions and Hall polynomials, Oxford Mathematical Monographs, The Clarendon Press Oxford University Press, New York, 1995 (With contributions by A. Zelevinsky, Oxford Science Publications) | MR | Zbl

[13] Piriou, Laurent Extensions entre foncteurs de la catégorie des espaces vectoriels sur le corps premier à $p$ éléments dans elle-même, Université Paris 7 (1995) (Ph. D. Thesis)

[14] Piriou, Laurent Sous-objets de $\overline{I}\otimes {\Lambda }^n$ dans la catégorie des foncteurs entre ${\mathbf{F}}_2$-espaces vectoriels, J. Algebra, Volume 194 (1997) no. 1, pp. 53-78 | DOI | MR | Zbl

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

[16] Powell, Geoffrey M. L. The Artinian conjecture for $I^{\otimes 2}$, J. Pure Appl. Algebra, Volume 128 (1998) no. 3, pp. 291-310 (With an appendix by Lionel Schwartz) | DOI | MR | Zbl

[17] Powell, Geoffrey M. L. Polynomial filtrations and Lannes’ $T$-functor, $K$-Theory, Volume 13 (1998) no. 3, pp. 279-304 | DOI | Zbl

[18] 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 | DOI | MR | Zbl

[19] Powell, Geoffrey M. L. On Artinian objects in the category of functors between ${\mathbf{F}}_2$-vector spaces, Infinite length modules (Bielefeld, 1998) (Trends Math.), Birkhäuser, Basel, 2000, pp. 213-228 | MR | Zbl

[20] Powell, Geoffrey M. L. The structure of the tensor product of ${\mathbf{F}}_2[-]$ with a finite functor between ${\mathbf{F}}_2$-vector spaces, Ann. Inst. Fourier (Grenoble), Volume 50 (2000) no. 3, pp. 781-805 | DOI | Numdam | MR | Zbl

[21] Schwartz, Lionel Unstable modules over the Steenrod algebra and Sullivan’s fixed point set conjecture, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1994 | Zbl