Trialgebras and Leibniz 3-algebras (Q2469331)

Dialgebras, introduced by Loday, are vector spaces endowed with two binary operations \(\dashv\) and \(\vdash\) (left and right) satisfying several axioms for associativity. They are related to binary trees and play a similar role with respect to Leibniz algebras as associative algebras with respect to Lie algebras: A dialgebra can be functorially endowed with a structure of Leibniz algebra by means of the bracket \([x,y]=x\dashv y-y\vdash x\). Studying ternary planar trees, Loday and Ronco found a type of algebras, called trialgebras, which are equipped with three binary operations \(\dashv\), \(\perp\), and \(\vdash\) (left, middle, and right) satisfying again some axioms of associativity. In the paper under review the author endows trialgebras functorially with a structure of Leibniz 3-algebra. He constructs the universal trialgebra functor from the category of Leibniz 3-algebras to the category of trialgebras. Then he introduces the category of QuasiLie 3-algebras which are Leibniz 3-algebras satisfying the identity \([x,y,y]=0\). This kind of algebras plays a similar role with respect to Leibniz 3-algebra as Lie algebras with respect to Leibniz algebras. Finally, the author constructs the universal enveloping algebra of a Leibniz 3-algebra and proves that the category of representations of a Leibniz 3-algebra is equivalent to the category of right modules of the universal enveloping algebra of a Leibniz 3-algebra.