Abstract
In this paper, first we introduce the notions of 3-pre-Leibniz algebras and relative Rota-Baxter operators on 3-Leibniz algebras. We show that a 3-pre-Leibniz algebra gives rise to a 3-Leibniz algebra and a representation such that the identity map is a relative Rota-Baxter operator. Conversely, a relative Rota-Baxter operator naturally induces a 3-pre-Leibniz algebra. Then we construct a Lie 3-algebra, and characterize relative Rota-Baxter operators as its Maurer-Cartan elements. Consequently, we obtain the \(L_\infty\)-algebra that controls deformations of relative Rota-Baxter operators on 3-Leibniz algebras. Next we define the cohomology of relative Rota-Baxter operators on 3-Leibniz algebras and show that infinitesimal deformations of a relative Rota-Baxter operator are classified by the second cohomology group. Finally, we construct an \(L_\infty\)-algebra whose Maurer-Cartan elements are relative Rota-Baxter 3-Leibniz algebra structures, and define the cohomology of relative Rota-Baxter 3-Leibniz algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we mainly study deformations and cohomologies of relative Rota-Baxter operators on 3-Leibniz algebras and relative Rota-Baxter 3-Leibniz algebras respectively.
1.1 3-Leibniz Algebras
Leibniz algebras can be regarded as a non-skew-symmetric version of Lie algebras. The class of n-Leibniz algebras as a natural generalization of Leibniz algebras to higher arities was introduced by Casas et al. [9]. Furthermore, an n-Leibniz algebra combined with skew-symmetry is an n-Lie algebra (also called Filippov algebras or Nambu algebras) [19]. In recent years, both 3-Lie algebras and 3-Leibniz algebras have extensive applications in mathematical physics, e.g. in [10], the authors used Gröbner bases to present the algorithm in order to test the given multiplication table corresponding to an n-Leibniz algebra. Cherkis and Sämann constructed the three-dimensional \(N=2\) superconformal Chern-Simons theories by imposing extra conditions on the 3-bracket [11]. On this foundation, in [17], the authors studied metric 3-Leibniz algebras and the hermitian 3-algebras of Bagger-Lambert [1], which are closely related to \(N=6\) and \(N=5\) superconformal Chern-Simons theories. In [7], the authors studied the structure of split 3-Leibniz algebras. See the review [15] for more details.
1.2 Relative Rota-Baxter Operators
The notion of Rota-Baxter operators on algebras originated from the work of G. Baxter in the study of fluctuation theory in probability [6]. It has been used in many fields of mathematical physics, including the Connes-Kreimer’s algebraic approach to the renormalization in perturbative quantum field theory [12]. Rota-Baxter operators are also closely related to splitting of operads [2, 29]. In the Lie algebra context, the more general notion of a relative Rota-Baxter operator (originally called O-operator) was introduced by Kupershmidt [25] to better understand the classical Yang-Baxter equation. See the book [23] for more details and applications about Rota-Baxter operators. Relative Rota-Baxter operators on Leibniz algebras was studied in [34]. Recently, in [3], the authors introduced the concept of Rota-Baxter operators on 3-Lie algebras and established their relationship with differential operators. The notion of relative Rota-Baxter operators on 3-Lie algebras was introduced in [4] for the purpose of studying solutions to the classical Yang-Baxter equation for 3-Lie algebras.
1.3 Deformations and Cohomologies
The deformation theory of algebraic structures originated from Gerstenhaber for associative algebras [21]. Inspired by this theory, Nijenhuis and Richardson further extended the work to Lie algebras [28]. In [18], the author studied the deformation of 3-Leibniz algebras in terms of the cohomology theory of its associated Leibniz algebra. See [27, 32] for more details about deformations of n-Leibniz (Lie)-algebras. Cohomology theory is an important invariant of algebraic structures and can be used to study deformations and extensions of algebraic structure. Loday and Pirashvili studied the cohomology theory and the universal enveloping algebra structure of Leibniz algebras [26]. Rotkiewicz introduced graded Lie brackets on the space of cochains of n-Leibniz algebras and described an n-Leibniz algebra structure as a canonical structure [30]. Recently, the cohomology and deformation theories of relative Rota-Baxter operators on Lie algebras, associative algebras, Leibniz algebras and 3-Lie algebras were established in [14, 33,34,35], respectively.
1.4 Approaches and Main Results
Motivated by the widespread application of Rota-Baxter algebras, 3-Leibniz algebras, cohomology and deformation theories, it is natural to study relative Rota-Baxter operators on 3-Leibniz algebras. First we introduce the notion of a 3-pre-Leibniz algebra and relative Rota-Baxter operators on 3-Leibniz algebras. We prove that there is a 3-pre-Leibniz algebra structure on V as the underlying algebraic structure of a relative Rota-Baxter operator on a 3-Leibniz algebra. Moreover, a 3-pre-Leibniz algebra naturally gives rise to a new 3-Leibniz algebra such that the identity map is a relative Rota-Baxter operator. Next, we construct an \(L_{\infty }\)-algebra using higher derived brackets whose Maurer-Cartan elements are relative Rota-Baxter operators on 3-Leibniz algebras. Maurer-Cartan elements of the twisted \(L_{\infty }\)-algebra correspond precisely to deformations of the given relative Rota-Baxter operator. Moreover, we also set up a cohomology theory for relative Rota-Baxter operators on 3-Leibniz algebras and apply it to control infinitesimal deformations of relative Rota-Baxter operators. A relative Rota-Baxter 3-Leibniz algebra consists of a 3-Leibniz algebra, its representation and a relative Rota-Baxter operator. Finally, we construct the corresponding cohomology theory of relative Rota-Baxter 3-Leibniz algebras and show that infinitesimal deformations of relative Rota-Baxter 3-Leibniz algebras are classified by the second cohomology group.
1.5 Outline of the Paper
In Sect. 2, we introduce the notions of 3-pre-Leibniz algebras and relative Rota-Baxter operators on 3-Leibniz algebras. We show that a 3-pre-Leibniz algebra gives rise to a 3-Leibniz algebra and a representation such that the identity map is a relative Rota-Baxter operator. Conversely, a relative Rota-Baxter operator naturally induces a 3-pre-Leibniz algebra. In Sect. 3, we construct a Lie 3-algebra and show that relative Rota-Baxter operators can be characterized by its Maurer-Cartan elements. In addition, a given relative Rota-Baxter operator gives rise to a twisted \(L_{\infty }\)-algebra whose Maurer-Cartan elements controls its deformations. In Sect. 4, we introduce a cohomology theory of relative Rota-Baxter operators on 3-Leibniz algebras. As an application, infinitesimal deformations of relative Rota-Baxter operators are studied. In Sect. 5, we characterize relative Rota-Baxter 3-Leibniz algebras as Maurer-Cartan elements in a certain \(L_{\infty }\)-algebra, and establish the corresponding cohomology and deformation theories respectively.
In this paper, we work over an algebraically closed field \(\mathbb K\) of characteristic 0.
2 3-pre-Leibniz Algebras and Relative Rota-Baxter Operators on 3-Leibniz Algebras
In this section, we introduce the notions of relative Rota-Baxter operators on 3-Leibniz algebras and 3-pre-Leibniz algebras. A 3-pre-Leibniz algebra gives rise to a 3-Leibniz algebra and a representation on itself. We show that a relative Rota-Baxter operator induces a 3-pre-Leibniz algebra. Thus 3-pre-Leibniz algebras can be viewed as the underlying algebraic structures of relative Rota-Baxter operators on 3-Leibniz algebras. First, we recall some basic results involving representations and cohomologies of 3-Leibniz algebras.
Definition 2.1
[9] A 3-Leibniz algebra is a vector space \(\mathcal {L}\) equipped with a linear map \([\cdot ,\cdot ,\cdot ]_{\mathcal {L}}:\otimes ^3\mathcal {L}\longrightarrow \mathcal {L}\) such that
for all \(x_{1},x_{2},x_{3},x_{4},x_{5} \in \mathcal {L}\).
Definition 2.2
[8] A representation of a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) is a quadruple (V; l, m, r), where V is a vector space, \(l, m, r:\otimes ^{2}\mathcal {L}\longrightarrow \mathfrak {gl}(V)\) are linear maps, such that for all \(x_{i} \in \mathcal {L}, 1\le i\le 4\), the following equalities hold:
Example 2.3
Let \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) be a 3-Leibniz algebra. Define linear maps \(L, M, R:\otimes ^{2}\mathcal {L}\rightarrow \mathfrak {gl}(\mathcal {L})\) by
Then \((\mathcal {L};L,M,R)\) is a representation of \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\), which is called the regular representation.
Let (V; l, m, r) be a representation of the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}}).\) Define a trilinear bracket operation \([\cdot ,\cdot ,\cdot ]_{\mathcal {L}\oplus V}:\otimes ^3(\mathcal {L}\oplus V)\rightarrow \mathcal {L}\oplus V\) by
where \(x_i \in \mathcal {L}, u_i \in V, 1\le i\le 3\). The following result is well known.
Lemma 2.4
With the above notations, \((\mathcal {L}\oplus V,[\cdot ,\cdot ,\cdot ]_{\mathcal {L}\oplus V})\) is a 3-Leibniz algebra. This 3-Leibniz algebra is called the semidirect product 3-Leibniz algebra, and denoted by \(\mathcal {L}\ltimes _{l,m,r} V\).
Now we introduce a new algebraic structure: 3-pre-Leibniz algebras.
Definition 2.5
A 3-pre-Leibniz algebra is a vector space A equipped with three ternary products \([\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}\) and \([\![ {\cdot ,\cdot ,\cdot }]\!]: \otimes ^3 A \rightarrow A\) such that for all \(x_i\in A,1\le i\le 5,\) the following equalities hold:
where \([\cdot ,\cdot ,\cdot ]_A\) is defined by
Remark 2.6
In [4], Bai-Guo-Sheng introduced the notion of a 3-pre-Lie algebra which is the underlying algebraic structure of a relative Rota-Baxter operator (O-operator) on a 3-Lie algebra. In our definition of a 3-pre-Leibniz algebra \((A, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) for all \(x,y,z\in A,\) if the ternary product \([\cdot ,\cdot ,\cdot ]:\otimes ^3 A \rightarrow A\) satisfies \([x,y,z]=-[y,x,z],\) \(\{x,y,z\}=[z,x,y]\) and \([\![ {x,y,z}]\!] =[y,z,x]\), then \((A, [\cdot ,\cdot ,\cdot ])\) becomes a 3-pre-Lie algebra. So the 3-pre-Leibniz algebras are natural generalizations of 3-pre-Lie algebras introduced by Bai-Guo-Sheng. To be consistent with the terminology given in [4], we use the terminology of "3-pre-Leibniz algebra". On the one hand, from the perspective of splittings of operads [29], this algebraic structure could also be called pre-3-Leibniz algebra. Nevertheless, this algebraic structure serves as both the splitting of 3-Leibniz algebra and the 3-ary generalization of pre-Leibniz algebras.
Theorem 2.7
Let \((A, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) be a 3-pre-Leibniz algebra. Then
-
(i)
\((A, [\cdot ,\cdot ,\cdot ]_A)\) is a 3-Leibniz algebra, where the 3-Leibniz bracket \([\cdot ,\cdot ,\cdot ]_A\) is defined by (13).
-
(ii)
\((A;\tilde{L},\tilde{M},\tilde{R})\) is a representation of the 3-Leibniz algebra \((A, [\cdot ,\cdot ,\cdot ]_A)\), where the representation \(\tilde{L},\tilde{M},\tilde{R}:\otimes ^{2}A\rightarrow \mathfrak {gl}(A)\) are defined by
$$\begin{aligned} \tilde{L}(x,y)z=[x,y,z],\quad \tilde{M}(x,y)z=\{x,z,y\},\quad \tilde{R}(x,y)z=[\![ {z, x,y}]\!] ,\quad \forall ~x,y,z\in A. \end{aligned}$$(14)
Proof
(i) For all \(x_1,x_2,x_3,x_4,x_5 \in A\), by (8) - (12), we have
which implies that \((A, [\cdot ,\cdot ,\cdot ]_A)\) is a 3-Leibniz algebra.
(ii) We can deduce that \(\tilde{L},\tilde{M},\tilde{R}\) satisfy (2)–(6) according to (8)–(12) respectively. \(\square\)
Definition 2.8
Let \((A, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) be a 3-pre-Leibniz algebra. The 3-Leibniz algebra \((A, [\cdot ,\cdot ,\cdot ]_A)\) is called the sub-adjacent 3-Leibniz algebra, and the 3-pre-Leibniz algebra \((A, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) is called a compatible 3-pre-Leibniz algebra of the 3-Leibniz algebra \((A, [\cdot ,\cdot ,\cdot ]_A)\).
Now we introduce the notion of (relative) Rota-Baxter operators on 3-Leibniz algebras, which are closely related to 3-pre-Leibniz algebras.
Definition 2.9
-
(i)
Let \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) be a 3-Leibniz algebra. A linear operator \(B:\mathcal {L}\rightarrow \mathcal {L}\) is called a Rota-Baxter operator if
$$\begin{aligned} {[}Bx,By,Bz]_{\mathcal {L}}=B\Big ([Bx,By,z]_{\mathcal {L}}+[Bx,y,Bz]_{\mathcal {L}}+[x,By,Bz]_{\mathcal {L}}\Big ), \quad \forall x, y, z \in \mathcal {L}. \end{aligned}$$(15)Moreover, a 3-Leibniz algebra \(\mathcal {L}\) with a Rota-Baxter operator B is called a Rota-Baxter 3-Leibniz algebra, which is denoted by \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),B).\)
-
(ii)
Let (V; l, m, r) be a representation of the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\). A linear operator \(B:V\rightarrow \mathcal {L}\) is called a relative Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to the representation (V; l, m, r) if B satisfies
$$\begin{aligned}{}[Bu,Bv,Bw]_{\mathcal {L}}=B\Big (l(Bu,Bv)w+m(Bu,Bw)v+r(Bv,Bw)u\Big ), \quad \forall u, v, w \in V. \end{aligned}$$(16)Moreover, the triple \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\) is called a relative Rota-Baxter 3-Leibniz algebra.
Note that a Rota-Baxter operator on a 3-Leibniz algebra is a relative Rota-Baxter operator with respect to the regular representation. A 3-pre-Leibniz algebra naturally gives rise to a relative Rota-Baxter operator.
Proposition 2.10
Let \((A, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) be a compatible 3-pre-Leibniz algebra of the 3-Leibniz algebra \((A,[\cdot ,\cdot ,\cdot ]_A)\). Then \({\textrm{Id}}:A\rightarrow A\) is a relative Rota-Baxter operator on the 3-Leibniz algebra \((A,[\cdot ,\cdot ,\cdot ]_A)\) with respect to the representation \((A;\tilde{L},\tilde{M},\tilde{R})\) given in Theorem 2.7.
Next, we consider the following 3-Leibniz algebra which was introduced in [10].
Example 2.11
Consider the 3-dimensional 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) given with respect to a basis \(\{e_1,e_2,e_3\}\) by
For a matrix \(\left( \begin{array}{ccc} a_{11}&{}a_{12}&{}a_{13}\\ a_{21}&{}a_{22}&{}a_{23}\\ a_{31}&{}a_{32}&{}a_{33} \end{array}\right) ,\) define
Then B is a Rota-Baxter operator if and only if
-
If \(i=1,2, j=1, k=2,\) or \(j=2, k=1\), we have
$$\begin{aligned} a_{3i}a_{31}a_{12}=0,\quad a_{3i}a_{21}a_{32}=0,\quad a_{3i}a_{31}a_{32}=0. \end{aligned}$$ -
If \(i=1,2, j=1, k=3,\) or \(j=3, k=1\), we have
$$\begin{aligned} a_{3i}a_{21}a_{12}=0,\quad -a_{3i}a_{21}a_{33}+a_{3i}a_{31}a_{23}=-a_{3i}a_{21}a_{22},\quad a_{3i}a_{21}a_{32}=0. \end{aligned}$$ -
If \(i=1,2, j=2, k=3,\) or \(j=3, k=2\), we have
$$\begin{aligned} a_{3i}a_{12}(a_{33}+a_{22})=0,\quad a_{3i}a_{32}a_{23}=-a_{3i}a_{22}^{2},\quad a_{3i}a_{32}(a_{33}+a_{22})=0. \end{aligned}$$When \(i=3\), consider the case of j and k as above respectively, we obtain
$$\begin{aligned} \left\{ \begin{array}{rcl} a_{12}(a_{31}a_{22}-a_{21}a_{32}+a_{33}a_{31})&{}=&{}0,\\ a_{32}(a_{31}a_{22}-a_{21}a_{32}+a_{33}a_{31})&{}=&{}0,\\ a_{33}a_{21}a_{32}-a_{22}a_{21}a_{32}+a_{22}^{2}a_{31}&{}=&{}0,\\ \end{array}\right. \quad \quad \left\{ \begin{array}{rcl} a_{12}(a_{23}a_{32}-2a_{22}a_{33}-a_{33}^{2})&{}=&{}0,\\ a_{32}(a_{23}a_{32}-2a_{22}a_{33}-a_{33}^{2})&{}=&{}0,\\ a_{33}a_{23}a_{32}-a_{22}a_{23}a_{32}+2a_{22}^{2}a_{33}&{}=&{}0,\\ \end{array}\right. \end{aligned}$$$$\begin{aligned} {\left\{ \begin{array}{ll} a_{12}(a_{31}a_{23}-2a_{21}a_{33})=0,\\ a_{32}(a_{31}a_{23}-2a_{21}a_{33})=0,\\ a_{22}(a_{31}a_{23}-2a_{21}a_{33})=a_{33}(a_{31}a_{23}-a_{21}a_{33}). \end{array}\right. } \end{aligned}$$
Summarize the above discussions, we have
-
(i)
If \(a_{12}=a_{21}=a_{22}=a_{31}=a_{32}=0, a_{33}\ne 0,\) then any \(B=\left( \begin{array}{ccc}a_{11}&{}0&{}a_{13}\\ 0&{}0&{}a_{23}\\ 0&{}0&{}a_{33}\end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
-
(ii)
If \(a_{12}=a_{22}=a_{23}=a_{32}=a_{33}=0, a_{31}\ne 0,\) then any \(B=\left( \begin{array}{ccc}a_{11}&{}0&{}a_{13}\\ a_{21}&{}0&{}0\\ a_{31}&{}0&{}0\end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
-
(iii)
If \(a_{12}=a_{22}=a_{32}=0, a_{31}\ne 0, a_{33}\ne 0,\) then any \(B=\left( \begin{array}{ccc}a_{11}&{}0&{}a_{13}\\ \frac{a_{23}a_{31}}{a_{33}}&{}0&{}a_{23}\\ a_{31}&{}0&{}a_{33}\end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
-
(iv)
If \(a_{21}=a_{22}=a_{23}=a_{31}=a_{33}=0, a_{32}\ne 0,\) then any \(B=\left( \begin{array}{ccc}a_{11}&{}a_{12}&{}a_{13}\\ 0&{}0&{}0\\ 0&{}a_{32}&{}0\end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
-
(v)
If \(a_{21}=a_{31}=0, a_{32}\ne 0, a_{33}\ne 0,\) then any \(B=\left( \begin{array}{ccc}a_{11}&{}a_{12}&{}a_{13}\\ 0&{}-a_{33}&{}-\frac{a_{33}^{2}}{a_{32}}\\ 0&{}a_{32}&{}a_{33}\end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
-
(vi)
If \(a_{31}=a_{32}=a_{33}=0,\) then any \(B=\left( \begin{array}{ccc} a_{11}&{}a_{12}&{}a_{13}\\ a_{21}&{}a_{22}&{}a_{23}\\ 0&{}0&{}0 \end{array}\right)\) is a Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
Now we give the following characterization of a relative Rota-Baxter operator in terms of graphs.
Proposition 2.12
A linear map \(B:V\rightarrow \mathcal {L}\) is a relative Rota-Baxter operator on a 3-Leibniz algebra \(\mathcal {L}\) with respect to a representation (V; l, m, r) if and only if the graph \(Gr(B)=\{Bu+u|u\in V\}\) is a 3-Leibniz subalgebra of the semidirect product 3-Leibniz algebra \(\mathcal {L}\ltimes _{l,m,r} V.\)
Proof
Let B be a linear map. For all \(Bu+u,Bv+v,Bw+w \in \mathcal {L}\oplus V\), we have
Therefore, the graph \(Gr(B)=\{Bu+u|u\in V\}\) is a subalgebra of the semidirect product 3-Leibniz algebra \(\mathcal {L}\ltimes _{l,m,r} V\) if and only if B satisfies (16), which implies that B is a relative Rota-Baxter operator on a 3-Leibniz algebra \(\mathcal {L}\) with respect to a representation (V; l, m, r). \(\square\)
Since the graph Gr(B) is isomorphic to V as vector spaces, so there is an induced 3-Leibniz algebra structure on V.
Proposition 2.13
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Then \((V, [\cdot ,\cdot ,\cdot ]_B)\) is a 3-Leibniz algebra, called the descendent 3-Leibniz algebra of B, where \([\cdot ,\cdot ,\cdot ]_{B}:\otimes ^{3}V\rightarrow V\) is defined by
Moreover, B is a homomorphism from the 3-Leibniz algebra \((V,[\cdot ,\cdot ,\cdot ]_{B})\) to the initial 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\).
Proof
By (16), B is a homomorphism from the 3-Leibniz algebra \((V,[\cdot ,\cdot ,\cdot ]_{B})\) to the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\). \(\square\)
The following results illustrate that 3-pre-Leibniz algebras can be viewd as the underlying algebraic structures of relative Rota-Baxter operators on 3-Leibniz algebras.
Theorem 2.14
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Then \((V, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) is a 3-pre-Leibniz algebra whose sub-adjacent 3-Leibniz algebra is exactly the above descendent 3-Leibniz algebra, where
Proof
For all \(u_1,u_2,u_3,u_4,u_5\in V\), by (2), (13) and (16), we have
which implies that (8) in Definition 2.5 holds. Similarly, by (3)–(6), we can deduce that (9)–(12) hold respectively. Therefore, \((V, [\cdot ,\cdot ,\cdot ], \{\cdot ,\cdot ,\cdot \}, [\![ {\cdot ,\cdot ,\cdot }]\!] )\) is a 3-pre-Leibniz algebra. By Theorem 2.7, we deduce that \((V,[\cdot ,\cdot ,\cdot ]_A)\) is a 3-Leibniz algebra. Obviously, its sub-adjacent 3-Leibniz algebra is exactly the 3-Leibniz algebra given in Proposition 2.13. Then the result follows. \(\square\)
Next we give a necessary and sufficient condition for the existence of a compatible 3-pre-Leibniz algebra structure on a 3-Leibniz algebra.
Proposition 2.15
Let \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) be a 3-Leibniz algebra. There exists a compatible 3-pre-Leibniz algebra if and only if there exists an invertible relative Rota-Baxter operator \(B:V\rightarrow \mathcal {L}\) on \(\mathcal {L}\) with respect to a representation (V; l, m, r).
Proof
The necessary condition follows from Proposition 2.10 directly. Next we prove the sufficient condition.
Let \(B:V\rightarrow \mathcal {L}\) be an invertible relative Rota-Baxter operator on \(\mathcal {L}\) with respect to a representation (V; l, m, r). By Theorem 2.14, there is a 3-pre-Leibniz algebra on V given by
Since B is an invertible relative Rota-Baxter operator, we obtain that
defines a 3-pre-Leibniz algebra structures on \(\mathcal {L}\). By (16), we have
The proof is finished. \(\square\)
3 Maurer-Cartan Characterizations of Relative Rota-Baxter Operators
In this section, we construct a Lie 3-algebra whose Maurer-Cartan elements are relative Rota-Baxter operators on 3-Leibniz algebras. Moreover, we obtain the twisted \(L_{\infty }\)-algebra that controls deformations of relative Rota-Baxter operators on 3-Leibniz algebras.
3.1 \(L_\infty\)-Algebras and Derived Brackets
A permutation \(\sigma \in {\mathbb {S}}_n\) is called an \((i,n-i)\)-shuffle if \(\sigma (1)<\cdots <\sigma (i)\) and \(\sigma (i+1)<\cdots <\sigma (n)\). If \(i=0\) or n we assume \(\sigma =\textrm{Id}\). The set of all \((i,n-i)\)-shuffles will be denoted by \({\mathbb {S}}_{(i,n-i)}\).
Definition 3.1
([31]) An \(L_\infty\)-algebra is a \({\mathbb {Z}}\)-graded vector space \({\mathfrak {g}}=\oplus _{k\in {\mathbb {Z}}}{\mathfrak {g}}^k\) equipped with a collection \((k\ge 1)\) of linear maps \(l_k:\otimes ^k{\mathfrak {g}}\rightarrow {\mathfrak {g}}\) of degree 1 with the property that, for any homogeneous elements \(x_1,\cdots ,x_n\in {\mathfrak {g}}\), we have
-
(i)
(graded symmetry) for every \(\sigma \in {\mathbb {S}}_{n}\),
$$\begin{aligned} l_n(x_{\sigma (1)},\cdots ,x_{\sigma (n-1)},x_{\sigma (n)})=\varepsilon (\sigma )l_n(x_1,\cdots ,x_{n-1},x_n). \end{aligned}$$ -
(ii)
(generalized Jacobi identity) for all \(n\ge 1\),
$$\begin{aligned} \sum _{i=1}^{n}\sum _{\sigma \in {\mathbb {S}}_{(i,n-i)} }\varepsilon (\sigma )l_{n-i+1}(l_i(x_{\sigma (1)},\cdots ,x_{\sigma (i)}),x_{\sigma (i+1)},\cdots ,x_{\sigma (n)})=0. \end{aligned}$$
The notion of a Lie k-algebra was introduced in [24], see [16] for more applications. Lie k-algebra is special \(L_\infty\)-algebra, in which only the k-ary bracket is nonzero.
Definition 3.2
A Lie 3-algebra is a \({\mathbb {Z}}\)-graded vector space \({\mathfrak {g}}=\oplus _{k\in {\mathbb {Z}}}{\mathfrak {g}}^k\) equipped with a trilinear bracket \(\{\cdot ,\cdot ,\cdot \}_{\mathfrak {g}}:{\mathfrak {g}}\otimes {\mathfrak {g}}\otimes {\mathfrak {g}}\,\rightarrow \,{\mathfrak {g}}\) of degree 1, satisfying
-
(i)
(graded symmetry) for all homogeneous elements \(x_1,x_2,x_3\in {\mathfrak {g}}\),
$$\begin{aligned} \{x_1,x_2,x_3\}_{\mathfrak {g}}=(-1)^{x_1x_2}\{x_2,x_1,x_3\}_{\mathfrak {g}}=(-1)^{x_2x_3}\{x_1,x_3,x_2\}_{\mathfrak {g}}. \end{aligned}$$(19) -
(ii)
(generalized Jacobi identity) for all homogeneous elements \(x_{i}\in {\mathfrak {g}}, 1\le i\le 5\),
$$\begin{aligned} \sum _{\sigma \in {\mathbb {S}}_{5} }\varepsilon (\sigma )\{\{x_{\sigma (1)},x_{\sigma (2)},x_{\sigma (3)}\}_{\mathfrak {g}},x_{\sigma (4)},x_{\sigma (5)}\}_{\mathfrak {g}}=0. \end{aligned}$$(20)
Definition 3.3
A Maurer-Cartan element of an \(L_\infty\)-algebra \(({\mathfrak {g}},\{l_i\}_{i=1}^{+\infty })\) is an element \(\alpha \in {\mathfrak {g}}^0\) satisfying the Maurer-Cartan equation \(\sum _{n=1}^{+\infty } \frac{1}{n!}l_n(\alpha ,\cdots ,\alpha )=0.\) Specially, \(\alpha \in {\mathfrak {g}}^0\) is a Maurer-Cartan element of a Lie 3-algebra \(({\mathfrak {g}},\{\cdot ,\cdot ,\cdot \}_{\mathfrak {g}})\) if and only if \(\frac{1}{3!}\{\alpha ,\alpha ,\alpha \}_{\mathfrak {g}}=0.\)
Let \(\alpha\) be a Maurer-Cartan element of a Lie 3-algebra \(({\mathfrak {g}},\{\cdot ,\cdot ,\cdot \}_{\mathfrak {g}})\). Define \(l_k^{\alpha }:\otimes ^k{\mathfrak {g}}\rightarrow {\mathfrak {g}}\) by
Lemma 3.4
([22]) With the above notations, \(({\mathfrak {g}},\{l_k^{\alpha }\}_{k=1}^{+\infty })\) is an \(L_\infty\)-algebra. Moreover, \(\alpha +\alpha '\) is a Maurer-Cartan element of \(({\mathfrak {g}},\{l_k\}_{k=1}^{+\infty })\) if and only if \(\alpha '\) is a Maurer-Cartan element of the twisted \(L_\infty\)-algebra \(({\mathfrak {g}},\{l_k^{\alpha }\}_{k=1}^{+\infty })\).
In the sequel, we recall Th. Voronov’s derived brackets [36], which is a useful tool to construct explicit \(L_\infty\)-algebras.
Definition 3.5
([36]) A V-data consists of a quadruple \((F,{\mathfrak {h}},\mathcal {P},\Delta )\) where
-
\((F,[\cdot ,\cdot ])\) is a graded Lie algebra;
-
\({\mathfrak {h}}\) is an abelian graded Lie subalgebra of \((F,[\cdot ,\cdot ])\);
-
\(\mathcal {P}:F\,\rightarrow \,F\) is a projection, that is \(\mathcal {P}\circ \mathcal {P}=\mathcal {P}\), whose image is \({\mathfrak {h}}\) and kernel is a graded Lie subalgebra of \((F,[\cdot ,\cdot ])\);
-
\(\Delta\) is an element in \(\ker (\mathcal {P})^1\) such that \([\Delta ,\Delta ]=0\).
Theorem 3.6
([36]) Let \((F,{\mathfrak {h}},\mathcal {P},\Delta )\) be a V-data. Then \(({\mathfrak {h}},\{{l_k}\}_{k=1}^{+\infty })\) is an \(L_\infty\)-algebra where
We call \(\{{l_k}\}_{k=1}^{+\infty }\) the higher derived brackets of the V-data \((F,{\mathfrak {h}},\mathcal {P},\Delta )\).
3.2 The Controlling Algebra of relative Rota-Baxter operators
Let \(\mathcal {L}\) be vector spaces. Consider the graded vector space
Theorem 3.7
([30]) The graded vector space \(C_{\textsf {3Leib}}^{*}(\mathcal {L},\mathcal {L})\) equipped with the graded bracket
is a graded Lie algebra, where \(P\circ Q\in C_{\textsf {3Leib}}^{p+q}(\mathcal {L},\mathcal {L})\) is defined by
for all \(\mathfrak {X}_{i}=x_{i}\otimes y_{i}\in \otimes ^{2}\mathcal {L}\), \(~i=1,2,\cdots ,p+q\) and \(x\in \mathcal {L}.\)
Remark 3.8
For \(\mu \in \textrm{Hom}(\otimes ^{3}\mathcal {L},\mathcal {L})\), we have
Thus, \(\mu\) defines a 3-Leibniz algebra structure on \(\mathcal {L}\) if and only if \([\mu , \mu ]_{\textsf {3Leib}}=0\), i.e. \(\mu\) is a Maurer-Cartan element of the graded Lie algebra \(\big (C_{\textsf {3Leib}}^{*}(\mathcal {L}, \mathcal {L}),[\cdot ,\cdot ]_{\textsf {3Leib}}\big )\).
If \(\mathcal {L} = \mathcal {L}_1 \oplus \mathcal {L}_2\), the direct sum of two vector spaces \(\mathcal {L}_1\) and \(\mathcal {L}_2\), then the space \(C_{\textsf {3Leib}}^{p}(\mathcal {L}, \mathcal {L})\) is quite complicated. To describe it more precisely, we denote by \(\mathcal {L}^{m,n}\) the subspace of \(\otimes ^{p}(\otimes ^{2}(\mathcal {L}_1\oplus \mathcal {L}_2))\otimes (\mathcal {L}_1\oplus \mathcal {L}_2)\) which contains the numbers of \(\mathcal {L}_1\) and \(\mathcal {L}_2\) are \(m\) and \(n\), respectively. Then the vector space \(\otimes ^{p}(\otimes ^{2}(\mathcal {L}_1\oplus \mathcal {L}_2))\otimes (\mathcal {L}_1\oplus \mathcal {L}_2)\) is isomorphic to the direct sum of \(\mathcal {L}^{m,n},m+n=2p+1\). Furthermore, we have the following isomorphism.
An element \(f\in \textrm{Hom}(\mathcal {L}^{m,n},\mathcal {L}_1)\) (resp. \(f\in \textrm{Hom}(\mathcal {L}^{m,n},\mathcal {L}_2)\)) naturally gives an element \(\hat{f}\in C_{\textsf {3Leib}}^{p}(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\), which is called its lift. For example, the lifts of linear maps \(\mu :\otimes ^{3}\mathcal {L}_1 \rightarrow \mathcal {L}_1\) and \(\tau :\otimes ^2 \mathcal {L}_1 \otimes \mathcal {L}_2 \rightarrow \mathcal {L}_2\) are defined by
Let (V; l, m, r) be a representation of a 3-Leibniz algebra \((\mathcal {L}, [\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\). Usually we use \(\mu\) to indicate the 3-Leibniz bracket \([\cdot ,\cdot ,\cdot ]_{\mathcal {L}}\). In the sequel, we will view l, m, r as elements in \(\textrm{Hom}(\otimes ^2\mathcal {L}\otimes V,V)\), \(\textrm{Hom}(\mathcal {L}\otimes V\otimes \mathcal {L},V)\) and \(\textrm{Hom}(V\otimes (\otimes ^2\mathcal {L}),V)\) respectively. Then the semidirect product 3-Leibniz algebra given by Lemma 2.4 corresponds to
By Theorem 3.7, we have
Lemma 3.9
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). For all \(x,y,z \in \mathcal {L}, u,v,w \in V\), we have
Proof
It follows from straightforward computations. \(\square\)
Proposition 3.10
Let (V; l, m, r) be a representation of a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\). Then we have a V-data \((F,{\mathfrak {h}},\mathcal {P},\Delta )\) as follows:
-
the graded Lie algebra \((F,[\cdot ,\cdot ])\) is given by \((C^*_{\textsf {3Leib}}(\mathcal {L}\oplus V,\mathcal {L}\oplus V),[\cdot ,\cdot ]_{\textsf {3Leib}})\);
-
the abelian graded Lie subalgebra \({\mathfrak {h}}\) is given by
$$\begin{aligned} {\mathfrak {h}}=C_{\textsf {3Leib}}^*(V,\mathcal {L})=\oplus _{n=0}^{+\infty }C_{\textsf {3Leib}}^{n}(V,\mathcal {L})=\oplus _{n\ge 0}\textrm{Hom}(\underbrace{(\otimes ^{2} V)\otimes \cdots \otimes (\otimes ^{2}V)}_{n}\otimes V, \mathcal {L}); \end{aligned}$$ -
\(\mathcal {P}:F\,\rightarrow \,F\) is the projection onto the subspace \({\mathfrak {h}}\);
-
\(\Delta =\hat{\mu }+\hat{l}+\hat{m}+\hat{r}\).
Consequently, we obtain a Lie 3-algebra \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3)\), where
for all \(P \in C_{\textsf {3Leib}}^{p}(V,\mathcal {L}), Q \in C_{\textsf {3Leib}}^{q}(V,\mathcal {L})\) and \(R\in C_{\textsf {3Leib}}^{r}(V,\mathcal {L})\).
Proof
By Theorem 3.6, \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),\{l_k\}_{k=1}^{+\infty })\) is an \(L_\infty\)-algebra, where \(l_k\) is given by (22). For all \(P \in C_{\textsf {3Leib}}^{p}(V,\mathcal {L}), Q \in C_{\textsf {3Leib}}^{q}(V,\mathcal {L})\) and \(R\in C_{\textsf {3Leib}}^{r}(V,\mathcal {L})\), by Lemma 3.9, we obtain
which implies that \(l_1=0\) and \(l_2=0\). Similarly, we can deduce that \(l_k=0,\) \(k\ge 4\). Therefore, \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3)\) is a Lie 3-algebra. \(\square\)
Theorem 3.11
Let (V; l, m, r) be a representation of a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\). Then Maurer-Cartan elements of the Lie 3-algebra \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3)\) are precisely relative Rota-Baxter operators on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to the representation (V; l, m, r).
Proof
Let B be a Maurer-Cartan element of the Lie 3-algebra \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3)\). We have
which indicates that B is a relative Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to the representation (V; l, m, r). \(\square\)
Proposition 3.12
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Then \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_1^{B},l_2^{B},l_3^{B})\) is a twisted \(L_{\infty }\)-algebra, where \(l_1^{B},l_2^{B},l_3^{B}\) are given by
for all \(P\in C_{\textsf {3Leib}}^p(V,\mathcal {L}),Q\in C_{\textsf {3Leib}}^q(V,\mathcal {L})\) and \(R\in C_{\textsf {3Leib}}^r(V,\mathcal {L})\).
Proof
Since the relative Rota-Baxter operator B is a Maurer-Cartan element of the Lie 3-algebra \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3),\) by Lemma 3.4, we have the conclusions. \(\square\)
Actually, the above twisted \(L_{\infty }\)-algebra controls deformations of relative Rota-Baxter operators on 3-Leibniz algebras.
Theorem 3.13
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Then for a linear map \(B':V\rightarrow \mathcal {L}\), \(B+B'\) is also a relative Rota-Baxter operator if and only if \(B'\) is a Maurer-Cartan element of the twisted \(L_\infty\)-algebra \(\big (C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_1^{B},l_2^{B},l_3^{B}\big )\), that is, \(B'\) satisfies the Maurer-Cartan equation:
Proof
By Theorem 3.11, \(B+B'\) is a relative Rota-Baxter operator if and only if
By \(l_3(B,B,B)=0,\) the above equality is equivalent to
which implies that \(l_1^{B}(B')+\frac{1}{2}l_2^{B}(B',B')+\frac{1}{3!}l_3^{B}(B',B',B')=0.\)
Therefore \(B'\) is a Maurer-Cartan element of the twisted \(L_\infty\)-algebra \(\big (C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_1^{B},l_2^{B},l_3^{B}\big )\). \(\square\)
4 The Cohomology and Infinitesimal Deformations of relative Rota-Baxter operators
In this section, we construct a representation of the 3-Leibniz algebra \((V, [\cdot ,\cdot ,\cdot ]_B)\) on the vector space \(\mathcal {L},\) and define the cohomology of relative Rota-Baxter operators on 3-Leibniz algebras. Next, we study infinitesimal deformations of relative Rota-Baxter operators using the second cohomology group.
4.1 The Cohomology of Relative Rota-Baxter Operators on 3-Leibniz Algebras
First, we recall the cohomology theory of 3-Leibniz algebras.
Let (V; l, m, r) be a representation of a 3-Leibniz algebra \((\mathcal {L}, [\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\). Denote by \({\mathfrak {C}}_{\textsf {3Leib}}^{n}(\mathcal {L};V)\) the set of n-cochains:
The coboundary operator \(\partial :{\mathfrak {C}}_{\textsf {3Leib}}^{n}(\mathcal {L};V)\rightarrow {\mathfrak {C}}_{\textsf {3Leib}}^{n+1}(\mathcal {L};V)\) is given by
where \(X_{i}=x_{i}\otimes y_{i}\in \otimes ^{2}\mathcal {L},~i=1, 2, \cdots , n\) and \(z\in \mathcal {L}\). It was proved in [13, 32] that \(\partial \circ \partial =0.\) Thus, \((\oplus _{n=1}^{+\infty }{\mathfrak {C}}_{\textsf {3Leib}}^{n}(\mathcal {L};V),\partial )\) is a cochain complex.
Definition 4.1
The cohomology of the 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) with coefficients in V is the cohomology of the cochain complex \((\oplus _{n=1}^{+\infty }{\mathfrak {C}}_{\textsf {3Leib}}^{n}(\mathcal {L};V),\partial )\). Denote by \(Z^n_{\textsf {3Leib}}(\mathcal {L};V)\) and \(B^n_{\textsf {3Leib}}(\mathcal {L};V)\) the set of n-cocycles and the set of n-coboundaries, respectively. The n-th cohomology group is defined by
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). By Proposition 2.13, there is a 3-Leibniz algebra \((V,[\cdot ,\cdot ,\cdot ]_{B})\). Define linear maps \(l_{B}, m_{B}, r_{B}:\otimes ^{2}V\rightarrow \mathfrak {gl}(\mathcal {L})\) by
Proposition 4.2
With the above notations, \((\mathcal {L}; l_{B},m_{B},r_{B})\) is a representation of the 3-Leibniz algebra \((V, [\cdot ,\cdot ,\cdot ]_B)\).
Proof
For all \(x \in \mathcal {L}, u_i \in V,~i=1,\cdots ,4\), by (1), (16) and (17), we have
which implies that (2) holds. Similarly, we can deduce that (3)–(6) hold. Therefore, \((\mathcal {L}; l_{B},m_{B},r_{B})\) is a representation of the 3-Leibniz algebra \((V, [\cdot ,\cdot ,\cdot ]_B)\). \(\square\)
Let \(\partial _{B}:{\mathfrak {C}}_{\textsf {3Leib}}^{n}(V;\mathcal {L})\rightarrow {\mathfrak {C}}_{\textsf {3Leib}}^{n+1}(V;\mathcal {L}),~(n\ge 1)\) be the coboundary operator of the 3-Leibniz algebra \((V, [\cdot ,\cdot ,\cdot ]_{B})\) with coefficients in the representation \((\mathcal {L};l_{B},m_{B},r_{B})\). For all \(\theta \in {\mathfrak {C}}_{\textsf {3Leib}}^{n}(V;\mathcal {L})\), \(U_{i}=u_{i}\otimes v_{i}\in \otimes ^{2}V,~i=1,2,\ldots ,n\) and \(u_{n+1} \in V\), we have
It is obvious that \(\theta \in \textrm{Hom}(V,\mathcal {L})\) is closed if and only if
For any \(\mathfrak {X} \in \otimes ^2\mathcal {L}\), we define \(\delta (\mathfrak {X}):V\rightarrow \mathcal {L}\) by
Proposition 4.3
Let B be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Then \(\delta (\mathfrak {X})\) is a 1-cocycle on the 3-Leibniz algebra \((V,[\cdot ,\cdot ,\cdot ]_{B})\) with coefficients in \((\mathcal {L};l_{B},m_{B},r_{B})\).
Proof
For all \(u,v,w \in V\), by (16) and (17), we have
Thus, we deduce that \(\partial _{B}\delta (\mathfrak {X})=0.\) \(\square\)
Now we give the cohomology of relative Rota-Baxter operators on a 3-Leibniz algebras \((\mathcal {L},\) \([\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r).
Let B be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). Define the set of 0-cochains to be 0. For \(n\ge 1,\) define the set of n-cochains by
Define \(\textrm{d}_{\textsf {B}}:\mathfrak {C}^{n}(B)\rightarrow \mathfrak {C}^{n+1}(B)\) by \(\textrm{d}_{\textsf {B}}= {\left\{ \begin{array}{ll} \partial _{B},&{} n\ge 2,\\ \delta ,&{} n=1. \end{array}\right. }\) Then \((\mathop {\oplus }\limits _{n=1}^{\infty } \mathfrak {C}^{n}(B),\textrm{d}_{\textsf {B}})\) is a cochain complex. Denote the set of n-cocycles by \(\mathcal {Z}^{n}(B)\), the set of n-coboundaries by \(\mathcal {B}^{n}(B)\) and the n-th cohomology group of the relative Rota-Baxter operator B by \(\mathcal {H}^{n}(B)=\mathcal {Z}^{n}(B)/\mathcal {B}^{n}(B),~ n\ge 1.\)
Definition 4.4
The cohomology of the cochain complex \((\mathop {\oplus }\limits _{n=1}^{\infty } \mathfrak {C}^{n}(B),\textrm{d}_{\textsf {B}})\) is taken to be the cohomology for the relative Rota-Baxter operator B.
Example 4.5
We consider the Rota-Baxter operator \(B=\left( \begin{array}{ccc}0&{}0&{}1\\ 0&{}0&{}0\\ 0&{}0&{}1\end{array}\right)\) given in Example 2.11, and give its first and second cohomology group of the Rota-Baxter operator B respectively. By Proposition 2.13, we can get the 3-dimensional descendent 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{B})\) given with respect to a basis \(\{e_1,e_2,e_3\}\) by
By (30)–(32), we obtain the regular representation \((\mathcal {L};l_{B},m_{B},r_{B})\) of the descendent 3-Leibniz algebra \(\mathcal {L},\) where
Consider the following cochains structure:
For all \(\mathfrak {X}\in \otimes ^{2}\mathcal {L},\) let
When \(\delta (\mathfrak {X})=0,\) by (33), we have \({\left\{ \begin{array}{ll} \delta (\mathfrak {X})e_1=0,\\ \delta (\mathfrak {X})e_2=0,\\ \delta (\mathfrak {X})e_3=\lambda _{32}\delta (e_3\otimes e_2)e_3=\lambda _{32}e_2. \end{array}\right. }\) Since \(e_2\ne 0,\) we have \(\lambda _{32}=0.\) Thus,
We have \(\mathcal {H}^{1}(B)\cong \mathbb {R}^8.\)
For all \(\theta \in \textrm{Hom}(\mathcal {L},\mathcal {L}),\) we get
If 2-cochain \(\partial _{B}\) is closed, that is \(\partial _{B}\theta (e_i,e_j,e_k)=0\), where \(1\le i,j,k \le 3,\) which implies that
Suppose \(\theta (e_2)=\lambda _{1}e_1+\lambda _{2}e_2+\lambda _{3}e_3.\) By (34) and (35), we have \(\lambda _2=0.\) Then \(\theta =\left( \begin{array}{ccc}b_{11}&{}b_{12}&{}b_{13}\\ b_{21}&{}0&{}b_{23}\\ b_{31}&{}b_{32}&{}b_{33}\end{array}\right) .\) By \(\dim (\ker \delta )+\dim (\textrm{Im}\delta )=\dim (\otimes ^{2}\mathcal {L})=9,\) we have \(\mathcal {H}^{2}(B)=\ker \partial _{B}/\textrm{Im}\delta \cong \mathbb {R}^{8}/\mathbb {R}=\mathbb {R}^{7}.\)
At the end of this subsection, we give the relationship between the coboundary operator \(\textrm{d}_{\textsf {B}}\) of the relative Rota-Baxter operator B and the differential \(l_1^{B}\) defined by (25) using the Maurer-Cartan element B of the Lie 3-algebra \((C_{\textsf {3Leib}}^*(V,\mathcal {L}),l_3)\).
Theorem 4.6
Let B be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) with respect to a representation (V; l, m, r). Then we have
Proof
For all \(x,y,z \in \mathcal {L}, u,v,w \in V\), by Lemma 3.9, we have
In addition, for all \(U_{i}=u_{i}\otimes v_{i}\in \otimes ^{2}V, i=1,2,\cdots ,n\) and \(u_{n+1}\in V\), by (25), we get
Thus, we deduce that \(\textrm{d}_{\textsf {B}} \theta =(-1)^{n-1}l_{1}^{B}\theta .\) \(\square\)
4.2 Infinitesimal Deformations of relative Rota-Baxter operators
In this subsection, we study the infinitesimal deformations of relative Rota-Baxter operators on 3-Leibniz algebras using the established cohomology theory.
Let \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) be a 3-Leibniz algebra over \(\mathbb {K}\) and \(\mathbb {K}[t]\) be a polynomial ring in one variable t. Then \(\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}\) is a \(\mathbb {K}[t]/(t^2)\)-module. Moreover, \(\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}\) is a 3-Leibniz algebra over \(\mathbb {K}[t]/(t^2)\), where the 3-Leibniz algebra structure is defined by
for all \(f(t), g(t), h(t)\in {\mathbb {K}} [t]/(t^2),~x, y, z \in \mathcal {L}.\) Denote \(f(t)\otimes _\mathbb {K}x\) by f(t)x. In the sequel, all the vector spaces are finite dimensional vector spaces over \(\mathbb {K}.\)
Definition 4.7
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) with respect to a representation (V; l, m, r). Let \(\mathfrak {B}:V\rightarrow \mathcal {L}\) be a linear map. If \(B_{t}=B+t\mathfrak {B}\) is still a relative Rota-Baxter operator modulo \(t^2\), we say that \(\mathfrak {B}\) generates an infinitesimal deformation of B.
Since \(B_{t}=B+t\mathfrak {B}\) is a relative Rota-Baxter operator modulo \(t^2\), for all \(u,v,w\in V,\) consider the coefficients of t, we have
which means that \(\mathfrak {B}\) is a 2-cocycle of the relative Rota-Baxter operator B. Hence, \(\mathfrak {B}\) defines a cohomology class in \(\mathcal {H}^{2}(B)\).
Definition 4.8
Let B and \(B'\) be two relative Rota-Baxter operators on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L})\) with respect to a representation (V; l, m, r). A homomorphism from B to \(B^{\prime }\) consists of a 3-Leibniz algebra homomorphism \(\phi _{\mathcal {L}}:\mathcal {L}\rightarrow \mathcal {L}\) and a linear map \(\phi _{V}:V\rightarrow V\) such that
In particular, if both \(\phi _{\mathcal {L}}\) and \(\phi _{V}\) are invertible, \((\phi _{\mathcal {L}},\phi _{V})\) is called an isomorphism from B to \(B^{\prime }\).
Definition 4.9
Let B be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) with respect to a representation (V; l, m, r). Two one-parameter infinitesimal deformations \(B_{t}^{1}=B+t\mathfrak {B}_{1}\) and \(B_{t}^{2}=B+t\mathfrak {B}_{2}\) are said to be equivalent if there exist \(\mathfrak {X} \in \otimes ^{2}{\mathcal {L}}\), such that \((\textrm{Id}_{\mathcal {L}}+tL_{\mathfrak {X}}, \textrm{Id}_{V}+tl(\mathfrak {X}))\) is a homomorphism modulo \(t^2\) from \(B_{t}^{1}\) to \(B_{t}^{2}\). In particular, an infinitesimal deformation \(B_{t}^{1}=B+t\mathfrak {B}_{1}\) of a relative Rota-Baxter operator B is said to be trivial if there exist \(\mathfrak {X} \in \otimes ^{2}{\mathcal {L}},\) such that \((\textrm{Id}_{\mathcal {L}}+tL_{\mathfrak {X}}, \textrm{Id}_{V}+tl(\mathfrak {X}))\) is a homomorphism modulo \(t^2\) from \(B_{t}^{1}\) to B.
Theorem 4.10
Let \(B:V\rightarrow \mathcal {L}\) be a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathcal {L},[\cdot ,\cdot ,\cdot ]_{\mathcal {L}})\) with respect to a representation (V; l, m, r). If two one-parameter infinitesimal deformations \(B_{t}^{1}=B+t\mathfrak {B}_{1}\) and \(B_{t}^{2}=B+t\mathfrak {B}_{2}\) modulo \(t^2\) are equivalent, then \(\mathfrak {B}_{1}\) and \(\mathfrak {B}_{2}\) are in the same cohomology class in \(\mathcal {H}^{2}(B)\).
Proof
Let \((\textrm{Id}_{\mathcal {L}}+tL_{\mathfrak {X}}, \textrm{Id}_{V}+tl(\mathfrak {X}))\) be a homomorphism modulo \(t^2\) from \(B_{t}^{1}\) to \(B_{t}^{2}\). By (38), we have
which implies that
Thus we have \(\mathfrak {B}_{1}(u)-\mathfrak {B}_{2}(u)=(\textrm{d}_{\textsf {B}}\mathfrak {X})(u)\), that is, \(\mathfrak {B}_{1}\) and \(\mathfrak {B}_{2}\) are in the same cohomology class. \(\square\)
5 Relative Rota-Baxter 3-Leibniz Algebras
In this section, we construct an \(L_{\infty }\)-algebra that characterizes relative Rota-Baxter 3-Leibniz algebras as Maurer-Cartan elements. We establish the deformation theory of relative Rota-Baxter 3-Leibniz algebras. As applications, we use the second cohomology group to classify infinitesimal deformations of relative Rota-Baxter 3-Leibniz algebras.
5.1 The \(L_{\infty }\)-Algebra that Controls Deformations of Relative Rota-Baxter 3-Leibniz Algebras
Definition 5.1
A linear map \(f\in \textrm{Hom}(\otimes ^p(\otimes ^{2}(\mathcal {L}_1\oplus \mathcal {L}_2))\otimes (\mathcal {L}_1\oplus \mathcal {L}_2),\mathcal {L}_1\oplus \mathcal {L}_2)\) has a bidegree m|n, which is denoted by \(\Vert f\Vert =m|n\), if f satisfies the following four conditions:
-
(i)
\(m+n=2p\);
-
(ii)
If X is an element in \(\mathcal {L}^{m+1,n}\), then \(f(X)\in \mathcal {L}_1\);
-
(iii)
If X is an element in \(\mathcal {L}^{m,n+1}\), then \(f(X)\in \mathcal {L}_2\);
-
(iv)
All the other cases, \(f(X)=0\).
Denote the set of homogeneous linear maps of bidegree m|n by \(C^{m\mid n}_\textsf {3Leib}(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\). It is obvious that we have the following lemmas:
Lemma 5.2
Let \(f\in C_\textsf {3Leib}^p(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\) and \(g\in C_\textsf {3Leib}^q(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\) be the homogeneous linear maps with bidegrees \(m_f|n_f\) and \(m_g|n_g\) respectively. Then \([f,g]_{\textsf {3Leib}}\in C_\textsf {3Leib}^{p+q}(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\) is a homogeneous linear map of bidegree \((m_f+m_g)|(n_f+n_g)\).
Proof
It is straightforward. \(\square\)
Lemma 5.3
If \(||f||=-1|(2\,m+1)\) and \(||g||=-1|(2n+1)\), then \([f,g]_{\textsf {3Leib}}=0.\) Consequently, \(\oplus _{m=1}^{+\infty } C_{\textsf {3Leib}}^{-1|(2\,m+1)}(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2)\) is an abelian subalgebra of the graded Lie algebra \((C_{\textsf {3Leib}}^*(\mathcal {L}_1\oplus \mathcal {L}_2,\mathcal {L}_1\oplus \mathcal {L}_2),[\cdot ,\cdot ]_\textsf {3Leib}).\)
Proof
It follows from Lemma 5.2. \(\square\)
Recall the desuspension operator \(s^{-1}\) which changes the \(\mathbb Z\)-graded vector space \(V=\oplus _{k\in {\mathbb {Z}}}V^k\) according to the rule \((s^{-1}V)^i:=V^{i+1}\). The degree \(-1\) map \(s^{-1}:V\,\rightarrow \,s^{-1}V\) is defined by sending \(v\in V\) to its copy \(s^{-1}v\in s^{-1}V\).
There is also an \(L_\infty\)-algebra structure on a bigger space, which is used to study simultaneous deformations of morphisms between Lie algebras in [5, 20].
Theorem 5.4
([36]) Let \((F,{\mathfrak {h}},\mathcal {P},\Delta )\) be a V-data. Then the graded vector space \(s^{-1}F\oplus {\mathfrak {h}}\) is an \(L_\infty\)-algebra where
Here \(a,a_1,\cdots ,a_k\) are homogeneous elements of \({\mathfrak {h}}\) and x, y are homogeneous elements of F. All the other \(L_\infty\)-algebra products that are not obtained from the ones written above by permutations of arguments, will vanish. \(\square\)
Proposition 5.5
([20]) Let \(F'\) be a graded Lie subalgebra of F that satisfies \([\Delta ,F']\subset F'\). Then \(s^{-1}F'\oplus {\mathfrak {h}}\) is an \(L_\infty\)-subalgebra of the above \(L_\infty\)-algebra \((s^{-1}F\oplus {\mathfrak {h}},\{l_k\}_{k=1}^{+\infty })\).
Let \(\mathcal {L}\) and V be two vector spaces. According to the graded Lie algebra \((\oplus _{n=0}^{+\infty }C_\textsf {3Leib}^{n}(\mathcal {L}\oplus V,\mathcal {L}\oplus V),[\cdot ,\cdot ]_{\textsf {3Leib}})\), we can get a V-data structure, and an \(L_\infty\)-algebra naturally.
Proposition 5.6
We have a V-data \((F,{\mathfrak {h}},\mathcal {P},\Delta )\) as follows:
-
the graded Lie algebra \((F,[\cdot ,\cdot ])\) is given by \(\big (\oplus _{n=0}^{+\infty }C_\textsf {3Leib}^{n}(\mathcal {L}\oplus V,\mathcal {L}\oplus V),[\cdot ,\cdot ]_{\textsf {3Leib}}\big )\);
-
the abelian graded Lie subalgebra \({\mathfrak {h}}\) is given by
$$\begin{aligned} {\mathfrak {h}}:=\oplus _{n=0}^{+\infty }C_\textsf {3Leib}^{-1|(2n+1)}(\mathcal {L}\oplus V,\mathcal {L}\oplus V)=\oplus _{n=0}^{+\infty }\textrm{Hom}(\underbrace{(\otimes ^{2}V)\otimes \cdots \otimes (\otimes ^{2}V)}_{n}\otimes V,\mathcal {L}); \end{aligned}$$(42) -
\(\mathcal {P}:F\,\rightarrow \,F\) is the projection onto the subspace \({\mathfrak {h}}\);
-
\(\Delta =0\).
Consequently, we obtain an \(L_\infty\)-algebra \((s^{-1}F\oplus {\mathfrak {h}},\{l_k\}_{k=1}^{+\infty })\), where \(l_i\) are given by
for homogeneous elements \(\theta ,\theta _1,\cdots ,\theta _{k-1}\in {\mathfrak {h}}\), homogeneous elements \(Q,Q'\in F\) and all the other possible combinations vanish.
Proof
By Lemmas 5.2 and 5.3, \({\mathfrak {h}}=\oplus _{n=0}^{+\infty }C_{\textsf {3Leib}}^{-1|(2n+1)}(\mathcal {L}\oplus V,\mathcal {L}\oplus V)\) is an abelian subalgebra of \((F,[\cdot ,\cdot ])\). Since \(\mathcal {P}\) is the projection onto \({\mathfrak {h}}\), it is obvious that \(\mathcal {P}\circ \mathcal {P}=\mathcal {P}\). It is straightforward to deduce that the kernel of \(\mathcal {P}\) is a graded Lie subalgebra of \((F,[\cdot ,\cdot ])\). Thus \((F,{\mathfrak {h}},\mathcal {P},\Delta =0)\) is a V-data. By Theorem 5.4, we can get the other conclusions immediately. \(\square\)
Denote by
By Lemma 5.2, we can deduce that
is a graded Lie subalgebra of \(\big (\oplus _{n=0}^{+\infty }C_{\textsf {3Leib}}^{n}(\mathcal {L}\oplus V,\mathcal {L}\oplus V),[\cdot ,\cdot ]_{\textsf {3Leib}}\big )\). Furthermore, we have
Corollary 5.7
\((s^{-1}F'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\) is an \(L_\infty\)-algebra, where \(l_i\) are given by
for homogeneous elements \(\theta _1,\cdots ,\theta _{k-1}\in {\mathfrak {h}}\), homogeneous elements \(Q,Q'\in F'\), and all the other possible combinations vanish.
Proof
It follows from Propositions 5.5 and 5.6. \(\square\)
Theorem 5.8
Let \(\mathcal {L}\) and V be two vector spaces, \(\mu \in \textrm{Hom}(\otimes ^3\mathcal {L},\mathcal {L}),~l,m,r\in \textrm{Hom}(\otimes ^{2}\mathcal {L}, \mathfrak {gl}(V))\) and \(B\in \textrm{Hom}(V,\mathcal {L})\). Then \(((\mathcal {L},\mu ),(V;l,m,r),B)\) is a relative Rota-Baxter 3-Leibniz algebra if and only if \((s^{-1}\pi ,B)\) is a Maurer-Cartan element of the \(L_\infty\)-algebra \((s^{-1}F'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\) given in Corollary 5.7, where \(\pi =\hat{\mu }+\hat{l}+\hat{m}+\hat{r}\in C_{\textsf {3Leib}}^{2|0}(\mathcal {L}\oplus V,\mathcal {L}\oplus V)\) are given by (24).
Proof
Let \((s^{-1}\pi ,B)\) be a Maurer-Cartan element of \((s^{-1}F'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\). By Lemmas 5.2 and 5.3, we have
Then, by Corollary 5.7, we have
Thus, we obtain \(~{[}\pi ,\pi ]_{\textsf {3Leib}}=0\) and \({[}[[\pi ,B]_{\textsf {3Leib}},B]_{\textsf {3Leib}},B]_{\textsf {3Leib}}=0,\) which implies that \((\mathcal {L},\mu )\) is a 3-Leibniz algebra, (V; l, m, r) is its representation and B is a relative Rota-Baxter operator on the 3-Leibniz algebra \((\mathcal {L},\mu )\) with respect to the representation (V; l, m, r). Thus \(((\mathcal {L},\mu ),(V;l,m,r),B)\) is a relative Rota-Baxter 3-Leibniz algebra if and only if \((s^{-1}\pi ,B)\) is a Maurer-Cartan element of the \(L_\infty\)-algebra \((s^{-1}F'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\). \(\square\)
Let \(((\mathcal {L},\mu ),(V;l,m,r),B)\) be a relative Rota-Baxter 3-Leibniz algebra. Denote by \(\pi =\hat{\mu }+\hat{l}+\hat{m}+\hat{r}\in C_{\textsf {3Leib}}^{2|0}(\mathcal {L}\oplus V,\mathcal {L}\oplus V)\). By Theorem 5.8, we obtain that \((s^{-1}\pi ,B)\) is a Maurer-Cartan element of the \(L_\infty\)-algebra \((s^{-1}F'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\) given in Corollary 5.7. Now we are ready to give the \(L_\infty\)-algebra that controls deformations of the relative Rota-Baxter 3-Leibniz algebra.
Theorem 5.9
With the above notations, we have the twisted \(L_\infty\)-algebra \(\big (s^{-1}F'\oplus {\mathfrak {h}},\{l_k^{(s^{-1}\pi ,B)}\}_{k=1}^{+\infty }\big )\) associated to a relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},\mu ),(V;l,m,r),B)\), where \(\pi =\hat{\mu }+\hat{l}+\hat{m}+\hat{r}\). Moreover, for linear maps \(B'\in \textrm{Hom}(V,\mathcal {L})\), \(\mu '\in \textrm{Hom}(\otimes ^3\mathcal {L},\mathcal {L})\) and \(l',m',r'\in \textrm{Hom}(\otimes ^2\mathcal {L}, \mathfrak {gl}(V))\), the triple \(((\mathcal {L},\mu +\mu '),(V;l+l',m+m',r+r'),B+B')\) is also a relative Rota-Baxter 3-Leibniz algebra if and only if \(\big (s^{-1}(\hat{\mu '}+\hat{l'}+\hat{m'}+\hat{r'}),B'\big )\) is a Maurer-Cartan element of the twisted \(L_\infty\)-algebra \(\big (s^{-1}F'\oplus {\mathfrak {h}},\{l_k^{(s^{-1}\pi ,B)}\}_{k=1}^{+\infty }\big )\).
Proof
If \(((\mathcal {L},\mu +\mu '),(V;l+l',m+m',r+r'),B+B')\) is a relative Rota-Baxter 3-Leibniz algebra, then by Theorem 5.8, we deduce that \((s^{-1}(\hat{\mu }+\hat{\mu '}+\hat{l}+\hat{l'}+\hat{m}+\hat{m'}+\hat{r}+\hat{r'}),B+B')\) is a Maurer-Cartan element of the \(L_\infty\)-algebra given in Corollary 5.7. Moreover, by Lemma 3.4, we obtain that \((s^{-1}(\hat{\mu '}+\hat{l'}+\hat{m'}+\hat{r'}),B')\) is a Maurer-Cartan element of the \(L_\infty\)-algebra \(\big (s^{-1}F'\oplus {\mathfrak {h}},\{l_k^{(s^{-1}\pi ,B)}\}_{k=1}^{+\infty }\big )\). \(\square\)
5.2 Cohomologies and Infinitesimal Deformations of Relative Rota-Baxter 3-Leibniz Algebras
We define the cohomology of relative Rota-Baxter 3-Leibniz algebras using the twisted \(L_\infty\)-algebra given in Theorem 5.9.
Lemma 5.10
\(\big (s^{-1}F'\oplus {\mathfrak {h}},l_1^{(s^{-1}\pi ,B)}\big )\) is a complex, i.e. \(l_1^{(s^{-1}\pi ,B)}\circ l_1^{(s^{-1}\pi ,B)}=0.\)
Proof
Since \(\big (s^{-1}F'\oplus {\mathfrak {h}},\{l_k^{(s^{-1}\pi ,B)}\}_{k=1}^{+\infty }\big )\) is an \(L_\infty\)-algebra, we have \(l_1^{(s^{-1}\pi ,B)}\circ l_1^{(s^{-1}\pi ,B)}=0.\) \(\square\)
Let \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\) be a relative Rota-Baxter 3-Leibniz algebra. Set
and
Define the set of 0-cochains \(\mathfrak {\mathfrak {C}}^{0}(\mathcal {L},(l,m,r),B)\) to be 0, and define the set of 1-cochains \(\mathfrak {\mathfrak {C}}^{1}(\mathcal {L},\) (l, m, r), B) to be \(\mathfrak {gl}({\mathfrak {g}})\oplus \mathfrak {gl}(V).\) For \(n\ge 2,\) define the space of n-cochains \({\mathfrak {C}}^n(\mathcal {L},(l,m,r),B)\) to be
Define the coboundary operator \(\mathcal {D}:{\mathfrak {C}}^n(\mathcal {L},(l,m,r),B)\,\rightarrow \,{\mathfrak {C}}^{n+1}(\mathcal {L},(l,m,r),B)\) by
where \(f\in \textrm{Hom}(\underbrace{(\otimes ^{2}\mathcal {L})\otimes \cdots \otimes (\otimes ^{2}\mathcal {L})}_{n-1}\otimes \mathcal {L},\mathcal {L})\oplus \sum \limits _{i=0}^{2n-2}\textrm{Hom}(\underbrace{\mathcal {L}\otimes \cdots \otimes \mathcal {L}}_{i}\otimes V\otimes \underbrace{\mathcal {L}\otimes \cdots \otimes \mathcal {L}}_{2n-i-2},V))\) and \(\theta \in \textrm{Hom}(\underbrace{(\otimes ^{2}V)\otimes \cdots \otimes (\otimes ^{2}V)}_{n-2}\otimes V,\mathcal {L}).\)
Theorem 5.11
With the above notations, \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n(\mathcal {L},(l,m,r),B),\mathcal {D})\) is a cochain complex, i.e. \(\mathcal {D}\circ \mathcal {D}=0.\)
Proof
For any \((f,\theta )\in {\mathfrak {C}}^n(\mathcal {L},(l,m,r),B)\), we have \((s^{-1}f,\theta )\in (s^{-1}F'\oplus {\mathfrak {h}})^{n-2}\). By (44), we deduce that
By Lemma 5.10, we obtain that \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n(\mathcal {L},(l,m,r),B),\mathcal {D})\) is a cochain complex. \(\square\)
Definition 5.12
The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n(\mathcal {L},(l,m,r),B),\mathcal {D})\) is called the cohomology of the relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},\mu ),(V;l,m,r),B)\). Denote its n-th cohomology group by \(\mathcal {H}^n(\mathcal {L},(l,m,r),B).\)
For any \(f\in {\mathfrak {C}}^n(\mathcal {L},(l,m,r))\), define an operator \(\hat{\partial }:{\mathfrak {C}}^n(\mathcal {L},(l,m,r))\,\rightarrow \,{\mathfrak {C}}^{n+1}(\mathcal {L},(l,m,r))\) by
Define a linear operator \(h_B:{\mathfrak {C}}^n(\mathcal {L},(l,m,r))\,\rightarrow \,{\mathfrak {C}}^{n+1}(B)\) by
Thus, we have
Furthermore, we obtain the following diagram
Finally, we give the application of the cohomology theory of relative Rota-Baxter 3-Leibniz algebras.
Definition 5.13
Let \(((\mathcal {L},\mu ),(V;l,m,r),B)\) be a relative Rota-Baxter 3-Leibniz algebra and \(\omega _1\in \textrm{Hom}(\otimes ^{3}\mathcal {L},\mathcal {L}), \mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1\in \textrm{Hom}(\otimes ^2\mathcal {L}, \mathfrak {gl}(V)), \mathcal {B}_1\in \textrm{Hom}(V,\mathcal {L})\) be linear maps. Consider a t-paramater family of trilinear operations
If the 3-brackets \([\cdot ,\cdot ,\cdot ]_t\) are 3-Leibniz algebra structures on \(\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}\), \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K}V;l+t\mathfrak {l}_1,m+t\mathfrak {m}_1,r+t\mathfrak {r}_1)\) is a representation of \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}, [\cdot ,\cdot ,\cdot ]_t)\), and \(B_t=B+t\mathcal {B}_1\) is still a relative Rota-Baxter operator on the 3-Leibniz algebra \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}, [\cdot ,\cdot ,\cdot ]_t)\), we say that \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) generates an infinitesimal deformation of the relative Rota-Baxter 3-Leibniz algebra.
Since \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}, [\cdot ,\cdot ,\cdot ]_t)\) is a 3-Leibniz algebra, we have
which implies that \(\partial \omega _1=0\).
Since \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} V;l+t\mathfrak {l}_1,m+t\mathfrak {m}_1,r+t\mathfrak {r}_1)\) is a representation of \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}, [\cdot ,\cdot ,\cdot ]_t)\), we obtain
Finally, since \(B+t\mathcal {B}_1\) is a relative Rota-Baxter operator on a 3-Leibniz algebra \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} \mathcal {L}, [\cdot ,\cdot ,\cdot ]_t)\) with respect to a representation \((\mathbb {K}[t]/(t^2)\otimes _\mathbb {K} V;l+t\mathfrak {l}_1,m+t\mathfrak {m}_1,r+t\mathfrak {r}_1)\), we get
Proposition 5.14
The triple \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) determines an infinitesimal deformation of a relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\) if and only if \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) is a 2-cocycle of the relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\).
Proof
By (48)–(54), \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) is a 2-cocycle if and only if \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) determines an infinitesimal deformation of the relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;\) l, m, r), B). \(\square\)
Definition 5.15
Let \(((\mathcal {L},\mu ),(V;l,m,r),B)\) be a relative Rota-Baxter 3-Leibniz algebra. Two infinitesimal deformations \(([\cdot ,\cdot ,\cdot ]'_t,l+t\mathfrak {l}'_1,m+t\mathfrak {m}'_1,r+t\mathfrak {r}'_1,B+t\mathcal {B}'_1)\) and \(([\cdot ,\cdot ,\cdot ]_t,l+t\mathfrak {l}_1,m+t\mathfrak {m}_1,r+t\mathfrak {r}_1,B+t\mathcal {B}_1)\) generated by \((\omega '_1,(\mathfrak {l}'_1,\mathfrak {m}'_1,\mathfrak {r}'_1),\mathcal {B}'_1)\) and \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) are said to be equivalent if there exist linear maps \(N\in \textrm{Hom}(\mathcal {L},\mathcal {L}), S\in \textrm{Hom}(V,V)\) such that the \(\mathbb {K}[t]/(t^2)\)-module map \(\Psi _t=\textrm{Id}_\mathcal {L}+tN, \Phi _t=\textrm{Id}_V+tS\) satisfy the following conditions:
Now we give the important result in this subsection.
Theorem 5.16
There is a one-to-one correspondence between equivalence classes of infinitesimal deformations of the relative Rota-Baxter 3-Leibniz algebra \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\) and the second cohomology group \(\mathcal {H}^2(\mathcal {L},(l,m,r),B)\).
Proof
By (55), we have
By (56), we get
Therefore, we deduce that
which implies that \((\omega _1,(\mathfrak {l}_1,\mathfrak {m}_1,\mathfrak {r}_1),\mathcal {B}_1)\) and \((\omega _1',(\mathfrak {l}_1',\mathfrak {m}_1',\mathfrak {r}_1'),\mathcal {B}_1')\) are in the same cohomology class if and only if the corresponding infinitesimal deformations of \(((\mathcal {L},[\cdot ,\cdot ,\cdot ]_\mathcal {L}),(V;l,m,r),B)\) are equivalent. \(\square\)
Availability of Data and Materials
No data has been used and all the material has been available in the manuscript.
References
Bagger, J., Lambert, N.: Three-algebras and N=6 Chern-Simons gauge theories. Phys. Rev. D 79, 025002 (2009)
Bai, C., Bellier, O., Guo, L., Ni, X.: Splitting of Operations Manin Products and Rota–Baxter Operators. Int. Math. Res. Not. 3, 485–524 (2013)
Bai, R., Guo, L., Li, J., Wu, Y.: Rota-Baxter 3-Lie algebras. J. Math. Phys. 54, 063504 (2013)
Bai, C., Guo, L., Sheng, Y.: Bialgebras, the classical Yang-Baxter equation and Manin triples for 3-Lie algebras. Adv. Theor. Math. Phys. 23, 27–74 (2019)
Barmeier, S., Frégier, Y.: Deformation-obstruction theory for diagrams of algebras and applications to geometry. J. Noncommut. Geom. 14, 1019–1047 (2020)
Baxter, G.: An analytic problem whose solution follows from a simple algebraic identity. Pacific J. Math. 10, 731–742 (1960)
Calderón Martín, A., Sánchez-Ortega, J.: Split 3-Leibniz algebras. J. Geom. Phys. 116, 204–215 (2017)
Casas, J.M.: Homology with trivial coefficients of Leibniz n-algebras. Comm. Algebra 31, 1377–1386 (2003)
Casas, J.M., Loday, J.-L., Pirashvili, T.: Leibniz n-algebras. Forum Math. 14, 189–207 (2002)
Casas, J.M., Insua, M.A., Ladra, M., Ladra, S.: Test for Leibniz n-algebra structure. Linear Algebra Appl. 494, 138–155 (2016)
Cherkis, S., Sämann, C.: Multiple M2-branes and generalized 3-Lie algebras. Phys. Rev. D 78, 066019 (2008)
Connes, A., Kreimer, D.: Renormalization in quantum field theory and the Riemann-Hilbert problem. I. The Hopf algebra structure of graphs and the main theorem. Comm. Math. Phys. 210, 249–273 (2000)
Daletskii, Y.L., Takhtajan, L.A.: Leibniz and Lie algebra structures for Nambu algebra. Lett. Math. Phys. 39, 127–141 (1997)
Das, A.: Deformations of associative Rota-Baxter operators. J. Algebra 560, 144–180 (2020)
de Azcárraga, J.A., Izquierdo, J.M.: n-ary algebras: a review with applications. J. Phys. A 43, 293001 (2010)
de Azcárraga, J.A., Pérez Bueno, J.C.: Higher-order simple Lie algebras. Comm. Math. Phys. 184, 669–681 (1997)
de Medeiros, P., Figueroa-O’Farrill, J., Méndez-Escobar, E., Ritter, P.: On the Lie-algebraic origin of metric 3-algebras. Comm. Math. Phys. 290, 871–902 (2009)
Figueroa-O’Farrill, J.: Deformations of 3-algebras. J. Math. Phys. 50, 113514 (2009)
Filippov, V.T.: n-Lie algebras. Sibirsk. Mat. Zh. 26, 126–140 (1985)
Frégier, Y., Zambon, M.: Simultaneous deformations and Poisson geometry. Compos. Math. 151, 1763–1790 (2015)
Gerstenhaber, M.: On the deformation of rings and algebras. Ann. Math.(2) 79, 59–103 (1964)
Getzler, E.: Lie theory for nilpotent \(L_{\infty }\)-algebras. Ann. Math. (2) 170, 271–301 (2009)
Guo, L.: An introduction to Rota-Baxter algebra. Surveys of Modern Mathematics, 4. International Press, Somerville, MA; Higher Education Press, Beijing, xii+226 pp (2012)
Hanlon, P., Wachs, M.: On Lie k-algebras. Adv. Math. 113, 206–236 (1995)
Kupershmidt, B. A.: What a classical r-matrix really is. J. Nonlinear Math. Phys. 6, 448-488 (1999)
Loday, J.-L., Pirashvili, T.: Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann. 296, 139–158 (1993)
Makhlouf, A.: On deformations of n-Lie algebras, in Non-associative and non-commutative algebra and operator theory, Springer Proc. Math. Stat. 160, Springer, Cham, 55-81 (2016)
Nijenhuis, A., Richardson, R.: Commutative algebra cohomology and deformations of Lie and associative algebras. J. Algebra 9, 42–53 (1968)
Pei, P., Bai, C., Guo, L.: Splitting of Operads and Rota-Baxter Operators on Operads. Appl. Categ. Structures 25, 505–538 (2017)
Rotkiewicz, M.: Cohomology ring of n-Lie algebras. Extracta Math. 20, 219–232 (2005)
Stasheff, J. D.: Differential graded Lie algebras, quasi-Hopf algebras and higher homotopy algebras, Quantum groups (Leningrad, 1990), 120-137, Lecture Notes in Math., 1510, Springer, Berlin, (1992)
Takhtajan, L.A.: Higher order analog of Chevalley-Eilenberg complex and deformation theory of n-gebras. St. Petersburg Math. J. 6, 429–438 (1995)
Tang, R., Bai, C., Guo, L., Sheng, Y.: Deformations and their controlling cohomologies of \(\cal{O}\)-operators. Comm. Math. Phys. 368, 665–700 (2019)
Tang, R., Sheng, Y., Zhou, Y.: Deformations of relative Rota-Baxter operators on Leibniz algebras. Int. J. Geom. Methods Mod. Phys. 17, 2050174 (2020)
Tang, R., Hou, S., Sheng, Y.: Lie 3-algebras and deformations of relative Rota-Baxter operators on 3-Lie algebras. J. Algebra 567, 37–62 (2021)
Voronov, T.: Higher derived brackets and homotopy algebras. J. Pure Appl. Algebra 202, 133–153 (2005)
Acknowledgements
The authors are very grateful to referees for carefully reading the paper and for their comments and suggestions which have improved the paper very much. We would like to express our gratitude to the editor for taking time to handle the manuscript. This research is supported by NSFC (12301034).
Funding
This research is supported by NSFC (12301034).
Author information
Authors and Affiliations
Contributions
All authors had the same contributions on this manuscript, read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that there is no conflict of interest.
Ethics Approval and Consent to Participate
Not applicable.
Consent for Publication
The authors agree to publication.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hu, M., Hou, S., Song, L. et al. 3-pre-Leibniz Algebras, Deformations and Cohomologies of Relative Rota-Baxter Operators on 3-Leibniz Algebras. J Nonlinear Math Phys 31, 37 (2024). https://doi.org/10.1007/s44198-024-00198-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44198-024-00198-w