Dimensions of quantized tilting modules (Q2732620)

In the category of tilting modules for a quantum group at a complex \(p\)-th root of unity the indecomposable objects are parametrized by the set of dominant weights. If \(\lambda\) is such a weight we let \(T(\lambda)\) denote the corresponding indecomposable tilting module. Then the weight cell containing \(\lambda\) consists of those dominant weights \(\mu\) which have the property that \(T(\lambda)\) is a summand of \(T(\mu)\otimes T\) and \(T(\mu)\) is a summand of \(T(\lambda)\otimes T\) for some tilting module \(T\).NEWLINENEWLINENEWLINEIn an earlier paper [Transform. Groups 2, No. 3, 279-287 (1997; Zbl 0886.17013)] the author proved that there is a one to one correspondence between weight cells and Kazhdan-Lusztig cells for the affine Weyl group associated with the quantum group in question. In the paper under review he proves that if \(\underline c\) is a weight cell then there exists \(\lambda\in\underline c\) such that \(p^{a(\underline c)+1}\) does not divide \(\dim_\mathbb{C} T(\lambda)\). Here \(a\) denotes Lusztig's \(a\)-function, see e.g. \textit{G. Lusztig}'s paper [J. Fac. Sci., Univ. Tokyo, Sect. I A 36, No. 2, 297-328 (1989; Zbl 0688.20020)]. (The author earlier proved [Funkts. Anal. Prilozh. 32, No. 4, 22-34 (1998; Zbl 0981.17010)] that \(\dim_\mathbb{C} T(\nu)\) is divisible by \(p^{a(\underline c)}\) for all \(\nu\in\underline c\).) This result was motivated by a conjecture of Humphreys' giving a natural one to one correspondence between weight cells and closed nilpotent orbits for the underlying algebraic group. This conjecture produces the correspondence in terms of the support varieties of tilting modules. It was recently reported proved by \textit{R. Bezrukavnikov} (unpublished) after some partial results by the author in his papers cited above.