The functor between -vector spaces is noetherian

Aurélien Djament[1]

  • [1] Université de Nantes Laboratoire de mathématiques Jean Leray 2 rue de la Houssinière BP 92208 44322 Nantes cedex 3 (France)

Annales de l’institut Fourier (2009)

  • Volume: 59, Issue: 2, page 459-490
  • ISSN: 0373-0956

Abstract

top
Functors between vector spaces, or generic representations of linear groups after Kuhn intervene in algebraic topology and in -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 -vector spaces, the tensor product between , where denotes the projective functor , and a functor of finite length is noetherian and we determine its structure. The only case known to date was the noetherian character of for 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.

How to cite

top

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 59.2 (2009): 459-490. <http://eudml.org/doc/10400>.

@article{Djament2009,
abstract = {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 $\mathcal\{F\}$ des foncteurs entre espaces vectoriels sur $\mathbb\{F\}_2$, le produit tensoriel entre $P^\{\otimes 3\}$, où $P$ désigne le foncteur projectif $V\mapsto \mathbb\{F\}_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^\{\otimes 2\}\otimes 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 $\mathcal\{F\}$ à 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.},
affiliation = {Université de Nantes Laboratoire de mathématiques Jean Leray 2 rue de la Houssinière BP 92208 44322 Nantes cedex 3 (France)},
author = {Djament, Aurélien},
journal = {Annales de l’institut Fourier},
keywords = {Functor categories; modular representations; linear groups; division functors; Krull filtration; grassmannians},
language = {fre},
number = {2},
pages = {459-490},
publisher = {Association des Annales de l’institut Fourier},
title = {Le foncteur $V\mapsto \{\mathbb\{F\}_2\}[V]^\{\otimes 3\}$ entre $\mathbb\{F\}_2$-espaces vectoriels est noethérien},
url = {http://eudml.org/doc/10400},
volume = {59},
year = {2009},
}

TY - JOUR
AU - Djament, Aurélien
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
PB - Association des Annales de l’institut Fourier
VL - 59
IS - 2
SP - 459
EP - 490
AB - 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 $\mathcal{F}$ des foncteurs entre espaces vectoriels sur $\mathbb{F}_2$, le produit tensoriel entre $P^{\otimes 3}$, où $P$ désigne le foncteur projectif $V\mapsto \mathbb{F}_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^{\otimes 2}\otimes 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 $\mathcal{F}$ à 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.
LA - fre
KW - Functor categories; modular representations; linear groups; division functors; Krull filtration; grassmannians
UR - http://eudml.org/doc/10400
ER -

References

top
  1. Charles W. Curtis, Irving Reiner, Methods of representation theory. Vol. I, (1990), John Wiley & Sons Inc., New York Zbl0698.20001MR1038525
  2. Aurélian Djament, Foncteurs de division et structure de dans la catégorie , Ann. Inst. Fourier (Grenoble) 57 (2007), 1771-1823 Zbl1132.18002MR2377886
  3. Aurélien Djament, Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs, Mém. Soc. Math. Fr. (N.S.) (2007) Zbl1170.18001
  4. Vincent Franjou, Extensions entre puissances extérieures et entre puissances symétriques, J. Algebra 179 (1996), 501-522 Zbl0841.55012MR1367860
  5. Vincent Franjou, Eric M. Friedlander, Teimuraz Pirashvili, Lionel Schwartz, Rational representations, the Steenrod algebra and functor homology, 16 (2003), Société Mathématique de France, Paris Zbl1061.18011MR2117525
  6. G. D. James, The representation theory of the symmetric groups, 682 (1978), Springer, Berlin Zbl0393.20009MR513828
  7. Nicholas J. Kuhn, Generic representations of the finite general linear groups and the Steenrod algebra. I, Amer. J. Math. 116 (1994), 327-360 Zbl0813.20049MR1269607
  8. Nicholas J. Kuhn, Generic representations of the finite general linear groups and the Steenrod algebra. II, -Theory 8 (1994), 395-428 Zbl0830.20065MR1300547
  9. Stephen Mitchell, On the Steinberg module, representations of the symmetric groups, and the Steenrod algebra, J. Pure Appl. Algebra 39 (1986), 275-281 Zbl0593.20006MR821892
  10. Laurent Piriou, Lionel Schwartz, Extensions de foncteurs simples, -Theory 15 (1998), 269-291 Zbl0918.20036MR1659961
  11. N. Popescu, Abelian categories with applications to rings and modules, (1973), Academic Press, London Zbl0271.18006MR340375
  12. Geoffrey M. L. Powell, The Artinian conjecture for , J. Pure Appl. Algebra 128 (1998), 291-310 Zbl0928.18004MR1626361
  13. Geoffrey M. L. Powell, Polynomial filtrations and Lannes’ -functor, -Theory 13 (1998), 279-304 Zbl0892.55009MR1609897
  14. Geoffrey M. L. Powell, The structure of indecomposable injectives in generic representation theory, Trans. Amer. Math. Soc. 350 (1998), 4167-4193 Zbl0903.18006MR1458333
  15. Geoffrey M. L. Powell, On Artinian objects in the category of functors between -vector spaces, Infinite length modules (Bielefeld, 1998) (2000), 213-228, Birkhäuser, Basel Zbl1160.18305MR1789217

NotesEmbed ?

top

You must be logged in to post comments.