We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical -computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for for big enough (and we give a conjecture for smaller values of ). We also study the “twisting spectral sequence” converging to the extension groups between the twisted functors and . Many classical computations simply amount to the collapsing of this spectral sequence at the second page (for lacunary reasons), and it is also a convenient tool to study the effect of the Frobenius twist on groups. We prove many cases of collapsing, and we conjecture collapsing is a general fact.
Nous développons une nouvelle approche des calculs d’ dans la catégorie des foncteurs strictement polynomiaux, en nous basant sur les complexes de Troesch. Nous obtenons ainsi des démonstrations élémentaires de nombreux calculs classiques et de nouveaux résultats. En particulier, nous obtenons une version cohomologique des théorèmes fondamentaux de la théorie classique des invariants de pour suffisamment grand (et nous donnons une conjecture pour les plus petites valeurs de ). Nous étudions également une suite spectrale de torsion de Frobenius qui converge vers les groupes d’extensions entre foncteurs précomposés par le twist de Frobenius. De nombreux calculs classiques équivalent à l’effondrement de cette suite spectrale à la seconde page (par lacunarité), et elle constitue également un outil pratique pour étudier l’effet de la torsion de Frobenius sur les groupes d’extensions. Nous démontrons de nombreux cas d’effondrement, et nous conjecturons que l’effondrement a toujours lieu.
Keywords: strict polynomial functors, extensions, Frobenius twist, general linear group, cohomology algebras, functor homology, rational cohomology
Mot clés : foncteurs strictement polynomiaux, extensions, torsion de Frobenius, groupe linéaire, algèbres de cohomologie, homologie des foncteurs, cohomologie rationnelle
@article{ASENS_2012_4_45_1_53_0, author = {Touz\'e, Antoine}, title = {Troesch complexes and extensions of strict polynomial functors}, journal = {Annales scientifiques de l'\'Ecole Normale Sup\'erieure}, pages = {53--99}, publisher = {Soci\'et\'e math\'ematique de France}, volume = {Ser. 4, 45}, number = {1}, year = {2012}, doi = {10.24033/asens.2160}, mrnumber = {2961787}, zbl = {1253.20047}, language = {en}, url = {http://www.numdam.org/articles/10.24033/asens.2160/} }
TY - JOUR AU - Touzé, Antoine TI - Troesch complexes and extensions of strict polynomial functors JO - Annales scientifiques de l'École Normale Supérieure PY - 2012 SP - 53 EP - 99 VL - 45 IS - 1 PB - Société mathématique de France UR - http://www.numdam.org/articles/10.24033/asens.2160/ DO - 10.24033/asens.2160 LA - en ID - ASENS_2012_4_45_1_53_0 ER -
%0 Journal Article %A Touzé, Antoine %T Troesch complexes and extensions of strict polynomial functors %J Annales scientifiques de l'École Normale Supérieure %D 2012 %P 53-99 %V 45 %N 1 %I Société mathématique de France %U http://www.numdam.org/articles/10.24033/asens.2160/ %R 10.24033/asens.2160 %G en %F ASENS_2012_4_45_1_53_0
Touzé, Antoine. Troesch complexes and extensions of strict polynomial functors. Annales scientifiques de l'École Normale Supérieure, Serie 4, Volume 45 (2012) no. 1, pp. 53-99. doi : 10.24033/asens.2160. http://www.numdam.org/articles/10.24033/asens.2160/
[1] Representations and cohomology. I, second éd., Cambridge Studies in Advanced Math. 30, Cambridge Univ. Press, 1998. | MR | Zbl
,[2] Representations and cohomology. II, second éd., Cambridge Studies in Advanced Math. 31, Cambridge Univ. Press, 1998. | MR | Zbl
,[3] Extensions of strict polynomial functors, Ann. Sci. École Norm. Sup. 38 (2005), 773-792. | Numdam | MR | Zbl
,[4] Koszul duality and extensions of exponential functors, Adv. Math. 218 (2008), 969-982. | MR | Zbl
,[5] Rational and generic cohomology, Invent. Math. 39 (1977), 143-163. | MR | Zbl
, , & ,[6] A characteristic free approach to invariant theory, Adv. Math. 21 (1976), 330-354. | MR | Zbl
& ,[7] Cohomology of bifunctors, Proc. Lond. Math. Soc. 97 (2008), 514-544. | MR | Zbl
& ,[8] General linear and functor cohomology over finite fields, Ann. of Math. 150 (1999), 663-728. | MR | Zbl
, , & ,[9] Autour de la cohomologie de Mac Lane des corps finis, Invent. Math. 115 (1994), 513-538. | MR | Zbl
, & ,[10] Strict polynomial functors and coherent functors, Manuscripta Math. 127 (2008), 23-53. | MR | Zbl
& ,[11] Cohomology of finite group schemes over a field, Invent. Math. 127 (1997), 209-270. | MR | Zbl
& ,[12] Representations of algebraic groups, second éd., Mathematical Surveys and Monographs 107, Amer. Math. Soc., 2003. | Zbl
,[13] Cohomology with Grosshans graded coefficients, in Invariant theory in all characteristics, CRM Proc. Lecture Notes 35, Amer. Math. Soc., 2004, 127-138. | MR | Zbl
,[14] Projective resolutions of representations of , J. reine angew. Math. 482 (1997), 1-13. | MR | Zbl
,[15] Cohomology of classical algebraic groups from the functorial viewpoint, Adv. Math. 225 (2010), 33-68. | MR | Zbl
,[16] Universal classes for algebraic groups, Duke Math. J. 151 (2010), 219-249. | MR | Zbl
,[17] Bifunctor cohomology and cohomological finite generation for reductive groups, Duke Math. J. 151 (2010), 251-278. | MR | Zbl
& ,[18] Une résolution injective des puissances symétriques tordues, Ann. Inst. Fourier (Grenoble) 55 (2005), 1587-1634. | Numdam | MR | Zbl
,Cited by Sources: