Nous calculons les groupes d’Ext entre foncteurs exponentiels classiques (i.e. puissances symétriques, extérieures ou divisées), et leur précomposition par le foncteur de torsion de Frobenius. Notre méthode repose sur les constructions bar, et relie ces calculs d’Ext avec l’homologie des espaces d’Eilenberg et Mac Lane.
Cet article complète des résultats précédents de l’auteur, et fournit une approche alternative aux calculs d’Ext classiques dans la catégorie des foncteurs strictement polynomiaux sur un corps. Nous obtenons aussi des calculs d’Ext notables pour les foncteurs strictement polynomiaux sur les entiers.
We compute Ext-groups between classical exponential functors (i.e. symmetric, exterior or divided powers) and their Frobenius twists. Our method relies on bar constructions, and bridges these Ext-groups with the homology of Eilenberg-Mac Lane spaces.
This article completes earlier results of the author, and provides an alternative approach to classical Ext-computations in the category of strict polynomial functors over fields. We also obtain significant Ext-computations for strict polynomial functors over the integers.
@article{AIF_2014__64_6_2563_0, author = {Touz\'e, Antoine}, title = {Bar complexes and extensions of classical exponential functors}, journal = {Annales de l'Institut Fourier}, volume = {64}, year = {2014}, pages = {2563-2637}, doi = {10.5802/aif.2921}, zbl = {06387348}, mrnumber = {3331175}, language = {en}, url = {http://dml.mathdoc.fr/item/AIF_2014__64_6_2563_0} }
Touzé, Antoine. Bar complexes and extensions of classical exponential functors. Annales de l'Institut Fourier, Tome 64 (2014) pp. 2563-2637. doi : 10.5802/aif.2921. http://gdmltest.u-ga.fr/item/AIF_2014__64_6_2563_0/
[1] Extensions of symmetric tensors by alternating tensors, J. Algebra, Tome 121 (1989) no. 2, pp. 358-363 | Article | MR 992770 | Zbl 0682.14033
[2] Derived functors of the divided powers (ArXiv:1312.5676)
[3] Cohomology of groups, Springer-Verlag, New York-Berlin, Graduate Texts in Mathematics, Tome 87 (1982), pp. x+306 | MR 672956 | Zbl 0584.20036
[4] Algèbres d’Eilenberg Mac Lane et homotopie, Séminaire Henri Cartan de l’École Normale supérieure, 1954/1955, Secrétariat mathématique, 11 rue Pierre Curie, Paris (1955 (French)) (Available online on www.numdam.org) | Zbl 0067.15601
[5] Koszul duality and extensions of exponential functors, Adv. Math., Tome 218 (2008) no. 3, pp. 969-982 | Article | MR 2414328 | Zbl 1148.18008
[6] Rational and generic cohomology, Invent. Math., Tome 39 (1977) no. 2, pp. 143-163 | Article | MR 439856 | Zbl 0336.20036
[7] Homologie nicht-additiver Funktoren. Anwendungen, Ann. Inst. Fourier Grenoble, Tome 11 (1961), pp. 201-312 | Article | Numdam | MR 150183 | Zbl 0098.36005
[8] On the groups of . I, Ann. of Math. (2), Tome 58 (1953), pp. 55-106 | Article | MR 56295 | Zbl 0050.39304
[9] Commutative algebra, Springer-Verlag, New York, Graduate Texts in Mathematics, Tome 150 (1995), pp. xvi+785 (With a view toward algebraic geometry) | MR 1322960 | Zbl 0819.13001
[10] Rational representations, the Steenrod algebra and functor homology, Société Mathématique de France, Paris, Panoramas et Synthèses [Panoramas and Syntheses], Tome 16 (2003), pp. xxii+132 | MR 2117525 | Zbl 1061.18011
[11] General linear and functor cohomology over finite fields, Ann. of Math. (2), Tome 150 (1999) no. 2, pp. 663-728 | Article | MR 1726705 | Zbl 0952.20035
[12] Cohomology of finite group schemes over a field, Invent. Math., Tome 127 (1997) no. 2, pp. 209-270 | Article | MR 1427618 | Zbl 0945.14028
[13] Koszul, Ringel and Serre duality for strict polynomial functors, Compos. Math., Tome 149 (2013) no. 6, pp. 996-1018 | Article | MR 3077659 | Zbl 1293.20046
[14] Algebraic operads, Springer, Heidelberg, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Tome 346 (2012), pp. xxiv+634 | MR 2954392 | Zbl 1260.18001
[15] Homology, Springer-Verlag, Berlin, Classics in Mathematics (1995), pp. x+422 (Reprint of the 1975 edition) | MR 1344215 | Zbl 0818.18001
[16] Cohomologie modulo des complexes d’Eilenberg-MacLane, Comment. Math. Helv., Tome 27 (1953), pp. 198-232 | Article | MR 60234 | Zbl 0052.19501
[17] Infinitesimal -parameter subgroups and cohomology, J. Amer. Math. Soc., Tome 10 (1997) no. 3, pp. 693-728 | Article | MR 1443546 | Zbl 0960.14023
[18] Cohomology of classical algebraic groups from the functorial viewpoint, Adv. Math., Tome 225 (2010) no. 1, pp. 33-68 | Article | MR 2669348 | Zbl 1208.20043
[19] Troesch complexes and extensions of strict polynomial functors, Ann. Sci. Éc. Norm. Supér. (4), Tome 45 (2012) no. 1, pp. 53-99 | Numdam | MR 2961787 | Zbl 1253.20047
[20] An introduction to homological algebra, Cambridge University Press, Cambridge, Cambridge Studies in Advanced Mathematics, Tome 38 (1994), pp. xiv+450 | MR 1269324 | Zbl 0797.18001