Reduced standard modules and cohomology
HTML articles powered by AMS MathViewer
- by Edward T. Cline, Brian J. Parshall and Leonard L. Scott PDF
- Trans. Amer. Math. Soc. 361 (2009), 5223-5261 Request permission
Abstract:
First cohomology groups of finite groups with nontrivial irreducible coefficients have been useful in several geometric and arithmetic contexts, including Wiles’s famous paper (1995). Internal to group theory, $1$-cohomology plays a role in the general theory of maximal subgroups of finite groups, as developed by Aschbacher and Scott (1985).One can pass to the case where the group acts faithfully and the underlying module is absolutely irreducible. In this case, R. Guralnick (1986) conjectured that there is a universal constant bounding all of the dimensions of these cohomology groups. This paper provides the first general positive results on this conjecture, proving that the generic 1-cohomology $H^1_{\operatorname {gen}}(G,L) \coloneq \underset {q\to \infty }{\lim } H^1(G(q),L)$ (see Cline, Parshall, Scott, and van der Kallen) (1977) of a finite group $G(q)$ of Lie type, with absolutely irreducible coefficients $L$ (in the defining characteristic of $G$), is bounded by a constant depending only on the root system. In all cases, we are able to improve this result to a bound on $H^1(G(q),L)$ itself, still depending only on the root system. The generic $H^1$ result, and related results for $\operatorname {Ext}^1$, emerge here as a consequence of a general study, of interest in its own right, of the homological properties of certain rational modules $\Delta ^{\mathrm {red}}(\lambda ), \nabla _{\mathrm {red}}(\lambda )$, indexed by dominant weights $\lambda$, for a reductive group $G$. The modules $\Delta ^{\mathrm {red}}(\lambda )$ and $\nabla _{\mathrm {red}}(\lambda )$ arise naturally from irreducible representations of the quantum enveloping algebra $U_\zeta$ (of the same type as $G$) at a $p$th root of unity, where $p>0$ is the characteristic of the defining field for $G$. Finally, we apply our $\operatorname {Ext}^1$-bounds, results of Bendel, Nakano, and Pillen (2006), as well as results of Sin (1993), (1992), (1994) on the Ree and Suzuki groups to obtain the (non-generic) bounds on $H^1(G(q),L)$.References
- Henning Haahr Andersen, Extensions of modules for algebraic groups, Amer. J. Math. 106 (1984), no. 2, 489–504. MR 737781, DOI 10.2307/2374311
- Henning Haahr Andersen, $p$-filtrations and the Steinberg module, J. Algebra 244 (2001), no. 2, 664–683. MR 1859043, DOI 10.1006/jabr.2000.8745
- Henning Haahr Andersen and Jens Carsten Jantzen, Cohomology of induced representations for algebraic groups, Math. Ann. 269 (1984), no. 4, 487–525. MR 766011, DOI 10.1007/BF01450762
- H. Andersen, J. Jantzen, and W. Soergel, Representations of quantum groups at a $p$th root of unity and of semisimple groups in characteristic $p$, Astérique 220 (1994).
- Henning Haahr Andersen, Patrick Polo, and Ke Xin Wen, Representations of quantum algebras, Invent. Math. 104 (1991), no. 1, 1–59. MR 1094046, DOI 10.1007/BF01245066
- M. Aschbacher and L. Scott, Maximal subgroups of finite groups, J. Algebra 92 (1985), no. 1, 44–80. MR 772471, DOI 10.1016/0021-8693(85)90145-0
- George S. Avrunin, Generic cohomology for twisted groups, Trans. Amer. Math. Soc. 268 (1981), no. 1, 247–253. MR 628457, DOI 10.1090/S0002-9947-1981-0628457-4
- Christopher P. Bendel, Daniel K. Nakano, and Cornelius Pillen, Extensions for finite groups of Lie type. II. Filtering the truncated induction functor, Representations of algebraic groups, quantum groups, and Lie algebras, Contemp. Math., vol. 413, Amer. Math. Soc., Providence, RI, 2006, pp. 1–23. MR 2262362, DOI 10.1090/conm/413/07837
- N. Bourbaki, Éléments de mathématique. Fasc. XXXIV. Groupes et algèbres de Lie. Chapitre IV: Groupes de Coxeter et systèmes de Tits. Chapitre V: Groupes engendrés par des réflexions. Chapitre VI: systèmes de racines, Actualités Scientifiques et Industrielles [Current Scientific and Industrial Topics], No. 1337, Hermann, Paris, 1968 (French). MR 0240238
- J. Bray and R. Wilson, Examples of $3$-dimensional $1$-cohomology for absolutely irreducible modules of finite simple groups, to appear.
- C. Chevalley, Sur certains groupes simples, Tohoku Math. J. (2) 7 (1955), 14–66 (French). MR 73602, DOI 10.2748/tmj/1178245104
- Edward T. Cline, Brian J. Parshall, and Leonard L. Scott, Detecting rational cohomology of algebraic groups, J. London Math. Soc. (2) 28 (1983), no. 2, 293–300. MR 713384, DOI 10.1112/jlms/s2-28.2.293
- Edward Cline, Brian Parshall, and Leonard Scott, Abstract Kazhdan-Lusztig theories, Tohoku Math. J. (2) 45 (1993), no. 4, 511–534. MR 1245719, DOI 10.2748/tmj/1178225846
- E. Cline, B. Parshall, and L. Scott, The homological dual of a highest weight category, Proc. London Math. Soc. (3) 68 (1994), no. 2, 294–316. MR 1253506, DOI 10.1112/plms/s3-68.2.294
- Edward Cline, Brian Parshall, and Leonard Scott, Simulating perverse sheaves in modular representation theory, Algebraic groups and their generalizations: classical methods (University Park, PA, 1991) Proc. Sympos. Pure Math., vol. 56, Amer. Math. Soc., Providence, RI, 1994, pp. 63–104. MR 1278701
- Edward Cline, Brian Parshall, and Leonard Scott, Generic and $q$-rational representation theory, Publ. Res. Inst. Math. Sci. 35 (1999), no. 1, 31–90. MR 1681236, DOI 10.2977/prims/1195144189
- Edward Cline, Brian Parshall, and Leonard Scott, On Ext-transfer for algebraic groups, Transform. Groups 9 (2004), no. 3, 213–236. MR 2079133, DOI 10.1007/s00031-004-7011-5
- E. Cline, B. Parshall, L. Scott, and Wilberd van der Kallen, Rational and generic cohomology, Invent. Math. 39 (1977), no. 2, 143–163. MR 439856, DOI 10.1007/BF01390106
- J. H. Conway, R. T. Curtis, S. P. Norton, R. A. Parker, and R. A. Wilson, $\Bbb {ATLAS}$ of finite groups, Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups; With computational assistance from J. G. Thackray. MR 827219
- Jie Du and Leonard Scott, Lusztig conjectures, old and new. I, J. Reine Angew. Math. 455 (1994), 141–182. MR 1293877, DOI 10.1515/crll.1994.455.141
- Eric M. Friedlander and Brian J. Parshall, Cohomology of infinitesimal and discrete groups, Math. Ann. 273 (1986), no. 3, 353–374. MR 824427, DOI 10.1007/BF01450727
- Dieter Happel, Triangulated categories in the representation theory of finite-dimensional algebras, London Mathematical Society Lecture Note Series, vol. 119, Cambridge University Press, Cambridge, 1988. MR 935124, DOI 10.1017/CBO9780511629228
- Robert M. Guralnick, The dimension of the first cohomology group, Representation theory, II (Ottawa, Ont., 1984) Lecture Notes in Math., vol. 1178, Springer, Berlin, 1986, pp. 94–97. MR 842479, DOI 10.1007/BFb0075290
- Robert M. Guralnick and Corneliu Hoffman, The first cohomology group and generation of simple groups, Groups and geometries (Siena, 1996) Trends Math., Birkhäuser, Basel, 1998, pp. 81–89. MR 1644977, DOI 10.1007/bf01214004
- R. Guralnick, Cohomology and permutations, Oberwolfach Report No. 15/2006 (2006), 13–15. (This article reports on the preprints, “Presentations of finite simple groups: cohomological and profinite approaches” and “Presentations of finite simple groups: a quantative approach” by R. Guralnick, W. Kantor, M. Kassabov, and A. Lubotzky.)
- Jens Carsten Jantzen, Representations of algebraic groups, 2nd ed., Mathematical Surveys and Monographs, vol. 107, American Mathematical Society, Providence, RI, 2003. MR 2015057
- Jens Carsten Jantzen, Lectures on quantum groups, Graduate Studies in Mathematics, vol. 6, American Mathematical Society, Providence, RI, 1996. MR 1359532, DOI 10.1090/gsm/006
- Shin-ichi Kato, On the Kazhdan-Lusztig polynomials for affine Weyl groups, Adv. in Math. 55 (1985), no. 2, 103–130. MR 772611, DOI 10.1016/0001-8708(85)90017-9
- D. Kazhdan and G. Lusztig, Tensor structures arising from affine Lie algebras, I–III; IV–VI, J. Amer. Math. Soc. 6 (1993), 905-1011; 7 (1994), 335–453.
- Shrawan Kumar, Niels Lauritzen, and Jesper Funch Thomsen, Frobenius splitting of cotangent bundles of flag varieties, Invent. Math. 136 (1999), no. 3, 603–621. MR 1695207, DOI 10.1007/s002220050320
- Zongzhu Lin, Highest weight modules for algebraic groups arising from quantum groups, J. Algebra 208 (1998), no. 1, 276–303. MR 1644011, DOI 10.1006/jabr.1998.7488
- George Lusztig, Some problems in the representation theory of finite Chevalley groups, The Santa Cruz Conference on Finite Groups (Univ. California, Santa Cruz, Calif., 1979) Proc. Sympos. Pure Math., vol. 37, Amer. Math. Soc., Providence, R.I., 1980, pp. 313–317. MR 604598
- George Lusztig, Quantum groups at roots of $1$, Geom. Dedicata 35 (1990), no. 1-3, 89–113. MR 1066560, DOI 10.1007/BF00147341
- Brian J. Parshall and Leonard L. Scott, Quantum Weyl reciprocity for cohomology, Proc. London Math. Soc. (3) 90 (2005), no. 3, 655–688. MR 2137826, DOI 10.1112/S0024611504015047
- Brian J. Parshall and Leonard L. Scott, Extensions, Levi subgroups and character formulas, J. Algebra 319 (2008), no. 2, 680–701. MR 2381802, DOI 10.1016/j.jalgebra.2005.11.041
- B. Parshall and L. Scott, Beyond the Jantzen region, Oberwolfach Report No. 15/2006 (2006), 26–30.
- B. Parshall and L. Scott, Some ${\mathbb Z}/2$-graded representation theory, The Quarterly J. Math, in press.
- Daniel Quillen, On the cohomology and $K$-theory of the general linear groups over a finite field, Ann. of Math. (2) 96 (1972), 552–586. MR 315016, DOI 10.2307/1970825
- Leonard L. Scott, Some new examples in 1-cohomology, J. Algebra 260 (2003), no. 1, 416–425. Special issue celebrating the 80th birthday of Robert Steinberg. MR 1976701, DOI 10.1016/S0021-8693(02)00667-1
- L. Scott, Semistandard filtrations and highest weight categories, Michigan J. Math., to appear.
- L. Scott and N. Xi, Some non-trivial Kazhdan-Lusztig coefficients of an affine Weyl group of type $\widetilde A_n$, to appear.
- Peter Sin, Extensions of simple modules for $G_2(3^n)$ and ${}^2G_2(3^m)$, Proc. London Math. Soc. (3) 66 (1993), no. 2, 327–357. MR 1199070, DOI 10.1112/plms/s3-66.2.327
- Peter Sin, Extensions of simple modules for $\textrm {Sp}_4(2^n)$ and $\textrm {Suz}(2^m)$, Bull. London Math. Soc. 24 (1992), no. 2, 159–164. MR 1148676, DOI 10.1112/blms/24.2.159
- Peter Sin, The cohomology in degree $1$ of the group $F_4$ in characteristic $2$ with coefficients in a simple module, J. Algebra 164 (1994), no. 3, 695–717. MR 1272111, DOI 10.1006/jabr.1994.1086
- Robert Steinberg, Lectures on Chevalley groups, Yale University, New Haven, Conn., 1968. Notes prepared by John Faulkner and Robert Wilson. MR 0466335
- Toshiyuki Tanisaki, Character formulas of Kazhdan-Lusztig type, Representations of finite dimensional algebras and related topics in Lie theory and geometry, Fields Inst. Commun., vol. 40, Amer. Math. Soc., Providence, RI, 2004, pp. 261–276. MR 2057399
- Andrew Wiles, Modular elliptic curves and Fermat’s last theorem, Ann. of Math. (2) 141 (1995), no. 3, 443–551. MR 1333035, DOI 10.2307/2118559
- Nanhua Xi, The leading coefficient of certain Kazhdan-Lusztig polynomials of the permutation group $\mathfrak {S}_n$, J. Algebra 285 (2005), no. 1, 136–145. MR 2119108, DOI 10.1016/j.jalgebra.2004.08.039
Additional Information
- Edward T. Cline
- Affiliation: Department of Mathematics, University of Oklahoma, Norman, Oklahoma 73019
- Email: ecline@math.ou.edu
- Brian J. Parshall
- Affiliation: Department of Mathematics, University of Virginia, Charlottesville, Virginia 22903
- MR Author ID: 136395
- Email: bjp8w@virginia.edu
- Leonard L. Scott
- Affiliation: Department of Mathematics, University of Virginia, Charlottesville, Virginia 22903
- MR Author ID: 157725
- Email: lls2l@virginia.edu
- Received by editor(s): July 5, 2007
- Received by editor(s) in revised form: September 5, 2007
- Published electronically: May 14, 2009
- Additional Notes: This research was supported in part by the National Science Foundation
- © Copyright 2009
American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication. - Journal: Trans. Amer. Math. Soc. 361 (2009), 5223-5261
- MSC (2000): Primary 20Gxx
- DOI: https://doi.org/10.1090/S0002-9947-09-04633-9
- MathSciNet review: 2515810
Dedicated: We dedicate this paper to Toshiaki Shoji on the occasion of his 60th birthday