Abstract
Let \({\mathfrak {g}}\) be a simple complex Lie algebra. In this paper we study the BGG category \({\mathcal {O}}_q\) for the quantum group \(U_q({\mathfrak {g}})\) with q being a root of unity in a field K of characteristic \(p >0\). We first consider the simple modules in \({\mathcal {O}}_q\) and prove a Steinberg tensor product theorem for them. This result reduces the problem of determining the corresponding irreducible characters to the same problem for a finite subset of finite dimensional simple modules. Then we investigate more closely the Verma modules in \({\mathcal {O}}_q\). Except for the special Verma module, which has highest weight \(-\rho \), they all have infinite length. Nevertheless, we show that each Verma module has a certain finite filtration with an associated strong linkage principle. The special Verma module turns out to be both simple and projective/injective. This leads to a family of projective modules in \({\mathcal {O}}_q\), which are also tilting modules. We prove a reciprocity law, which gives a precise relation between the corresponding family of characters for indecomposable tilting modules and the family of characters of simple modules with antidominant highest weights. All these results are of particular interest when \(q = 1\), and we have paid special attention to this case.
Similar content being viewed by others
References
Achar, P., Makisumi, S., Riche, S., Williamson, G.: Koszul duality for Kac-Moody groups and characters of tilting modules. J. Amer. Math. Soc. 32, 261–310 (2019)
Andersen, H.H.: Tensor products of quantized tilting modules. Comm. Math. Phys. 149, 149–159 (1992)
Andersen, H.H.: Quantum Groups at roots of \(\pm \)1. Comm. Algebra 24, 3269–3282 (1996)
Andersen, H. H.: A sum formula for algebraic groups (Proc. of conference in honor of D. Buchsbaum, Roma 1998). J. Pure Appl. Algebra 152, 17–40 (2000)
Andersen, H.H.: \(p\)-filtrations and the Steinberg module. J. Algebra 244, 664–683 (2001)
Andersen, H.H.: The strong linkage principle for quantum groups at roots of 1. J. Alg. 260, 2–15 (2003)
Andersen, H.H., Mazorchuk, V.: Category O for quantum groups. Euro. Math. Soc. J. 17(2), 405–431 (2015)
Andersen, H.H., Polo, P., Wen, K.: Representations of quantum algebras. Invent. Math. 104, 1–59 (1991)
Andersen, H.H., Wen, K.: Representations of quantum algebras. The mixed case. J. Reine Angew. Math. 427, 35–50 (1992)
Bernstein, I., Gelfand, I., Gelfand, S.: A certain category of g-modules. Funkcional. Anal. i Prilozen. 10(2), 1–8 (1976)
Bendel, C.P., Nakano, D.K., Pillen, C., Sobaje, P.: Counterexamples to the Tilting and (p, r)-Filtration Conjectures. J. Reine Angew. Math 767, 193–202 (2020)
Bendel, C.P., Nakano, D.K., Pillen, C., Sobaje, P.: On Donkin’s tilting module conjecture i: lowering the prime arXiv:2103.14164
Curtis, C.: Representations of Lie algebras of classical types with applications to linear groups. J. Math. Mech. 9, 307–326 (1960)
Donkin, S.: On tilting modules for algebraic groups. Math. Z. 212, 39–60 (1993)
Doty, S.: The strong linkage principle. Amer. J. Math. 111, 135–141 (1989)
Etingof, P., Kazhdan, D.: Quantization of Lie bialgebras. VI. Quantization of generalized Kac-Moody algebras. Transform. Groups 13(3–4), 527–539 (2008)
Fiebig, P.: Periodicity of irreducible modular and quantum characters arXiv:2102.09865
Finkelberg, M.: Fusion categories. Ph.D. Thesis, Harvard University. (1993), 50 pp
Franklin, J.: Homomorphisms between Verma Modules in Characteristic \(p\). J. Alg. 112, 58–88 (1988)
Frisk, A., Mazorchuk, V.: Regular strongly typical blocks of \({\cal{O}}_q\). Comm. Math. Phys. 291(2), 533–542 (2009)
Humphreys, J.E.: Representations of semisimple Lie algebras in the BGG category O. Graduate Studies in Math. Vol. 94. American Mathematical Society, Providence, RI (2008)
Jantzen, J. C.: Lectures on quantum groups, Graduate Studies in Mathematics, Volume 6 , 266 pp, (1996)
Jantzen, J.C. : Representations of Algebraic Groups, Mathematical Surveys and Monographs 107, Second edition, American Mathematical Society (2003)
Kashiwara, M., Tanisaki, T.: Kazhdan-Lusztig conjecture for affine Lie algebras with negative level. Duke Math. J. 77, 21–62 (1995)
Kashiwara, M., Tanisaki, T.: Kazhdan-Lusztig conjecture for affine Lie algebras with negative level, II. Non-integral case, Duke Math. J. 84, 771–813 (1996)
Kazhdan, D., Lusztig, G.: Representations of Coxeter groups and Hecke algebras, Invent. Math. 53, 165–184 (1979)
Lusztig, G.: Modular representations and quantum groups. Classical groups and related topics (Beijing,: Contemp. Math. 82(1989), 59–77 (1987)
Lusztig, G.: Quantum groups at roots of \(1\). Geom. Ded. 35, 89–114 (1990)
Riche, S., Williamson, G.: Riche, S., Williamson, G.: A simple character formula, arXiv:1904.08085
Ryom-Hansen, S.: A q-analogue of Kempf’s vanishing theorem. Moscow Math. J. 3, 173–187 (2003)
Sobaje, P.: On character formulas for simple and tilting modules. Adv. Math. 369, 107172, 8 pp (2020)
Steinberg, R.: Representations of algebraic groups. Nagoya Math. J. 22, 33–56 (1963)
Author information
Authors and Affiliations
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Andersen, H.H. BGG categories in prime characteristics. Math. Z. 301, 1481–1505 (2022). https://doi.org/10.1007/s00209-021-02962-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-021-02962-w