Homology with Trivial Coefficients of Leibniz<i>n</i>-Algebras (Q4802443)

A Leibniz \(n\)-algebra \(\mathcal L\) is a \(K\)-vector space equipped with an \(n\)-ary operation \([-,\ldots,-]:{\mathcal L}^{\otimes n}\to\mathcal L\) which satisfies the generalized Leibniz identity \[ [[x_1,\ldots,x_n],y_1,\ldots,y_{n-1}] =\sum_{i=1}^n[x_1,\ldots,[x_i,y_1,\ldots,y_{n-1}],\ldots,x_n], \] i.e. the mapping \(\text{ad}[y_2,\ldots,y_n]\) of \(\mathcal L\) defined by \(x\to[x,y_2,\ldots,y_n]\) is a derivation. An Abelian extension of Leibniz \(n\)-algebras is an exact sequence \(0\to M\to{\mathcal K}\to{\mathcal L}\to 0\) of Leibniz \(n\)-algebras such that \([k_1,\ldots,k_n]=0\) if two of the \(k_i\)'s belong to \(M\). In this case \(M\) can be considered as a representation of \(\mathcal L\) and any representation of \(\mathcal L\) can be used for the construction of Abelian extensions. Recently \textit{J. M. Casas, J.-L. Loday}, and \textit{T. Pirashvili} [Forum Math. 14, 189-207 (2002; Zbl 1037.17002)] introduced a cohomology for Leibniz \(n\)-algebras via the cohomology of ``ordinary'' Leibniz algebras. The purpose of the paper under review is to introduce in a similar way homology with trivial coefficients of Leibniz \(n\)-algebras. The author obtains exact sequences relating the homology vector spaces. As a consequence he gets an \(n\)-version of the Hopf formula for Leibniz algebras and several results concerning central extensions of Leibniz \(n\)-algebras.