No label defined (Q4522480)

Let \(A\) be a finite-dimensional commutative Lie bialgebra and let \({\mathfrak g}\) be a finite-dimensional co-commutative Lie bialgebra. The goal of the paper under review is a description of the equivalence classes of Lie bialgebra extensions of \({\mathfrak g}\) with kernel \(A\) as a second cohomology group. The author starts off by recalling that any Lie bialgebra extension of \({\mathfrak g}\) by \(A\) induces a so-called matched pair structure on \(({\mathfrak g}, A)\) and that the matched pair structures induced by equivalent Lie bialgebra extensions coincide. Then he gives an explicit description of the equivalence classes of Lie bialgebra extensions of \({\mathfrak g}\) by \(A\) which induce a fixed (but arbitrary) matched pair structure on \(({\mathfrak g}, A)\). The suitable Lie bialgebra cohomology is the cohomology of the total complex of a certain double complex arising from this given matched pair structure. The double complex was already obtained by \textit{A. Masuoka} [per reference list] from the corresponding double complex of the universal enveloping algebras of \({\mathfrak g}\) and \(A\). Note that the latter form also a matched pair of Hopf algebras. More generally, it should be pointed out that there is a complete analogy of the extension theory for Lie bialgebras established in this paper to the extension theory for Hopf algebras developed by \textit{W. M. Singer} in [J. Algebra 21, 1-16 (1972; Zbl 0269.16011)]. The author concludes the paper by observing that the double of a finite-dimensional co-commutative Lie bialgebra \({\mathfrak g}\) is (up to a sign) the trivial cocentral extension of \({\mathfrak g}\) by the coadjoint module \({\mathfrak g}^*\), whereas the double of an arbitrary finite-dimensional Lie bialgebra is not even an extension of itself by its dual.