On Leibniz homology (Q1337030): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5850573 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5648522 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homologie et cohomologie des algèbres de Lie / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5288307 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Universal enveloping algebras of Leibniz algebras and (co)homology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5642708 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cohomologies of parabolic Lie algebras / rank | |||
Normal rank |
Revision as of 09:00, 23 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Leibniz homology |
scientific article |
Statements
On Leibniz homology (English)
0 references
5 October 1995
0 references
\textit{J. L. Loday} [``Cyclic homology'', (Springer, 1992; Zbl 0780.18009)] defined the Leibniz homology \(HL_ * ({\mathfrak g},M)\) of a Lie algebra \(\mathfrak g\) (over a field \(k\)) with coefficients in a right \(\mathfrak g\)- module \(M\). Next, the functor \(HL_ *\) was defined on a bigger category of Leibniz algebras and their corepresentations [\textit{J. L. Loday} and \textit{T. Pirashvili}, Math. Ann. 296, 139-158 (1993; Zbl 0821.17022)], i.e. the algebras \(({\mathfrak g},[\cdot, \cdot])\) satisfying the Leibniz identity \([x, [y,z]] = [[x, y], z] - [[x,z], y]\); the skew-symmetry condition is not required. In this paper the author constructs a few spectral sequences to give some relations between: (1) Leibniz and ordinary homologies of Lie algebras, for example: if \(H_ * ({\mathfrak g},M) = 0\), then \(HL_ *({\mathfrak g},M) = 0\), (2) Leibniz homology of a given Leibniz algebra \(\mathfrak h\) and its Liezation \({\mathfrak h}_{\text{Lie}} = {\mathfrak h}/([x,x] = 0)\), for example, the sequence \[ 0 \leftarrow ({\mathfrak h}^{\text{ann}})_{{\mathfrak h}_{\text{Lie}}} \leftarrow HL_ 2 ({\mathfrak h}_{\text{Lie}}, k) \leftarrow HL_ 2 ({\mathfrak h}, k) \] is exact. As a consequence, the author obtains the equality \(HL_ * ({\mathfrak h},k) = HL_ * ({\mathfrak h}_{\text{Lie}}, k)\) in the case when \({\mathfrak h}_{\text{Lie}}\) is a semisimple Lie algebra over the field \(k\) of characteristic zero or \({\mathfrak h}_{\text{Lie}}\) is a nilpotent Lie algebra with \(ch({\mathfrak h}) = 0\).
0 references
semisimple Lie algebra
0 references
Leibniz homology
0 references
Leibniz algebras
0 references
spectral sequences
0 references
nilpotent Lie algebra
0 references