Irreducible modules of quantized enveloping algebras at roots of 1, ii (Q4265545)

Let \(U_\xi\) be the quantized hyperalgebra of the hyperalgebra \(U\) at a root of unity. In a previous paper [Publ. Res. Inst. Math. Sci. 32, 235-276 (1996; Zbl 0874.17013)], the author showed how to use certain monomials in \(U_\xi\) and \(U\) to obtain finite-dimensional irreducible modules. In that paper there were some restrictions, the proof was long and involved a case by case analysis, and moreover it did not work for the type \(G_2\). In the paper under review, he removes the restrictions and gives a simpler unified proof which works for all types. The main change is to work in the Bernstein-Gelfand-Gelfand category of certain finitely-generated modules. He also gives some applications. He describes the socle of the quantized Frobenius kernel, i.e. of its regular representation, realizes the tensor product of two irreducible modules of the quantized Frobenius kernel, and calculates the dimensions of certain irreducible modules of type \(A\). For types \(A_2\) and \(B_2\), he finds all (quasi) primitive elements in a Verma module for the quantized Frobenius kernel and in a Weyl module.