Soit la catégorie des foncteurs entre espaces vectoriels sur un corps fini. Les catégories de foncteurs en grassmanniennes sont obtenues en remplaçant la source de cette catégorie par la catégorie des couples formés d’un espace vectoriel et d’un élément d’une de ses grassmanniennes. Ces catégories possèdent une très riche structure algébrique ; nous étudions notamment leurs objets finis et leurs propriétés homologiques. Nous établissons ainsi une propriété très générale d’annulation en cohomologie des foncteurs, que nous appliquons à la -théorie stable des corps finis : nous obtenons une généralisation du théorème de Betley-Suslin exprimant des groupes d’extensions entre -modules en terme de cohomologie des foncteurs. Notre seconde application des catégories de foncteurs en grassmanniennes a trait à la filtration de Krull de la catégorie . Nous en donnons une description conjecturale, dont nous examinons les conséquences, très puissantes, sur la structure de la catégorie . À l’aide d’outils dus à G. Powell, nous démontrons une forme faible de cette conjecture, dans le cas où le corps de base a deux éléments. Nous utilisons ce résultat pour établir le caractère noethérien de nouveaux foncteurs.
Let be the category of functors between vector spaces over a finite field. The grassmannian functor categories are obtained by replacing the source of this category by the category of pairs formed by a vector space and an element of one of its grassmannians. These categories have a very rich algebraic structure ; we study in particular their finite objects and their homological properties. We give so a very general vanishing property in functor cohomology, which we apply to the stable -theory of finite fields : we obtain a generalization of the theorem of Betley-Suslin which expresses certain extension groups of -modules in term of functor cohomology. Our second application of the grassmannian functor categories concerns the Krull filtration of the category . We give a conjectural description of this filtration, of which we explore powerful implications. With the help of tools due to G. Powell, we show a weak form of this conjecture, in the case where the basis field has two elements. As a consequence, we establish the noetherian character of new functors.
Keywords: Catégories de foncteurs, algèbre homologique, filtration de Krull, groupes linéaires sur les corps finis, grassmanniennes, objets noethériens, $K$-théorie stable, représentations modulaires, foncteur différence et filtration polynomiale, (co)monades
Mot clés : Functors categories, homological algebra, Krull filtration, linear groups over finite fields, grassmannians, noetherian objects, stable $K$-theory, modular representations, difference functor and polynomial filtration, (co)monads
@book{MSMF_2007_2_111__1_0, author = {Djament, Aur\'elien}, title = {Foncteurs en grassmanniennes, filtration de {Krull} et cohomologie des foncteurs}, series = {M\'emoires de la Soci\'et\'e Math\'ematique de France}, publisher = {Soci\'et\'e math\'ematique de France}, number = {111}, year = {2007}, doi = {10.24033/msmf.423}, zbl = {1170.18001}, language = {en}, url = {http://archive.numdam.org/item/MSMF_2007_2_111__1_0/} }
TY - BOOK AU - Djament, Aurélien TI - Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs T3 - Mémoires de la Société Mathématique de France PY - 2007 IS - 111 PB - Société mathématique de France UR - http://archive.numdam.org/item/MSMF_2007_2_111__1_0/ DO - 10.24033/msmf.423 LA - en ID - MSMF_2007_2_111__1_0 ER -
%0 Book %A Djament, Aurélien %T Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs %S Mémoires de la Société Mathématique de France %D 2007 %N 111 %I Société mathématique de France %U http://archive.numdam.org/item/MSMF_2007_2_111__1_0/ %R 10.24033/msmf.423 %G en %F MSMF_2007_2_111__1_0
Djament, Aurélien. Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs. Mémoires de la Société Mathématique de France, Serie 2, no. 111 (2007), 248 p. doi : 10.24033/msmf.423. http://numdam.org/item/MSMF_2007_2_111__1_0/
[Aus66] “Coherent functors”, in Proc. Conf. Categorical Algebra La Jolla, 1965 , Springer, 1966, p. 189–231. | MR | Zbl
–[BB69] “Homology and standard constructions”, in Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), Springer, 1969, p. 245–335. | MR
& –[Bet99] “Stable -theory of finite fields”, -Theory 17 1999 , p. 103–111. | MR | Zbl
–[CR87] Methods of representation theory. Vol. II, Pure and Applied Mathematics (New York), John Wiley & Sons Inc., 1987. | MR
& –[CR90] —, Methods of representation theory. Vol. I, Wiley Classics Library, John Wiley & Sons Inc., 1990, reprint de l’édition originale de 1981.
[Dja06a] “Catégories de foncteurs en grassmanniennes”, 2006, arXiv: math.AT/0610598. | MR
–[Dja06b] —, “Catégories de foncteurs en grassmanniennes et filtration de Krull”, 2006, arXiv: math.RT/0611861.
[Dja06c] —, “Représentations génériques des groupes linéaires : catégories de foncteurs en grassmanniennes, avec applications à la conjecture artinienne”, thèse, Université Paris 13, 2006, disponible sur http://tel.archives-ouvertes.fr/tel-00119635.
[Dja07a] —, “Foncteurs de division et structure de dans la catégorie ”, Ann. Inst. Fourier Grenoble 57 (2007), p. 1771–1823. | MR | EuDML | Zbl | Numdam
[Dja07b] —, “Le foncteur entre -espaces vectoriels est noethérien”, 2007, arXiv: math.AT/0702667, soumis.
[Dwy80] “Twisted homological stability for general linear groups”, Ann. of Math. 2 111 (1980), p. 239–251. | MR | Zbl
–[FFPS03] Rational representations, the Steenrod algebra and functor homology, Panoramas & Synthèses, vol. 16, Soc. Math. France, 2003. | MR | Zbl
, , & –[FFSS99] “General linear and functor cohomology over finite fields”, Ann. of Math. 2 150 (1999), p. 663–728. | MR | EuDML | Zbl
, , & –[FLS94] “Autour de la cohomologie de Mac Lane des corps finis”, Invent. Math. 115 (1994), p. 513–538. | MR | EuDML
, & –[Fra96] “Extensions entre puissances extérieures et entre puissances symétriques”, J. Algebra 179 1996 , p. 501–522. | MR
–[Gab62] “Des catégories abéliennes”, Bull. Soc. Math. France 90 (1962), p. 323–448. | MR | EuDML | Zbl | Numdam
–[GJ81] “Dimensions cohomologiques reliées aux foncteurs ”, in Paul Dubreil and Marie-Paule Malliavin Algebra Seminar (Paris, 1980), Lecture Notes in Math., vol. 867, Springer, 1981, p. 234–294. | MR | Zbl
& –[GS05] “Un théorème d’annulation en cohomologie de Mac Lane”, C. R. Math. Acad. Sci. Paris 341 (2005), p. 119–122. | MR
& –[HLS93] “The categories of unstable modules and unstable algebras over the Steenrod algebra modulo nilpotent objects”, Amer. J. Math. 115 1993 , p. 1053–1106. | MR | Zbl
, & –[HLS95] —, “Localizations of unstable -modules and equivariant mod cohomology”, Math. Ann. 301 (1995), p. 23–68. | MR | EuDML | Zbl
[Hum87] “The Steinberg representation”, Bull. Amer. Math. Soc. N.S. 16 (1987), p. 247–263. | MR | Zbl
–[Jam78] The representation theory of the symmetric groups, Lecture Notes in Math., vol. 682, Springer, 1978. | MR
–[Jan03] Representations of algebraic groups, second éd., Mathematical Surveys and Monographs, vol. 107, Amer. Math. Soc., 2003. | MR
–[Jen72] Les foncteurs dérivés de et leurs applications en théorie des modules, Lecture Notes in Math., vol. 254, Springer, 1972. | MR
–[JP91] “Cohomology of algebraic theories”, J. Algebra 137 1991 , p. 253–296. | MR | Zbl
& –[Kra01] “The spectrum of a module category”, Mem. Amer. Math. Soc. 149 (2001). | MR | Zbl
–[Kuh94a] “Generic representations of the finite general linear groups and the Steenrod algebra. I”, Amer. J. Math. 116 1994 , p. 327–360. | MR | Zbl
–[Kuh94b] —, “Generic representations of the finite general linear groups and the Steenrod algebra. II”, -Theory 8 (1994), p. 395–428. | MR | Zbl
[Kuh95] —, “Generic representations of the finite general linear groups and the Steenrod algebra. III”, -Theory 9 1995 , p. 273–303. | MR
[Kuh02] —, “A stratification of generic representation theory and generalized Schur algebras”, -Theory 26 (2002), p. 15–49. | MR | Zbl
[Lan92] “Sur les espaces fonctionnels dont la source est le classifiant d’un -groupe abélien élémentaire”, Publ. Math. Inst. Hautes Études Sci. 1992 , p. 135–244, avec un appendice de Michel Zisman. | MR | EuDML
–[Lod98] Cyclic homology, 2nde éd., Grundlehren Math. Wiss., vol. 301, Springer, 1998, Appendice E par María O. Ronco, Chapitre 13 par l’auteur en collaboration avec T. Pirashvili. | Zbl
–[LZ87] “Sur les foncteurs dérivés de la déstabilisation”, Math. Z. 194 1987 , p. 25–59. | MR | EuDML | Zbl
& –[LZ95] —, “Théorie de Smith algébrique et classification des --injectifs”, Bull. Soc. Math. France 123 (1995), p. 189–223. | MR | EuDML
[Mit72] “Rings with several objects”, Adv. Math. 8 1972 , p. 1–161. | MR | Zbl
–[Mit86] “On the Steinberg module, representations of the symmetric groups, and the Steenrod algebra”, J. Pure Appl. Algebra 39 (1986), p. 275–281. | MR | Zbl
–[ML57] “Homologie des anneaux et des modules”, in Colloque de topologie algébrique, Louvain, 1956, Georges Thone, 1957, p. 55–80. | MR
–[ML63] —, Homology, Grundlehren Math. Wiss., vol. 114, Academic Press Inc., 1963. | Zbl
[ML71] —, Categories for the working mathematician, Grad. Texts in Math., vol. 5, Springer, 1971. | Zbl
[Pir97] “Sous-objets de dans la catégorie des foncteurs entre -espaces vectoriels”, J. Algebra 194 1997 , p. 53–78. | MR
–[Pir02] “Polynomial functors over finite fields (after Franjou, Friedlander, Henn, Lannes, Schwartz, Suslin)”, in Séminaire Bourbaki, Vol. 1999/2000, Astérisque, vol. 276, Soc. Math. France, 2002, p. 369–388. | MR | EuDML | Numdam
–[Pir03] —, “André-Quillen homology via functor homology”, Proc. Amer. Math. Soc. 131 2003 , p. 1687–1694. | MR | Zbl
[Pop73] Abelian categories with applications to rings and modules, London Math. Soc. Monogr. Ser., vol. 3, Academic Press, 1973. | MR | Zbl
–[Pow98a] “The Artinian conjecture for ”, J. Pure Appl. Algebra 128 1998 , p. 291–310, avec un appendice de L. Schwartz. | MR | Zbl
–[Pow98b] —, “Polynomial filtrations and Lannes’ -functor”, -Theory 13 (1998), p. 279–304. | MR | Zbl
[Pow98c] —, “The structure of indecomposable injectives in generic representation theory”, Trans. Amer. Math. Soc. 350 1998 , p. 4167–4193. | MR | Zbl
[Pow00a] —, “On Artinian objects in the category of functors between -vector spaces”, in Infinite length modules (Bielefeld, 1998), Trends Math., Birkhäuser, 2000, p. 213–228. | MR | Zbl
[Pow00b] —, “The structure of the tensor product of with a finite functor between -vector spaces”, Ann. Inst. Fourier Grenoble 50 (2000), p. 781–805. | MR | EuDML | Zbl | Numdam
[Pow01] —, “The tensor product theorem for -nilpotence and the dimension of unstable modules”, Math. Proc. Cambridge Philos. Soc. 130 (2001), p. 427–439. | MR | Zbl
[Pow06] —, “Endomorphisms of in the category of unstable modules”, Math. Z. 254 (2006), p. 55–115. | MR | Zbl
[PR02] “Hochschild and cyclic homology via functor homology”, -Theory 25 (2002), p. 39–49. | MR | Zbl
& –[PS98] “Extensions de foncteurs simples”, -Theory 15 1998 , p. 269–291. | MR
& –[PW92] “Mac Lane homology and topological Hochschild homology”, J. Pure Appl. Algebra 82 (1992), p. 81–98. | MR | Zbl
& –[Sch94] Unstable modules over the Steenrod algebra and Sullivan’s fixed point set conjecture, Chicago Lectures in Math., University of Chicago Press, 1994. | MR | Zbl
–[Ves05] “La catégorie des foncteurs de Mackey généralisés pour les formes quadratiques sur ”, thèse, Université Paris 13, 2005, http://tel.ccsd.cnrs.fr/tel-00011892.
–[Ves08] —, “Generic representations of orthogonal groups: the functor category ”, J. Pure Appl. Algebra 212 (2008), p. 1472–1499. | MR | Zbl
Cited by Sources: