Complete reducibility theorems for modules over pointed Hopf algebras. (Q626696)

This highly technical paper has as its aim to generalize the classical representation theory of E. Cartan and H. Weyl for finite-dimensional modules over finite-dimensional complex semisimple Lie algebras, as well as the more recent representation theory of \textit{G. Lusztig} [Adv. Math. 70, No. 2, 237-249 (1988; Zbl 0651.17007); Introduction to quantum groups. Boston: Birkhäuser (1993; Zbl 0788.17010)] for formal deformations \(U_h(L)\) and the \(q\)-analogue \(U_q(L)\) for a finite-dimensional simple Lie algebra \(L\), or more generally for \(L\) a symmetrizable Kac-Moody algebra. Other authors have carried out a similar program for multiparameter quantized enveloping algebras as formal deformations and as \(q\)-algebras. The first and third authors of the paper under review introduced a family of pointed Hopf algebras having a Cartan matrix of finite type as one of the inputs [J. Reine Angew. Math. 577, 81-104 (2004; Zbl 1084.16027)]. This family includes the \(U_q(L)\) and their multiparameter versions, the parabolic Hopf subalgebras of the \(U_q(L)\), and eventually any pointed Hopf algebra with generic braiding and finitely-generated group of group-likes which is of finite Gelfand-Kirillov dimension. It is to this family that the authors of the paper under review wish to extend the representation theories mentioned earlier. They identify three main goals: (1) the parametrization of the simple finite-dimensional representations by their highest weights; (2) the complete reducibility of any finite-dimensional representation; (3) the determination of the weight multiplicities (and consequently, of the dimension) of a finite-dimensional highest weight representation. We cannot go into all the technical details here, but we mention only a few features. The Hopf algebras are defined for a general Yetter-Drinfeld datum \(D\) over an Abelian group \(G\) and a linking parameter \(l\). An analogue of the classical Levi decomposition for Lie algebras is obtained. Reduced data \(D_{\text{red}}\) are introduced with \(l\) perfect, and a key role is played by \(U=U(D_{\text{red}},l)\). The Hopf algebra \(U=U_L\) in Lusztig's book is a special case, as are the 2-parameter deformations and (generic) multiparameter deformations. The category \(C\) of \(U\)-modules with weight decomposition (with respect to the action of \(G\)), a certain full subcategory \(C^{hi}\), and the class of integrable modules are used. This category \(C\) for \(U_L\) is larger than the category \(C\) in Lusztig's book. Use of a suitable Casimir operator is an important tool. Goals (1) and (2) are accomplished for integrable modules in \(C^{hi}\). In particular, \(U\) is \(kG\)-reductive. Under some braiding conditions (which includes the case of finite Cartan type), the authors show that the weight multiplicities are as in the classical case, thus meeting goal (3). Their theory gives a characterization of the pointed Hopf algebras \(U\) with finite Cartan matrix and free Abelian group \(G\) by axiomatic properties. We finish by listing the chapter titles. 1. Nichols algebras and linking. 2. A Levi-type theorem for pointed Hopf algebras. 3. Perfect linkings and reduced data. 4. Representation theory of \(U\). 5. A characterization of quantum groups.