Quantized hyperalgebras of rank 1 (Q1775472)

The authors work over a field of characteristic zero containing a primitive root of unity \(\zeta\) of odd order \(l\). Let \(U_q\) be the generic quantum algebra associated with \(\text{sl}_2\). Consider the quantum algebra \(\widehat{U}_{\zeta}\) associated with \(\text{sl}_2\) as in \textit{G. Lusztig} [Contemp. Math. 82, 59--77 (1989; Zbl 0665.20022)], and let \(U_{\zeta}\) be the quotient of \(\widehat{U}_{\zeta}\) modulo the ideal generated by \(K^l-1\). It is proved that \(U_{\zeta}\) is the smash product of the Frobenius-Lusztig kernel \(u_{\zeta}\) in \(U_{\zeta}\) and the ordinary enveloping algebra \(U\) of \(\text{sl}_2\). It is showed that every prime ideal of \(U_{\zeta}\) is primitive, and the primitive ideals are described; also a Steinberg-Lusztig factorization is proved for simple modules. A decomposition of \(u_{\zeta}\) as a direct sum of simple \(U\)-modules is given. The center, the blocks and the lattice of cofinite ideals of \(U_{\zeta}\) are described.