On the homology with twisted coefficients of orthogonal and symplectic groups

Aurélien Djament; Christine Vespa

Annales scientifiques de l'École Normale Supérieure (2010)

  • Volume: 43, Issue: 3, page 395-459
  • ISSN: 0012-9593

Abstract

top
We compute the stable homology of orthogonal and symplectic groups, over a finite field k , when the coefficients module is twisted by a usual endofunctor F of k -vector spaces (e.g. an exterior, a symmetric, or a divided power) — that is, for each natural integer i , we compute the colimit of the vector spaces H i ( O n , n ( k ) ; F ( k 2 n ) ) and H i ( Sp 2 n ( k ) ; F ( k 2 n ) ) . Stabilization in this situation is a classical result of Charney. We first set a formal framework, within which the stable homology of some families of groups relates through a spectral sequence to the homology of suitable small categories. The spectral sequence collapses in many cases. We illustrate this purely algebraic method to retrieve results of Betley for the stable homology of the general linear groups and of the symmetric groups. We then apply our approach to orthogonal and symplectic groups over a finite field. To this end, we reinterpret the second page of our spectral sequence with Mackey functors and use their acyclicity properties. It allows us to simplify the second page of the spectral sequence, by using powerful cancellation results for functor homology. For the orthogonal as for the symplectic groups over a finite field, and for coefficients modules over the same field, we compute the second page of the spectral sequence. Classical results prove useful at this point: homological cancellation with trivial coefficients (Quillen, Fiedorowicz-Priddy), and calculation of the torsion groups between usual functors (Franjou-Friedlander-Scorichenko-Suslin, Chałupnik). This provides extensive computations of stable homology with coefficients.

How to cite

top

Djament, Aurélien, and Vespa, Christine. "Sur l’homologie des groupes orthogonaux et symplectiques à coefficients tordus." Annales scientifiques de l'École Normale Supérieure 43.3 (2010): 395-459. <http://eudml.org/doc/272215>.

@article{Djament2010,
abstract = {On calcule dans cet article l’homologie stable des groupes orthogonaux et symplectiques sur un corps fini $k$ à coefficients tordus par un endofoncteur usuel $F$ des $k$-espaces vectoriels (puissance extérieure, symétrique, divisée...). Par homologie stable, on entend, pour tout entier naturel $i$, les colimites des espaces vectoriels $H_i(O_\{n,n\}(k) ; F(k^\{2n\}))$ et $H_i(\{\mathrm \{Sp\}\}_\{2n\}(k) ; F(k^\{2n\}))$ — dans cette situation, la stabilisation (avec une borne explicite en fonction de $i$ et $F$) est un résultat classique de Charney. Tout d’abord, nous donnons un cadre formel pour relier l’homologie stable de certaines suites de groupes à l’homologie de petites catégories convenables, à l’aide d’une suite spectrale, qui dégénère dans de nombreux cas favorables. Cela nous permet d’ailleurs de retrouver des résultats de Betley sur l’homologie stable des groupes linéaires et des groupes symétriques, par des méthodes purement algébriques (sans recours à la $K$-théorie stable). Pour une application exploitable de ce formalisme aux groupes orthogonaux ou symplectiques sur un corps fini, nous réinterprétons la deuxième page de notre suite spectrale en termes de foncteurs de Mackey non additifs et utilisons leurs propriétés d’acyclicité. Cela permet d’obtenir une simplification spectaculaire de la deuxième page de la suite spectrale en employant de puissants résultats d’annulation connus en homologie des foncteurs. Dans le cas où les groupes orthogonaux ou symplectiques sont pris sur un corps fini et les coefficients à valeurs dans les espaces vectoriels sur ce même corps, nous pouvons mener le calcul de cette deuxième page grâce à des résultats classiques : annulation homologique à coefficients triviaux (Quillen, Fiedorowicz-Priddy), et calcul des groupes de torsion entre foncteurs usuels (Franjou-Friedlander-Scorichenko-Suslin, Chałupnik). Ceci permet de nombreux calculs d’homologie stable à coefficients.},
author = {Djament, Aurélien, Vespa, Christine},
journal = {Annales scientifiques de l'École Normale Supérieure},
keywords = {stable homology; orthogonal groups; symplectic groups; functor homology; non-additive Mackey functors},
language = {fre},
number = {3},
pages = {395-459},
publisher = {Société mathématique de France},
title = {Sur l’homologie des groupes orthogonaux et symplectiques à coefficients tordus},
url = {http://eudml.org/doc/272215},
volume = {43},
year = {2010},
}

TY - JOUR
AU - Djament, Aurélien
AU - Vespa, Christine
TI - Sur l’homologie des groupes orthogonaux et symplectiques à coefficients tordus
JO - Annales scientifiques de l'École Normale Supérieure
PY - 2010
PB - Société mathématique de France
VL - 43
IS - 3
SP - 395
EP - 459
AB - On calcule dans cet article l’homologie stable des groupes orthogonaux et symplectiques sur un corps fini $k$ à coefficients tordus par un endofoncteur usuel $F$ des $k$-espaces vectoriels (puissance extérieure, symétrique, divisée...). Par homologie stable, on entend, pour tout entier naturel $i$, les colimites des espaces vectoriels $H_i(O_{n,n}(k) ; F(k^{2n}))$ et $H_i({\mathrm {Sp}}_{2n}(k) ; F(k^{2n}))$ — dans cette situation, la stabilisation (avec une borne explicite en fonction de $i$ et $F$) est un résultat classique de Charney. Tout d’abord, nous donnons un cadre formel pour relier l’homologie stable de certaines suites de groupes à l’homologie de petites catégories convenables, à l’aide d’une suite spectrale, qui dégénère dans de nombreux cas favorables. Cela nous permet d’ailleurs de retrouver des résultats de Betley sur l’homologie stable des groupes linéaires et des groupes symétriques, par des méthodes purement algébriques (sans recours à la $K$-théorie stable). Pour une application exploitable de ce formalisme aux groupes orthogonaux ou symplectiques sur un corps fini, nous réinterprétons la deuxième page de notre suite spectrale en termes de foncteurs de Mackey non additifs et utilisons leurs propriétés d’acyclicité. Cela permet d’obtenir une simplification spectaculaire de la deuxième page de la suite spectrale en employant de puissants résultats d’annulation connus en homologie des foncteurs. Dans le cas où les groupes orthogonaux ou symplectiques sont pris sur un corps fini et les coefficients à valeurs dans les espaces vectoriels sur ce même corps, nous pouvons mener le calcul de cette deuxième page grâce à des résultats classiques : annulation homologique à coefficients triviaux (Quillen, Fiedorowicz-Priddy), et calcul des groupes de torsion entre foncteurs usuels (Franjou-Friedlander-Scorichenko-Suslin, Chałupnik). Ceci permet de nombreux calculs d’homologie stable à coefficients.
LA - fre
KW - stable homology; orthogonal groups; symplectic groups; functor homology; non-additive Mackey functors
UR - http://eudml.org/doc/272215
ER -

References

top
  1. [1] J. Bénabou, Introduction to bicategories, in Reports of the Midwest Category Seminar, Springer, 1967, 1–77. MR220789
  2. [2] S. Betley, Vanishing theorems for homology of Gl n R , J. Pure Appl. Algebra58 (1989), 213–226. Zbl0686.20036MR1004602
  3. [3] S. Betley, Homology of Gl ( R ) with coefficients in a functor of finite degree, J. Algebra150 (1992), 73–86. Zbl0808.20042MR1174889
  4. [4] S. Betley, Stable K -theory of finite fields, K -Theory 17 (1999), 103–111. Zbl0929.19002MR1696427
  5. [5] S. Betley, Twisted homology of symmetric groups, Proc. Amer. Math. Soc.130 (2002), 3439–3445. Zbl1003.20046MR1918818
  6. [6] S. Betley & T. Pirashvili, Stable K -theory as a derived functor, J. Pure Appl. Algebra 96 (1994), 245–258 (electronic). Zbl0812.19002MR1303284
  7. [7] M. Chałupnik, Koszul duality and extensions of exponential functors, Adv. Math.218 (2008), 969–982. Zbl1148.18008MR2414328
  8. [8] R. Charney, A generalization of a theorem of Vogtmann, in Proceedings of the Northwestern conference on cohomology of groups (Evanston, Ill., 1985), 44, 1987, 107–125. Zbl0615.20024MR885099
  9. [9] A. Djament, Foncteurs en grassmanniennes, filtration de Krull et cohomologie des foncteurs, Mém. Soc. Math. Fr. 111 (2007). Zbl1170.18001MR2482711
  10. [10] A. Djament, Les résultats d’annulation homologique de Scorichenko, preprint http://hal.archives-ouvertes.fr/hal-00411929/, 2009. 
  11. [11] A. Dold, Zur Homotopietheorie der Kettenkomplexe, Math. Ann.140 (1960), 278–298. Zbl0093.36903MR112906
  12. [12] Z. Fiedorowicz & S. Priddy, Homology of classical groups over finite fields and their associated infinite loop spaces, Lecture Notes in Math. 674, Springer, 1978. Zbl0403.55010MR513424
  13. [13] V. Franjou, E. M. Friedlander, T. Pirashvili & L. Schwartz, Rational representations, the Steenrod algebra and functor homology, Panoramas et Synthèses 16, Soc. Math. France, 2003. Zbl1061.18011MR2117525
  14. [14] V. Franjou, E. M. Friedlander, A. Scorichenko & A. Suslin, General linear and functor cohomology over finite fields, Ann. of Math.150 (1999), 663–728. Zbl0952.20035MR1726705
  15. [15] V. Franjou, J. Lannes & L. Schwartz, Autour de la cohomologie de Mac Lane des corps finis, Invent. Math.115 (1994), 513–538. Zbl0798.18009MR1262942
  16. [16] E. M. Friedlander & A. Suslin, Cohomology of finite group schemes over a field, Invent. Math.127 (1997), 209–270. Zbl0945.14028MR1427618
  17. [17] P. Gabriel, Des catégories abéliennes, Bull. Soc. Math. France90 (1962), 323–448. Zbl0201.35602
  18. [18] P. Gabriel & M. Zisman, Calculus of fractions and homotopy theory, Ergebn. Math. Grenzg. 35, Springer New York, Inc., New York, 1967. Zbl0186.56802MR210125
  19. [19] C. Kassel, La K -théorie stable, Bull. Soc. Math. France110 (1982), 381–416. Zbl0507.18003MR694757
  20. [20] N. J. Kuhn, Computations in generic representation theory : maps from symmetric powers to composite functors, Trans. Amer. Math. Soc.350 (1998), 4221–4233. Zbl0940.55019MR1443197
  21. [21] J.-L. Loday, Cyclic homology, Grund. Math. Wiss. 301, Springer, 1998. Zbl0885.18007MR1600246
  22. [22] A. Pfister, Quadratic forms with applications to algebraic geometry and topology, London Mathematical Society Lecture Note Series 217, Cambridge Univ. Press, 1995. Zbl0847.11014MR1366652
  23. [23] T. Pirashvili, Dold-Kan type theorem for Γ -groups, Math. Ann.318 (2000), 277–298. Zbl0963.18006MR1795563
  24. [24] T. Pirashvili, Hodge decomposition for higher order Hochschild homology, Ann. Sci. École Norm. Sup.33 (2000), 151–179. Zbl0957.18004MR1755114
  25. [25] D. Quillen, On the cohomology and K -theory of the general linear groups over a finite field, Ann. of Math.96 (1972), 552–586. Zbl0249.18022MR315016
  26. [26] W. Scharlau, Quadratic and Hermitian forms, Grund. Math. Wiss. 270, Springer, 1985. Zbl0584.10010MR770063
  27. [27] A. Scorichenko, Stable K-theory and functor homology over a ring, Thèse, Evanston, 2000. MR2700820
  28. [28] R. P. Stanley, Enumerative combinatorics. Vol. 1, Cambridge Studies in Advanced Math. 49, Cambridge Univ. Press, 1997. Zbl0889.05001MR1442260
  29. [29] A. Touzé, Universal classes for algebraic groups, Duke Math. J.151 (2010), 219–249. Zbl1196.20052MR2598377
  30. [30] A. Touzé, Cohomology of classical algebraic groups from the functorial point of view, preprint arXiv :0902.4459, à paraître dans Advances in Math. Zbl1208.20043
  31. [31] A. Touzé & W. van der Kallen, Bifunctor cohomology and cohomological finite generation for reductive groups, Duke Math. J.151 (2010), 251–278. Zbl1196.20053MR2598378
  32. [32] A. Troesch, Quelques calculs de cohomologie de compositions de puissances symétriques, Comm. Algebra30 (2002), 3351–3382. Zbl1005.18010MR1915001
  33. [33] C. Vespa, Generic representations of orthogonal groups : the functor category ℱ quad , J. Pure Appl. Algebra212 (2008), 1472–1499. Zbl1137.18001MR2391661

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.