Enhanced Leibniz algebras: structure theorem and induced Lie 2-algebra

From MaRDI portal
Publication:2181973



Abstract: An enhanced Leibniz algebra is an algebraic struture that arises in the context of particular higher gauge theories describing self-interacting gerbes. It consists of a Leibniz algebra (mathbbV,[cdot,cdot]), a bilinear form on mathbbV with values in another vector space mathbbW, and a map tcolonmathbbWomathbbV, satisfying altogether four compatibility relations. Our structure theorem asserts that an enhanced Leibniz algebra is uniquely determined by the underlying Leibniz algebra (mathbbV,[cdot,cdot]), an appropriate abelian ideal mathfraki inside it, as well as a cohomology 2-class [Delta] which only effects the mathbbW-valued product. Positive quadratic enhanced Leibniz algebras, as needed for the definition of a Yang-Mills type action functional, turn out to be rather restrictive on the underlying Leibniz algebra (mathbbV,[cdot,dot]): mathbbV has to be the hemisemidirect product of a positive quadratic Lie algebra mathfrakg with a mathfrakg-module mathfraki, mathbbVcongmathfrakgltimesmathfraki, with mathfraki the above-mentioned ideal in this case. The second main result of this article is the construction of a functor from the category of such enhanced Leibniz algebras to the category of (semi-strict) Lie 2-algebras or, equivalentely, of two-term Linfty-algebras.


Enhanced Leibniz algebras (ELAs) are a particular algebraic structure that arose in the context of non-abelian gauge theories for \(1\)- and \(2\)-form gauge fields, i.e., in the context of non-abelian gerbes [\textit{T. Strobl}, ``Non-abelian gerbes and enhanced Leibniz algebras, Phys. Rev. D 94, No. 2, Article ID 021702, 6 p. (2016; \url{doi:10.1103/PhysRevD.94.021702})]. It consists of a Leibniz algebra \((\mathbb{V}, [-, -])\), a bilinear form on \(\mathbb{V}\) with values in another vector space \(\mathbb{W}\), and a map \(t : \mathbb{W} \to\mathbb{V}\), satisfying altogether four compatibility relations. The main structure theorem of this paper (Theorem 2.14) asserts that an enhanced Leibniz algebra is uniquely determined by the underlying Leibniz algebra \((\mathbb{V}, [-, -])\), an appropriate abelian ideal inside it, as well as a cohomology \(2\)-class which only effects the \(\mathbb{W}\)-valued product. The second main result is the construction of a functor from the category of such enhanced Leibniz algebras to the category of (semi-strict) Lie \(2\)-algebras or, equivalentely, of two-term \(L_\infty\)-algebras.











This page was built for publication: Enhanced Leibniz algebras: structure theorem and induced Lie 2-algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2181973)