No label defined (Q4451096)

This paper surveys results from two University of Glasgow preprints nos. 99/16 and 99/46 by \textit{K. A. Brown} and the author, and ties up some loose ends from the latter preprint. The general situation concerns a prime Hopf algebra \(H\) over an algebraically closed field \(K\), \(Z\) its center and \(R\) an affine sub-Hopf algebra of \(H\) contained in \(Z\), for which \(H\) is a finitely-generated \(R\)-module. There are four specific situations studied: (1) \(K\) has characteristic \(p> 0\), \(H\) is the universal enveloping algebra of a finite-dimensional \(p\)-Lie algebra, \(R\) the \(p\)-center of \(H\). (2) \(K= \mathbb{C}\), \({\mathfrak g}\) a finite-dimensional semisimple Lie algebra, \(\varepsilon\) a primitive \(\ell\)th root of unity, \(\ell> 1\) an odd integer, \(H\) the quantum enveloping algebra \(U_\varepsilon({\mathfrak g})\), \(R\) the \(\ell\)-center of \(H\). (3) As in (2), except that \(H\) is the subalgebra of \(U_\varepsilon(g)\) corresponding to a Borel subalgebra of \({\mathfrak g}\). (4) \(K= \mathbb{C}\), \(G\) a simply-connected semisimple algebraic group over \(K\), \(\ell\) as in (2), \(H= O_\varepsilon[G]\), the quantum function algebra of \(G\), \(R\) the \(\ell\)-center of \(H\). Topics discussed include correspondences between blocks and primitive central idempotents, the role of the center in representation theory, and finite-dimensional factors of \(H\). Some of the proofs given involve deformation theory. For the entire collection see [Zbl 0980.00028].