Abstract
In this paper, we consider Leibniz algebras with derivations. A pair consisting of a Leibniz algebra and a distinguished derivation is called a LeibDer pair. We define a cohomology theory for LeibDer pair with coefficients in a representation. We study central extensions of a LeibDer pair. In the next, we generalize the formal deformation theory to LeibDer pairs in which we deform both the Leibniz bracket and the distinguished derivation. It is governed by the cohomology of LeibDer pair with coefficients in itself. Finally, we consider homotopy derivations on sh Leibniz algebras and 2-derivations on Leibniz 2-algebras. The category of 2-term sh Leibniz algebras with homotopy derivations is equivalent to the category of Leibniz 2-algebras with 2-derivations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Leibniz algebras (also called Loday algebras) are a noncommutative analogue of Lie algebras. Leibniz algebras were first considered by Bloh [9] and rediscovered by Loday [22]. In the same paper, Loday introduces a homology theory for Leibniz algebras, a noncommutative generalization of the Lie algebra homology. In [26] Loday and Pirashvili introduced a cohomology theory for Leibniz algebras with coefficients in a representation. This cohomology is also a noncommutative analogue of the Chevalley-Eilenberg cohomology for Lie algebras. The classical deformation theory of rings and algebras by Gerstenhaber [15] have been extended to Leibniz algebras in [6]. The notion of sh Leibniz algebras (strongly homotopy Leibniz algebras) is introduced in [1]. Strongly homotopy Leibniz algebras are related to categorification of Leibniz algebras [29]. See [4, 10, 23] for some interesting results about Leibniz algebras.
Algebraic structures are useful via their derivations. Derivations are also useful in constructing homotopy Lie algebras [31], deformation formulas [12] and differential Galois theory [27]. They also play an essential role in control theory and gauge theories in quantum field theory [2, 3]. In [14, 25] the authors study algebras with derivations from the operadic point of view. Recently, Lie algebras with derivations (called LieDer pairs) are studied from the cohomological point of view [30] and extensions, deformations of LieDer pairs are considered. The results of [30] have been extended to associative algebras with derivations (called AssDer pairs) in [13].
In this paper, we consider Leibniz algebras with derivations. More precisely, we consider a pair \(({\mathfrak {g}}, \phi _{\mathfrak {g}})\) where \({\mathfrak {g}}\) is a Leibniz algebra and \(\phi _{\mathfrak {g}} : {\mathfrak {g}} \rightarrow {\mathfrak {g}}\) is a derivation for the Leibniz algebra bracket on \({\mathfrak {g}}\). We call such a pair \(({\mathfrak {g}}, \phi _{\mathfrak {g}})\) a LeibDer pair. We define representations and cohomology for a LeibDer pair. This cohomology is a variant of the Leibniz algebra cohomology. When considering the cohomology of a LeibDer pair \(({\mathfrak {g}}, \phi _\mathfrak {g})\) with coefficients in itself, we show that the cohomology inherits a degree \(-1\) graded Lie bracket.
Central extensions of Leibniz algebras were defined in [26]. They are related to the second cohomology group of Leibniz algebras with suitable coefficients. See [16,17,18] for category theoretical study of central extensions. In Sect. 4, we extend results of [26] in the context of LeibDer pairs. We prove that isomorphism classes of central extensions of a LeibDer pair by a trivial LeibDer pair are classified by the second cohomology group of the LeibDer pair with coefficients in the trivial representation (cf. Theorem 4.4). Next we discuss the extension of a pair of derivations in a central extension of Leibniz algebras. Given a central extension \(0 \rightarrow \mathfrak {a} \xrightarrow {i} \mathfrak {h} \xrightarrow {p} \mathfrak {g} \rightarrow 0\) of Leibniz algebras and a pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\), we associate a second cohomology class in the cohomology of the Leibniz algebra \(\mathfrak {g}\) with coefficients in the trivial representation \(\mathfrak {a}\). When this cohomology class is null, the pair \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\) of derivations extends to a derivation \(\phi _\mathfrak {h} \in \mathrm {Der}(\mathfrak {h})\) which makes the above sequence into an exact sequence of LeibDer pairs (cf. Theorem 4.6).
The classical deformation theory of Gerstenhaber [15] has been extended to Leibniz algebras in [6]. In Sect. 5, we generalize this deformation theory to LeibDer pairs. Our results in this section are analogous to the standard ones. The vanishing of the second cohomology implies that the LeibDer pair is rigid, i.e, any deformation is equivalent to the undeformed one (cf. Theorem 5.7). Given a finite order deformation, we associate a third cohomology class in the cohomology of the LeibDer pair, called the obstruction class (cf. Proposition 5.10). When this class is null, the given deformation extends to deformation of next order (cf. Theorem 5.11).
The notion of sh Leibniz algebras was introduced in [1]. In [29] the authors consider 2-term sh Leibniz algebras and relate them with categorified Leibniz algebras. In Sect. 6, we introduce homotopy derivations on 2-term sh Leibniz algebras. Homotopy derivations on skeletal sh Leibniz algebras are characterized by third cocycles of LeibDer pairs (cf. Proposition 6.5). We introduce crossed modules of LeibDer pairs and prove that strict homotopy derivations on strict sh Leibniz algebras are characterized by crossed modules of LeibDer pairs (cf Theorem 6.7).
The notion of Lie 2-algebras or categorified Lie algebras was first introduced by Baez and Crans [5]. They showed that the category of 2-term \(L_\infty \)-algebras is equivalent to the category of Lie 2-algebras. This result has been extended to various other algebraic structures including associative algebras, Leibniz algebras [13, 29]. In Sect. 7, we introduce LeibDer 2-pairs. They are categorification of LeibDer pairs. Finally, we prove that the category of LeibDer 2-pairs and the category of 2-term sh Leibniz algebras with homotopy derivations are equivalent (cf. Theorem 7.6).
Throughout the paper, all vector spaces and linear maps are over a field \({\mathbb {K}}\) of characteristic zero unless otherwise stated.
2 Leibniz algebras and their cohomology
In this section, we recall Leibniz algebras and their cohomology. Our main references are [6, 26].
Definition 2.1
A Leibniz algebra \((\mathfrak {g}, [ ~,~ ])\) consists of a vector space \(\mathfrak {g}\) and a bilinear map \([~ , ~ ] : \mathfrak {g} \times \mathfrak {g} \rightarrow \mathfrak {g}\) satisfying the following identity (Leibniz identity)
Such Leibniz algebras are called right Leibniz algebras as the identity (1) is equivalent to the fact that the maps \([~, z] : \mathfrak {g} \rightarrow \mathfrak {g}\) by fixing right coordinate are derivations for the bracket on \(\mathfrak {g}\). Thus, one may also define left Leibniz algebras. In this paper, by a Leibniz algebra, we shall always mean a right Leibniz algebra. However, all the results of the present paper can be easily adapted to left Leibniz algebras by suitable modifications.
Definition 2.2
Let \((\mathfrak {g}, [~, ~])\) be a Leibniz algebra. A representation of it consists of a vector space M together with bilinear maps (called left and right actions)
satisfying the following set of identities
-
(MLL) \( [[m, x], y] = [[m, y], x] + [m, [x, y]],\)
-
(LML) \( [[x, m], y] = [[x, y], m] + [x, [m, y]],\)
-
(LLM) \( [[x, y], m] = [[x, m], y] + [x, [y, m]],\)
for any \(x, y \in \mathfrak {g}\) and \(m \in M\).
Note that \(\mathfrak {g}\) is a representation of itself with left and right actions are given by the bracket on \(\mathfrak {g}\). Let \((\mathfrak {g}, [~, ~])\) be a Leibniz algebra and M be a representation of it. Define the n-th cochain group
and a map \(\delta _L : CL^n (\mathfrak {g}, M) \rightarrow CL^{n+1} (\mathfrak {g}, M)\) by
for \( x_1, \ldots , x_{n+1} \in \mathfrak {g}\). Then one has \((\delta _L)^2 = 0\). Therefore, \((CL^*(\mathfrak {g}, M), \delta _L)\) is a cochain complex. The cohomology of the Leibniz algebra \(\mathfrak {g}\) with coefficients in M is denoted by
When we consider the cohomology of a Leibniz algebra \(\mathfrak {g}\) with coefficients in itself, the graded space \(CL^*(\mathfrak {g}, \mathfrak {g}) = \oplus _n CL^n(\mathfrak {g}, \mathfrak {g})\) of cochain groups carries a degree \(-1\) graded Lie bracket given by
where
for \(x_1, \ldots , x_{m+n-1} \in \mathfrak {g}\). If we denote the Leibniz bracket on \(\mathfrak {g}\) by the bilinear map \(\mu : \mathfrak {g}^{\otimes 2} \rightarrow \mathfrak {g}\) (i.e, \(\mu (x,y) = [x, y]\), for \(x, y \in \mathfrak {g}\)) then the Leibniz identity for the bracket is equivalent to \(\llbracket \mu , \mu \rrbracket = 0\), where \(\mu \) is considered as an element in \(CL^2 (\mathfrak {g}, \mathfrak {g} ).\) With this notation, the differential (with coefficients in \(\mathfrak {g}\)) is given by
This implies that the graded space of cohomology \(HL^*(\mathfrak {g}, \mathfrak {g})\) carries a degree \(-1\) graded Lie bracket.
Remark 2.3
The bracket \(\llbracket ~, ~ \rrbracket \) given in (2) is a noncommutative analogue of the classical Nijenhuis-Richardson bracket on skew-symmetric multilinear maps [28]. Since the differential \(\delta _L\) of the Leibniz algebra \(\mathfrak {g}\) can be expressed in terms of the bracket \(\llbracket ~, ~ \rrbracket \), Leibniz cohomology can be thought as a noncommutative analogue of the Chevalley-Eilenberg cohomology for Lie algebras.
3 LeibDer pairs
In this section, we consider LeibDer pairs. We define the representations and cohomology of a LeibDer pair. Finally, the cohomology of a LeibDer pair with coefficients in itself carries a degree \(-1\) graded Lie bracket.
Let \(\mathfrak {g}\) be a Leibniz algebra. A linear map \(\phi _\mathfrak {g} : \mathfrak {g} \rightarrow \mathfrak {g}\) is a derivation on \(\mathfrak {g}\) if it satisfies
Note that derivations are 1-cocycles in the cohomology complex of \(\mathfrak {g}\) with coefficients in \(\mathfrak {g}\). We call a pair \((\mathfrak {g}, \phi _\mathfrak {g})\) of a Leibniz algebra \(\mathfrak {g}\) and a derivation \(\phi _\mathfrak {g}\), a LeibDer pair. When the Leibniz algebra bracket is skew-symmetric, one gets the notion of LieDer pair [30]. Thus, LeibDer pairs are non-skewsymmetric analog of LieDer pairs.
Example 3.1
-
Let \((\mathfrak {g}, [~, ~])\) is a Leibniz algebra. Then for any \(x \in \mathfrak {g}\), the linear map \(\phi _x := [~, x] : \mathfrak {g} \rightarrow \mathfrak {g}\) is a derivation on \(\mathfrak {g}\). Hence, \((\mathfrak {g}, \phi _x)\) is a LeibDer pair.
-
Any associative dialgebra gives rise to a Leibniz algebra in the same way an associative algebra gives a Lie algebra. An associative dialgebra is a vector space D together with two bilinear maps \(\dashv , \vdash : D \times D \rightarrow D\) satisfying five associative style identities [24]. A linear map \(d: D \rightarrow D\) is a derivation for the associative dialgebra if d is a derivation for both the products \(\dashv \) and \(\vdash \).
If \((D, \dashv , \vdash )\) is an associative dialgebra, then D equipped with the bracket
$$\begin{aligned} {[}x, y]:= x \dashv y - y \vdash x \end{aligned}$$is a Leibniz algebra. Further, if d is a derivation for the associative dialgebra, then d is also a derivation for the induced Leibniz algebra structure on D.
-
Let \((L, [~, \ldots , ~])\) be a n-Leibniz algebra, i.e, \([~, \ldots , ~] : L^{\times n} \rightarrow L\) is a multilinear map satisfying
$$\begin{aligned} {[[}x_1, \ldots , x_n], y_1, \ldots , y_{n-1}] = \sum _{i=1}^n [ x_1, \ldots , x_{i-1}, [ x_i, y_1, \ldots , y_{n-1}], x_{i+1}, \ldots , x_n], \end{aligned}$$for \(x_1, \ldots , x_n, y_1, \ldots , y_{n-1} \in L\) [11]. A derivation on the n-Leibniz algebra L is given by a linear map \(d : L \rightarrow L\) that satisfies \(d [x_1, \ldots , x_n] = \sum _{i=1}^n [x_1, \ldots , dx_i, \ldots , x_n].\) Note that a n-Leibniz algebra \((L, [~, \ldots , ~])\) induces a Leibniz algebra structure on \(L^{\otimes n-1}\) with bracket
$$\begin{aligned} {[} x_1 \otimes \cdots \otimes x_{n-1}, y_1 \otimes \cdots \otimes y_{n-1}] = \sum _{i=1}^{n-1} x_1 \otimes \cdots \otimes [x_i, y_1, \ldots , y_{n-1}] \otimes \cdots \otimes x_{n-1}. \end{aligned}$$If \(d : L \rightarrow L\) is a derivation for the n-Leibniz algebra L, then d induces a map \({\overline{d}} : L^{\otimes n-1} \rightarrow L^{\otimes n-1}\) by
$$\begin{aligned} {\overline{d}} ( x_1 \otimes \cdots \otimes x_{n-1}) = \sum _{i=1}^{n-1} x_1 \otimes \cdots \otimes dx_i \otimes \cdots \otimes x_{n-1}. \end{aligned}$$It can be checked that \({\overline{d}}\) is a derivation for the Leibniz bracket on \(L^{\otimes n-1}\) [11, Proposition 2.4]. In other words, \((L^{\otimes n-1}, {\overline{d}})\) is a LeibDer pair.
Remark 3.2
Any Leibniz algebra associates a Lie algebra via skew-symmetrization. Let \((\mathfrak {g}, [~, ~])\) be a Leibniz algebra. Then the associated Lie algebra \(\mathfrak {g}_{\mathrm {Lie}}\) is the quotient of \(\mathfrak {g}\) by the ideal S generated by elements of the form [x, x], for \(x \in \mathfrak {g}\). The Lie bracket on \(\mathfrak {g}_{\mathrm {Lie}}\) is the one induced from the Leibniz bracket on \(\mathfrak {g}\). If \((\mathfrak {g}, \phi _\mathfrak {g})\) is a LeibDer pair, then we have
Therefore, \(\phi _\mathfrak {g}\) induces a map \(\overline{\phi _\mathfrak {g}} : \mathfrak {g}_{\mathrm {Lie}} \rightarrow \mathfrak {g}_{\mathrm {Lie}}\). Since \(\phi _\mathfrak {g}\) is a derivation for the Leibniz bracket, \(\overline{ \phi _\mathfrak {g}}\) is a Lie algebra derivation. In other words, \((\mathfrak {g}_{\mathrm {Lie}}, \overline{\phi _\mathfrak {g}} )\) is a LieDer pair.
Definition 3.3
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) and \((\mathfrak {h}, \phi _\mathfrak {h})\) be two LeibDer pairs. A LeibDer pair morphism between them is a Leibniz algebra morphism \(f : \mathfrak {g} \rightarrow \mathfrak {h}\) satisfying \(\phi _\mathfrak {h} \circ f = f \circ \phi _\mathfrak {g}\). It is called LeibDer pair isomorphism if f is an isomorphism.
LeibDer pairs and morphisms between them form a category, denoted by LeibDer.
An exact sequence of LeibDer pairs is an exact sequence in the category LeibDer. More precisely, it consist of LeibDer pair morphisms of the form
in which i is injective, p is surjective and \(\mathrm {im}~i = \mathrm {ker}~p\).
Let V be a vector space. Consider the tensor module \({\overline{T}}(V) = V \oplus V^{\otimes 2} \oplus V^{\otimes 3} \oplus \cdots \) with the bracket inductively defined by
Then \({\overline{T}}(V)\) with the above bracket is a free Leibniz algebra over V [26]. Any linear map \(d : V \rightarrow V\) induces a linear map \({\overline{d}} : {\overline{T}}(V) \rightarrow {\overline{T}}(V) \) by
Then \(\overline{d}\) is a derivation for the Leibniz bracket on \(\overline{T}(V)\). To check that, we first observe that
Next suppose that \(\overline{d} [x, v_1 \otimes \cdots \otimes v_k] = [ \overline{d} (x), v_1 \otimes \cdots \otimes v_k] + [ x, \overline{d} (v_1 \otimes \cdots \otimes v_k)]\), for \(x \in \overline{T}(V)\), \(v_1, \ldots , v_k \in V\) and \( k \ge 1\). Then we have
Hence \((\overline{T}(V), \overline{d})\) is a LeibDer pair. In the next, we show that this LeibDer pair is free in the following sense.
Let (V, d) be a pair of vector space V and a linear map \(d: V \rightarrow V\). The free LeibDer pair over (V, d) is a LeibDer pair \(({\mathcal {L}}(V), \phi _{{\mathcal {L}}(V)})\) equipped with a linear map \(i : V \rightarrow {\mathcal {L}}(V)\) satisfying \(\phi _{{\mathcal {L}}(V)} \circ i = i \circ d\) and the following universal condition holds: for any LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) and a linear map \(f : V \rightarrow \mathfrak {g}\) satisfying \(\phi _\mathfrak {g} \circ f = f \circ d\), there exists a unique LeibDer pair morphism \({\widetilde{f}} : ({\mathcal {L}}(V), \phi _{{\mathcal {L}}(V)}) \rightarrow (\mathfrak {g}, \phi _\mathfrak {g})\) such that \({\widetilde{f}} \circ i = f\). Here \({\mathcal {L}}(V)\) denotes the free Leibniz algebra over V.
Proposition 3.4
The LeibDer pair \((\overline{T}(V), \overline{d})\) is free over (V, d).
Proof
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and \(f : V \rightarrow \mathfrak {g}\) be any linear map satisfying \(\phi _\mathfrak {g} \circ f = f \circ d\). Define a map \({\widetilde{f}} : \overline{T}(V) \rightarrow \mathfrak {g}\) inductively by
Then it has been shown in [26] that \(\widetilde{f}\) is the unique Leibniz algebra morphism satisfying \(\widetilde{f} \circ i = f\). Moreover, we have
This proves that \((\overline{T}(V), \overline{d})\) is free LeibDer pair over (V, d). \(\square \)
Definition 3.5
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair. A representation of it is given by a pair \((M, \phi _M)\) in which M is a representation of \(\mathfrak {g}\) (see Definition 2.2) and \(\phi _M : M \rightarrow M\) is a linear map satisfying
for \(x \in \mathfrak {g}\) and \(m \in M\).
Remark 3.6
The notion of representations of a LeibDer pair is a noncommutative version of representations of a LieDer pair considered in [30]. Given a LieDer pair, the authors in [30] considers a slice category whose category of monoid objects is equivalent to the category of representations of the given LieDer pair.
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and consider the slice category \(\mathbf{LeibDer} /(\mathfrak {g}, \phi _\mathfrak {g})\). Then similar to [30], one can show that the category of monoid objects in \(\mathbf{LeibDer} /(\mathfrak {g}, \phi _\mathfrak {g})\) is equivalent to the category of representations of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\).
It is known that a representation of a Leibniz algebra gives rise to a semi-direct product [26]. We extend this in the context of LeibDer pairs.
Proposition 3.7
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and \((M, \phi _M)\) be a representation of it. Then \(( \mathfrak {g} \oplus M, \phi _\mathfrak {g} \oplus \phi _M)\) is a LeibDer pair where the Leibniz algebra bracket on \(\mathfrak {g} \oplus M\) is given by the semi-direct product
Proof
We only need to show that \(\phi _\mathfrak {g} \oplus \phi _M : \mathfrak {g} \oplus M \rightarrow \mathfrak {g} \oplus M\) is a derivation for the Leibniz algebra \(\mathfrak {g} \oplus M\). We have
Hence the proof. \(\square \)
3.1 Universal enveloping AssDer pair
In [26] the authors construct the universal enveloping algebra \(UL(\mathfrak {g})\) of a Leibniz algebra \(\mathfrak {g}\). When the Leibniz algebra \(\mathfrak {g}\) is equipped with a derivation, it induces a derivation on \(UL(\mathfrak {g})\). We first recall the construction of \(UL(\mathfrak {g})\).
Let \(\mathfrak {g}^l\) and \(\mathfrak {g}^r\) be two copies of the Leibniz algebra \(\mathfrak {g}\). For any \(x \in \mathfrak {g}\), we denote the corresponding element in \(\mathfrak {g}^l\) and \(\mathfrak {g}^r\) by \(l_x\) and \(r_x\), respectively. Then the universal enveloping algebra \(UL(\mathfrak {g})\) is the quotient of the tensor algebra \(T(\mathfrak {g}^l \oplus \mathfrak {g}^r)\) by the two sided ideal I generated by elements of the form
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair. Then \(\phi _\mathfrak {g}\) induces a linear map (denoted by the same notation) \(\phi _\mathfrak {g} : \mathfrak {g}^l \oplus \mathfrak {g}^r \rightarrow \mathfrak {g}^l \oplus \mathfrak {g}^r\) by \(\phi _\mathfrak {g} (l_x, r_y) = (l_{\phi _\mathfrak {g} (x)}, r_{\phi _\mathfrak {g} (y)}).\) This linear map on \(\mathfrak {g}^l \oplus \mathfrak {g}^r\) induces a derivation \(\overline{\phi _\mathfrak {g}}\) on the tensor algebra \(T(\mathfrak {g}^l \oplus \mathfrak {g}^r)\). See Eq. (3). Then \(\overline{\phi _\mathfrak {g}} (I) \subset I\) as
and
Hence \(\overline{\phi _\mathfrak {g}} \) induces a derivation on the universal enveloping associative algebra \(UL(\mathfrak {g}) = T (\mathfrak {g}^l \oplus \mathfrak {g}^r) / I\). In other words, \((UL(\mathfrak {g}), \overline{\phi _\mathfrak {g}})\) is an AssDer pair.
In [26] the authors showed that representations of a Leibniz algebra \(\mathfrak {g}\) is equivalent to right modules over \(UL(\mathfrak {g})\). More precisely, let M be a representation of a Leibniz algebra \(\mathfrak {g}\). Then the right action of \(UL (\mathfrak {g})\) on M is given by
We extend this situation endowed with derivations. We first recall the following definition from [13].
Let \((A, \phi _A)\) be an AssDer pair. A right module over it consists of a pair \((M, \phi _M)\) in which M is a right A-module and \(\phi _M: M \rightarrow M\) is a linear map satisfying
Proposition 3.8
The category of representations of a LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) is equivalent to the category of right modules over the AssDer pair \((UL(\mathfrak {g}), \overline{\phi _\mathfrak {g}}).\)
Proof
Let \((M, \phi _M)\) be a representation of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\). Then M is already a right \(UL(\mathfrak {g})\)-module. Moreover, the condition (4) is equivalent to \(\phi _M (m \cdot l_x) = \phi _M (m) \cdot l_x + m \cdot \overline{\phi _\mathfrak {g}} (l_x)\). Similarly, the condition (5) is equivalent to \(\phi _M (m \cdot r_x) = \phi _M (m) \cdot r_x + m \cdot \overline{\phi _\mathfrak {g}} (r_x)\). Hence the proof. \(\square \)
3.2 Cohomology
Here we define cohomology of a LeibDer pair with coefficients in a representation. Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and \((M, \phi _M)\) be a representation of it. We define the cochain groups by \(C^0_{\mathrm {LeibDer}} (\mathfrak {g}, M) := 0\), \(C^1_{\mathrm {LeibDer}} (\mathfrak {g}, M) := \mathrm {Hom} (\mathfrak {g}, M)\) and
Before we define the coboundary operator, we define a new map \(\delta : \mathrm {Hom} (\mathfrak {g}^{\otimes n} , M ) \rightarrow \mathrm {Hom} (\mathfrak {g}^{\otimes n} , M )\) by
Then we have the following.
Lemma 3.9
The map \(\delta \) commutes with \(\delta _L\), i.e, \(\delta _L \circ \delta = \delta \circ \delta _L\).
Proof
First observe that, when \((M, \phi _M) = ( \mathfrak {g}, \phi _\mathfrak {g})\), we have \(\delta (f) = - \llbracket \phi _\mathfrak {g}, f \rrbracket ,\) for any \(f \in \mathrm {Hom} (\mathfrak {g}^{\otimes n}, \mathfrak {g})\). Therefore, in this case
To prove this result for any coefficient \((M, \phi _M)\), we first consider the semi-direct product LeibDer pair \((\mathfrak {g} \oplus M, \phi _\mathfrak {g} \oplus \phi _M)\). Note that any \(f \in \mathrm {Hom} (\mathfrak {g}^{\otimes n}, M)\) can be extended to a map \(\widetilde{f} \in \mathrm {Hom} ((\mathfrak {g} \oplus M)^{\otimes n}, \mathfrak {g} \oplus M)\) by \(\widetilde{f} ((x_1, m_1), \ldots , (x_n, m_n)) = (0, f(x_1, \ldots , x_n )).\) Moreover \(\widetilde{f} = 0\) implies that \(f = 0\). Observe that \(\widetilde{ \delta _L (f)} = \delta _L ( \widetilde{f})\) and \(\widetilde{ \delta (f)} = \delta ( \widetilde{f})\). Here we use the same notation \(\delta _L\) to denote the coboundary operator for the Leibniz algebra cohomology of \(\mathfrak {g}\) with coefficients in M and also the coboundary operator for the Leibniz algebra cohomology of \(\mathfrak {g} \oplus M\) with coefficients in itself. Similarly, we use the same notation for the operator \(\delta \). Then we have
Hence it follows that \(\delta _L \circ \delta = \delta \circ \delta _L\). \(\square \)
Finally, we define the coboundary operator \(\partial : C^n_{\mathrm {LeibDer}} (\mathfrak {g}, M) \rightarrow C^{n+1}_{\mathrm {LeibDer}} (\mathfrak {g}, M)\) as
Proposition 3.10
The map \(\partial \) satisfies \(\partial ^2 = 0\).
Proof
For \(f \in C^1_{\mathrm {LeibDer}} (\mathfrak {g}, M)\), we have
Similarly, for \((f_n, \overline{f}_n ) \in C^n_{\mathrm {LeibDer}} (\mathfrak {g}, M)\) with \(n \ge 2\), we have
Hence the proof. \(\square \)
Thus, it follows from the above proposition that \((C^*_{\mathrm {LeibDer}}(\mathfrak {g}, M), \partial )\) is a cochain complex. The corresponding cohomology groups are denoted by \(H^n_{\mathrm {LeibDer}}(\mathfrak {g}, M), ~ n \ge 0\).
In the next, we show that the cohomology of a LeibDer pair \((\mathfrak {g} , \phi _\mathfrak {g})\) with coefficients in itself carries a degree \(-1\) graded Lie bracket.
Proposition 3.11
The bracket \(\llbracket ~, ~ \rrbracket ^{\thicksim } : C^m_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) \times C^n_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) \rightarrow C^{m+n-1}_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\) given by
defines a degree \(-1\) graded Lie bracket on the graded space \(C^*_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\).
The proof of this result follows as \(\llbracket ~, ~ \rrbracket \) is a degree \(-1\) graded Lie bracket on \(CL^*(\mathfrak {g}, \mathfrak {g})\). See [13] for similar result for AssDer pairs. With this new bracket on \(C^*_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\), we have \(\llbracket (\mu , \phi _\mathfrak {g}), (\mu , \phi _\mathfrak {g}) \rrbracket ^{\thicksim } = 0\), where \( (\mu , \phi _\mathfrak {g}) \in \mathrm {Hom} (\mathfrak {g}^{\otimes 2} , \mathfrak {g}) \times \mathrm {Hom} (\mathfrak {g} , \mathfrak {g})\) considered as an element in \(C^*_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\). Thus \((\mu , \phi _\mathfrak {g}) \in C^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\) is a Maurer-Cartan element in the graded Lie algebra \((C^{*+ 1}_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) , \llbracket ~, ~ \rrbracket ^{\thicksim } )\). Moreover, the differential \(\partial \) is induced by the Maurer-Cartan element as
This in particular implies that the graded space of cohomology \(H^{*+1}_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\) carries a graded Lie algebra structure.
Remark 3.12
In [30] the authors define a cohomology associated to a LieDer pair using the Nijenhuis-Richardson bracket on skew-symmetric multilinear maps. Our cohomology of LeibDer pairs is a generalization of the cohomology of [30] where the Nijenhuis-Richardson bracket is replaced by its noncommutative analogue bracket \(\llbracket ~, ~ \rrbracket \) given in (2). In this sense, the cohomology of LeibDer pair is a noncommutative version of the cohomology of LieDer pairs.
Remark 3.13
Given an operad \({\mathcal {P}}\), in [25] Loday constructs a new operad \({\mathcal {P}}Der\). An algebra over \({\mathcal {P}}Der\) is a \({\mathcal {P}}\)-algebra equipped with a derivation. If \({\mathcal {P}}\) is a quadratic operad, it turns out that \({\mathcal {P}}Der\) is quadratic. Take \({\mathcal {P}} = {\textit{Leib}}\) the operad of Leibniz algebras. If \(\mathfrak {g}\) is a \({\mathcal {P}}Der\)-algebra, i.e, \(\mathfrak {g}\) is a Leibniz algebra equipped with a derivation \(\phi _\mathfrak {g}\), one can define the operadic cohomology of \(\mathfrak {g}\) as a \({\mathcal {P}}Der\)-algebra using the quadratic dual operad \({\mathcal {P}}Der^{!}\) [7]. This operadic cohomology is obviously different than the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) introduced in this paper. This can be easily seen as the group of n-cochains of the LeibDer pair consist of two components of multilinear maps with n and \(n-1\) number of inputs. On the other hand, the n-th cochain group of the operadic cohomology always consist of multilinear maps with n many inputs [7].
Our main motivation to define the cohomology of a LeibDer pair is to study central extensions, deformations and homotopifications of LeibDer pairs. These will be discussed in the rest of this paper.
4 Extensions of LeibDer pairs
4.1 Central extensions
Central extensions of Leibniz algebras were defined in [26]. In this subsection, we extend this to LeibDer pairs. We show that isomorphism classes of central extensions are classified by the second cohomology group of LeibDer pair with coefficients in the trivial representation.
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and \((\mathfrak {a}, \phi _\mathfrak {a})\) be an abelian LeibDer pair, i.e, the Leibniz bracket of \(\mathfrak {a}\) is trivial.
Definition 4.1
A central extension \((\mathfrak {h}, \phi _\mathfrak {h})\) of \((\mathfrak {g}, \phi _\mathfrak {g})\) by the abelian LeibDer pair \((\mathfrak {a}, \phi _\mathfrak {a})\) is an exact sequence of LeibDer pairs
such that \([i(a), h] = 0 = [h, i(a)]\), for all \(a \in \mathfrak {a}\) and \(h \in \mathfrak {h}\).
One may identify \(\mathfrak {a}\) with the corresponding subalgebra of \(\mathfrak {h}\) (via the map i). With this identification, we have \(\phi _\mathfrak {a} = \phi _\mathfrak {h}|_\mathfrak {a}.\)
Definition 4.2
Two central extensions \((\mathfrak {h}, \phi _\mathfrak {h})\) and \((\mathfrak {h}', \phi _{\mathfrak {h}'})\) are said to be isomorphic if there exists a LeibDer pair isomorphism \(\eta : (\mathfrak {h}, \phi _\mathfrak {h}) \rightarrow (\mathfrak {h}', \phi _{\mathfrak {h}'})\) making the following diagram commutative
Let (6) be a central extension of LeibDer pair. A section of the map p is given by a linear map \(s : \mathfrak {g} \rightarrow \mathfrak {h}\) satisfying \(p \circ s = \mathrm {id}_\mathfrak {g}\).
Given any basis \(\{ x_i \}\) of \(\mathfrak {g}\), we define \(s (x_i)\) to be any element in \(p^{-1} (x_i)\). This assignment can be extended to a linear map \(s : \mathfrak {g} \rightarrow \mathfrak {h}\) satisfying \(p \circ s = \mathrm {id}_\mathfrak {g}\). Hence section of p always exists.
Let \(s : \mathfrak {g} \rightarrow \mathfrak {h}\) be any section of p. Define two linear maps \(\psi : \mathfrak {g} \otimes \mathfrak {g} \rightarrow \mathfrak {a}\) and \(\chi : \mathfrak {g} \rightarrow \mathfrak {a}\) by
Note that the vector space \(\mathfrak {h}\) is isomorphic to the direct sum \(\mathfrak {g} \oplus \mathfrak {a}\) via the section s. Therefore, one may transfer the structures of \(\mathfrak {h}\) to that of \(\mathfrak {g} \oplus \mathfrak {a}\). More precisely, the induced bracket and the linear map on \(\mathfrak {g} \oplus \mathfrak {a}\) are given by
With these notations, we have the following.
Proposition 4.3
The vector space \(\mathfrak {g} \oplus \mathfrak {a}\) with the above bracket is a Leibniz algebra if and only if \(\psi \) is a 2-cocycle in the Leibniz algebra cohomology of \(\mathfrak {g}\) with coefficients in the trivial representation \(\mathfrak {a}\). Moreover, \(\phi _\chi \) is a derivation for the above Leibniz algebra if and only if \(\chi \) satisfies \(\delta _L (\chi ) + \delta \psi = 0\).
Proof
The bracket \([~, ~]_\psi \) is a Leibniz bracket if it satisfies
This is equivalent to
which is same as \(\delta _L (\psi ) = 0\), where \(\delta _L\) is the Leibniz algebra coboundary operator of \(\mathfrak {g}\) with coefficients in the trivial representation \(\mathfrak {a}\).
The map \(\phi _\chi \) is a derivation for the bracket \([~, ~]_\psi \) if
This condition is equivalent to
or, equivalently, \(\big ( \delta _L (\chi ) + \delta \psi \big )(x, y) = 0\). Hence the proof. \(\square \)
It follows from the above proposition that the vector space \(\mathfrak {g} \oplus \mathfrak {a}\) with the above bracket and linear map forms a LeibDer pair if and only if \((\psi , \chi )\) is a 2-cocycle of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in the trivial representation \((\mathfrak {a}, \phi _\mathfrak {a}).\)
The cohomology class of the 2-cocycle \((\psi , \chi )\) does not depend on the choice of sections of p. Let \(s_1\) and \(s_2\) be two sections of p. Consider the map \(u : \mathfrak {g} \rightarrow \mathfrak {a}\) by \(u(x) : = s_1 (x) - s_2 (x)\). Then we have
and
This shows that \((\psi _1, \chi _1) - (\psi _2, \chi _2) = \partial u\). Therefore, the cohomology classes associated to the sections \(s_1\) and \(s_2\) are same.
Theorem 4.4
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair and \((\mathfrak {a}, \phi _\mathfrak {a})\) be an abelian LeibDer pair. Then the isomorphism classes of central extensions of \((\mathfrak {g}, \phi _\mathfrak {g})\) by \((\mathfrak {a}, \phi _\mathfrak {a})\) are classified by the second cohomology group \(H^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {a})\).
Proof
Let \((\mathfrak {h}, \phi _\mathfrak {h})\) and \((\mathfrak {h}' , \phi _{\mathfrak {h}'})\) be two isomorphic central extensions. Suppose the isomorphism is given by a map \(\eta : (\mathfrak {h}, \phi _\mathfrak {h}) \rightarrow (\mathfrak {h}' , \phi _{\mathfrak {h}'})\). For any section s of the map p, we have
This shows that \(s' := \eta \circ s\) is a section of the map \(p'\). Since \(\eta \) is a morphism of LeibDer pairs, we have \(\eta |_\mathfrak {a} = \mathrm {id}_\mathfrak {a}\). Hence, we get
Therefore, isomorphic central extensions produce the same 2-cocycles, hence, corresponds to the same element in \(H^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {a}).\)
To prove the converse part, consider two cohomologous 2-cocycles \((\psi , \chi )\) and \((\psi ', \chi ')\). That is, there exists a linear map \(v : \mathfrak {g} \rightarrow \mathfrak {a}\) such that \((\psi , \chi ) - (\psi ', \chi ') = \partial v\). In other words,
Consider the corresponding LeibDer pairs \((\mathfrak {g} \oplus \mathfrak {a}, [~, ~]_\psi , \phi _\chi )\) and \((\mathfrak {g} \oplus \mathfrak {a}, [~, ~]_{\psi '}, \phi _{\chi '} )\) given in Proposition 4.3. These two LeibDer pairs are isomorphic via the map \(\eta : \mathfrak {g} \oplus \mathfrak {a} \rightarrow \mathfrak {g} \oplus \mathfrak {a}\) given by \(\eta (x, a) = (x, a + v(x)).\) The map \(\eta \) is in fact an isomorphism of central extensions. Hence the proof. \(\square \)
4.2 Extensions of a pair of derivations
Let
be a fixed central extensions of Leibniz algebras. Given a pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\), here we study extensions of them to a derivation \(\phi _\mathfrak {h} \in \mathrm {Der} (\mathfrak {h})\) which makes
into an exact sequence of LeibDer pairs. In other words, \((\mathfrak {h}, \phi _\mathfrak {h})\) is a central extension of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g}) \) by \((\mathfrak {a}, \phi _\mathfrak {a})\). In such a case, the pair \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\) is said to be extensible.
Let \(s : \mathfrak {g} \rightarrow \mathfrak {h}\) be a linear section of p. We define a map \(\psi : \mathfrak {g} \otimes \mathfrak {g} \rightarrow \mathfrak {a}\) by
Given a pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\), we define another map \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) } : \mathfrak {g}^{\otimes 2} \rightarrow \mathfrak {a}\) by
Proposition 4.5
The map \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})} : \mathfrak {g}^{\otimes 2} \rightarrow \mathfrak {a}\) is a 2-cocycle in the cohomology of the Leibniz algebra \(\mathfrak {g}\) with coefficients in the trivial representation \(\mathfrak {a}\). Moreover, the cohomology class \([\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})}] \in HL^2 (\mathfrak {g}, \mathfrak {a})\) does not depend on the choice of sections.
Proof
First observe that \(\psi \) is a 2-cocycle in the cohomology of the Leibniz algebra \(\mathfrak {g}\) with coefficients in the trivial representation \(\mathfrak {a}\). Thus, we have
Therefore, \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) }\) is a 2-cocycle. To prove the second part, let \(s_1\) and \(s_2\) be two sections of (7). Consider the map \(u : \mathfrak {g} \rightarrow \mathfrak {a}\) given by \(u (x) := s_1(x) - s_2 (x).\) Then
If \({}^{1}\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) }\) and \({}^2\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) }\) denote the two cocycles corresponding to the sections \(s_1\) and \(s_2\), then
This shows that the 2-cocycles \({}^{1}\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) }\) and \({}^{2}\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a}) }\) are cohomologous. Hence they correspond to the same cohomology class in \(HL^2(\mathfrak {g}, \mathfrak {a}).\) \(\square \)
The cohomology class \([\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})}] \in HL^2 (\mathfrak {g}, \mathfrak {a}) \) is called the obstruction class to extend the pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}).\)
Theorem 4.6
Let (7) be a central extension of Leibniz algebras. A pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\) is extensible if and only if the obstruction class \([\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})}] \in HL^2 (\mathfrak {g}, \mathfrak {a}) \) is trivial.
Proof
Suppose there exists a derivations \(\phi _\mathfrak {h} \in \mathrm {Der} (\mathfrak {h})\) such that (8) is an exact sequence of LeibDer pairs. For any \(x \in \mathfrak {g},\) we observe that \( p ( \phi _\mathfrak {h} (s(x)) - s (\phi _\mathfrak {g} (x)) ) = 0.\) Hence \( \phi _\mathfrak {h} (s(x)) - s (\phi _\mathfrak {g} (x)) \in \mathrm {ker}(p) = \mathrm {im}(i)\). We define \(\lambda : \mathrm {g} \rightarrow \mathfrak {a}\) by
For any \(s (x) + a \in \mathfrak {h}\), we have
Since \(\phi _\mathfrak {h}\) is a derivation, for any \(s(x) + a, ~ s(y) + b \in \mathfrak {h}\), we have
By using the expression (9) of \(\phi _\mathfrak {h}\), we get from the above equality that
This implies that
or, equivalently, \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})} = \partial \lambda \) is a coboundary. Hence the obstruction class \([\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})} ] \in HL^2( \mathfrak {g}, \mathfrak {a})\) is trivial.
To prove the converse part, suppose \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})} \) is given by a coboundary, say \(\mathrm {Ob}^\mathfrak {h}_{(\phi _\mathfrak {g}, \phi _\mathfrak {a})} = \partial \lambda \). We define a map \(\phi _\mathfrak {h} : \mathfrak {h} \rightarrow \mathfrak {h}\) by
Then \(\phi _\mathfrak {h}\) is a derivation on \(\mathfrak {h}\) and (8) is an exact sequence of LeibDer pairs. Hence the pair \((\phi _\mathfrak {g}, \phi _\mathfrak {a})\) is extensible. \(\square \)
Thus, we obtain the following.
Theorem 4.7
If \(HL^2 (\mathfrak {g}, \mathfrak {a}) = 0\) then any pair of derivations \((\phi _\mathfrak {g}, \phi _\mathfrak {a}) \in \mathrm {Der} (\mathfrak {g}) \times \mathrm {Der} (\mathfrak {a})\) is extensible.
5 Deformations of LeibDer pairs
In this section, we study formal one-parameter deformations of LeibDer pairs in which we deform both the Leibniz bracket and the distinguished derivation. Our main results in this section are similar to the standard cases.
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair. We denote the Leibniz bracket on \(\mathfrak {g}\) by \(\mu \), i.e, \(\mu (x, y) = [x, y],\) for all \(x, y \in \mathfrak {g}\). Consider the space \(\mathfrak {g}[[t]]\) of formal power series in t with coefficients from \(\mathfrak {g}\). Then \(\mathfrak {g}[[t]]\) is a \({\mathbb {K}}[[t]]\)-module.
Definition 5.1
A formal one-parameter deformation of \((\mathfrak {g}, \phi _\mathfrak {g})\) consists of two formal power series
such that \(\mathfrak {g}[[t]]\) together with the bracket \(\mu _t\) forms a Leibniz algebra over \({\mathbb {K}}[[t]]\) and \(\phi _t\) is a derivation on this Leibniz algebra.
Thus, in a formal deformation as above, the following identities hold: for \(n \ge 0\),
Both identities hold for \(n=0\) as \((\mathfrak {g}, \phi _\mathfrak {g})\) is a LeibDer pair. However, for \(n=1\), we obtain
for all \(x, y, z \in \mathfrak {g}\). The identity (12) is equivalent to \(\delta _L (\mu _1) = 0\) and the identity (13) is equivalent to \(\delta _L (\phi _1) + \delta \mu _1 = 0\). Here \(\delta _L\) is the coboundary operator of the Leibniz algebra cohomology of \(\mathfrak {g}\) with coefficients in itself. Thus, we have
Proposition 5.2
Let \((\mu _t, \phi _t)\) be a formal one-parameter deformation of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\). Then the linear term \((\mu _1, \phi _1)\) is a 2-cocycle in the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in itself.
The term \((\mu _1, \phi _1)\) is called the infinitesimal of the deformation. If \((\mu _1, \phi _1) = \cdots = (\mu _{n-1}, \phi _{n-1}) =0\) and \((\mu _n, \phi _n)\) is non-zero, then \((\mu _n, \phi _n)\) is a 2-cocycle.
Definition 5.3
Two deformations \((\mu _t, \phi _t)\) and \((\mu _t', \phi _t')\) of a LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) are said to be equivalent if there exists a formal isomorphism \(\psi _t = \sum _{i=0}^\infty t^i \psi _i : \mathfrak {g}[[t]] \rightarrow \mathfrak {g} [[t]]\) with \(\psi _0 = \mathrm {id}_\mathfrak {g}\) such that
In other words, \(\psi _t\) is an isomorphism of LeibDer pairs from \((\mathfrak {g}[[t]], \mu _t, \phi _t)\) to \((\mathfrak {g}[[t]], \mu _t', \phi _t')\). By equating coefficients of \(t^n\), we get
The above identities hold for \(n=0\), however, for \(n=1\), we obtain
These two identities together imply that \((\mu _1, \phi _1) - (\mu _1', \phi _1') = \partial (\psi _1).\) Thus, we have the following.
Proposition 5.4
The infinitesimals corresponding to equivalent deformations are cohomologous. Hence, they correspond to the same cohomology class.
5.1 Rigidity
Definition 5.5
A formal deformation \((\mu _t, \phi _t)\) of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) is said to be trivial if it is equivalent to the undeformed one \((\mu _t' = \mu , \phi _t' = \phi _\mathfrak {g}).\)
Definition 5.6
A LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) is said to be rigid if every formal deformation of \((\mathfrak {g}, \phi _\mathfrak {g})\) is trivial.
Theorem 5.7
Let \((\mathfrak {g}, \phi _\mathfrak {g})\) be a LeibDer pair. If \(H^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) = 0\) then \((\mathfrak {g}, \phi _\mathfrak {g})\) is rigid.
Proof
Let \((\mu _t, \phi _t)\) be any formal deformation of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\). Then by Proposition 5.2 the linear term \((\mu _1, \phi _1)\) is a 2-cocycle. Thus by the hypothesis, there exists a 1-cochain \(\psi _1 \in C^1_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) = \mathrm {Hom} (\mathfrak {g}, \mathfrak {g})\) such that \((\mu _1, \phi _1) = \partial \psi _1\).
We define a formal isomorphism \(\psi _t = \mathrm {id}_\mathfrak {g} + t \psi _1 : \mathfrak {g} [[t]] \rightarrow \mathfrak {g} [[t]]\) and setting
Then \((\mu _t', \phi _t')\) is a deformation of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) equivalent to the deformation \((\mu _t, \phi _t)\). It follows from (14) that the deformation \((\mu _t', \phi _t')\) is of the form \(\mu _t' = \mu + t^2 \mu _2' + \cdots \) and \(\phi _t' = \phi _\mathfrak {g} + t^2 \phi _2' + \cdots \). In other words, the linear terms (coefficients of t) of \(\mu _t'\) and \(\phi _t'\) vanish. One can apply the same argument repeatedly to conclude that \((\mu _t, \phi _t)\) is equivalent to \((\mu , \phi _\mathfrak {g}).\) \(\square \)
5.2 Finite order deformations and their extensions
In this subsection, we consider finite order deformations of a LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\). Given a deformation of order N, we associate a third cohomology class in the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in itself. When this cohomology class is trivial, the order N deformation extends to deformation of order \(N+1\).
Definition 5.8
A deformation of order N of a LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) consist of finite sums \(\mu _t = \sum _{i=0}^N t^i \mu _i\) and \(\phi _t = \sum _{i=0}^N t^i \phi _i\) such that \(\mu _t\) defines Leibniz bracket on \(\mathfrak {g}[[t]]/ (t^{N+1})\) and \(\phi _t\) is a derivation on it.
Thus, the following identities must hold
for \(n=0, 1, \ldots , N\). These identities are equivalent to
Definition 5.9
A deformation \(( \mu _t = \sum _{i=0}^N t^i \mu _i, ~\phi _t = \sum _{i=0}^N t^i \phi _i)\) of order N is said to be extensible if there is an element \((\mu _{N+1}, \phi _{N+1}) \in C^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\) such that \((\mu _t' = \mu _t + t^{N+1} \mu _{N+1}, ~\phi _t' = \phi _t + t^{N+1} \phi _{N+1} )\) is a deformation of order \(N+1\).
Thus, two more equations need to be satisfied, namely,
The above two equations can be equivalently written as
Proposition 5.10
The pair \(( \mathrm {Ob}^3, \mathrm {Ob}^2) \in C^3_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) \) is a 3-cocycle in the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in itself.
Proof
To prove that \(\partial ( \mathrm {Ob}^3, \mathrm {Ob}^2 ) = 0\), it is enough to show that \(\delta _L (\mathrm {Ob}^3) = 0\) and \(\delta _L (\mathrm {Ob}^2) + (-1)^3 \delta (\mathrm {Ob}^3) = 0\). We have
To prove the second part, we observe that
Hence the proof. \(\square \)
Note that the right hand sides of (19) and (20) does not involve \(\mu _{N+1}\) or \(\phi _{N+1}\). Therefore, the cohomology class \([( \mathrm {Ob}^3, \mathrm {Ob}^2)] \in H^3_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) \) is basically obtained from the order N deformation \((\mu _t, \phi _t)\). This class is called the obstruction class to extend the deformation. If this class is trivial, i.e, \(( \mathrm {Ob}^3, \mathrm {Ob}^2)\) is given by a coboundary, then
for some \((\mu _{N+1}, \phi _{N+1}) \in C^2_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}).\) Then it follows from the above observation that \((\mu _t' = \mu _t + t^{N+1} \mu _{N+1}, \phi _t' = \phi _t + t^{N+1} \phi _{N+1})\) is a deformation of order \(N+1\). In other words, \((\mu _t, \phi _t)\) is extensible. On the other hand, if \((\mu _t, \phi _t)\) is extensible then \(( \mathrm {Ob}^3, \mathrm {Ob}^2)\) is given by the coboundary \(\partial (\mu _{N+1}, \phi _{N+1}).\) Hence the corresponding obstruction class is trivial.
Theorem 5.11
A deformation \((\mu _t, \phi _t)\) of order N is extensible if and only if the obstruction class \([( \mathrm {Ob}^3, \mathrm {Ob}^2)] \in H^3_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g})\) is trivial.
Theorem 5.12
If \(H^3_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) = 0\) then every finite order deformation of \((\mathfrak {g}, \phi _\mathfrak {g})\) is extensible.
Corollary 5.13
If \(H^3_{\mathrm {LeibDer}} (\mathfrak {g}, \mathfrak {g}) = 0\) then every 2-cocycle in the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in itself is the infinitesimal of a formal deformation of \((\mathfrak {g}, \phi _\mathfrak {g}).\)
6 Homotopy derivations on sh Leibniz algebras
The notion of sh Leibniz algebras was introduced in [1]. Here we will mostly emphasis on sh Leibniz algebras whose underlying graded vector space is concentrated only in two degrees, namely 0 and 1. Such sh Leibniz algebras are called 2-term sh Leibniz algebras. We define homotopy derivations on 2-term sh Leibniz algebras. Finally, we classify skeletal and strict 2-term sh Leibniz algebras with homotopy derivations.
Definition 6.1
A 2-term sh Leibniz algebra consists of a chain complex \(A_1 \xrightarrow {d} A_0\) together with bilinear maps \(l_2 : A_i \times A_j \rightarrow A_{i+j}\), for \( 0 \le i, j, i+j \le 1\) and a trilinear map \(l_3 : A_0 \times A_0 \times A_0 \rightarrow A_1\) satisfying the following identities: for \(x, y, z, w \in A_0\) and \(m, n \in A_1\),
-
\(d l_2 (x, m) = l_2 (x, dm), \)
-
\(d l_2 (m, x) = l_2 (dm, x),\)
-
\(l_2 (dm, n) = l_2 (m, dn),\)
-
\(d l_3 (x, y, z) = l_2 ( l_2 (x, y), z) - l_2 ( l_2 (x, z), y) - l_2 ( x, l_2 (y, z)),\)
-
\(l_3 (x, y, dm) = l_2 ( l_2 (x, y), m) - l_2 ( l_2 (x, m), y) - l_2 ( x, l_2 (y, m)),\)
-
\( l_3 (x, dm, y) = l_2 ( l_2 (x, m), y ) - l_2 ( l_2 (x, y), m) - l_2 ( x, l_2 (m, y)),\)
-
\( l_3 (dm, x, y) = l_2 ( l_2 (m, x), y ) - l_2 ( l_2 (m, y), x) - l_2 ( m, l_2 (x, y)),\)
-
\(l_2 (x, l_3 (y,z,w)) + l_2 ( l_3 (x,z,w), y) - l_2 ( l_3 (x, y, w), z) + l_2 ( l_3 (x, y,z), w) = l_3 ( l_2 (x,y), z, w) - l_3 ( l_2 (x, z), y, w) + l_3 ( l_2 (x, w), y, z) - l_3 (x, l_2 (y, z), w) + l_3 (x, l_2 (y, w), z) + l_3 ( x, y, l_2 (z, w)).\)
A 2-term sh Leibniz algebra as above may be denoted by \((A_1 \xrightarrow {d} A_0, l_2, l_3)\). When \(A_1 = 0\), one simply get a Leibniz algebra structure on \(A_0\) with the bracket given by \(l_2 : A_0 \times A_0 \rightarrow A_0\).
A 2-term sh Leibniz algebra \((A_1 \xrightarrow {d} A_0, l_2, l_3)\) is said to be skeletal if the differential \(d = 0.\) Skeletal algebras are in one-to-one correspondence with tuples \((\mathfrak {g}, M , \theta )\) where \(\mathfrak {g}\) is a Leibniz algebra, M is a representation of \(\mathfrak {g}\) and \(\theta \in C^3(\mathfrak {g}, M)\) is a 3-cocycle in the Leibniz algebra cohomology of \(\mathfrak {g}\) with coefficients in M [29]. More precisely, let \((A_1 \xrightarrow {0} A_0, l_2, l_3)\) be a skeletal algebra. Then \((A_0, l_2)\) is a Leibniz algebra; \(A_1\) is a representation of it with left and right actions given by \([x,m]:= l_2 (x, m)\) and \([m,x]:= l_2 (m, x)\), for \(x \in A_0, m \in A_1\). Finally, the map \(l_3 : A_0 \times A_0 \times A_0 \rightarrow A_1\) is a 3-cocycle in the cohomology of \(A_0\) with coefficients in \(A_1\).
Definition 6.2
Let \((A_1 \xrightarrow {d} A_0, l_2, l_3)\) and \((A_1' \xrightarrow {d'} A_0', l_2', l_3')\) be 2-term sh Leibniz algebras. A morphism between them consists of a chain map of underlying chain complexes (i.e, linear maps \(f_0 : A_0 \rightarrow A_0'\) and \(f_1 : A_1 \rightarrow A_1'\) satisfying \(d' \circ f_1 = f_0 \circ d\)) and a bilinear map \(f_2 : A_0 \times A_0 \rightarrow A_1'\) satisfying
-
\(d' ( f_2 (x, y)) = f_0 ( l_2 (x, y)) - l_2' ( f_0 (x), f_0 (y)),\)
-
\(f_2 ( x, dm) = f_1 ( l_2 (x, m)) - l_2' ( f_0 (x), f_1 (m)\),
-
\(f_2 ( dm, x) = f_1 ( l_2 (m,x)) - l_2' ( f_1 (m), f_0 (x)),\)
-
\(f_1 ( l_3 (x,y,z)) + l_2' ( f_0 (x, y), f_0 (z)) - l_2' ( f_2 (x,z), f_0 (y)) - l_2' ( f_0 (x), f_2 (y,z)) + f_2 ( l_2 (x,y), z) - f_2 ( l_2 (x, z), y) - f_2 ( x, l_2 (y, z)) - l_3' ( f_0 (x), f_0 (y), f_0 (z))= 0\),
for \(x, y, z \in A_0\) and \(m \in A_1\).
We denote the category of 2-term sh Leibniz algebras and morphisms between them by \(\mathbf{2Leib} _\infty \).
Definition 6.3
Let \((A_1 \xrightarrow {d} A_0, l_2, l_3)\) be a 2-term sh Leibniz algebra. A homotopy derivation on it consists of a chain map of the underlying chain complex (i.e, linear maps \(\theta _0 : A_0 \rightarrow A_0\) and \(\theta _1 : A_1 \rightarrow A_1\) satisfying \(d \circ \theta _1 = \theta _0 \circ d\)) and a bilinear map \(\theta _2 : A_0 \times A_0 \rightarrow A_1\) satisfying the following: for \(x, y, z \in A_0\) and \(m \in A_1\),
-
(a)
\(d \theta _2 (x, y) = \theta _0 ( l_2 (x,y)) - l_2 ( \theta _0 (x), y) - l_2 (x, \theta _0 (y)),\)
-
(b)
\(\theta _2 (x, dm) = \theta _1 ( l_2 (x, m)) - l_2 ( \theta _0 (x), m) - l_2 (x, \theta _1 (m)),\)
-
(c)
\(\theta _2 (dm, x) = \theta _1 (l_2 (m, x)) - l_2 ( \theta _1 (m), x) - l_2 ( m, \theta _0 (x)),\)
-
(d)
\(l_3 ( \theta _0 (x), y,z) + l_3 (x, \theta _0 (y), z) + l_3 (x, y, \theta _0 (z)) - \theta _1 l_3 (x, y, z)\)
\(= l_2 ( \theta _2 (x, y), z) - l_2 ( \theta _2 (x, z), y) - l_2 (x, \theta _2 (y,z)) + \theta _2 (l_2 (x, y), z) - \theta _2 ( l_2(x, z), y) - \theta _2 (x, l_2 (y, z)).\)
A 2-term sh Leibniz algebra with a homotopy derivation as above may be denoted by the pair \(((A_1 \xrightarrow {d} A_0, l_2, l_3), (\theta _0, \theta _1, \theta _2)).\) Such a pair is called a \(2\mathrm {LeibDer}_\infty \) pair.
Definition 6.4
Let \(((A_1 \xrightarrow {d} A_0, l_2, l_3), (\theta _0, \theta _1, \theta _2))\) and \(((A_1' \xrightarrow {d'} A_0', l_2', l_3'), (\theta _0', \theta _1', \theta _2'))\) be \(2\mathrm {LeibDer}_\infty \) pairs. A morphism between them consists of a morphism \((f_0, f_1, f_2)\) between the underlying 2-term sh Leibniz algebras and a linear map \({\mathcal {B}}: A_0 \rightarrow A_1'\) satisfying
-
\(f_0 ( \theta _0 (x)) - \theta _0' ( f_0 (x)) = d' ({\mathcal {B}}(x)),\)
-
\(f_1 (\theta _1 (m)) - \theta _1' (f_1(m)) = {\mathcal {B}} (dm),\)
-
\(f_1 (\theta _2 (x, y)) - \theta _2' ( f_0 (x), f_0 (y)) = \theta _1' ( f_2 (x, y)) - f_2 ( \theta _0 (x), y) - f_2 (x, \theta _0 (y))\)
\(+ {\mathcal {B}} (l_2 (x, y)) - \mu _2' ( {\mathcal {B}}(x), f_0 (y)) - \mu _2' ( f_0 (x), {\mathcal {B}}(y)).\)
We denote the category of \(2\mathrm {LeibDer}_\infty \) pairs and morphisms between them by \(\mathbf{2LeibDer} _\infty \) pair.
Proposition 6.5
There is a one-to-one correspondence between skeletal 2-term sh Leibniz algebras with homotopy derivations and triples \(((\mathfrak {g}, \phi _\mathfrak {g}), (M, \phi _M), (\theta , {\overline{\theta }}))\) where \((\mathfrak {g}, \phi _\mathfrak {g})\) is a LeibDer pair, \((M, \phi _M)\) is a representation and \((\theta , {\overline{\theta }}) \in C^3_{\mathrm {LeibDer}} (\mathfrak {g}, M)\) is a 3-cocycle in the cohomology of the LeibDer pair \((\mathfrak {g}, \phi _\mathfrak {g})\) with coefficients in \((M, \phi _M).\)
Proof
Let \(((A_1 \xrightarrow {0} A_0, l_2, l_3), (\theta _0, \theta _1, \theta _2))\) be a skeletal 2-term sh Leibniz algebra with a homotopy derivation. Then it follows from Definition 6.3 (a) that \(\theta _0\) is a derivation for the Leibniz algebra \((A_0, l_2)\). The conditions (b) and (c) of Definition 6.3 says that the pair \((A_1, \theta _1)\) is a representation of the LeibDer pair \((A_0, \theta _0)\). Finally, the condition (d) implies that \(\delta _L (\theta _2 ) + \delta (l_3) = 0\). Thus \((l_3, - \theta _2 ) \in C^3_{\mathrm {LeibDer}} ( A_0, A_1)\) is a 3-cocycle in the cohomology of the LeibDer pair \((A_0, \theta _0)\) with coefficients in the representation \((A_1, \theta _1)\).
For the converse part, let \(((\mathfrak {g}, \phi _\mathfrak {g}), (M, \phi _M), (\theta , {\overline{\theta }}))\) be such a triple. Then it is easy to see that \(((M \xrightarrow {0} \mathfrak {g}, l_2= [~,~], l_3 = \theta ), (\phi _\mathfrak {g}, \phi _M, - {\overline{\theta }} ))\) is a skeletal 2-term sh Leibniz algebra. These two correspondences are inverses to each other. \(\square \)
A 2-term sh Leibniz algebra \((A_1 \xrightarrow {d} A_0, l_2, l_3)\) is called strict if \(l_3 =0\). Further, a homotopy derivation \((\theta _0, \theta _1, \theta _2)\) on it is said to be strict if \(\theta _2 = 0\).
Crossed module of Leibniz algebras was introduced in [26]. In [29] the authors put some additional conditions in the definition of a crossed module which led them to relate with strict 2-term sh Leibniz algebras. Here we extend their notion in the context of LeibDer pairs.
Definition 6.6
A crossed module of LeibDer pairs consists of a quadruple \(( (\mathfrak {g}, \phi _\mathfrak {g}), (\mathfrak {h}, \phi _\mathfrak {h}), dt, \phi )\) in which \((\mathfrak {g}, \phi _\mathfrak {g}), (\mathfrak {h}, \phi _\mathfrak {h}) \) are both LeibDer pairs, \(dt : \mathfrak {g} \rightarrow \mathfrak {h}\) is a morphism of LeibDer pairs and there are bilinear maps
satisfying the following conditions: for \(m, n \in \mathfrak {g}\) and \(x, y \in \mathfrak {h}\),
-
(a)
\(dt ( \phi (x, m)) = [ x, dt (m)]\),
\(dt ( \phi (m, x)) = [ dt(m), x],\)
-
(b)
\([ dt (m), n ] = [m, n],\)
\([m, dt (n)] = [m, n],\)
-
(c)
\(\phi (\phi (m,x), y) = \phi (\phi (m,y), x) + \phi (m, [x,y])\),
\(\phi ( \phi (x,m), y) = \phi ([x,y], m ) + \phi (x, \phi (m,y))\),
\(\phi ([x,y], m ) = \phi ( \phi (x, m ), y) + \phi (x , \phi (y,m))\),
-
(d)
\(\phi ([m,n], x) = [\phi (m, x), n] + [m, \phi (n, x)],\)
\( [ \phi (x, m), n] = [ \phi (x, n), m] + \phi (x, [m,n]),\)
\([\phi (m, x), n] = \phi ([m,n], x) + [m, \phi (x, n)],\)
-
(e)
\(\phi _\mathfrak {g} ( \phi (x, m)) = \phi ( \phi _\mathfrak {h}(x), m) + \phi (x, \phi _\mathfrak {g} (m),\)
\(\phi _\mathfrak {g} (\phi (m, x)) = \phi ( \phi _\mathfrak {g} (m), x) + \phi (m, \phi _\mathfrak {h} (x)).\)
When \(\phi _\mathfrak {g} = 0, \phi _\mathfrak {h} = 0\) one simply get crossed module of Leibniz algebras [29]. Therefore, the condition (e) of the above definition is absent in a crossed module of Leibniz algebras.
Theorem 6.7
There is a one-to-one correspondence between strict 2-term sh Leibniz algebras with strict homotopy derivations and crossed module of LeibDer pairs.
Proof
It has been proved in [29] that strict 2-term sh Leibniz algebras are in one-to-one correspondence with crossed module of Leibniz algebras. More precisely, \((A_1 \xrightarrow {d} A_0, l_2, l_3= 0)\) is a strict 2-term sh Leibniz algebra if and only if \((A_1, A_0, d, l_2)\) is a crossed module of Leibniz algebras, where the Leibniz algebra structure on \(A_1\) and \(A_0\) are respectively given by \([m,n]:= l_2 (dm, n) = l_2 (m, dn)\) and \([x, y] = l_2 (x, y)\), for \(m, n \in A_1\) and \(x, y \in A_0\). It follows from Definition 6.3 that \(\theta _1\) is a derivation on the Leibniz algebra \(A_1\) and \(\theta _0\) is a derivation on the Leibniz algebra \(A_0\). In other words \((A_1, \theta _1)\) and \((A_0, \theta _0)\) are both LeibDer pairs. Since \(\theta _0 \circ d = d \circ \theta _1\), the map \(dt = d : A_1 \rightarrow A_0\) is a morphism of LeibDer pairs. Finally, the conditions (b) and (c) of Definition 6.3 are equivalent to the last condition of Definition 6.6. Hence the proof. \(\square \)
7 Categorification of LeibDer pairs
Leibniz 2-algebras are categorification of Leibniz algebras [29]. In this section, we introduce categorified derivations (also called 2-derivations) on Leibniz 2-algebras.
Let Vect denote the category of vector spaces. A 2-vector space is a category internal to the category Vect. Thus, a 2-vector space \({\mathbb {V}}\) is a category with a vector space of objects \(V_0\) and a vector space of morphisms \(V_1\) such that all structure maps are linear. Let \(s, t : V_1 \rightarrow V_0\) be the source and target maps respectively. Given a 2-vector space \({\mathbb {V}} = ( V_1 \rightrightarrows V_0)\), we have a 2-term chain complex \(\text {ker}(s) \xrightarrow {t} V_0\). Conversely, any 2-term chain complex \(A_1 \xrightarrow {d} A_0\) gives rise to a 2-vector space \({\mathbb {A}} = (A_0 \oplus A_1 \rightrightarrows A_0)\) with space of objects \(A_0\) and space of morphisms given by \(A_0 \oplus A_1\); the structure maps are given by \(s ( x \oplus m) = x, ~ t ( x \oplus m) = x + dm\), for \(x \in A_0\) and \(m \in A_1\). It has been shown in [5] that the category of 2-vector spaces and the category of 2-term chain complexes are equivalent.
Definition 7.1
A Leibniz 2-algebra is a 2-vector space \({\mathbb {V}}\) with a bilinear functor \([~, ~] : {\mathbb {V}} \times {\mathbb {V}} \rightarrow {\mathbb {V}}\) and a trilinear natural isomorphism
commuting the following diagram
where \(P = [[[x,w], z], y] + [[x, [z,w]], y] + [[x, z], [y, w]] + [[x, w], [y, z]] + [x, [[y, w], z]] + [x, [y, [z,w]]].\)
Definition 7.2
Let \(({\mathbb {V}}, [~, ~], J)\) and \(({\mathbb {V}}', [~, ~]', J')\) be two Leibniz 2-algebras. A morphism between them consists of a linear functor \(F = (F_0, F_1)\) from the underlying vector space \({\mathbb {V}}\) to \({\mathbb {V}}'\), a natural transformation
such that the following diagram commute
Leibniz 2-algebras and morphisms between them form a category. We denote this category by \(\mathbf{Leib2} \).
Remark 7.3
Note that the definitions of Leibniz 2-algebras and morphisms between them considered here are slightly different than [29]. Here we consider right Leibniz 2-algebras whereas the authors in [29] considered left Leibniz 2-algebras. One is related to the other by considering the opposite of the bilinear functor \([~,~] : {\mathbb {V}} \times {\mathbb {V}} \rightarrow {\mathbb {V}}\).
In the next, we define 2-derivations on Leibniz 2-algebras. They are categorification of derivations on Leibniz algebras.
Definition 7.4
Let \(({\mathbb {V}}, [~,~], J)\) be a Leibniz 2-algebra. A 2-derivation on it consists of a linear functor \(D : {\mathbb {V}} \rightarrow {\mathbb {V}}\) and a natural isomorphism
making the following diagram commutative
where \(Q = [[Dx,z], y] + [[x, Dz], y] + [[x,z], Dy] + [Dx, [y,z]] + [x, [Dy,z]] + [x, [y, Dz]]\).
We call a Leibniz 2-algebra with a 2-derivation, a LeibDer2 pair.
Definition 7.5
Let \(({\mathbb {V}}, [~,~], J, D, {\mathcal {D}})\) and \(({\mathbb {V}}', [~,~]', J', D', {\mathcal {D}}')\) be two LeibDer2 pairs. A morphism between them consists of a Leibniz 2-algebra morphism \((F = (F_0, F_1), F_2)\) and a natural isomorphism
which makes the following diagram commutative
We denote the category of LeibDer2 pairs and morphisms between them by LeibDer2.
It is shown in [29] that the category \(\mathbf{Leib2} \) is equivalent to the category \(\mathbf{2Leib} _\infty \). This generalizes a similar theorem for the case of Lie algebras [5]. Let us recall the construction of a 2-term sh Leibniz algebra from a Leibniz 2-algebra and a Leibniz 2-algebra from a 2-term sh Leibniz algebra [29].
Let \(({\mathbb {V}}, [~, ~], J)\) be a Leibniz 2-algebra. Then \((\mathrm {ker}(s) \xrightarrow {t} V_0, l_2, l_3)\) is a 2-term sh Leibniz algebra where
for \(x, y \in V_0, ~m , n \in \mathrm {ker} (s)\) and \(\mathrm {pr}\) denote the projection on \(\mathrm {ker}(s).\)
Conversely, given a 2-term sh Leibniz algebra \((A_1 \xrightarrow {d} A_0, l_2, l_3)\), the corresponding Leibniz 2-algebra is defined on the 2-vector space \({\mathbb {A}} = ( A_0 \oplus A_1 \rightrightarrows A_0)\) with
Theorem 7.6
The categories LeibDer2 and \(\mathbf{2LeibDer} _\infty \) are equivalent.
Proof
Here we only sketch the construction of a homotopy derivation from a 2-derivation and vice versa. The rest of the verifications are similar to [5, Theorem 4.3.6].
Given a LeibDer2 pair \(({\mathbb {V}}, [~,~], J, D, {\mathcal {D}})\), we define a homotopy derivation on the 2-term sh Leibniz algebra \((\mathrm {ker}(s) \xrightarrow {t} V_0, l_2, l_3)\) by
If \((F_0, F_1, F_2, \Phi )\) is a morphism of LeibDer2 pairs, then \((f_0 = F_0, f_1 = F_1 |_{\mathrm {ker}(s)}, f_2 = \mathrm {pr} \circ F_2, {\mathcal {B}} = \Phi )\) is a morphism between corresponding 2-term sh Leibniz algebras with homotopy derivations.
Conversely, let \(( (A_1 \xrightarrow {d} A_0, l_2, l_3), (\theta _0, \theta _1, \theta _2))\) be a 2-term sh Leibniz algebra with a homotopy derivation. We define a 2-derivation \((D, {\mathcal {D}}')\) on the Leibniz 2-algebra \((A_0 \oplus A_1 \rightrightarrows A_0, [~,~], J)\) by
If \((f_0, f_1, f_2, {\mathcal {B}})\) is a morphism of 2-term sh Leibniz algebras with homotopy derivations, then \((F_0 = f_0, F_1 = f_1, F_2(x,y) = ( [f_0 (x) , f_0 (y)]' , f_2 (x,y)), \Phi = {\mathcal {B}})\) is a morphism between the corresponding LeibDer2 pairs. \(\square \)
8 Conclusions
In this paper, we consider LeibDer pairs as a noncommutative analogue of LieDer pairs. We study their central extensions and deformations from the cohomological point of view. We define homotopy derivations on sh Leibniz algebras and relate them with categorification of LeibDer pairs.
In [7, 8] the author considered extensions and deformations of algebras over a binary quadratic operad \({\mathcal {P}}\). The results of the present paper can be extended to \({\mathcal {P}}\)-algebras with derivations. In a forthcoming paper, we plan to systematically study extensions and deformations of a pair of a \({\mathcal {P}}\)-algebra and a derivation on it.
Leibniz algebras play an important role in the study of Courant algebroids [21]. In [19, 20] the authors study deformation theory of Courant algebroids from the algebraic and Poisson geometric point of view. It might be interesting to explore the importance of derivations in a Courant algebroid and one may extend the results of [19, 20] in the context of Courant algebroids with derivations.
References
Ammar, M., Poncin, N.: Coalgebraic approach to the Loday infinity category, stem differential for \(2n\)-ary graded and homotopy algebras. Ann. Inst. Fourier (Grenoble) 60(1), 355–387 (2010)
Ayala, V., Kizil, E., de Azevedo Tribuzy, I.: On an algorithm for finding derivations of Lie algebras. Proyecciones 31, 81–90 (2012)
Ayala, V., Tirao, J.: Linear control systems on Lie groups and controllability, In: Differential geometry and control (Boulder, CO, 1997), 47-64, Proc. Sympos. Pure Math., 64, Amer. Math. Soc., Providence, RI (1999)
Ayupov, A.Sh., Omirov, A.B.: On Leibniz algebras, Algebra and operator theory (Tashkent, 1997), 1–12. Kluwer Acad. Publ, Dordrecht (1998)
Baez, J.C., Crans, A.S.: Higher-dimensional algebra VI: Lie \(2\)-algebras. Theory Appl. Categ. 12, 492–538 (2004)
Balavoine, D.: Déformations des algébres de Leibniz. C. R. Acad. Sci. Paris Sér. I Math. 319(8), 783–788 (1994)
Balavoine, D.: Deformation of algebras over a quadratic operad, Operads: Proceedings of Renaissance Conferences (Hartford, CT/ Luminy, 1995), 207–234, Contemp. Math., 202, Amer. Math. Soc., Providence, RI (1997)
Balavoive, D.: Homology and cohomology with coefficients, of an algebra over a quadratic operad. J. Pure Appl. Algebra 132(3), 221–258 (1998)
Bloh, A.: A generalization of the concept of a Lie algebra. Dokl. Akad. Nauk SSSR 165(3), 471–473 (1965)
Branes, D.W.: On Levi’s Theorem for Leibniz algebras. Bull. Aust. Math. Soc. 86(2), 184–185 (2012)
Casas, J.M., Loday, J.-L., Pirashvili, T.: Leibniz \(n\)-algebras. Forum Math. 14(2), 189–207 (2002)
Coll, V.E., Gerstenhaber, M., Giaquinto, A.: An explicit deformation formula with noncommuting derivations, Ring theory 1989 (Ramat Gan and Jerusalem, 1988/1989), 396–403, Israel Math. Conf. Proc., 1, Weizmann, Jerusalem (1989)
Das, A., Mandal, A.: Extensions, deformations and categorifications of AssDer pairs, submitted. https://arxiv.org/abs/2002.11415
Doubek, M., Lada, T.: Homotopy derivations. J. Homotopy Relat. Struct. 11(3), 599–630 (2016)
Gerstenhaber, M.: On the deformation of rings and algebras. Ann. Math. (2) 79, 59–103 (1964)
Janelidze, G., Kelly, G.M.: Galois theory and a general notion of central extension. J. Pure Appl. Algebra 97, 135–161 (1994)
Janelidze, G., Kelly, G.M.: Central extensions in universal algebra: A unification of three notions. Algebra Univers. 44(1–2), 123–128 (2000)
Janelidze, G., Kelly, G.M.: Central extensions in Mal’tsev varieties. Theory Appl. Categ. 7, 219–226 (2000)
Ji, X.: Deformations of Courant algebroids and Dirac structures via blended structures. Diff. Geom. Appl. 59, 204–226 (2018)
Keller, F., Waldmann, S.: Deformation theory of Courant algebroids via the Rothstein algebra. J. Pure Appl. Algebra 219(8), 3391–3426 (2015)
Liu, Z., Weinstein, A., Xu, P.: Manin triples for Lie bialgebroids. J. Differ. Geom. 45(3), 547–574 (1997)
Loday, J.-L.: Une version non commutative des algèbres de Lie: les algèbres de Leibniz. Enseign. Math. (2) 39(3–4), 269–293 (1993)
Loday, J.-L.: Cup-product for Leibniz cohomology and dual Leibniz algebras. Math. Scand. 77(2), 189–196 (1995)
Loday, J.-L.: Dialgebras, Dialgebras and related operads, 7-66, Lecture Notes in Math., 1763, Springer, Berlin (2001)
Loday, J.-L.: On the operad of associative algebras with derivation. Georgian Math. J. 17(2), 347–372 (2010)
Loday, J.-L., Pirashvili, T.: Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann. 296(1), 139–158 (1993)
Magid, A.R.: Lectures on differential Galois theory, University Lecture Series, 7. American Mathematical Society, Providence, RI (1994)
Nijenhuis, A., Richardson, R.: Deformation of Lie algebra structures. J. Math. Mech. 17, 89–105 (1967)
Sheng, Y., Liu, Z.: Leibniz \(2\)-algebras and twisted Courant algebroids. Comm. Algebra 41(5), 1929–1953 (2013)
Tang, R., Frégier, Y., Sheng, Y.: Cohomologies of a Lie algebra with a derivation and applications. J. Algebra 534, 65–99 (2019)
Voronov, T.: Higher derived brackets and homotopy algebras. J. Pure Appl. Algebra 202(1–3), 133–153 (2005)
Acknowledgements
The author would like to thank the referee for his/her valuable comments on the earlier version that have improved the paper. The author also thanks Indian Institute of Technology Kanpur for financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Tom Lada.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Das, A. Leibniz algebras with derivations. J. Homotopy Relat. Struct. 16, 245–274 (2021). https://doi.org/10.1007/s40062-021-00280-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-021-00280-w
Keywords
- Leibniz algebras
- Leibniz cohomology
- LeibDer pair
- Extensions
- Deformations
- Homotopy derivations
- Categorifications