Document Zbl 1234.20056 - zbMATH Open
Bounding Ext for modules for algebraic groups, finite groups and quantum groups. (English) Zbl 1234.20056
From the authors’ summary: “Given a finite root system \(\Phi\), we show that there is an integer \(c=c(\Phi)\) such that \(\dim\text{Ext}^1_G(L,L')<c\), for any reductive algebraic group \(G\) with root system \(\Phi\) and any irreducible rational \(G\)-modules \(L,L'\). There also is such a bound in the case of finite groups of Lie type, depending only on the root system and not on the underlying field. For quantum groups, a similar result holds for \(\text{Ext}^n\), for any integer \(n\geqslant 0\), using a constant depending only on \(n\) and the root system. When \(L\) is the trivial module, the same result is proved in the algebraic group case, thus giving similar bounded properties, independent of characteristic, for algebraic and generic cohomology. (A similar result holds for any choice of \(L=L(\lambda)\), even allowing \(\lambda\) to vary, provided the \(p\)-adic expansion of \(\lambda\) is limited to a fixed number of terms.) In particular, because of the interpretation of generic cohomology as a limit for underlying families of finite groups, the same boundedness properties hold asymptotically for finite groups of Lie type. The results both use, and have consequences for, Kazhdan-Lusztig polynomials. Appendix A proves a stable version, needed for small prime arguments, of Donkin’s tilting module conjecture.”
That is, the appendix shows that a projective principal indecomposable module of a Frobenius kernel is the restriction of a tilting module often enough for the purpose of this paper. The bound \(c=c(\Phi)\) seems in principle effective. It is a combination of two bounds. One bound depends on \(p\), the other depends on the Lusztig character formula and thus applies only for \(p\) large enough.
MSC:
20G10 | Cohomology theory for linear algebraic groups |
20G40 | Linear algebraic groups over finite fields |
20C33 | Representations of finite groups of Lie type |
20G15 | Linear algebraic groups over arbitrary fields |
20G42 | Quantum groups (quantized function algebras) and their representations |
References:
[1] | Andersen, H.; Jantzen, J.; Soergel, W., Representations of quantum groups at a \(p\) th root of unity and of semisimple groups in characteristic \(p\), Astérisque, 220 (1994) · Zbl 0802.17009 |
[2] | Aschbacher, M.; Scott, L., Maximal subgroups of finite groups, J. Algebra, 192, 44-80 (1985) · Zbl 0549.20011 |
[3] | Avrunin, G., Generic cohomology for twisted groups, Trans. Amer. Math. Soc., 268, 247-253 (1981) · Zbl 0473.20030 |
[4] | Bendel, C.; Nakano, D.; Pillen, C., Extensions of finite groups of Lie type II: filtering the truncated induction functor, Contemp. Math., 413, 1-23 (2006) · Zbl 1147.20041 |
[5] | Bourbaki, N., Elements of Mathematics: Lie Groups and Lie Algebras, Chapters 4-6 (2002), Springer-Verlag: Springer-Verlag New York · Zbl 0983.17001 |
[6] | Chevalley, C., Classification des Groupes Algébriques Semi-simples (2005), Springer-Verlag: Springer-Verlag New York · Zbl 1099.01026 |
[7] | Cline, E.; Parshall, B.; Scott, L., Detecting rational cohomology of algebraic groups, J. Lond. Math. Soc., 28, 293-300 (1983) · Zbl 0521.20025 |
[8] | Cline, E.; Parshall, B.; Scott, L., Abstract Kazhdan-Lusztig theories, Tôhoku Math. J., 45, 511-534 (1993) · Zbl 0801.20013 |
[9] | Cline, E.; Parshall, B.; Scott, L., Reduced standard modules and cohomology, Trans. Amer. Math. Soc., 361, 5223-5261 (2009) · Zbl 1183.20051 |
[10] | Cline, E.; Parshall, B.; Scott, L.; van der Kallen, W., Rational and generic cohomology, Invent. Math., 39, 143-163 (1977) · Zbl 0336.20036 |
[11] | Deng, B.; Du, J.; Parshall, B.; Wang, J., Finite Dimensional Algebras and Quantum Groups, Math. Surveys Monogr., vol. 150 (2009), American Mathematical Society: American Mathematical Society Providence |
[12] | Donkin, S., On a question of Verma, J. Lond. Math. Soc., 21, 445-455 (1980) · Zbl 0441.14014 |
[13] | Donkin, S., On tilting modules for algebraic groups, Math. Z., 212, 39-60 (1993) · Zbl 0798.20035 |
[14] | Du, J.; Scott, L., Lusztig conjectures, old and new, I, J. Reine Angew. Math., 455, 141-182 (1994) · Zbl 0840.17009 |
[15] | Fiebig, P., An upper bound on the exceptional characteristics for Lusztig’s character formula · Zbl 1266.20059 |
[16] | Guralnick, R., The dimension of the first cohomology group, (Representation Theory, II. Representation Theory, II, Ottawa, 1984. Representation Theory, II. Representation Theory, II, Ottawa, 1984, Lecture Notes in Math., vol. 1178 (1986), Springer), 94-97 · Zbl 0625.20039 |
[17] | Guralnick, R.; Kantor, W.; Kassabov, M.; Lubotzky, A., Presentations of finite simple groups: profinite and cohomological approaches, Groups Geom. Dyn., 1, 469-523 (2007) · Zbl 1135.20024 |
[18] | R. Guralnick, P. Tiep, First cohomology groups of Chevalley groups in cross characteristic, preprint, 2009.; R. Guralnick, P. Tiep, First cohomology groups of Chevalley groups in cross characteristic, preprint, 2009. · Zbl 1237.20039 |
[19] | Jantzen, J. C., Representations of Algebraic Groups, Math. Surveys Monogr., vol. 107 (2003), American Mathematical Society: American Mathematical Society Providence · Zbl 0612.20021 |
[20] | Lin, Z., Highest weight modules for algebraic groups arising from quantum groups, J. Algebra, 208, 276-303 (1998) · Zbl 0917.17004 |
[21] | Lusztig, G., Quantum groups at roots of 1, Geom. Dedicata, 35, 89-114 (1990) · Zbl 0714.17013 |
[22] | Lusztig, G., Introduction to Quantum Groups (1993), Birkhäuser · Zbl 0788.17010 |
[23] | B. Parshall, L. Scott, Gradings in modular representations, preliminary preprint, 2009.; B. Parshall, L. Scott, Gradings in modular representations, preliminary preprint, 2009. |
[24] | Parshall, B.; Scott, L., Cohomological growth rates and Kazhdan-Lusztig polynomials (2010) · Zbl 1260.20067 |
[25] | Parshall, B.; Scott, L., Variations on a theme of Cline and Donkin (2010) · Zbl 1286.20059 |
[26] | Scott, L.; Xi, N., Some non-trivial Kazhdan-Lusztig coefficients of an affine Weyl group of type \(\widetilde{A}_n\), Sci. China Math., 53, 8, 1919-1930 (2010) · Zbl 1225.20003 |
[27] | Sin, P., Extensions of simple modules for special algebraic groups, J. Algebra, 170, 1011-1034 (1994) · Zbl 0838.20049 |
[28] | Steinberg, R., Representations of algebraic groups, Nagoya Math. J., 22, 33-56 (1963) · Zbl 0271.20019 |
[29] | Tanisaki, T., Character formulas of Kazhdan-Lusztig type, (Representations of Finite Dimensional Algebras and Related Topics in Lie Theory and Geometry. Representations of Finite Dimensional Algebras and Related Topics in Lie Theory and Geometry, Fields Inst. Commun., vol. 40 (2004), American Mathematical Society: American Mathematical Society Providence, RI), 261-276 · Zbl 1063.20052 |
[30] | Ye, J.-C., Extensions of simple modules for the group \(Sp(4, K)\) II, Chinese Sci. Bull., 35, 450-454 (1990) · Zbl 0716.20019 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.