Namespaces
Variants
Actions

Difference between revisions of "Loday algebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct and if all png images have been replaced by TeX code, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 54 formulas, 53 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
''Leibniz algebra''
 
''Leibniz algebra''
  
 
Loday algebras were introduced under the name  "Leibniz algebras"  by J.-L. Loday [[#References|[a10]]] [[#References|[a11]]] as non-commutative analogues of Lie algebras (cf. also [[Lie algebra|Lie algebra]]). They are defined by a bilinear bracket which is no longer skew-symmetric. See [[#References|[a12]]] for motivations, an overview and additional references. The term  "Leibniz algebra"  was used in all articles prior to 1996, and in many posterior ones. It had been chosen because, in the generalization of Lie algebras to Loday algebras, it is the derivation property of the adjoint mappings, analogous to the Leibniz rule in elementary calculus, that is preserved, while the skew-symmetry of the bracket is not. However, it has been shown [[#References|[a1]]], [[#References|[a8]]] that in many instances it is necessary to consider both a bracket and an associative multiplication defined on the same space, and to impose a  "Leibniz rule"  relating both operations, stating that the adjoint mappings are derivations of the associative multiplication. For this reason, it is preferable to adopt the term  "Loday algebra"  rather than  "Leibniz algebra"  when referring to the derivation property of the bracket alone.
 
Loday algebras were introduced under the name  "Leibniz algebras"  by J.-L. Loday [[#References|[a10]]] [[#References|[a11]]] as non-commutative analogues of Lie algebras (cf. also [[Lie algebra|Lie algebra]]). They are defined by a bilinear bracket which is no longer skew-symmetric. See [[#References|[a12]]] for motivations, an overview and additional references. The term  "Leibniz algebra"  was used in all articles prior to 1996, and in many posterior ones. It had been chosen because, in the generalization of Lie algebras to Loday algebras, it is the derivation property of the adjoint mappings, analogous to the Leibniz rule in elementary calculus, that is preserved, while the skew-symmetry of the bracket is not. However, it has been shown [[#References|[a1]]], [[#References|[a8]]] that in many instances it is necessary to consider both a bracket and an associative multiplication defined on the same space, and to impose a  "Leibniz rule"  relating both operations, stating that the adjoint mappings are derivations of the associative multiplication. For this reason, it is preferable to adopt the term  "Loday algebra"  rather than  "Leibniz algebra"  when referring to the derivation property of the bracket alone.
  
A left Loday algebra over a field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201501.png" /> is a vector space over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201502.png" /> with a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201503.png" />-bilinear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201504.png" /> satisfying
+
A left Loday algebra over a field $k$ is a vector space over $k$ with a $k$-bilinear mapping $[ ., . ] : A \times A \rightarrow A$ satisfying
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201505.png" /></td> </tr></table>
+
\begin{equation*} [ a , [ b , c ] ] = [ [ a , b ] , c ] + [ b , [ a , c ] ], \end{equation*}
  
for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201506.png" />. This property means that, for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201507.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201508.png" />, the adjoint endomorphism of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l1201509.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015010.png" />, is a derivation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015011.png" />.
+
for all $a , b , c \in A$. This property means that, for each $a$ in $A$, the adjoint endomorphism of $A$, $\operatorname{ad} _ { a } = [ a ,. ]$, is a derivation of $( A , [. ,. ] )$.
  
Similarly, by definition, in a right Loday algebra, for each <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015012.png" />, the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015013.png" /> is a derivation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015014.png" />.
+
Similarly, by definition, in a right Loday algebra, for each $a \in A$, the mapping $x \in A \mapsto [ x , a ] \in A$ is a derivation of $( A , [. ,. ] )$.
  
A left or right Loday algebra in which the bracket <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015015.png" /> is skew-symmetric (or alternating, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015016.png" /> is of characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015017.png" />) is a [[Lie algebra|Lie algebra]].
+
A left or right Loday algebra in which the bracket $[ \cdot  \ , \ \cdot ]$ is skew-symmetric (or alternating, if $k$ is of characteristic $2$) is a [[Lie algebra|Lie algebra]].
  
Loday algebra structures on a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015018.png" /> can be defined as elements of square <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015019.png" /> with respect to a graded Lie bracket on the vector space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015020.png" />-valued multi-linear forms on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015021.png" /> [[#References|[a3]]].
+
Loday algebra structures on a vector space $V$ can be defined as elements of square $0$ with respect to a graded Lie bracket on the vector space of $V$-valued multi-linear forms on $V$ [[#References|[a3]]].
  
 
A graded version of a left (or right) Loday algebra has been introduced by F. Akman [[#References|[a1]]] and further studied in [[#References|[a8]]]. The graded Loday algebras generalize the graded Lie algebras (cf. also [[Lie algebra, graded|Lie algebra, graded]]).
 
A graded version of a left (or right) Loday algebra has been introduced by F. Akman [[#References|[a1]]] and further studied in [[#References|[a8]]]. The graded Loday algebras generalize the graded Lie algebras (cf. also [[Lie algebra, graded|Lie algebra, graded]]).
  
 
===Examples.===
 
===Examples.===
The tensor module, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015022.png" />, of any vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015023.png" /> can be turned into a Loday algebra such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015024.png" />, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015026.png" />. This is the free Loday algebra over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015027.png" />.
+
The tensor module, $T V = \oplus _ { k \geq 1 } V ^ { \otimes k }$, of any vector space $V$ can be turned into a Loday algebra such that $[ w , v ] = w \otimes v$, for $w \in T V$, $v \in V$. This is the free Loday algebra over $V$.
  
Given any differential Lie algebra or, more generally, any differential left (respectively, right) Loday algebra, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015028.png" />, define <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015029.png" /> (respectively, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015030.png" />). Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015031.png" /> is a left (respectively, right) Loday bracket, called the derived bracket [[#References|[a8]]]. There is a generalization of this construction to the graded case, and the derived brackets on differential graded Lie algebras, which are graded Loday brackets, have applications in differential and Poisson geometry.
+
Given any differential Lie algebra or, more generally, any differential left (respectively, right) Loday algebra, $( A , [ \cdot , \cdot ] , d )$, define $[ x , y ] _ { d } = [ d x , y ]$ (respectively, $[ x , y ] _ { d } = [ x , d y ]$). Then $[ \cdot , \cdot ]_{d}$ is a left (respectively, right) Loday bracket, called the derived bracket [[#References|[a8]]]. There is a generalization of this construction to the graded case, and the derived brackets on differential graded Lie algebras, which are graded Loday brackets, have applications in differential and Poisson geometry.
  
 
===Operads.===
 
===Operads.===
The operad associated to the notion of Loday algebra is a Koszul operad [[#References|[a6]]]. There is a dual notion, the dual–Loday algebras, which are algebras over the dual operad.
+
The [[operad]] associated to the notion of Loday algebra is a Koszul operad [[#References|[a6]]]. There is a dual notion, the dual–Loday algebras, which are algebras over the dual operad.
  
 
===Loday (Leibniz) homology.===
 
===Loday (Leibniz) homology.===
This is the homology of the complex <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015032.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015033.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015034.png" /> denotes that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015035.png" /> is omitted. The homology complex of a Loday algebra is a [[Co-algebra|co-algebra]] in the category of dual–Loday algebras.
+
This is the homology of the complex $( T V , d )$ with
 +
$$
 +
d(x_1 \otimes \dots \otimes x_n) = \sum_{1 \leq i < j \leq n} (-1)^j x_1 \otimes x_2 \otimes x_{i-1} \otimes [x_i, x_j] \otimes x_{i+1} \otimes \dots \otimes \widehat{x_j} \otimes \dots \otimes x_n,
 +
$$
 +
where $\widehat{x _ { j }}$ denotes that $x _ { j }$ is omitted. The homology complex of a Loday algebra is a [[Co-algebra|co-algebra]] in the category of dual–Loday algebras.
  
The Loday homology of the algebra of matrices over an associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015036.png" />, over a field of characteristic zero, is isomorphic to the tensor module of the Hochschild homology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015037.png" /> (cf. also [[Extension of an associative algebra|Extension of an associative algebra]]) as a group in the category of dual Loday algebras [[#References|[a4]]] [[#References|[a13]]] [[#References|[a16]]]. This is the analogue of the Loday–Quillen–Tsygan theorem relating the Lie-algebra homology of matrices to the graded symmetric algebra over the cyclic homology of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015038.png" /> (cf. also [[Cyclic cohomology|Cyclic cohomology]]).
+
The Loday homology of the algebra of matrices over an associative algebra $A$, over a field of characteristic zero, is isomorphic to the tensor module of the Hochschild homology of $A$ (cf. also [[Extension of an associative algebra|Extension of an associative algebra]]) as a group in the category of dual Loday algebras [[#References|[a4]]] [[#References|[a13]]] [[#References|[a16]]]. This is the analogue of the Loday–Quillen–Tsygan theorem relating the Lie-algebra homology of matrices to the graded symmetric algebra over the cyclic homology of $A$ (cf. also [[Cyclic cohomology|Cyclic cohomology]]).
  
 
===Loday (Leibniz) cohomology.===
 
===Loday (Leibniz) cohomology.===
The cohomology can be defined dually to the homology. The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015039.png" />-cochains on a Loday algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015040.png" />, with coefficients in a representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015041.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015042.png" /> (see [[#References|[a10]]] [[#References|[a13]]]), are the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015043.png" />-linear mappings on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015044.png" /> with values in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015045.png" />, to which the differential of the Chevalley–Eilenberg complex can be lifted. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015046.png" /> is the base field <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015047.png" /> with the trivial representation, the differential <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015048.png" /> of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015049.png" />-cochain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015050.png" /> is defined by
+
The cohomology can be defined dually to the homology. The $n$-cochains on a Loday algebra $A$, with coefficients in a representation $M$ of $A$ (see [[#References|[a10]]] [[#References|[a13]]]), are the $n$-linear mappings on $A$ with values in $M$, to which the differential of the Chevalley–Eilenberg complex can be lifted. If $M$ is the base field $k$ with the trivial representation, the differential $d \alpha$ of an $n$-cochain $\alpha$ is defined by
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015051.png" /></td> </tr></table>
+
\begin{equation*} d \alpha ( x _ { 0 } , \ldots , x _ { n } ) = \sum _ { 0 \leq i &lt; j \leq n } ( - 1 ) ^ { j }\, \alpha ( x_0 , \dots , x _ { i  - 1} , [ x _ { i } , x _ { j } ] , x _ { i + 1} , \dots , \widehat{x _ { j }} , \dots , x _ { n } ). \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015052.png" /></td> </tr></table>
+
===Di-algebras.===
 +
A di-algebra is an algebra with two associative operations satisfying additional axioms [[#References|[a12]]]. A di-algebra is a non-commutative analogue of an associative algebra, and any di-algebra structure on a vector space $V$ gives rise to a Loday-algebra structure on $V$. The [[Universal enveloping algebra|universal enveloping algebra]] of a Loday algebra [[#References|[a13]]] has the structure of a di-algebra.
  
===Di-algebras.===
+
===References===
A di-algebra is an algebra with two associative operations satisfying additional axioms [[#References|[a12]]]. A di-algebra is a non-commutative analogue of an associative algebra, and any di-algebra structure on a vector space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015053.png" /> gives rise to a Loday-algebra structure on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l120/l120150/l12015054.png" />. The [[Universal enveloping algebra|universal enveloping algebra]] of a Loday algebra [[#References|[a13]]] has the structure of a di-algebra.
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  F. Akman,  "On some generalizations of Batalin–Vilkovisky algebras"  ''J. Pure Appl. Algebra'' , '''120'''  (1997)  pp. 105–141</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  B. Bakalov,  V.G. Kac,  A.A. Voronov,  "Cohomology of conformal algebras"  ''Comm. Math. Phys.'' , '''200'''  (1999)  pp. 561–598</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  D. Balavoine,  "Éléments de carré nul dans les algèbres de Lie graduées"  ''C.R. Acad. Sci. Paris'' , '''321'''  (1995)  pp. 689–694</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  C. Cuvier,  "Homologie de Leibniz"  ''Ann. Ecole Norm. Sup.'' , '''27'''  (1994)  pp. 1–45</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  A. Frabetti,  "Leibniz homology of dialgebras of matrices"  ''J. Pure Appl. Algebra'' , '''129'''  (1998)  pp. 123–141</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  V. Ginzburg,  M.M. Kapranov,  "Koszul duality for operads"  ''Duke Math. J.'' , '''76'''  (1994)  pp. 203–272</td></tr>
 +
<tr><td valign="top">[a7]</td> <td valign="top">  I.V. Kanatchikov,  "Novel algebraic structures from the polysymplectic form in field theory"  H.D. Doebner (ed.)  W. Scherer (ed.)  C. Schulte (ed.) , ''Group 21'' , '''2''' , World Sci.  (1997)</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  Y. Kosmann–Schwarzbach,  "From Poisson algebras to Gerstenhaber algebras"  ''Ann. Inst. Fourier'' , '''46'''  (1996)  pp. 1243–1274</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  M. Livernet,  "Rational homotopy of Leibniz algebras"  ''Manuscripta Math.'' , '''96'''  (1998)  pp. 295–315</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  J.-L. Loday,  "Cyclic homology" , Springer  (1992)  (Second ed.: 1998)</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  J.-L. Loday,  "Une version non commutative des algèbres de Lie: les algèbres de Leibniz"  ''Enseign. Math.'' , '''39'''  (1993)  pp. 269–293</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  J.-L. Loday,  "Overview on Leibniz algebras, dialgebras and their homology"  ''Fields Inst. Comm.'' , '''17'''  (1997)  pp. 91–102</td></tr><tr><td valign="top">[a13]</td> <td valign="top"> J.-L. Loday,  T. Pirashvili,  "Universal enveloping algebras of Leibniz algebras and (co)homology"  ''Math. Ann.'' , '''296'''  (1993)  pp. 139–158</td></tr><tr><td valign="top">[a14]</td> <td valign="top">  J.M. Lodder,  "Leibniz homology and the Hilton–Milnor theorem"  ''Topology'' , '''36'''  (1997)  pp. 729–743</td></tr><tr><td valign="top">[a15]</td> <td valign="top">  J.M. Lodder,  "Leibniz cohomology for differentiable manifolds"  ''Ann. Inst. Fourier'' , '''48'''  (1998)  pp. 73–95</td></tr><tr><td valign="top">[a16]</td> <td valign="top">  J.-M. Oudom,  "Coproduct and cogroups in the category of graded dual Leibniz algebras"  ''Contemp. Math.'' , '''202'''  (1997)  pp. 115–135</td></tr><tr><td valign="top">[a17]</td> <td valign="top">  T. Pirashvili,  "On Leibniz homology"  ''Ann. Inst. Fourier'' , '''44'''  (1994)  pp. 401–411</td></tr>
 +
</table>
  
====References====
+
[[Category:Nonassociative rings and algebras]]
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  F. Akman,  "On some generalizations of Batalin–Vilkovisky algebras"  ''J. Pure Appl. Algebra'' , '''120'''  (1997)  pp. 105–141</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  B. Bakalov,  V.G. Kac,  A.A. Voronov,  "Cohomology of conformal algebras"  ''Comm. Math. Phys.'' , '''200'''  (1999)  pp. 561–598</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D. Balavoine,  "Élements de carré nul dans les algèbres de Lie graduées"  ''C.R. Acad. Sci. Paris'' , '''321'''  (1995)  pp. 689–694</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C. Cuvier,  "Homologie de Leibniz"  ''Ann. Ecole Norm. Sup.'' , '''27'''  (1994)  pp. 1–45</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  A. Frabetti,  "Leibniz homology of dialgebras of matrices"  ''J. Pure Appl. Algebra'' , '''129'''  (1998)  pp. 123–141</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  V. Ginzburg,  M.M. Kapranov,  "Koszul duality for operads"  ''Duke Math. J.'' , '''76'''  (1994)  pp. 203–272</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  I.V. Kanatchikov,  "Novel algebraic structures from the polysymplectic form in field theory"  H.D. Doebner (ed.)  W. Scherer (ed.)  C. Schulte (ed.) , ''Group 21'' , '''2''' , World Sci.  (1997)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  Y. Kosmann–Schwarzbach,  "From Poisson algebras to Gerstenhaber algebras"  ''Ann. Inst. Fourier'' , '''46'''  (1996)  pp. 1243–1274</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  M. Livernet,  "Rational homotopy of Leibniz algebras"  ''Manuscripta Math.'' , '''96'''  (1998)  pp. 295–315</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  J.-L. Loday,  "Cyclic homology" , Springer  (1992)  (Second ed.: 1998)</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  J.-L. Loday,  "Une version non commutative des algèbres de Lie: les algèbres de Leibniz"  ''Enseign. Math.'' , '''39'''  (1993)  pp. 269–293</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  J.-L. Loday,  "Overview on Leibniz algebras, dialgebras and their homology"  ''Fields Inst. Comm.'' , '''17'''  (1997)  pp. 91–102</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  J.-L. Loday,  T. Pirashvili,  "Universal enveloping algebras of Leibniz algebras and (co)homology"  ''Math. Ann.'' , '''296'''  (1993)  pp. 139–158</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  J.M. Lodder,  "Leibniz homology and the Hilton–Milnor theorem"  ''Topology'' , '''36'''  (1997)  pp. 729–743</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  J.M. Lodder,  "Leibniz cohomology for differentiable manifolds"  ''Ann. Inst. Fourier'' , '''48'''  (1998)  pp. 73–95</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  J.-M. Oudom,  "Coproduct and cogroups in the category of graded dual Leibniz algebras"  ''Contemp. Math.'' , '''202'''  (1997)  pp. 115–135</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  T. Pirashvili,  "On Leibniz homology"  ''Ann. Inst. Fourier'' , '''44'''  (1994)  pp. 401–411</TD></TR></table>
 

Latest revision as of 15:06, 29 July 2024

Leibniz algebra

Loday algebras were introduced under the name "Leibniz algebras" by J.-L. Loday [a10] [a11] as non-commutative analogues of Lie algebras (cf. also Lie algebra). They are defined by a bilinear bracket which is no longer skew-symmetric. See [a12] for motivations, an overview and additional references. The term "Leibniz algebra" was used in all articles prior to 1996, and in many posterior ones. It had been chosen because, in the generalization of Lie algebras to Loday algebras, it is the derivation property of the adjoint mappings, analogous to the Leibniz rule in elementary calculus, that is preserved, while the skew-symmetry of the bracket is not. However, it has been shown [a1], [a8] that in many instances it is necessary to consider both a bracket and an associative multiplication defined on the same space, and to impose a "Leibniz rule" relating both operations, stating that the adjoint mappings are derivations of the associative multiplication. For this reason, it is preferable to adopt the term "Loday algebra" rather than "Leibniz algebra" when referring to the derivation property of the bracket alone.

A left Loday algebra over a field $k$ is a vector space over $k$ with a $k$-bilinear mapping $[ ., . ] : A \times A \rightarrow A$ satisfying

\begin{equation*} [ a , [ b , c ] ] = [ [ a , b ] , c ] + [ b , [ a , c ] ], \end{equation*}

for all $a , b , c \in A$. This property means that, for each $a$ in $A$, the adjoint endomorphism of $A$, $\operatorname{ad} _ { a } = [ a ,. ]$, is a derivation of $( A , [. ,. ] )$.

Similarly, by definition, in a right Loday algebra, for each $a \in A$, the mapping $x \in A \mapsto [ x , a ] \in A$ is a derivation of $( A , [. ,. ] )$.

A left or right Loday algebra in which the bracket $[ \cdot \ , \ \cdot ]$ is skew-symmetric (or alternating, if $k$ is of characteristic $2$) is a Lie algebra.

Loday algebra structures on a vector space $V$ can be defined as elements of square $0$ with respect to a graded Lie bracket on the vector space of $V$-valued multi-linear forms on $V$ [a3].

A graded version of a left (or right) Loday algebra has been introduced by F. Akman [a1] and further studied in [a8]. The graded Loday algebras generalize the graded Lie algebras (cf. also Lie algebra, graded).

Examples.

The tensor module, $T V = \oplus _ { k \geq 1 } V ^ { \otimes k }$, of any vector space $V$ can be turned into a Loday algebra such that $[ w , v ] = w \otimes v$, for $w \in T V$, $v \in V$. This is the free Loday algebra over $V$.

Given any differential Lie algebra or, more generally, any differential left (respectively, right) Loday algebra, $( A , [ \cdot , \cdot ] , d )$, define $[ x , y ] _ { d } = [ d x , y ]$ (respectively, $[ x , y ] _ { d } = [ x , d y ]$). Then $[ \cdot , \cdot ]_{d}$ is a left (respectively, right) Loday bracket, called the derived bracket [a8]. There is a generalization of this construction to the graded case, and the derived brackets on differential graded Lie algebras, which are graded Loday brackets, have applications in differential and Poisson geometry.

Operads.

The operad associated to the notion of Loday algebra is a Koszul operad [a6]. There is a dual notion, the dual–Loday algebras, which are algebras over the dual operad.

Loday (Leibniz) homology.

This is the homology of the complex $( T V , d )$ with $$ d(x_1 \otimes \dots \otimes x_n) = \sum_{1 \leq i < j \leq n} (-1)^j x_1 \otimes x_2 \otimes x_{i-1} \otimes [x_i, x_j] \otimes x_{i+1} \otimes \dots \otimes \widehat{x_j} \otimes \dots \otimes x_n, $$ where $\widehat{x _ { j }}$ denotes that $x _ { j }$ is omitted. The homology complex of a Loday algebra is a co-algebra in the category of dual–Loday algebras.

The Loday homology of the algebra of matrices over an associative algebra $A$, over a field of characteristic zero, is isomorphic to the tensor module of the Hochschild homology of $A$ (cf. also Extension of an associative algebra) as a group in the category of dual Loday algebras [a4] [a13] [a16]. This is the analogue of the Loday–Quillen–Tsygan theorem relating the Lie-algebra homology of matrices to the graded symmetric algebra over the cyclic homology of $A$ (cf. also Cyclic cohomology).

Loday (Leibniz) cohomology.

The cohomology can be defined dually to the homology. The $n$-cochains on a Loday algebra $A$, with coefficients in a representation $M$ of $A$ (see [a10] [a13]), are the $n$-linear mappings on $A$ with values in $M$, to which the differential of the Chevalley–Eilenberg complex can be lifted. If $M$ is the base field $k$ with the trivial representation, the differential $d \alpha$ of an $n$-cochain $\alpha$ is defined by

\begin{equation*} d \alpha ( x _ { 0 } , \ldots , x _ { n } ) = \sum _ { 0 \leq i < j \leq n } ( - 1 ) ^ { j }\, \alpha ( x_0 , \dots , x _ { i - 1} , [ x _ { i } , x _ { j } ] , x _ { i + 1} , \dots , \widehat{x _ { j }} , \dots , x _ { n } ). \end{equation*}

Di-algebras.

A di-algebra is an algebra with two associative operations satisfying additional axioms [a12]. A di-algebra is a non-commutative analogue of an associative algebra, and any di-algebra structure on a vector space $V$ gives rise to a Loday-algebra structure on $V$. The universal enveloping algebra of a Loday algebra [a13] has the structure of a di-algebra.

References

[a1] F. Akman, "On some generalizations of Batalin–Vilkovisky algebras" J. Pure Appl. Algebra , 120 (1997) pp. 105–141
[a2] B. Bakalov, V.G. Kac, A.A. Voronov, "Cohomology of conformal algebras" Comm. Math. Phys. , 200 (1999) pp. 561–598
[a3] D. Balavoine, "Éléments de carré nul dans les algèbres de Lie graduées" C.R. Acad. Sci. Paris , 321 (1995) pp. 689–694
[a4] C. Cuvier, "Homologie de Leibniz" Ann. Ecole Norm. Sup. , 27 (1994) pp. 1–45
[a5] A. Frabetti, "Leibniz homology of dialgebras of matrices" J. Pure Appl. Algebra , 129 (1998) pp. 123–141
[a6] V. Ginzburg, M.M. Kapranov, "Koszul duality for operads" Duke Math. J. , 76 (1994) pp. 203–272
[a7] I.V. Kanatchikov, "Novel algebraic structures from the polysymplectic form in field theory" H.D. Doebner (ed.) W. Scherer (ed.) C. Schulte (ed.) , Group 21 , 2 , World Sci. (1997)
[a8] Y. Kosmann–Schwarzbach, "From Poisson algebras to Gerstenhaber algebras" Ann. Inst. Fourier , 46 (1996) pp. 1243–1274
[a9] M. Livernet, "Rational homotopy of Leibniz algebras" Manuscripta Math. , 96 (1998) pp. 295–315
[a10] J.-L. Loday, "Cyclic homology" , Springer (1992) (Second ed.: 1998)
[a11] J.-L. Loday, "Une version non commutative des algèbres de Lie: les algèbres de Leibniz" Enseign. Math. , 39 (1993) pp. 269–293
[a12] J.-L. Loday, "Overview on Leibniz algebras, dialgebras and their homology" Fields Inst. Comm. , 17 (1997) pp. 91–102
[a13] J.-L. Loday, T. Pirashvili, "Universal enveloping algebras of Leibniz algebras and (co)homology" Math. Ann. , 296 (1993) pp. 139–158
[a14] J.M. Lodder, "Leibniz homology and the Hilton–Milnor theorem" Topology , 36 (1997) pp. 729–743
[a15] J.M. Lodder, "Leibniz cohomology for differentiable manifolds" Ann. Inst. Fourier , 48 (1998) pp. 73–95
[a16] J.-M. Oudom, "Coproduct and cogroups in the category of graded dual Leibniz algebras" Contemp. Math. , 202 (1997) pp. 115–135
[a17] T. Pirashvili, "On Leibniz homology" Ann. Inst. Fourier , 44 (1994) pp. 401–411
How to Cite This Entry:
Loday algebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Loday_algebra&oldid=18089
This article was adapted from an original article by Yvette Kosmann-Schwarzbach (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article