A theorem of Milnor-Moore for Leibniz algebras (Q2736582)

The present paper is the fourth paper in the same volume of the Springer Lecture Notes in Mathematics (see Zbl 0999.17002, Zbl 0999.17003, and Zbl 0999.17004 for the three preceding papers). Its concrete purpose is to find the Leibniz analogue of the following: The enveloping algebra of a Lie algebra has a structure of a coalgebra which is compatible with the structure of the algebra, and the Milnor-Moore theorem establishes the equivalence between the categories of Lie algebras and of irreducible cocommutative Hopf algebras. Every Leibniz algebra \(\mathcal G\) has a universal enveloping dialgebra \(Ud({\mathcal G})\). The author establishes that \(Ud({\mathcal G})\) has two coproducts satisfying conditions of compatibility which are similar to the conditions characterizing Hopf algebras. From this it is possible to introduce the notion of Hopf dialgebras and to establish an analogue of the Milnor-Moore theorem: the equivalence between the categories of Leibniz algebras and of irreducible cocommutative Hopf dialgebras. The author proves also a Leibniz analogue of the Poincaré-Birkhoff-Witt theorem and other results of independent interest. For the entire collection see [Zbl 0970.00010].