Leibniz algebra

Last updated April 11, 2024

In mathematics, a (right) Leibniz algebra, named after Gottfried Wilhelm Leibniz, sometimes called a Loday algebra, after Jean-Louis Loday, is a module L over a commutative ring R with a bilinear product [ _ , _ ] satisfying the Leibniz identity

[[a,b],c]=[a,[b,c]]+[[a,c],b].\,

In other words, right multiplication by any element c is a derivation. If in addition the bracket is alternating ([a, a] = 0) then the Leibniz algebra is a Lie algebra. Indeed, in this case [a, b] = −[b, a] and the Leibniz identity is equivalent to Jacobi's identity ([a, [b, c]] + [c, [a, b]] + [b, [c, a]] = 0). Conversely any Lie algebra is obviously a Leibniz algebra.

In this sense, Leibniz algebras can be seen as a non-commutative generalization of Lie algebras. The investigation of which theorems and properties of Lie algebras are still valid for Leibniz algebras is a recurrent theme in the literature.^[1] For instance, it has been shown that Engel's theorem still holds for Leibniz algebras^[2]^[3] and that a weaker version of Levi-Malcev theorem also holds.^[4]

The tensor module, T(V) , of any vector space V can be turned into a Loday algebra such that

[a_{1}\otimes \cdots \otimes a_{n},x]=a_{1}\otimes \cdots a_{n}\otimes x\quad {\text{for }}a_{1},\ldots ,a_{n},x\in V.

This is the free Loday algebra over V.

Leibniz algebras were discovered in 1965 by A. Bloh, who called them D-algebras. They attracted interest after Jean-Louis Loday noticed that the classical Chevalley–Eilenberg boundary map in the exterior module of a Lie algebra can be lifted to the tensor module which yields a new chain complex. In fact this complex is well-defined for any Leibniz algebra. The homology HL(L) of this chain complex is known as Leibniz homology. If L is the Lie algebra of (infinite) matrices over an associative R-algebra A then Leibniz homology of L is the tensor algebra over the Hochschild homology of A.

A Zinbiel algebra is the Koszul dual concept to a Leibniz algebra. It has as defining identity:

(a\circ b)\circ c=a\circ (b\circ c)+a\circ (c\circ b).

Notes

↑ Barnes, Donald W. (July 2011). "Some Theorems on Leibniz Algebras". Communications in Algebra. 39 (7): 2463–2472. doi:10.1080/00927872.2010.489529.
↑ Patsourakos, Alexandros (26 November 2007). "On Nilpotent Properties of Leibniz Algebras". Communications in Algebra. 35 (12): 3828–3834. doi:10.1080/00927870701509099.
↑ Sh. A. Ayupov; B. A. Omirov (1998). "On Leibniz Algebras". In Khakimdjanov, Y.; Goze, M.; Ayupov, Sh. (eds.). Algebra and Operator Theory Proceedings of the Colloquium in Tashkent, 1997. Dordrecht: Springer. pp. 1–13. ISBN 9789401150729.
↑ Barnes, Donald W. (30 November 2011). "On Levi's theorem for Leibniz algebras". Bulletin of the Australian Mathematical Society. 86 (2): 184–185. arXiv: 1109.1060 . doi:10.1017/s0004972711002954.

Related Research Articles

In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.

In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel of the next. Associated to a chain complex is its homology, which describes how the images are included in the kernels.

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antihomomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

In category theory, a branch of mathematics, a monad is a monoid in the category of endofunctors of some fixed category. An endofunctor is a functor mapping a category to itself, and a monad is an endofunctor together with two natural transformations required to fulfill certain coherence conditions. Monads are used in the theory of pairs of adjoint functors, and they generalize closure operators on partially ordered sets to arbitrary categories. Monads are also useful in the theory of datatypes, the denotational semantics of imperative programming languages, and in functional programming languages, allowing languages without mutable state to do things such as simulate for-loops; see Monad.

In mathematics, the Eckmann–Hilton argument is an argument about two unital magma structures on a set where one is a homomorphism for the other. Given this, the structures are the same, and the resulting magma is a commutative monoid. This can then be used to prove the commutativity of the higher homotopy groups. The principle is named after Beno Eckmann and Peter Hilton, who used it in a 1962 paper.

}In mathematics, the Koszul complex was first introduced to define a cohomology theory for Lie algebras, by Jean-Louis Koszul. It turned out to be a useful general construction in homological algebra. As a tool, its homology can be used to tell when a set of elements of a (local) ring is an M-regular sequence, and hence it can be used to prove basic facts about the depth of a module or ideal which is an algebraic notion of dimension that is related to but different from the geometric notion of Krull dimension. Moreover, in certain circumstances, the complex is the complex of syzygies, that is, it tells you the relations between generators of a module, the relations between these relations, and so forth.

In mathematics, the Ext functors are the derived functors of the Hom functor. Along with the Tor functor, Ext is one of the core concepts of homological algebra, in which ideas from algebraic topology are used to define invariants of algebraic structures. The cohomology of groups, Lie algebras, and associative algebras can all be defined in terms of Ext. The name comes from the fact that the first Ext group Ext¹ classifies extensions of one module by another.

In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to construct invariants of algebraic structures. The homology of groups, Lie algebras, and associative algebras can all be defined in terms of Tor. The name comes from a relation between the first Tor group Tor₁ and the torsion subgroup of an abelian group.

In mathematics, especially in homological algebra and algebraic topology, a Künneth theorem, also called a Künneth formula, is a statement relating the homology of two objects to the homology of their product. The classical statement of the Künneth theorem relates the singular homology of two topological spaces X and Y and their product space $. In the simplest possible case the relationship is that of a tensor product, but for applications it is very often necessary to apply certain tools of homological algebra to express the answer.$

In noncommutative geometry and related branches of mathematics, cyclic homology and cyclic cohomology are certain (co)homology theories for associative algebras which generalize the de Rham (co)homology of manifolds. These notions were independently introduced by Boris Tsygan (homology) and Alain Connes (cohomology) in the 1980s. These invariants have many interesting relationships with several older branches of mathematics, including de Rham theory, Hochschild (co)homology, group cohomology, and the K-theory. Contributors to the development of the theory include Max Karoubi, Yuri L. Daletskii, Boris Feigin, Jean-Luc Brylinski, Mariusz Wodzicki, Jean-Louis Loday, Victor Nistor, Daniel Quillen, Joachim Cuntz, Ryszard Nest, Ralf Meyer, and Michael Puschnigg.

In mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by Claude Chevalley and Samuel Eilenberg to coefficients in an arbitrary Lie module.

In mathematics, in particular in homological algebra, a differential graded algebra is a graded associative algebra with an added chain complex structure that respects the algebra structure.

In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad $, one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.$

In mathematics, specifically in algebraic topology, the Eilenberg–Zilber theorem is an important result in establishing the link between the homology groups of a product space $and those of the spaces and . The theorem first appeared in a 1953 paper in the American Journal of Mathematics by Samuel Eilenberg and Joseph A. Zilber. One possible route to a proof is the acyclic model theorem.$

In mathematics, Hochschild homology (and cohomology) is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Henri Cartan and Samuel Eilenberg (1956).

In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan and Daniel Quillen. This simplification of homotopy theory makes certain calculations much easier.

Geometry of quantum systems is mainly phrased in algebraic terms of modules and algebras. Connections on modules are generalization of a linear connection on a smooth vector bundle $written as a Koszul connection on the -module of sections of .$

In mathematics, a Zinbiel algebra or dual Leibniz algebra is a module over a commutative ring with a bilinear product satisfying the defining identity:

In mathematics, Koszul duality, named after the French mathematician Jean-Louis Koszul, is any of various kinds of dualities found in representation theory of Lie algebras, abstract algebras and topology. The prototype example, due to Joseph Bernstein, Israel Gelfand, and Sergei Gelfand, is the rough duality between the derived category of a symmetric algebra and that of an exterior algebra. The importance of the notion rests on the suspicion that Koszul duality seems quite ubiquitous in nature.

References

Kosmann-Schwarzbach, Yvette (1996). "From Poisson algebras to Gerstenhaber algebras". Annales de l'Institut Fourier . 46 (5): 1243–1274. doi: 10.5802/aif.1547 .
Loday, Jean-Louis (1993). "Une version non commutative des algèbres de Lie: les algèbres de Leibniz" (PDF). Enseign. Math. Series 2. 39 (3–4): 269–293.
Loday, Jean-Louis & Teimuraz, Pirashvili (1993). "Universal enveloping algebras of Leibniz algebras and (co)homology". Mathematische Annalen . 296 (1): 139–158. CiteSeerX 10.1.1.298.1142 . doi:10.1007/BF01445099. S2CID 16865683.
Bloh, A. (1965). "On a generalization of the concept of Lie algebra". Dokl. Akad. Nauk SSSR . 165: 471–3.
Bloh, A. (1967). "Cartan-Eilenberg homology theory for a generalized class of Lie algebras". Dokl. Akad. Nauk SSSR . 175 (8): 824–6.
Dzhumadil'daev, A.S.; Tulenbaev, K.M. (2005). "Nilpotency of Zinbiel algebras". J. Dyn. Control Syst. 11 (2): 195–213. doi:10.1007/s10883-005-4170-1. S2CID 121944962.
Ginzburg, V.; Kapranov, M. (1994). "Koszul duality for operads". Duke Math. J. 76: 203–273. arXiv: 0709.1228 . doi:10.1215/s0012-7094-94-07608-4. S2CID 115166937.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Barnes, Donald W. (July 2011). "Some Theorems on Leibniz Algebras". Communications in Algebra. 39 (7): 2463–2472. doi:10.1080/00927872.2010.489529.

[2] Patsourakos, Alexandros (26 November 2007). "On Nilpotent Properties of Leibniz Algebras". Communications in Algebra. 35 (12): 3828–3834. doi:10.1080/00927870701509099.

[3] Sh. A. Ayupov; B. A. Omirov (1998). "On Leibniz Algebras". In Khakimdjanov, Y.; Goze, M.; Ayupov, Sh. (eds.). Algebra and Operator Theory Proceedings of the Colloquium in Tashkent, 1997. Dordrecht: Springer. pp. 1–13. ISBN 9789401150729.

[4] Barnes, Donald W. (30 November 2011). "On Levi's theorem for Leibniz algebras". Bulletin of the Australian Mathematical Society. 86 (2): 184–185. arXiv: 1109.1060 . doi:10.1017/s0004972711002954.

[1]

[2]

[3]

[4]