On Leibniz cohomology
J\"org Feldvoss, Friedrich Wagemann (LMJL)

TL;DR
This paper extends classical Lie algebra cohomology results to Leibniz algebras, proving a Leibniz version of Whitehead's vanishing theorem and computing specific cohomologies using a novel spectral sequence.
Contribution
It introduces a Leibniz analogue of the Hochschild-Serre spectral sequence and proves new vanishing theorems for Leibniz algebra cohomology.
Findings
Proved Leibniz analogue of Whitehead's vanishing theorem.
Established the second Whitehead lemma for Leibniz algebras.
Computed cohomology for several Leibniz algebras with various coefficients.
Abstract
In this paper we prove the Leibniz analogue of Whitehead's vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with adjoint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of (the dual of) a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
On Leibniz cohomology
Jörg Feldvoss
Department of Mathematics and Statistics, University of South Alabama, Mobile, AL 36688-0002, USA
and
Friedrich Wagemann
Laboratoire de mathématiques Jean Leray, UMR 6629 du CNRS, Université de Nantes, 2, rue de la Houssinière, F-44322 Nantes Cedex 3, France
(Date: November 3, 2020)
Abstract.
In this paper we prove the Leibniz analogue of Whitehead’s vanishing theorem for the Chevalley-Eilenberg cohomology of Lie algebras. As a consequence, we obtain the second Whitehead lemma for Leibniz algebras. Moreover, we compute the cohomology of several Leibniz algebras with adjoint or irreducible coefficients. Our main tool is a Leibniz analogue of the Hochschild-Serre spectral sequence, which is an extension of the dual of a spectral sequence of Pirashvili for Leibniz homology from symmetric bimodules to arbitrary bimodules.
Key words and phrases:
Leibniz cohomology, Chevalley-Eilenberg cohomology, spectral sequence, cohomological vanishing, invariant symmetric bilinear form, Cartan-Koszul map, complete Lie algebra, rigid Leibniz algebra, Witt algebra, Borel subalgebra, parabolic subalgebra, semi-simple Leibniz algebra, second Whitehead lemma, outer derivation
2010 Mathematics Subject Classification:
Primary 17A32; Secondary 17B56
Introduction
In [1], the authors study the cohomology of semi-simple Leibniz algebras, i.e., the cohomology of finite-dimensional Leibniz algebras with an ideal of squares such that the corresponding canonical Lie algebra is semi-simple, and conjecture that . In [16], the authors determine the deviation of the second Leibniz cohomology of a complex Lie algebra with adjoint or trivial coefficients from the corresponding Chevalley-Eilenberg cohomology. With these motivations in mind, we systematically transpose Pirashvili’s results and tools from homology (see [31]) to cohomology, generalize the dual of one of Pirashvili’s spectral sequences from symmetric bimodules to arbitrary bimodules, and prove the conjecture mentioned above.
Obtaining this kind of vanishing results would be easy with a strong analogue of the Hochschild-Serre spectral sequence for Leibniz cohomology. Recall that the Hochschild-Serre spectral sequence for a Lie algebra extension arises from a filtration of the standard cochain complex of by cochains which vanish in case one inserts for a certain fixed number elements of the ideal in arguments of the cochain (see [19, Sections 2 and 3]). When trying to generalize this filtration from Lie algebras to Leibniz algebras, one needs to choose whether to filter from the left or from the right. Another difficulty is that the arising spectral sequence does not converge to the cohomology of the Leibniz algebra, but rather to the cohomology of some quotient complex. Furthermore, one must impose that the ideal acts trivially from the left (right) on the left (right) Leibniz algebra. This last issue excludes the application of the spectral sequence to many interesting ideals in the Leibniz algebra. Pirashvili [31, Theorem C] has constructed an analogue of the Hochschild-Serre spectral sequence using the filtration from the right for right Leibniz algebras and indicated how to use it together with a long exact sequence in order to extract cohomology. We use Pirashvili’s framework and extend the dual of his spectral sequence from symmetric bimodules to arbitrary bimodules (see Theorem 3.4). The two main changes of perspective with respect to [31] are the systematic use of arbitrary bimodules and computations in which we consider ground fields of all characteristics. We hope that this might be useful for further applications in the future.
The main application of Theorem 3.4 is Theorem 4.3 in which we compute the cohomology of a finite-dimensional semi-simple Leibniz algebra over a field of characteristic zero with coefficients in an arbitrary finite-dimensional bimodule. The case of Theorem 4.3 is the second Whitehead lemma for Leibniz algebras. But note that contrary to Chevalley-Eilenberg cohomology, Leibniz cohomology vanishes in any degree . This is one of several instances that we found by our computations in this paper which indicates that Leibniz cohomology behaves more uniformly than Chevalley-Eilenberg cohomology. We also show by examples that the theorem fails in prime characteristic or for infinite-dimensional modules (see Examples E and F, respectively).
As an immediate consequence of Theorem 4.3 we obtain the rigidity of finite-dimensional semi-simple Leibniz algebras in characteristic zero (see Corollary 4.7). More generally, we obtain a complete description of the cohomology of a finite-dimensional semi-simple left Leibniz algebra with coefficients in the adjoint bimodule and its (anti-)symmetric counterparts (see Theorem 4.5). In particular, we deduce that a finite-dimensional semi-simple non-Lie Leibniz algebra in characteristic zero always possesses outer derivations (see Corollary 4.6) which might be somewhat surprising as this shows that derivations of non-Lie Leibniz algebras are more complicated than derivations of Lie algebras.
In addition to the results just mentioned, we dualize another spectral sequence obtained by Pirashvili for Leibniz homology (see [31, Theorem A]) that relates the Leibniz cohomology of a Lie algebra to its Chevalley-Eilenberg cohomology (see Theorems 2.5 and 2.6). As an application we generalize some known results on rigidity to complete Lie algebras (see Corollary 2.9 and Corollary 2.10) and to parabolic subalgebras of finite-dimensional semi-simple Lie algebras (see Proposition 2.11). Moreover, we compute the Leibniz cohomology for the non-abelian two-dimensional Lie algebra (see Example A) and the three-dimensional Heisenberg algebra (see Example B) with coefficients in irreducible Leibniz bimodules. The authors believe that Leibniz cohomology is an important invariant of a Lie algebra that behaves more uniformly than Chevalley-Eilenberg cohomology. The motivation for including so many details in Section 2 was to provide the reader with a solid foundation for computing this invariant in arbitrary characteristics.
The subject of Leibniz algebras, and especially its (co)homology theory, owes a great deal to Jean-Louis Loday and Teimuraz Pirashvili (see [25], [24], [26], [31], and [27]). Many fundamental definitions and tools are due to them. While Loday and Pirashvili work with right Leibniz algebras, we work with left Leibniz algebras. Obviously, results for left Leibniz algebras are equivalent to the corresponding results for right Leibniz algebras. For the convenience of the reader we shall indicate where to find the corresponding formulae for left Leibniz algebras, even when they have been invented in the framework of right Leibniz algebras and are due to Loday and Pirashvili.
Teimuraz Pirashvili spotted an error in a first version of this article (see [32]) which we have subsequently corrected. The error is related to another Hochschild-Serre type spectral sequence (see Remark (c) after Corollary 3.5) which we have removed from the present version because its -term is more involved than we originally thought.
In this paper we will follow the notation used in [14]. All tensor products are over the relevant ground field and will be denoted by . For a subset of a vector space over a field we let be the subspace of spanned by . We will denote the space of linear transformations from an -vector space to an -vector space by . In particular, will be the space of linear forms on a vector space over a field . Moreover, will denote the symmetric square of a vector space . Finally, the identity function on a set will be denoted by , and the set of non-negative integers will be denoted by .
1. Preliminaries
In this section we recall some definitions and collect several results that will be useful in the remainder of the paper.
A left Leibniz algebra is an algebra such that every left multiplication operator , is a derivation. This is equivalent to the identity
[TABLE]
for all , which in turn is equivalent to the identity
[TABLE]
for all . We will call both identities the left Leibniz identity. There is a similar definition of a right Leibniz algebra but in this paper we will only consider left Leibniz algebras.
Every left Leibniz algebra has an important ideal, its Leibniz kernel, that measures how much the Leibniz algebra deviates from being a Lie algebra. Namely, let be a left Leibniz algebra over a field . Then
[TABLE]
is called the Leibniz kernel of . The Leibniz kernel is an abelian ideal of , and when (see [14, Proposition 2.20]). Moreover, is a Lie algebra if, and only if, . It follows from the left Leibniz identity (1.2) that , where denotes the left center of .
By definition of the Leibniz kernel, is a Lie algebra which we call the canonical Lie algebra associated to . In fact, the Leibniz kernel is the smallest ideal such that the corresponding factor algebra is a Lie algebra (see [14, Proposition 2.22]).
Next, we will briefly discuss left modules and bimodules of left Leibniz algebras. Let be a left Leibniz algebra over a field . A left -module is a vector space over with an -bilinear left -action , such that
[TABLE]
is satisfied for every and all .
By virtue of [14, Lemma 3.3], every left -module is an -module, and vice versa. Therefore left Leibniz modules are sometimes called Lie modules. Consequently, many properties of left Leibniz modules follow from the corresponding properties of modules for the canonical Lie algebra.
The correct concept of a module for a left Leibniz algebra is the notion of a Leibniz bimodule. An -bimodule is a left -module with an -bilinear right -action , such that
[TABLE]
and
[TABLE]
are satisfied for every and all . In fact, all three identities (1.3), (1.4), and (1.5) are instances of the left Leibniz identity, written down for the left Leibniz algebra which is considered as an abelian extension in the theory of non-associative algebras, where the element coccurs on the right, in the middle, or on the left, respectively (for the details see [14, Section 3]).
The usual definitions of the notions of sub-(bi)module, irreducibility, complete reducibility, composition series, homomorphism, isomorphism, etc., hold for left Leibniz modules and Leibniz bimodules.
Let be a left Leibniz algebra over a field , and let be an -bimodule. Then is said to be symmetric if for every and every , and is said to be anti-symmetric if for every and every . We call
[TABLE]
the anti-symmetric kernel of . It is known that is an anti-symmetric -sub-bimodule of (see [14, Proposition 3.12]) such that is symmetric (see [14, Proposition 3.13]).
Moreover, for any -bimodule we will need its space of right -invariants
[TABLE]
and the annihilator
[TABLE]
Our first result will be useful in the proof of Theorem 4.2.
Lemma 1.1**.**
Let be a left Leibniz algebra, and let be an -bimodule such that . Then is symmetric. In particular, .
Proof.
Since is anti-symmetric, it follows from the hypothesis that
[TABLE]
Hence we obtain from the definition of that is symmetric. The second part is then an immediate consequence of [14, Lemma 3.10]. ∎
It is clear from the definition of that an -bimodule is anti-symmetric if, and only if, . We will use Lemma 1.1 to show that the symmetry of non-trivial irreducible Leibniz bimodules can also be characterized by the behavior of their spaces of right invariants. As a preparation for this, we need to know that the latter space is a sub-bimodule.
Lemma 1.2**.**
Let be a left Leibniz algebra, and let be an -bimodule. Then is a sub-bimodule of .
Proof.
It follows from (1.4) that is invariant under the left action on , and it follows from (1.5) that is invariant under the right action on . ∎
Remark. More generally, the proof of Lemma 1.2 shows that is an -sub-bimodule of for every left ideal of .
Now we can characterize the symmetry of a non-trivial irreducible Leibniz bimodule by the vanishing of its space of right invariants. In particular, for non-trivial irreducible Leibniz bimodules we obtain the converse of Lemma 1.1. (Recall that an irreducible bimodule is a bimodule that has exactly two sub-bimodules, namely, [math] and . In particular, an irreducible bimodule is by definition a non-zero vector space.)
Corollary 1.3**.**
Let be a left Leibniz algebra, and let be an irreducible -bimodule. Then is symmetric with non-trivial -action if, and only if, .
Proof.
Since is irreducible, we obtain from Lemma 1.2 that or . Suppose first that is symmetric with non-trivial -action. Then we have that . On the other hand, the converse immediately follows from Lemma 1.1. ∎
Recall that every left -module of a left Leibniz algebra determines a unique symmetric -bimodule structure on by defining for every element and every element (see [14, Proposition 3.15 (b)]). We will denote this symmetric -bimodule by . Similarly, every left -module with trivial right action is an anti-symmetric -bimodule (see [14, Proposition 3.15 (a)]). We will denote this module by . Note that for any irreducible left -module the -bimodules and are irreducible, and every irreducible -bimodule arises in this way from an irreducible left -module (see [27, p. 415]).
Similar to the boundary map in [25] for the homology of a right Leibniz algebra with coefficients in a right module one can also introduce a coboundary map for the cohomology of a left Leibniz algebra with coefficients in a left module as follows.
Let be a left Leibniz algebra over a field , and let be a left -module. For any non-negative integer set and consider the linear transformation defined by
[TABLE]
for any and all elements . Note that in the second sum of the coboundary map the term appears in the -th position. (Note that the convention in Loday’s book (see [25, (10.6.2)]) is for the homology of right Leibniz algebras, and it is different.) Moreover, here and in the remainder of the paper we identify the tensor power with the corresponding Cartesian power.
Now let be an -bimodule and for any non-negative integer consider the linear transformation defined by
[TABLE]
for any and all elements , where as before the term appears in the -th position.
It is proved in [10, Lemma 1.3.1] that is a cochain complex, i.e., for every non-negative integer . Of course, the original idea of defining Leibniz cohomology as the cohomology of such a cochain complex for right Leibniz algebras is due to Loday and Pirashvili [26, Section 1.8]. Hence one can define the cohomology of with coefficients in an -bimodule by
[TABLE]
for every non-negative integer . (In this definition we use that .)
If is a symmetric -bimodule, then we have the identity for any non-negative integer . Namely,
[TABLE]
for any and all elements . In particular, as mentioned earlier, any left -module can be turned into a symmetric -module , and the fact that is a coboundary map for shows that is a cochain complex, i.e., for every non-negative integer . Hence one can define the cohomology of with coefficients in a left -module by
[TABLE]
for every non-negative integer . (As in the previous definition we set .)
Now we are ready to state the next result (see [31, Lemma 2.2] for the analogous result in Leibniz homology) whose second part generalizes [14, Corollary 4.4 (b)] to arbitrary degrees and which will be crucial in Section 4. (Note that the second part has already been obtained in [10, Proposition 1.3.16]). For the convenience of the reader we include a detailed proof.
Lemma 1.4**.**
Let be a left Leibniz algebra over a field , and let be a left -module. Then the following statements hold:
- (a)
If is considered as a symmetric -bimodule , then
[TABLE]
for every integer . 2. (b)
If is considered as an anti-symmetric -bimodule , then
[TABLE]
and
[TABLE]
for every integer , where is a left -module via
[TABLE]
for every and any elements .
Proof.
By virtue of the computation before Lemma 1.4, we only need to prove part (b). Note that the first part of (b) is just [14, Corollary 4.2 (b)].
First, we show that is a left -module via the given action. Let and be arbitrary. Then we obtain from the defining identity of a left Leibniz module (1.3) and the left Leibniz identity (1.2) that
[TABLE]
and
[TABLE]
as well as
[TABLE]
Hence for every , or equivalently, .
Now we will prove the second part of (b). Let be any positive integer. Consider the linear transformations defined by for any elements and defined by for any elements . Then and are inverses of each other.
Next, we will show that . Compute
[TABLE]
and
[TABLE]
for any elements . Since is anti-symmetric, the second of the last four summands vanishes, and thus the two compositions are equal. From the identity for every integer we obtain that
[TABLE]
and
[TABLE]
for every integer . Hence induces an isomorphism of vector spaces between and for every integer . In order to see the remainder of the assertion, apply part (a). ∎
In the special case of the trivial one-dimensional Leibniz bimodule we obtain from Lemma 1.4 the following result which will be needed in Section 4 (see [25, Exercise E.10.6.1] for the analogous result in Leibniz homology).
Corollary 1.5**.**
Let be a left Leibniz algebra over a field . Then for every integer there are isomorphisms
[TABLE]
of vector spaces, where is a left -module via for every linear form and any elements .
Remark. Note that [20, Theorem 3.5] is an immediate consequence of the case of Corollary 1.5 and [14, Corollary 4.4 (a)].
2. A relation between Chevalley-Eilenberg cohomology and Leibniz cohomology for
Lie algebras
Let be a Lie algebra, and let be a left -module that is also viewed as a symmetric Leibniz -bimodule . In this section, we will investigate how the Chevalley-Eilenberg cohomology and the Leibniz cohomology are related. The tools set forth in this section have been developed by Pirashvili, and we follow the analogous treatment for homology given in [31] very closely.
The Chevalley-Eilenberg cohomology of a Lie algebra with trivial coefficients is not isomorphic (up to a degree shift) to the Chevalley-Eilenberg cohomology of with coadjoint coefficients as it is the case for Leibniz cohomology (see Corollary 1.5). Instead these cohomologies are only related by a long exact sequence (see Proposition 2.1). The cohomology measuring the deviation from such an isomorphism will appear in a spectral sequence (see Theorem 2.5) which can be used to relate the Leibniz cohomology of a Lie algebra to its Chevalley-Eilenberg cohomology (see Proposition 2.2).
The exterior product map given on homogeneous tensors by induces a monomorphism
[TABLE]
where is the truncated cochain complex
[TABLE]
The cochain complex is defined by , and the corresponding chain complex is defined by (see [35, (1.2.8), p. 9] for the definition of the degree shift and see [31, Section 1] for the definition of ). We will mainly use the cochain complex in our paper, but the chain complex appears in Theorem 2.5 and its proof. Observe that classes in are represented by cochains of degree with values in , i.e., they have arguments. From the short exact sequence
[TABLE]
of cochain complexes we obtain the following long exact sequence:
Proposition 2.1**.**
For every Lie algebra over a field there is a long exact sequence
[TABLE]
and an isomorphism .
Remark. If we assume that the characteristic of the ground field is not 2, then is the space of invariant symmetric bilinear forms on (see [31, p. 403]). As a consequence, we obtain from Proposition 2.1 in the case that the five-term exact sequence
[TABLE]
which generalizes [13, Proposition 1.3 (1) & (3)]. Note that the map is the classical Cartan-Koszul map defined by , where for any elements (see [31, p. 403]).
For a Lie algebra and a left -module viewed as a symmetric Leibniz -bimodule , we have a natural monomorphism
[TABLE]
The cokernel of this morphism is by definition (up to a shift in the degree) the cochain complex :
[TABLE]
We therefore have another long exact sequence. (For the isomorphisms in degrees 0 and 1 see [14, Corollary 4.2 (a)] and [14, Corollary 4.4 (a)], respectively.)
Proposition 2.2**.**
Let be a Lie algebra, and let be a left -module considered as a symmetric Leibniz -bimodule . Then there is a long exact sequence
[TABLE]
and isomorphisms
[TABLE]
Remark. If we again assume that the characteristic of the ground field is not 2, it follows from Theorem 2.5 below in conjunction with the remark after Proposition 2.1 that is the space of invariant symmetric bilinear forms on . So when , we obtain the five-term exact sequence
[TABLE]
as a special case of Proposition 2.2 (cf. [20, Proposition 3.2] for fields of characteristic zero). Note that Corollary 1.5 implies that the second terms of the five-term exact sequences in Proposition 2.1 and in Proposition 2.2 for are isomorphic, but the fifth terms are not necessarily isomorphic (see the remark after Example A below).
Observe that as for , representatives of classes in have arguments.
On the quotient cochain complex there is the following filtration
[TABLE]
Note that the condition is independent of the representative of the class . This defines a finite decreasing filtration
[TABLE]
Then we have the following result:
Lemma 2.3**.**
This filtration is compatible with the Leibniz coboundary map .
Proof.
The Leibniz coboundary map, acting on a cochain , is an alternating sum of operators , and , where is the term involving the product of the -th and the -th element, is the term involving the left action of the -th element, and is the term involving the right action of the -th element. As the bimodule is symmetric, the term involving the right action can be counted among the terms involving the left actions.
We have to show that . We thus consider the different terms of with two equal elements as arguments in the first positions and have to show that all terms are zero. For with , the assertion is clear because either the two equal elements do not occur in the product, and then it is correct, or at least one of them occurs, and then from the product terms of the sum of and (or and ) we obtain an element , which is a sum of symmetric elements thanks to
[TABLE]
Even more elementary, the assertion holds for with . For with and , the assertion is clear in case is not one of the equal elements. In case it is, the two terms corresponding to the product action of the two equal elements cancel as they are equal and have different sign.
For the action terms the reasoning is similar. In case , either the two equal elements do not occur and the assertion holds, or both occur and cancel each other because of the alternating sign. For with , the assertion is clear in any case. ∎
The lemma implies that there is a spectral sequence of a filtered cochain complex associated to this filtration which thanks to (2.1) converges in the strong (i.e., finite) sense to .
The next step is then to compute the [math]-th term of this spectral sequence, i.e., the associated graded vector space of the filtration
[TABLE]
Observe that
[TABLE]
In the quotient space , the term , by which both filtration spaces are divided, disappears.
Observe that the filtration can be expressed as
[TABLE]
This is useful, because by elementary linear algebra, we have
[TABLE]
where and for .
In order to be able to find , we therefore have to compute
[TABLE]
By using the isomorphism (see the proof of Theorem A in [31])
[TABLE]
and by applying that and are adjoint functors, we obtain that
[TABLE]
by definition of the chain complex as the kernel of (up to a degree shift).
In the case of a finite-dimensional Lie algebra , we can use the isomorphism to write the -term as
[TABLE]
In this particular case, one may observe that the first tensor factor is the kernel of the exterior multiplication map , and thus
[TABLE]
Therefore the term takes in this particular case the form
[TABLE]
Next, we will determine the differential on :
Lemma 2.4**.**
The differential on is induced by the coboundary operator on . More precisely, we have that
[TABLE]
for every linear transformation .
Proof.
By definition, the differential of the spectral sequence is the differential which is induced by the Leibniz coboundary map on the associated graded quotients
[TABLE]
In order to examine which terms , and are zero for a cochain , we have to insert two consecutive equal elements in the arguments of within the first arguments.
Now, by the same reasoning as in the proof of Lemma 2.3, the terms vanish in case , because in case the equal elements are not involved, the formula for diminishes the number of arguments by one, and as is of degree in the filtration, this then gives zero. In case the elements occur, they create once again a symmetric element of the form . Also for with and , the terms are zero when the equal elements are not involved, and are zero in addition with (or ), in case of multiplying with one of the equal elements. The terms for vanish as the corresponding formula diminishes the number of arguments by one in case the equal elements do not occur, and annihilate each other in case they occur.
Thus, there remain the terms with , with , and , which form together the coboundary map of the cochain complex . ∎
Consequently, in the general case we obtain for the first term of the spectral sequence:
[TABLE]
and in the case of a finite-dimensional Lie algebra we have that
[TABLE]
Now we proceed to identify the differential on . The differential is still induced by the Leibniz coboundary map on the filtered cochain complex. As the classes in are represented by cocycles, the part of the Leibniz coboundary operator constituting the differential must be zero. The action of one of the remaining terms on must also be zero since the Cartan relations for Leibniz cohomology (due to Loday and Pirashvili [26, Proposition 3.1]) imply that a Leibniz algebra acts trivially on its cohomology. (For the reader interested in left Leibniz algebras, a proof of these formulas adapted to this case can be found in [10, Proposition 1.3.2].) Note that the Cartan relations only hold for . But as the Leibniz -bimodule is symmetric, the action of on is also trivial. Therefore, the remaining terms of the differential constitute the coboundary operator on .
Consequently, in the general case we obtain for the second term of the spectral sequence:
[TABLE]
where the right-hand side denotes the -cohomology with values in the trivial -module . It is the cohomology of the cochain complex arising from applying the exact functor to the chain complex . It follows from the exactness of this functor and the Universal Coefficient Theorem (for example, see [35, Theorem 3.6.5]) that we can express the -term as
[TABLE]
and in the special case of a finite-dimensional Lie algebra , we have that
[TABLE]
This discussion proves the following result which (up to dualization) is Theorem A in [31]. In the case of trivial coefficients (and possibly topological Fréchet Lie algebras) the second part of Theorem 2.5 has also been obtained by Lodder (see [28, Theorem 2.10]).
Theorem 2.5**.**
Let be a Lie algebra, and let be a left -module considered as a symmetric Leibniz -bimodule . Then there is a spectral sequence converging to with second term
[TABLE]
Moreover, if is finite dimensional, then the -term of this spectral sequence can be written as
[TABLE]
Remark. As the spectral sequence of Theorem 2.5 is the spectral sequence of a filtered cochain complex, the higher differentials in this spectral sequence are again induced by the Leibniz coboundary operator . We will see in Example B below an instance of a concrete computation of the differential .
Our main application of the spectral sequence will be the next theorem which is a refinement of the cohomological analogue of [31, Corollary 1.3]:
Theorem 2.6**.**
Let be a Lie algebra, let be a left -module considered as a symmetric Leibniz -bimodule , and let be a non-negative integer. If for every integer with , then for every integer with and as well as . In particular, implies that .
Proof.
The proof follows the proof of Corollary 1.3 in [31] very closely.
According to Proposition 2.2, it suffices to prove that for every integer with implies that for every integer with . We proceed by induction on . In the case , the hypothesis yields that for the second term of the spectral sequence of Theorem 2.5, and therefore we obtain from the convergence of the spectral sequence that which initializes the induction.
So suppose now that and for every integer with . By induction hypothesis, we obtain that for every integer with . Hence it follows from Proposition 2.2 that for every integer with and . Consequently, the second term of the spectral sequence in Theorem 2.5 is zero for , and therefore .
Finally, the isomorphisms in degree and , respectively, are an immediate consequence of Proposition 2.2. ∎
Remark. Note that the converse of Theorem 2.6 is also true, namely, for every integer with if, and only if, for every integer with . In particular, if, and only if, .
Next, we illustrate the use of the spectral sequence of Theorem 2.5 and the associated long exact sequences (see Propositions 2.1 and 2.2) by two examples. We begin by computing the Leibniz cohomology of the smallest non-nilpotent Lie algebra with coefficients in an arbitrary irreducible Leibniz bimodule (see also [31, Example 1.4 i)] for trivial coeffcients in characteristic ). Note that for a ground field of characteristic 2 the Leibniz cohomology of this Lie algebra is far more complicated than for a field of characteristic .
In the case that the irreducible Leibniz bimodule is of finite dimension we can prove more generally for an arbitrary supersolvable Lie algebra the following vanishing result.
Proposition 2.7**.**
Let be a finite-dimensional supersolvable Lie algebra over a field , and let be a finite-dimensional irreducible Leibniz -bimodule such that . Then for every positive integer . Moreover, if is symmetric, then for every non-negative integer .
Proof.
If is symmetric, then the assertion is an immediate consequence of Theorem 2.6 in conjunction with [3, Theorem 3].
Now suppose that is not symmetric. Then it follows from [14, Theorem 3.14] that is anti-symmetric. We obtain from Lemma 1.4 (b) that
[TABLE]
for every positive integer . By definition of supersolvability, the adjoint -module has a composition series
[TABLE]
such that for every integer . From the short exact sequences , we obtain by dualizing, tensoring each term with , and symmetrizing the short exact sequences:
[TABLE]
for every integer . Since is irreducible and , we conclude that is an irreducible symmetric Leibniz -bimodule. Moreover, we have that as . Hence we obtain inductively from the long exact cohomology sequence that for every positive integer . ∎
Remark. It follows from Lie’s theorem that every finite-dimensional irreducible Leibniz bimodule of a finite-dimensional solvable Lie algebra over an algebraically closed field of characteristic zero is one-dimensional (see [22, Corollary 4.1 A]). Consequently, in this case the hypothesis of Proposition 2.7 is never satisfied, and thus this result is only applicable over non-algebraically closed fields of characteristic zero or over fields of prime characteristic.
By virtue of Proposition 2.7, in the next example it is enough to consider one-dimensional Leibniz bimodules.
Example A. Let denote an arbitrary field, and let be the non-abelian two-dimensional Lie algebra over with multiplication determined by . For any scalar one can define a one-dimensional left -module with -action defined by and . Then the Chevalley-Eilenberg cohomology of with coefficients in is as follows:
[TABLE]
In particular, if , then .
First, let us consider as a symmetric Leibniz -bimodule . Then it follows from Theorem 2.6 that for .
In order to be able to compute the Leibniz cohomology for , and for the anti-symmetric Leibniz -bimodules , let be an arbitrary left -module considered as a symmetric Leibniz -bimodule . Since for every integer , we obtain from Proposition 2.2 the short exact sequence
[TABLE]
and the isomorphisms
[TABLE]
Moreover, we have that and .
For the computation of the relative cohomology spaces we need the coadjoint Chevalley-Eilenberg cohomology of . It is easy to verify that
[TABLE]
[TABLE]
and
[TABLE]
Consequently, we have to consider the cases and differently.
Let us first assume that . Then it follows from Proposition 2.1 that and for every integer . Hence we derive from the spectral sequence of Theorem 2.5 that for every non-negative integer . In conclusion, we obtain from (2.3) and (2.4) that
[TABLE]
and
[TABLE]
As an immediate consequence, in the case of we deduce that for every non-negative integer and
[TABLE]
In summary, we have for the Leibniz cohomology of over a field of characteristic with coefficients in a one-dimensional symmetric Leibniz bimodule that
[TABLE]
Next, let us assume that . Then it follows from Proposition 2.1 that , , and for every integer . Hence in the spectral sequence of Theorem 2.5, we have only two non-zero columns, namely the and the column. In the column, we have spaces , while in the column, we have just for every integer . Therefore, the spectral sequence degenerates at the term , and for every integer we obtain that
[TABLE]
and
[TABLE]
This, together with (2.3), (2.4), and induction yields the recursive relation
[TABLE]
As a consequence, we obtain for the Leibniz cohomology of over a field of characteristic with coefficients in a one-dimensional symmetric Leibniz bimodule that
[TABLE]
for every non-negative integer , where denotes the -th term of the standard Fibonacci sequence given by , , and for every integer . In particular, we have that
[TABLE]
Next, let us consider as an anti-symmetric Leibniz -bimodule with the same left -action as above and with the trivial right -action (see Section 1). Then we conclude from Lemma 1.4 (b) that
[TABLE]
Let us now compute for any integer . It follows from Lemma 1.4 (b) that
[TABLE]
A straightforward computation shows that
[TABLE]
is a short exact sequence of left -modules. Then we obtain from the long exact cohomology sequence and another straightforward computation in the case :
[TABLE]
[TABLE]
and
[TABLE]
If , we conclude by applying (2.13) and (2.7) to the symmetric Leibniz -bimodule that
[TABLE]
and
[TABLE]
Finally, we use (2.8) to deduce for every integer :
[TABLE]
In summary, we have for the Leibniz cohomology of over a field of characteristic with coefficients in a one-dimensional anti-symmetric Leibniz bimodule that
[TABLE]
If , we obtain by applying (2.13) and (2.11):
[TABLE]
Remark. Since every invariant symmetric bilinear form on is a multiple of the Killing form, we have that . On the other hand, from the computations in Example A we obtain when that
[TABLE]
This shows that, in general, and .
Moreover, the computations in Example A show that , but . Hence the fifth terms of the five-term exact sequences in Proposition 2.1 and in Proposition 2.2 for are not necessarily isomorphic.
Similar to Proposition 2.7, we have the following general vanishing result:
Proposition 2.8**.**
Let be a finite-dimensional nilpotent Lie algebra, and let be a finite-dimensional non-trivial irreducible Leibniz -bimodule. Then for every positive integer . Moreover, if is symmetric, then for every non-negative integer .
Proof.
If is symmetric, then the assertion is an immediate consequence of Theorem 2.6 and [3, Lemma 3].
According to [14, Theorem 3.14], we can suppose that is anti-symmetric. We obtain from Lemma 1.4 (b) that
[TABLE]
for every positive integer . By refining the descending central series of , one can construct a composition series
[TABLE]
of the adjoint -module such that is the trivial one-dimensional -module for every integer . From the short exact sequences
[TABLE]
we obtain by dualizing, tensoring each term with , and symmetrizing the short exact sequences:
[TABLE]
for every integer . Since is a non-trivial irreducible left -module, we conclude that is a non-trivial irreducible symmetric Leibniz -bimodule. Hence we obtain inductively from the long exact cohomology sequence that for every positive integer . ∎
Since the Leibniz cohomology of an abelian Lie algebra with trivial coefficients is known, in Example B we compute this cohomology for the smallest non-abelian nilpotent Lie algebra. Note that in [31, Example 1.4. iv)] the corresponding Leibniz homology has been computed. In fact, homology and cohomology of a finite-dimensional Leibniz algebra with trivial coefficients are isomorphic, as we have the duality isomorphism already on the level of cochain complexes. Therefore our results coincide with those of Pirashvili. We furthermore compute in Example C the Leibniz cohomology of the smallest nilpotent non-Lie Leibniz algebra with coefficients in the trivial Leibniz bimodule.
Example B. Let denote an arbitrary field of characteristic , and let be the three-dimensional Heisenberg algebra over with multiplication determined by . Then the Chevalley-Eilenberg cohomology of with coefficients in the trivial module is well-known:
[TABLE]
Consequently, we have that and .
As for every integer , we obtain from Proposition 2.2 the following six-term exact sequence:
[TABLE]
and
[TABLE]
Since we assume that , it follows from the remark after Proposition 2.2 that we can identify with the space of invariant symmetric bilinear forms on and the map with the classical Cartan-Koszul map. It is easy to see that the latter map is zero for the Heisenberg algebra, which yields the surjectivity of the map and the injectivity of the map . As a consequence, we obtain the following two short exact sequences:
[TABLE]
[TABLE]
In order to compute and , we need the coadjoint Chevalley-Eilenberg cohomology of . We have that , , , and . These dimensions can be computed directly, but for the complex numbers as a ground field it also follows from the main result of [29] in conjunction with Poincaré duality (for the latter see [36, Theorem 3.4]).
Similar to the discussion of the consequences of Proposition 2.2 above, we obtain from Proposition 2.1 the two short exact sequences
[TABLE]
[TABLE]
the isomorphism , and for every integer .
From these two short exact sequences and the isomorphism we derive that
[TABLE]
[TABLE]
and
[TABLE]
respectively. Therefore we obtain from that
[TABLE]
Now we want to apply the spectral sequence of Theorem 2.5. For this let us compute the differential
[TABLE]
In characteristic , an element of is an invariant symmetric bilinear form . It is considered as a -cochain with values in and, as it is a representative of an element of a quotient cochain complex, it is zero in case it is skew-symmetric in all entries. Take furthermore a cocycle and compute for three elements :
[TABLE]
Now as is a cocycle with trivial coefficients, vanishes on products, thus the second and third terms are zero. Furthermore, the first and fourth term cancel by the invariance of the form and skew-symmetry of the Lie product. We are left with the two last terms , which are skew-symmetric in the three entries of the element in and vanish therefore as well. In conclusion, the differential is zero, and we have that
[TABLE]
This implies in turn
[TABLE]
It seems that all differentials are zero and thus that this scheme persists to yield the dimensions of the higher and thus of (see the dimension formula in [31, Example 1.4 iv)]).
Remark. As a by-product of the above computations we obtain that the space of invariant symmetric bilinear forms on is three-dimensional when .
We proceed by proving an extension of a result by Fialowski, Magnin, and Mandal (see Corollary 2 in [16]), namely, the fact that the vanishing of the center of a Lie algebra implies , where denotes the adjoint Leibniz -bimodule induced by the left and right multiplication operator. Note that for Lie algebras, this bimodule is indeed symmetric.
Moreover, we observe that . Therefore, it is an immediate consequence of the case of Theorem 2.6 that the vanishing of the center implies . By the same token for , we can extend this result to complete Lie algebras, i.e., to those Lie algebras for which :
Corollary 2.9**.**
Let be a complete Lie algebra. Then
[TABLE]
A class of examples of complete Lie algebras over an algebraically closed field of characteristic zero consists of those finite-dimensional Lie algebras for which has the same dimension as its Lie algebra of derivations and (see [8, Proposition 3.1]). Another example is the two-sided Witt algebra over a field of characteristic zero. Indeed, this infinite-dimensional simple Lie algebra is complete (see [12, Theorem A.1.1]). Hence we obtain from [33, Theorem 3.1] and [12, Theorem 4.1] in conjunction with the case of Theorem 2.6 the following result:
Corollary 2.10**.**
Let be the two-sided Witt algebra over a field of characteristic zero. Then and . Moreover,
[TABLE]
Remark. Very recently, Camacho, Omirov, and Kurbanbaev also proved that the second adjoint Leibniz cohomology of vanishes (see [7, Theorem 4]) by explicitly showing that every adjoint Leibniz 2-cocycle (resp. Leibniz 2-coboundary) is an adjoint Chevalley-Eilenberg 2-cocycle (resp. Chevalley-Eilenberg 2-coboundary) for .
We conclude this section with another application of Theorem 2.6. Let be an algebraically closed field of characteristic zero, let be a non-negative integer, and let denote the affine variety of structure constants of the -dimensional left Leibniz algebras over with respect to a fixed basis of . Then the general linear group acts on , and a point (= Leibniz multiplication law) is called rigid if the orbit is open in . It follows from Corollary 2.10 in conjunction with [2, Théorème 3] that the infinite-dimensional two-sided Witt algebra over an algebraically closed field of characteristic zero is rigid as a Leibniz algebra.
It is well known that the Chevalley-Eilenberg cohomology of the non-abelian two-dimensional Lie algebra with coefficients in the adjoint module vanishes. According to Theorem 2.6, this implies that the corresponding Leibniz cohomology vanishes as well. Note that the non-abelian two-dimensional Lie algebra is the standard Borel subalgebra of the split three-dimensional simple Lie algebra .
Similarly, by applying Theorem 2.6 in conjunction with [34, Theorem 1] (see also [23, Section 1]) one obtains the following more general result in characteristic zero (cf. also [31, Proposition 2.3] for the rigidity of parabolic subalgebras). Recall that a subalgebra of a semi-simple Lie algebra is called parabolic if it contains a maximal solvable (= Borel) subalgebra of .
Proposition 2.11**.**
Let be a parabolic subalgebra of a finite-dimensional semi-simple Lie algebra over a field of characteristic zero. Then for every non-negative integer . In particular, parabolic subalgebras of a finite-dimensional semi-simple Lie algebra over an algebraically closed field of characteristic zero are rigid as Leibniz algebras.
Remark. It would be interesting to know whether Proposition 2.11 remains valid in prime characteristic.
3. A Hochschild-Serre type spectral sequence for Leibniz cohomology
In this section we consider a Leibniz analogue of the Hochschild-Serre spectral sequence for the Chevalley-Eilenberg cohomology of Lie algebras that converges to some relative cohomology. It will play a predominant role in Section 4. The homology version of this spectral sequence with values in symmetric bimodules is due to Pirashvili (see [31, Theorem C]). Our arguments follow Pirashvili very closely, but we include all the details as it turns out that the spectral sequence holds more generally for arbitrary bimodules.
Let be an epimorphism of left Leibniz algebras, and let be a -bimodule. Then is also an -bimodule via . Moreover, the epimorphisms induce a monomorphism of cochain complexes. Now set
[TABLE]
and
[TABLE]
Then by applying the long exact cohomology sequence to the short exact sequence
[TABLE]
of cochain complexes one obtains the following result (see also [31, Proposition 4.1] for the corresponding result for Leibniz homology).
Proposition 3.1**.**
For every epimorphism of left Leibniz algebras and every -bimodule there exists a long exact sequence
[TABLE]
Let us now derive Pirashvili’s analogue of the Hochschild-Serre spectral sequence for Leibniz cohomology (see [31, Theorem C] for the homology version). While Pirashvili considers only symmetric bimodules, we extend the dual of his spectral sequence to arbitrary bimodules. The construction of this spectral sequence is very similar to the construction of the spectral sequence in Theorem 2.5.
We consider the following filtration on the cochain complex .
[TABLE]
This defines a finite decreasing filtration
[TABLE]
Then we have the following result:
Lemma 3.2**.**
This filtration is compatible with the Leibniz coboundary map .
Proof.
We have to prove that . For this, we consider the different terms , , and , which constitute , where we have inserted an element of within the first arguments. The vanishing is clear for the terms with , because even if the element of occurs in the product, the product will again be in the ideal . The vanishing is also clear for the terms with . Concerning the terms with and , we use the condition to conclude that these are zero.
The action terms follow a similar pattern. The terms with vanish, because either the element of occurs in the arguments, or it acts on , which is zero by assumption. The terms with are zero for elementary reasons, as is the term . ∎
Thanks to (3.1), the associated spectral sequence converges in the strong (i.e., finite) sense to the cohomology of the quotient cochain complex , and we get for the 0-th term of the spectral sequence
[TABLE]
where the isomorphism is induced by the inclusion . Since and are adjoint functors, we obtain that
[TABLE]
Next, we will determine the differential on :
Lemma 3.3**.**
The differential on is induced by the coboundary operator on . More precisely, we have that
[TABLE]
for every linear transformation .
Proof.
The differential
[TABLE]
is induced by . Thus, we have to examine which terms , , and composing the value are non-zero when we put an element of within the first entries.
It is clear that for since this is true when the element of is not involved in the product, as the number of elements is diminished by one, and it is also true when the element of is in the product because is an ideal. We then have for and , since in case the element of acts in the product, it acts trivially because of . Furthermore, the terms for are zero since elements of act trivially on .
Therefore, we are left with the terms composing the differential . ∎
Consequently, the first term of the spectral sequence is
[TABLE]
Now we proceed to determine the differential on . It is again induced by the Leibniz coboundary operator. As before, classes in are represented by cocycles and thus the part of the Leibniz differential constituting the Leibniz coboundary operator is zero. The remaining terms constitute the differential on , again since by the Cartan relations for Leibniz cohomology (see [26, Proposition 3.1] for the case of right Leibniz algebras and [10, Proposition 1.3.2] for the case of left Leibniz algebras) a Leibniz algebra acts trivially on its cohomology. But one needs to be careful since the Cartan relations do only hold for . Therefore, for an arbitrary bimodule , will act non-trivially on . On the other hand, if the bimodule is symmetric, however, the action is indeed trivial on .
Note that in the proof of the preceding lemma, in all action terms on or on the action is from the left, thus, in order to interpret the remaining terms as the Leibniz boundary operator with values in , we have to switch around the last action term. This is the reason for viewing and ) here as a symmetric -bimodule.
Finally, we obtain from the Universal Coefficient Theorem (for example, see [35, Theorem 3.6.5]) that for the second term of the spectral sequence is
[TABLE]
Furthermore, for a finite-dimensional Leibniz algebra and a symmetric -bimodule , for all , the -term simplifies to
[TABLE]
and in this special case, for all , the -term is
[TABLE]
This discussion proves the following results:
Theorem 3.4**.**
Let be a short exact sequence of left Leibniz algebras such that . Then is in a natural way an anti-symmetric -bimodule via and for every element and every element . Moreover, there is a spectral sequence converging to with second term
[TABLE]
for every -bimodule .
Corollary 3.5**.**
If in Theorem 3.4 the Leibniz algebra is finite dimensional and the -bimodule is symmetric, then, for any integers , the -term of the spectral sequence simply reads
[TABLE]
where the linear dual of is a left -module via for every linear form and any elements .
Remarks.
- (a)
According to [14, Proposition 2.13], Theorem 3.4 applies to and (see [31, Remark 4.2] for the analogous statement for Leibniz homology). Note that in the cohomology space , the left -module is viewed as a symmetric bimodule while naturally it is an anti-symmetric -bimodule.
- (b)
The higher differentials in the spectral sequence are again induced by the Leibniz coboundary operator . Observe that the spectral sequence of Corollary 3.5 is isomorphic to the spectral sequence of the cochain bicomplex . Therefore the description of the higher differentials can be adapted from [21] (see, in particular, Remark 3.2 therein). For example, it is clear, if one of the two differentials in the bicomplex is zero, then all higher differentials vanish. We will see an instance of this case in Example C below.
- (c)
One might wonder what one gets when one uses the filtration by the last arguments instead of the first arguments. It turns out that this spectral sequence has an -term that is more difficult to describe (and which we stated erroneously in a first version of this article), because one takes in the -term the cohomology of a complex which appears as coefficients in the Leibniz cohomology that constitutes the -term.
As in the previous section, we illustrate the use of the spectral sequence of Theorem 3.4 and the associated long exact sequence (see Proposition 3.1) by two examples.
In the first example we compute the Leibniz cohomology of the smallest nilpotent non-Lie left Leibniz algebra with trivial coefficients.
Example C. Let denote an arbitrary field, and let be the two-dimensional nilpotent left (and right) Leibniz algebra over with multiplication determined by . Then , and thus is a one-dimensional abelian Lie algebra. Hence for every non-negative integer . Moreover, we have that and .
Next, we compute the higher cohomology with the help of the spectral sequence of Corollary 3.5. As observed in Remark (b) after Corollary 3.5, all higher differentials are zero in our case since the Leibniz coboundary operator of the abelian Lie algebra with values in the trivial module vanishes. With the input data and , we therefore get from the spectral sequence
[TABLE]
In order to be able to apply now the long exact sequence from Proposition 3.1 and deduce the dimensions of the cohomology spaces, we want to argue that this sequence is split. In fact, it is split because the connecting homomorphism is surjective. This comes from the fact that the cochain complex is one-dimensional in each degree and a generator can be hit via the connecting homomorphism which is easy to see directly (take a cochain in represented by an element in with exactly one slot in at the first place: the Leibniz product in this slot gives the only non-zero contribution). Consequently, the long exact sequence from Proposition 3.1 splits into short exact sequences
[TABLE]
starting from , where the right-hand term is one-dimensional. These short exact sequences, together with the spectral sequence where every differential is zero, permit us to determine all relative and absolute cohomology spaces. For example, we have , and then , , and then , and so on. In general, we obtain by induction that for every integer and for every integer .
In the second example we compute the Leibniz cohomology of the smallest non-nilpotent non-Lie left Leibniz algebra with coefficients in one-dimensional bimodules. Note that contrary to the semidirect product of two one-dimensional Lie algebras in Example A the Leibniz algebra in Example D is the hemi-semidirect product of two one-dimensional Lie algebras. It turns out that this somewhat simplifies matters.
Example D. Let denote an arbitrary field, and let be the two-dimensional supersolvable left Leibniz algebra over with multiplication determined by . For any scalar one can define a one-dimensional left -module with -action defined by and . Note that , and thus is a one-dimensional abelian Lie algebra. Then we obtain from [3, Lemma 1] and Theorem 2.6 that
[TABLE]
Moreover, we deduce from Lemma 1.4 (b) that
[TABLE]
for every integer , and therefore
[TABLE]
In order to be able to apply the spectral sequence of Theorem 3.4, we first compute . Observe that the module is non-trivial irreducible, and furthermore it is viewed as a symmetric -bimodule. Hence from the above it follows that for every non-negative integer . This implies in turn that the spectral sequence of Theorem 3.4 collapses at the -term and that
[TABLE]
for all non-negative integers , while for all by Corollary 3.5. Notice that as an -bimodule . We have already observed in Example C that the long exact sequence of Proposition 3.1 splits, and therefore we conclude from Proposition 3.1 that
[TABLE]
and
[TABLE]
for all and all non-negative integers . Consequently, we obtain that
[TABLE]
and
[TABLE]
Remark. In particular, we have that for every non-negative integer . Note that this follows as well from the scheme of proof of Proposition 4.3 in [31] by using the isomorphism between Leibniz homology and cohomology with trivial coefficients. Indeed, the characteristic element of is zero as and . Since also is zero, we can reason in the same way as Pirashvili does.
4. Cohomology of semi-simple Leibniz algebras
Recall that a left Leibniz algebra is called semi-simple if contains every solvable ideal of (see [14, Section 7]). In particular, a finite-dimensional left Leibniz algebra is semi-simple if, and only if, , where denotes the largest solvable ideal of (see [14, Proposition 7.4]). Moreover, a left Leibniz algebra is semi-simple if, and only if, the canonical Lie algebra associated to is semi-simple (see [14, Proposition 7.8]).
Lemma 4.1**.**
Let be a finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero. Then , where is a left -module, and thus a left -module, via for every linear form and any elements .
Proof.
It follows from Levi’s theorem for Leibniz algebras (see [31, Proposition 2.4] or [4, Theorem 1]) that there exists a semi-simple Lie subalgebra of such that (see also [15, Corollary 2.14]). Note that then . Since is a Lie algebra and , we obtain that for any elements and . This shows that . Now let be arbitrary. Since for any , , and , we conclude that , which proves the assertion. ∎
The first main result in this section is the Leibniz analogue of Whitehead’s vanishing theorem for the Chevalley-Eilenberg cohomology of finite-dimensional semi-simple Lie algebras over a field of characteristic zero (see [9, Theorem 24.1] or [19, Theorem 10]). Note that in the special case of a Lie algebra, Theorem 4.2 is an immediate consequence of Whitehead’s classical vanishing theorem and Theorem 2.6.
Theorem 4.2**.**
Let be a finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero. If is a finite-dimensional -bimodule such that , then for every non-negative integer .
Proof.
According to Lemma 1.1, the hypothesis implies that is symmetric. We can therefore use the spectral sequence of Corollary 3.5 with and . The -term reads
[TABLE]
It follows from [14, Proposition 7.8] and the Ntolo-Pirashvili vanishing theorem for the Leibniz cohomology of a finite-dimensional semi-simple Lie algebra over a field of characteristic zero (see [30, Théorème 2.6] and the sentence after the proof of Lemma 2.2 in [31]) that for every positive integer . Hence the spectral sequence collapses, and we deduce
[TABLE]
By virtue of Lemma 4.1, the relative cohomology vanishes for every non-negative integer , and thus we obtain from Proposition 3.1 in conjunction with [14, Proposition 4.1] and the Ntolo-Pirashvili vanishing theorem that for every non-negative integer . ∎
Remark. It is possible to prove Theorem 4.2 without using the Ntolo-Pirashvili vanishing theorem. Namely, the first time the Ntolo-Pirashvili vanishing theorem is used in the above proof, one can instead use Lemma 4.1, Whitehead’s classical vanishing theorem, and Theorem 2.6, and the second time, by hypothesis, it is enough to apply just the last two results. As a consequence, the proof of Theorem 4.3 gives also a new proof of the Ntolo-Pirashvili vanishing theorem.
Next, we generalize the Ntolo-Pirashvili vanishing theorem from Lie algebras to arbitrary Leibniz algebras. The main tools in the proof are Corollary 1.3, Theorem 4.2, Corollary 1.5, and Lemma 1.4, where the second result and its use in this proof seems to be new.
Theorem 4.3**.**
Let be a finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero, and let be a finite-dimensional -bimodule. Then for every integer , and there is a five-term exact sequence
[TABLE]
Moreover, if is symmetric, then for every integer .
Proof.
The proof is divided into three steps. First, we will prove the assertion for symmetric -bimodules. So suppose that is symmetric. Since is finite-dimensional, it has a composition series. It is clear that sub-bimodules and homomorphic images of a symmetric bimodule are again symmetric. By using the long exact cohomology sequence, it is therefore enough to prove the second part of the theorem for finite-dimensional irreducible symmetric -bimodules. So suppose now in addition that is irreducible and non-trivial. Then we obtain from Corollary 1.3 that , and thus Theorem 4.2 yields that for every non-negative integer . Finally, suppose that is the trivial irreducible -bimodule. In this case it follows from Corollary 1.5 that for every integer . Since is perfect, we obtain from Corollary 1.5 that
[TABLE]
Therefore another application of Theorem 4.2 yields that
[TABLE]
for every integer . This finishes the proof for symmetric -bimodules.
If is anti-symmetric, then we obtain the assertion from Lemma 1.4 (b) and the statement for symmetric bimodules. Finally, if is arbitrary, then in the short exact sequence the first term is anti-symmetric and the third term is symmetric. Hence another application of the long exact cohomology sequence in conjunction with the statement for the anti-symmetric and the symmetric case yields for every integer . Now we deduce the five-term exact sequence from the long exact cohomology sequence together with [14, Corollary 4.2], [14, Corollary 4.4 (b)], and the symmetric case. ∎
Note that Theorem 4.3 contains [14, Theorem 7.15] as the special case and the second Whitehead lemma for Leibniz algebras as the special case . But contrary to Chevalley-Eilenberg cohomology, Leibniz cohomology vanishes in any degree .
The following example shows that the Ntolo-Pirashvili vanishing theorem (and therefore also Theorem 4.3) does not hold over fields of prime characteristic.
Example E. Let be the three-dimensional simple Lie algebra of traceless matrices over a field of characteristic . Moreover, let denote the field with elements, and let () denote the irreducible restricted -module of heighest weight . (If the ground field is algebraically closed, these modules represent all isomorphism classes of restricted irreducible -modules.) It is well known (see [11, Theorem 4]) that . (Note that by virtue of [11, Theorem 2], for every non-restricted irreducible -module. In fact, is the only irreducible -module such that or .)
We obtain from Proposition 2.2 that
[TABLE]
and
[TABLE]
In particular, this shows that the Ntolo-Pirashvili vanishing theorem (and therefore also Theorem 4.3) is not true over fields of prime characteristic.
Remark. By using more sophisticated tools one can also say something about the Leibniz cohomology of anti-symmetric irreducible -bimodules, where again . We obtain from Lemma 1.4 (b) that
[TABLE]
and
[TABLE]
Since is a self-dual -module, we have the following isomorphisms of -modules:
[TABLE]
Let us first consider the case . Then we obtain from the modular Clebsch-Gordan rule (see [5, Theorem 1.11 (a)] or Satz a) in Chapter 5 of [17]) that
[TABLE]
and
[TABLE]
Hence we conclude for that
[TABLE]
and
[TABLE]
Let us now consider . Note that in this case is the Steinberg module, i.e., is the unique projective irreducible restricted -module. This implies that is also projective for every highest weight . Then we obtain from the modular Clebsch-Gordan rule (cf. [5, Theorem 1.11 (b) and (c)] or Satz b) and c) in Chapter 5 of [17]) for that
[TABLE]
where denotes the projective cover (and at the same time also the injective hull) of . As a consequence, we have that
[TABLE]
Therefore, we obtain that
[TABLE]
Moreover, by using the six-tem exact sequence relating Hochschild’s cohomology of a restricted Lie algebra to its Chevalley-Eilenberg cohomology (see [18, p. 575]), we also conclude that
[TABLE]
The next example shows that the Ntolo-Pirashvili vanishing theorem (and therefore also Theorem 4.3) does not hold for infinite-dimensional modules.
Example F. Let be the three-dimensional simple complex Lie algebra of traceless matrices, and let () denote the Verma module of highest weight . (Here we identify every complex multiple of the unique fundamental weight with its coefficient.) Verma modules are infinite-dimensional indecomposable -modules (see, for example, [22, Theorem 20.2 (e)]). Furthermore, it is well known (see [22, Exercise 7 (b) & (c) in Section 7.2]) that is irreducible if, and only if, is not a dominant integral weight (i.e., with our identification, is not a non-negative integer). Moreover, it follows from [36, Theorem 4.19] that
[TABLE]
This in conjunction with Proposition 2.2 yields that
[TABLE]
and
[TABLE]
In particular, the Ntolo-Pirashvili vanishing theorem (and therefore also Theorem 4.3) is not true for infinite-dimensional modules.
We obtain as an immediate consequence of Theorem 4.3 the following generalization of [14, Corollary 7.9].
Corollary 4.4**.**
If is a finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero, then for every integer .
Remark. It is well known that the analogue of Corollary 4.4 does not hold for the Chevalley-Eilenberg cohomology of Lie algebras as for any finite-dimensional semi-simple Lie algebra over a field of characteristic zero (see [9, Theorem 21.1]).
Next, we apply Theorem 4.3 to compute the cohomology of a finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero with coefficients in its adjoint bimodule and in its (anti-)symmetric counterparts.
Theorem 4.5**.**
For every finite-dimensional semi-simple left Leibniz algebra over a field of characteristic zero the following statements hold:
- (a)
[TABLE] 2. (b)
[TABLE]
where denotes the vector space of endomorphisms of the left adjoint -module . 3. (c)
[TABLE]
where denotes the vector space of homomorphisms from the left adjoint -module to the Leibniz kernel considered as a left -module.
Proof.
(a): According to [14, Proposition 4.1] and [14, Proposition 7.5] we have that that . Moreover, we obtain the statement for degree from the second part of Theorem 4.3.
(b): It follows from [14, Corollary 4.2 (b)] that , and it follows from [14, Corollary 4.4 (b)] that . The remainder of the assertion is an immediate consequence of the first part of Theorem 4.3.
(c): As for the symmetric adjoint bimodule, we obtain from [14, Proposition 4.1] and [14, Proposition 7.5] that . Next, by applying the five-term exact sequence of Theorem 4.3 to the adjoint -bimodule , we deduce that
[TABLE]
as the third term is . Finally, the assertion for degree is again an immediate consequence of the first part of Theorem 4.3. ∎
Remark. Note that the vanishing part of Theorem 4.5 (c) confirms a generalization of the conjecture at the end of [1]. Moreover, parts (a) and (b) of Theorem 4.5 show that the statements in Theorem 4.3 are best possible.
In particular, one can derive from Theorem 4.5 (c) that finite-dimensional semi-simple non-Lie Leibniz algebras over a field of characteristic zero have outer derivations. In this respect non-Lie Leibniz algebras behave differently than Lie algebras (see, for example, [22, Theorem 5.3]).
Corollary 4.6**.**
Every finite-dimensional semi-simple non-Lie Leibniz algebra over a field of characteristic zero has derivations that are not inner.
Proof.
If one applies the contravariant functor to the short exact sequence
[TABLE]
considered as a short exact sequence of left -modules, one obtains the short exact sequence
[TABLE]
of left -modules. Then the long exact cohomology sequence in conjunction with Lemma 1.4 (a) yields the long exact sequence
[TABLE]
According to the second part of Theorem 4.3, the fourth term is zero. Since the third term contains the identity map, it is non-zero as by hypothesis is a not a Lie algebra. Hence in this case the second term is non-zero, and we obtain from Theorem 4.5 (c) that . ∎
Remark. After the submission of our paper we became aware of the preprint [6] in which the authors introduce a more general concept of inner derivations for Leibniz algebras than in our paper. Namely, a derivation of a left Leibniz algebra is called inner if there exists an element such that . Then it is shown that every derivation of a finite-dimensional semi-simple Lie algebra over a field of characteristic zero is inner in this more general sense (see [6, Theorem 3.3]).
In the same way as at the end of Section 2 for the infinite-dimensional two-sided Witt algebra, by using [2, Théorème 3] in conjunction with Theorem 4.5 (c), one obtains the rigidity of any finite-dimensional semi-simple Lie algebra as a Leibniz algebra.
Corollary 4.7**.**
Every finite-dimensional semi-simple left Leibniz algebra over an algebraically closed field of characteristic zero is rigid as a Leibniz algebra.
Acknowledgments. Most of this paper was written during a sabbatical leave of the first author in the Fall semester 2018. He is very grateful to the University of South Alabama for giving him this opportunity.
The first author would also like to thank the Laboratoire de mathématiques Jean Leray at the Université de Nantes for the hospitality and the financial support in the framework of the program DéfiMaths during his visit in August and September 2018. Moreover, the first author wishes to thank Henning Krause and the BIREP group at Bielefeld University for the hospitality and the financial support during his visit in October and November 2018 when large portions of the paper were written.
Both authors would like to thank Bakhrom Omirov for useful discussions. We are also grateful to Teimuraz Pirashvili for spotting a mistake in a previous version of the manuscript and to Geoffrey Powell for his help in understanding this mistake as well as for several useful remarks that improved the present manuscript. Finally, we would like to thank an anonymous referee for correcting a mistake in the submitted version.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] J. Q. Adashev, M. Ladra, and B. A. Omirov: The second cohomology group of simple Leibniz algebras, J. Algebra Appl. 17 (2018), no. 12, 1850222, 13 pp.
- 2[2] D. Balavoine: Déformations et rigidité géométrique des algèbres de Leibniz, Comm. Algebra 24 (1996), no. 3, 1017–1034.
- 3[3] D. W. Barnes: On the cohomology of soluble Lie algebras, Math. Z. 101 (1967), 343–349.
- 4[4] D. W. Barnes: On Levi’s theorem for Leibniz algebras, Bull. Austral. Math. Soc. 86 (2012), no. 2, 184–185.
- 5[5] G. M. Benkart and J. M. Osborn: Representations of rank one Lie algebras of characteristic p 𝑝 p , in: Lie Algebras and Related Topics, New Brunswick, NJ, 1981 , Lecture Notes in Mathematics, vol. 933 , Springer, Berlin/Heidelberg/New York, 1982, pp. 1–37.
- 6[6] K. Boyle, K. C. Misra, and E. Stitzinger: Complete Leibniz algebras, Preprint (6 pages) ar Xiv:2001.11979 v 1 , January 31, 2020.
- 7[7] L. M. Camacho, B. A. Omirov, and T. K. Kurbanbaev: Leibniz algebras constructed by Witt algebras, Linear Multilinear Algebra 67 (2019), no. 10, 2048–2064.
- 8[8] R. Carles: Sur la structure des algèbres de Lie rigides, Ann. Inst. Fourier ( Grenoble ) 34 (1984), no. 3, 65–82.
