# Some Tables of Right Set Properties in Affine Weyl Groups of Type A

## Abstract

The tables of the title are a first attempt to understand empirically the sizes of certain distinguished sets, introduced by Hankyung Ko, of elements in affine Weyl groups. The distinguished sets themselves each have a largest element *w*, and all other elements are constructible combinatorially from that largest element. The combinatorics are given in the language of right sets, in the sense of Kazhdan–Lusztig. Collectively, the elements in a given distinguished set parameterize highest weights of possible modular composition factors of the “reduction modulo *p*” of a *p*th root of unity irreducible characteristic 0 quantum group module. Here, *p* is a prime, subject to conditions discussed below, in some cases known to be quite mild. Thus, the sizes of the distinguished sets in question are relevant to estimating how much time might be saved in any future direct approach to computing irreducible modular characters of algebraic groups from larger irreducible characters of quantum groups. Actually, Ko has described two methods for obtaining potentially effective systems of such sets. She has proved one method to work at least for all primes *p* as large as the Coxeter number *h*, in a context she indicates largely generalizes to smaller *p*. The other method, which produces smaller distinguished sets, is known for primes \(p\ge h \) for which the Lusztig character formula holds, but is currently unknown to be valid without the latter condition. In the tables of this paper, we calculate, for all *w* indexing a (*p*-)regular highest weight in the (*p*-)restricted parallelotope, distinguished set sizes for both methods, for affine types A\(_3\), A\(_4\), and A\(_5\). To keep the printed version of this paper sufficiently small, we only use those *w* indexing actual restricted weights in the A\(_5\) case. The sizes corresponding to the two methods of Ko are listed in columns (6) and (5), respectively, of the tables. We also make calculations in column (7) for a third, more “obvious” system of distinguished sets (see part (1) of Proposition 1), to indicate how much of an improvement each of the first two systems provides. Finally, all calculations have been recently completed for affine type A\(_6\), and the restricted cases are listed in this paper as a final table.

## Keywords

Right set Sage Modular characters Quantum Lusztig Weyl## References

- 1.Achar, P., Makasumi, S., Riche, S., Williamson, G.: Free-monodromic mixed tilting sheaves on flag varieties, 132 pp. arXiv:1703.05843v1
- 2.Achar, P., Makasumi, S., Riche, S., Williamson, G.: Koszul duality for Kac-Moody groups and characters of tilting modules, 50 pp. (2017). arXiv:1706.00183v1
- 3.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érique
**220**(1994)Google Scholar - 4.Cline, E., Parshall, B., Scott, L.: Infinitesimal Kazhdan-Lusztig theories. Contemp. Math.
**139**, 43–73 (1983)MathSciNetCrossRefGoogle Scholar - 5.Cline, E., Parshall, B., Scott, L.: Reduced standard modules and cohomology. Trans. Am. Math. Soc.
**361**(10), 5223–5261 (2009)MathSciNetCrossRefGoogle Scholar - 6.Fiebig, P.: An upper bound on the exceptional characteristics for Lusztig’s character formula. J. Reine Angew. Math.
**673**, 1–31 (2012)MathSciNetCrossRefGoogle Scholar - 7.Jantzen, J.: Representations of Algebraic Groups, 2nd edn. American Mathematical Society (2003)Google Scholar
- 8.Lusztig, G.: Some problems in the representation theory of finite Chevalley groups. In: The Santa Cruz Conference on Finite Groups (University of California, Santa Cruz, California, 1979), Proceedings of Symposia in Pure Mathematics, vol. 37, pp. 313-317. American Mathematical Society, Providence, R.I. (1980)Google Scholar
- 9.Ko, H.: Grade zero part of forced graded algebras. Sci. China Math. (2017). https://doi.org/10.1007/s11425-017-9163-0CrossRefzbMATHGoogle Scholar
- 10.Parshall, B., Scott, L.: A semisimple series for \(q\)-Weyl and \(q\)-Specht modules. Proc. Symp. Pure Math.
**86**, 277–310 (2012)MathSciNetCrossRefGoogle Scholar - 11.Riche, S., Williamson, G.: Tilting modules and the \(p\)-canonical basis (2017). arXiv:1512.08296v3
- 12.Steinberg, R.: Lectures on Chevalley groups. Notes prepared by John Faulkner and Robert Wilson. Revised and corrected edition of the 1968 original. With a foreword by Robert R. Snapp. University Lecture Series, Vol. 66, xi+160 pp. American Mathematical Society, Providence, RI (2016)Google Scholar
- 13.Tanisaki, T.: Character formulas of Kazhdan-Lusztig type. In: Representations of Finite Dimensional Algebras and Related Topics in Lie Theory and Geometry, pp. 261–276, Fields Institute Communications, vol. 40, American Mathematical Society, Providence, RI (2004)Google Scholar
- 14.Thorge, L., Williamson, G.: The \(p\)-canonical basis for Hecke algebras. In: Categorification and Higher Representation Theory, pp. 333–361, Contemporary Mathematics, vol. 683, American Mathematical Society, Providence, RI (2017)Google Scholar
- 15.Williamson, G.: Schubert calculus and torsion explosion. With a joint appendix with Alex Kontorovich and Peter J. McNamara. J. Amer. Math. Soc.
**30**(4), 1023–1046 (2017)MathSciNetCrossRefGoogle Scholar - 16.Wong, W.: Irreducible representations of finite Chevalley groups. J. Algebra
**20**, 355–367 (1972)MathSciNetCrossRefGoogle Scholar