On the Hopf algebra structure of the Lusztig quantum divided power algebras (Q2662190)

There are two versions of quantum groups at roots of \(1\): the one introduced and studied by \textit{C. De Concini} and \textit{V. G. Kac} [Prog. Math. 92, 471--506 (1990; Zbl 0738.17008)] and \textit{C. De Concini} and \textit{C. Procesi} [Lect. Notes Math. 1565, 31--140 (1993; Zbl 0795.17005)], and the quantum divided power algebra of Lusztig. A Nichols algebra of diagonal type plays a key role in both constructions. The appeares naturally a question of defining the versions of the quantum groups of De Concini, Kac and Procesi on one hand, and of Lusztig on the other, for every Nichols algebra. The authors write: ``In order to construct the analogues of Lusztig's quantum groups at roots of one for Nichols algebras of diagonal type, we still need to define the \(0\)-part and the interactions with the positive and negative parts. This leads us to understand the Hopf algebra structure of a Lusztig's quantum group which is the objective of this note.'' The main results of the paper are the following. ``The zero part is the tensor product of the group algebra of a finite abelian group with the enveloping algebra of an abelian Lie algebra''. Then the authors built the analogues of Lusztig's quantum groups at roots of one for Nichols algebras of diagonal type from the plus, minus and zero parts.