Abstract
In this paper, we study Rota–Baxter operators and super \(\mathcal {O}\)-operator of associative superalgebras, Lie superalgebras, pre-Lie superalgebras and L-dendriform superalgebras. Then we give some properties of pre-Lie superalgebras constructed from associative superalgebras, Lie superalgebras and L-dendriform superalgebras. Moreover, we provide all Rota–Baxter operators of weight zero on complex pre-Lie superalgebras of dimensions 2 and 3.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Rota–Baxter operators of weight \(\lambda \in \mathbb {K}\) fulfil the so-called Rota–Baxter relation which may be regarded as one possible generalization of the standard shuffle relation [36, 51]. They appeared for the first time in the work of the mathematician Baxter [7] in 1960 and were then intensively studied by Atkinson [6], Miller [47], Rota [50], Cartier [18], and more recently, they reappeared in the work of Guo [37] and Ebrahimi-Fard [27].
Pre-Lie algebras (called also left-symmetric algebras, Vinberg algebras, quasi-associative algebras) are a class of a natural algebraic systems appearing in many fields in mathematics and mathematical physics. They were first mentioned by Cayley in 1890 [20] as a kind of rooted tree algebra and later arose again from the study of convex homogeneous cones [53], affine manifold and affine structures on Lie groups [40], and deformation of associative algebras [34]. They play an important role in the study of symplectic and complex structures on Lie groups and Lie algebras [5, 22, 24, 25, 44], phases spaces of Lie algebras [8, 42], certain integrable systems [16], classical and quantum Yang–Baxter equations [26], combinatorics [27], quantum field theory [23] and operads [19]. See [17] for a survey. Recently, pre-Lie superalgebras, the \(\mathbb {Z}_2\)-graded version of pre-Lie algebras also appeared in many others fields; see, for example, [19, 34, 52]. To our knowledge, they were first introduced by Gerstenhaber in 1963 to study the cohomology structure of associative algebras [34]. They are a class of natural algebraic appearing in many fields in mathematics and mathematical physics, especially in supersymplectic geometry, vertex superalgebras and graded classical Yang–Baxter equation. Recently, classifications of complex pre-Lie superalgebras in dimensions two and three were given by Zhang and Bai [15]. See [3, 21, 38, 39, 55] about further results.
It turns out that the construction of pre-Lie superalgebras from associative superalgebras uses Rota–Baxter operators. Let \(\mathcal {A}\) be an associative superalgebra (product of x and y is denoted by xy) and R be a Rota–Baxter operator of weight \(\lambda \) on \(\mathcal {A}\), which means that it satisfies, for any homogeneous elements x, y in \(\mathcal {A}\), the identity
If \(\lambda =0\) (resp. \(\lambda =-1\)), the product
resp.
defines a pre-Lie superalgebra (see Theorem 1.2).
The notion of dendriform algebras was introduced in 1995 by Loday [45]. Dendriform algebras are algebras with two operations, which dichotomize the notion of associative algebras. The motivation came from algebraic \(\mathbb {K}\)-theory, and they have been studied quite extensively with connections to several areas in mathematics and physics, including operads, homology, Hopf algebras, Lie and Leibniz algebras, combinatorics, arithmetic and quantum field theory (see [30] and the references therein). The relationship between dendriform algebras, Rota–Baxter algebras and pre-Lie algebras was given by Aguiar and Ebrahimi-Fard [2, 27, 28]. Bai, Liu, Guo and Ni generalized the concept of Rota–Baxter operator and introduced a new class of algebras, namely L-dendriform algebras, in [12,13,14]. Moreover, a close relationship among associative superalgebras, Lie superalgebras, pre-Lie superalgebras and dendriform superalgebras is given as follows in the sense of commutative diagram of categories:
Recently, the notion of Rota–Baxter operator on a bimodule was introduced by Aguiar [1]. The construction of associative, Lie, pre-Lie and L-dendriform superalgebras is extended to the corresponding categories of bimodules. See [9, 29, 31,32,33, 43, 46] about further results and [10, 11, 41, 48, 49] about relationships with Yang–Baxter equation.
The main purpose of this paper is to study, through Rota–Baxter operators and \(\mathcal {O}\)-operators, the relationship between associative superalgebras, Lie superalgebras, pre-Lie superalgebras and L-dendriform superalgebras. Moreover, we classify Rota–Baxter operators of weight zero on the complex pre-Lie superalgebras of dimensions 2 and 3.
This paper is organized as follows. In Sect. 1, we recall some definitions of associative superalgebras, Lie superalgebras and pre-Lie superalgebras and we introduce the notion of super \(\mathcal {O}\)-operator of these superalgebras that generalizes the notion of Rota–Baxter operators. We show that every Rota–Baxter associative superalgebra of weight \(\lambda =-1\) gives rise to a Rota–Baxter Lie superalgebra. Moreover, a super \(\mathcal {O}\)-operator on a Lie superalgebra (of weight zero) gives rise to a pre-Lie superalgebra. As an Example of computations, we provide all Rota–Baxter operators (of weight zero) on the orthosymplectic Lie superalgebra osp(1, 2). In Sect. 2, we introduce the notion of L-dendriform superalgebra and then study some fundamental properties of L-dendriform superalgebras in terms of super \(\mathcal {O}\)-operator of pre-Lie superalgebras. Their relationship with associative superalgebras is also described. Sections 3 and 4 are devoted to classification of all Rota–Baxter operators (of weight zero) on the complex pre-Lie superalgebras of dimension 2 and 3 with one-dimensional even part and with two-dimensional even part, respectively.
Throughout this paper, all superalgebras are finite-dimensional and are over a field \(\mathbb {K}\) of characteristic zero. Let \((\mathcal {A},\circ )\) be a superalgebra, then \(L_\circ \) and \(R_\circ \) denote the even left and right multiplication operators \(L_\circ ,R_\circ :\mathcal {A}\rightarrow End(\mathcal {A})\) defined as \(L_\circ (x)(y)=(-1)^{|x||y|}R_\circ (y)(x)=x\circ y\) for all homogeneous element x, y in \(\mathcal {A}\). In particular, when \((\mathcal {A},[ \ ,\ ])\) is a Lie superalgebra, we let ad(x) denote the adjoint operator, that is, \(ad(x)(y)=[x,y]\) for all homogeneous element x, y in \(\mathcal {A}\).
2 Rota–Baxter Associative Superalgebras, Pre-Lie Superalgebras and Lie Superalgebras
Let \((\mathcal {A},\circ )\) be an algebra over a field \(\mathbb {K}\). It is said to be a superalgebra if the underlying vector space of \(\mathcal {A}\) is \(\mathbb {Z}_2\)-graded, that is, \(\mathcal {A}=\mathcal {A}_0\oplus \mathcal {A}_1\), and \(\mathcal {A}_i\circ \mathcal {A}_j\subset \mathcal {A}_{i+j}\), for \(i,j\in \mathbb {Z}_2\). An element of \(\mathcal {A}_0\) is said to be even and an element of \(\mathcal {A}_1\) is said to be odd. The elements of \(\mathcal {A}_{j},~~j \in \mathbb {Z}_2\), are said to be homogenous and of parity j. The parity of a homogeneous element x is denoted by |x|, and we refer to the set of homogeneous elements of \(\mathcal {A}\) by \(\mathcal {H}(\mathcal {A})\).
We extend to graded case the concepts of \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-algebra, \(\mathcal {O}\)-operator and extended \(\mathcal {O}\)-operator introduced in [13].
Definition 1.1
-
(1)
An associative superalgebra is a pair \((\mathcal {A},\mu )\) consisting of a \(\mathbb {Z}_2\)-graded vector space \(\mathcal {A}\) and an even bilinear map \(\mu :\mathcal {A}\otimes \mathcal {A}\longrightarrow \mathcal {A},~~(\mathcal {A}_i\mathcal {A}_j\subseteq \mathcal {A}_{i+j},~~\forall ~~i,j\in \mathbb {Z}_2) \) satisfying for all \(x,y,z\in \mathcal {H}(\mathcal {A})\)
$$\begin{aligned} x(y z)=(x y)z. \end{aligned}$$ -
(2)
Let \((\mathcal {A},\mu )\) be an associative superalgebra and V be a \(\mathbb {Z}_2\)-graded vector space. Let \(l,r:\mathcal {A}\longrightarrow End(V)\) be two even linear maps. A triple (V, l, r) is called an \(\mathcal {A}\)-bimodule if for all \(x,y \in \mathcal {H}(\mathcal {A})\) and \(v \in \mathcal {H}(V)\)
$$\begin{aligned} l(xy)(v)=l(x)l(y)(v),~~r(xy)(v)=r(y)r(x)(v),~~l(x)r(y)(v)=r(y)l(x)(v). \end{aligned}$$Moreover, the quadruple \((V,\mu _V,l,r)\) is said to be an \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-superalgebra if (V, l, r) is an \(\mathcal {A}\)-bimodule compatible with the multiplication \(\mu _V\) on V, that is, for all \(x,y \in \mathcal {H}(\mathcal {A})\) and \(v,w\in \mathcal {H}(V),\)
$$\begin{aligned} l(x)(\mu _V(v,w))= & {} \mu _V(l(x)(v),w), ~~ r(x)(\mu _V(v,w))= \mu _V(v,r(x)(w)), \\ \mu _V(r(x)(v),w)= & {} \mu _V(v,l(x)(w)). \end{aligned}$$ -
(3)
Fix \(\lambda \in {\mathbb {K}}\), a pair \((T,T')\) of even linear maps \(T,T':V\longrightarrow \mathcal {A}\) is called an extended super \(\mathcal {O}\)-operator with modification \(T'\) of weight \(\lambda \) associated with the bimodule (V, l, r) if T satisfies
$$\begin{aligned} \lambda l(T'(u))v= & {} \lambda r(T'(v))u, \end{aligned}$$(1.1)$$\begin{aligned} T(u)T(v)= & {} T\Big (l(T(u))v+(-1)^{|u||v|}r(T(v))u\Big )\nonumber \\&+\lambda T'(u)T'(v),~~\forall ~~u,v \in \mathcal {H}(V). \end{aligned}$$(1.2) -
(4)
An even linear map \(T:V\longrightarrow \mathcal {A}\) is called a super \(\mathcal {O}\)-operator of weight \(\lambda \) associated with the bimodule \({\mathbb {K}}\)-superalgebra \((V,\mu _V,l,r)\) if it satisfies
$$\begin{aligned} T(u)T(v)= & {} T\Big (l(T(u))v+(-1)^{|u||v|}r(T(v))u+\lambda \mu _V(u,v)\Big ),\nonumber \\&\forall ~~u,v \in \mathcal {H}(V). \end{aligned}$$(1.3)
\(\square \)
Notice that the notions of super \(\mathcal {O}\)-operator and extended super \(\mathcal {O}\)-operator coincide when \(\lambda =0\).
In particular, a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K} \) associated with the bimodule \({\mathbb {K}}\)-algebra \((\mathcal {A},\mu _A,L_\mu ,R_\mu )\) is called a Rota–Baxter operator of weight \(\lambda \) on \(\mathcal {A}\), that is, R satisfies the identity (0.1). We denote by a triple \((\mathcal {A},\mu ,R)\) the Rota–Baxter associative superalgebra.
We define now Rota–Baxter operators on \(\mathcal {A}\)-bimodules.
Definition 1.2
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight zero. A Rota–Baxter operator on an \(\mathcal {A}\)-bimodule V (relative to R) is a map \(R_V:V\longrightarrow V\) such that for all \(x \in \mathcal {H}(\mathcal {A})\) and \(v \in \mathcal {H}(V)\)
We have similar definitions on Lie superalgebras.
Definition 1.3
-
(1)
A Lie superalgebra is a pair \((\mathcal {A}, [~~,~~])\) consisting of a \(\mathbb {Z}_2\)-graded vector space \(\mathcal {A}\), and an even bilinear map \([~~,~~] : \mathcal {A}\otimes \mathcal {A} \longrightarrow \mathcal {A},~~([\mathcal {A}_i,\mathcal {A}_j]\subseteq \mathcal {A}_{i+j},~~\forall ~~i,j\in \mathbb {Z}_2)\) satisfying for all \(\ x,y,z \in \mathcal {H}(\mathcal {A})\),
$$\begin{aligned}{}[x,y]= & {} -(-1)^{|x||y|}[y,x],\quad \text {(super-skew-symmetry)} \end{aligned}$$(1.4)$$\begin{aligned}{}[x,[y,z]]= & {} [[x,y],z]+(-1)^{|x||y|}[y,[x,z]], \text {(super-Jacobi identity)}.\qquad \quad \end{aligned}$$(1.5) -
(2)
Let \((\mathcal {A},[~~,~~])\) be a Lie superalgebra, V be a \(\mathbb {Z}_2\)-graded vector space, and \(\rho :\mathcal {A}\longrightarrow End(V)\) be an even linear map. The pair \((V,\rho )\) is said to be an \(\mathcal {A}\)-module or a representation of \((\mathcal {A},[~~,~~])\) if for all \(x,y\in \mathcal {H}(\mathcal {A})\) and \(v\in \mathcal {H}(V),\)
$$\begin{aligned} \rho ([x,y])(v)= & {} \rho (x)\rho (y)v-(-1)^{|x||y|}\rho (y)\rho (x)v. \end{aligned}$$(1.6)The triple \((V,[ \ ,\ ]_V,\rho )\), where \([ \ ,\ ]_V\) is a super-skew-symmetric bracket, is said to be an \(\mathcal {A}\)-module \({\mathbb {K}}\)-superalgebra if, for \(x\in \mathcal {H}(\mathcal {A})\) and \(v,w\in \mathcal {H}(V),\)
$$\begin{aligned} \rho (x)[ v,w ]_V=[ \rho (x)(v),w]_V+ (-1)^{|v||w|}[v, \rho (x)(w)]_V. \end{aligned}$$ -
(3)
Let \((\mathcal {A},[~~,~~])\) be a Lie superalgebra and \((V,\rho )\) be a representation of \(\mathcal {A}\). An even linear map \(T:V\longrightarrow \mathcal {A}\) is called a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) associated with an \(\mathcal {A}\)-module \({\mathbb {K}}\)-superalgebra \((V,[ \ ,\ ]_V,\rho )\) if T satisfies:
$$\begin{aligned}{}[T(u),T(v)]= & {} T\Big (\rho (T(u))v-(-1)^{|u||v|}\rho (T(v))u+\lambda [u,v]_V\Big ),~~\forall ~~u,v\in \mathcal {H}(V). \end{aligned}$$
In particular, a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) associated with the bimodule \((\mathcal {A},L_\circ ,R_\circ )\) is called a Rota–Baxter operator of weight \(\lambda \in \mathbb {K}\) on \((\mathcal {A},[~~,~~])\), that is, R satisfies for all x, y, z in \(\mathcal {H}(\mathcal {A})\)
The triple \((\mathcal {A},[~~,~~],R)\) refers to a Rota–Baxter Lie superalgebra, see [54].
Definition 1.4
Let \((\mathcal {A},[ ~~,~~ ],R)\) and \((\mathcal {A}',[ ~~,~~ ]',R')\) be two Rota–Baxter Lie superalgebras. An even homomorphism \(f:(\mathcal {A},[ ~~,~~ ],R)\longrightarrow (\mathcal {A}',[ ~~,~~ ]',R')\) is said to be a morphism of two Rota–Baxter Lie superalgebras if, for all \(x,y\in \mathcal {H}(\mathcal {A})\), \( f([x,y]) = [f(x),f(y)]'\) and \( f\circ R = R'\circ f.\)
Proposition 1.1
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight \(\lambda \in \mathbb {K}\). Then the triple \((\mathcal {A},[ ~~,~~ ],R)\), where \([x,y]=xy-(-1)^{|x||y|}yx\), is a Rota–Baxter Lie superalgebra of weight \(\lambda \in \mathbb {K}\).
We introduce the notion of super \(\mathcal {O}\)-operators of pre-Lie superalgebras and study some properties over Lie superalgebras and pre-Lie superalgebras.
Definition 1.5
Let \(\mathcal {A}\) be a \(\mathbb {Z}_2\)-graded vector space and \(\circ :\mathcal {A}\otimes \mathcal {A}\longrightarrow \mathcal {A}\) be an even binary operation. The pair \((\mathcal {A},\circ )\) is called a pre-Lie superalgebra if, for x, y, z in \(\mathcal {H}(\mathcal {A})\), the associator
is super-symmetric in x and y, that is, \(as(x,y,z)=(-1)^{|x||y|}as(y,x,z)\), or equivalently
The identity (1.8) is called pre-Lie super-identity.
Definition 1.6
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra.
-
(1)
Let V be a \(\mathbb {Z}_2\)-graded vector space and \(l,r:\mathcal {A}\longrightarrow End(V)\) be two even linear maps. The triple (V, l, r) is said to be an \(\mathcal {A}\)-bimodule of \((\mathcal {A},\circ )\) if, for \(x,y \in \mathcal {H}(\mathcal {A})\) and \(v\in \mathcal {H}(V),\)
$$\begin{aligned} l(x) l(y)v-l(x\circ y)v= & {} (-1)^{|x||y|}\Big (l(y) l(x)v-l(y\circ x) v \Big ), \end{aligned}$$(1.9)$$\begin{aligned} l(x) r(y)v-r(y) l(x)v= & {} (-1)^{|x||v|}( r(x\circ y) v-r(y) r(x)v). \end{aligned}$$(1.10)Moreover, the quadruple \((V,\circ _V,l,r)\) is said to be an \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-superalgebra if (V, l, r) is an \(\mathcal {A}\)-bimodule compatible with the multiplication \(\circ _V\) on V, that is, for \(x,y \in \mathcal {H}(\mathcal {A})\) and \(v,w\in \mathcal {H}(V),\)
$$\begin{aligned} l(x)(v\circ _V w)-l(x)(v)\circ _V w= & {} (-1)^{|x||v|} (v\circ _V l(x)(w))-r(x)(v)\circ _V w),\\ r(x)(v\circ _V w)- v\circ _V r(x)(w)= & {} (-1)^{|v||w|}(r(x)(w\circ _V v)- w\circ _V r(x)(v)). \end{aligned}$$ -
(2)
Let \((V,\circ _V,l,r)\) be an \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-superalgebra. An even linear map \(T:V\longrightarrow \mathcal {A}\) is called a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) associated with \((V,\circ _V,l,r)\) if it satisfies:
$$\begin{aligned} T(u)\circ T(v)= T\Big (l(T(u))v+(-1)^{|u||v|}r(T(v))u +\lambda u\circ _V v\Big ),~~\forall ~~~u,v\in \mathcal {H}(V). \end{aligned}$$(1.11)
In particular, a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) associated with the \(\mathcal {A}\)-bimodule \((\mathcal {A},L_\circ ,R_\circ )\) is called a Rota–Baxter operator of weight \(\lambda \) on \((\mathcal {A},\circ )\), that is, R satisfies
for all x, y, z in \(\mathcal {H}(\mathcal {A})\).
Proposition 1.2
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra.
-
(1)
The commutator
$$\begin{aligned}{}[x,y]= & {} x\circ y-(-1)^{|x||y|} y\circ x \end{aligned}$$defines a Lie superalgebra \((\mathcal {A},[~~,~~])\) which is called the sub-adjacent Lie superalgebra of \(\mathcal {A}\) and \(\mathcal {A}\) is also called a compatible pre-Lie superalgebra structure on the Lie superalgebra.
-
(2)
The map \(L_\circ \) gives a representation of the Lie superalgebra \((\mathcal {A},[~~,~~])\), that is,
$$\begin{aligned} L_\circ ([x,y])=L_\circ (x) L_\circ (y)-(-1)^{|x||y|}L_\circ (y) L_\circ (x). \end{aligned}$$
Corollary 1.1
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra and (V, l, r) be an \(\mathcal {A}\)-bimodule. Let \((\mathcal {A},[~~,~~])\) be the sub-adjacent Lie superalgebra. If T is a super \(\mathcal {O}\)-operator associated with (V, l, r), then T is a super \(\mathcal {O}\)-operator of \((\mathcal {A},[~~,~~])\) associated with \((V,l-r,r-l)\).
Now, we construct pre-Lie superalgebras using super \(\mathcal {O}\)-operators on Lie superalgebras.
Proposition 1.3
([54]) Let \((\mathcal {A},[~~,~~])\) be a Lie superalgebra and \((V,\rho )\) be a representation of \(\mathcal {A}\). Suppose that \(T:V\longrightarrow \mathcal {A}\) is a super \(\mathcal {O}\)-operator of weight zero associated with \((V,\rho )\). Then, the even bilinear map
defines a pre-Lie superalgebra structure on \(\mathcal {A}\).
Remark 1.1
([54]) Let \((\mathcal {A},[~~,~~])\) be a Lie superalgebra and R be the super \(\mathcal {O}\)-operator (of weight zero) associated with the adjoint representation \((\mathcal {A},ad)\). Then the even binary operation given by \(x\circ y=[R(x),y]\), for all \(x, y \in \mathcal {H}(\mathcal {A})\), defines a pre-Lie superalgebra structure on \(\mathcal {A}\).
As a direct consequence, since a Rota–Baxter operator on a pre-Lie superalgebra is also a Rota–Baxter operator of its sub-adjacent Lie superalgebra, we have the following observation.
Proposition 1.4
Let \(\mathcal {A}_{1}=(\mathcal {A},\circ ,R)\) be a Rota–Baxter pre-Lie superalgebra of weight zero. Then \(\mathcal {A}_{2}=(\mathcal {A},*,R)\) is a Rota–Baxter pre-Lie superalgebra of weight zero, where the even binary operation is defined by
Example 1.1
In this example, we calculate Rota–Baxter operators of weight zero on the Lie superalgebra \({\mathfrak {osp(1,2)}}\) and give the corresponding pre-Lie superalgebras. Starting from the orthosymplectic Lie superalgebra, we consider in the sequel the matrix realization of this superalgebra.
Let \({\mathfrak {osp(1,2)}}=\mathcal {A}_0\oplus \mathcal {A}_1\) be the Lie superalgebra where \(\mathcal {A}_0\) is spanned by
and \(\mathcal {A}_1\) is spanned by
The defining relations (we give only the ones with nonzero values in the right-hand side) are
The Rota–Baxter operators of weight zero on the Lie superalgebra \({\mathfrak {osp(1,2)}}\) with respect to the homogeneous basis \(\{e_1,e_2,e_3,e_4,e_5\}\) are:
-
\(R_{1}(e_1)=a_1 e_1+a_2e_2-\frac{8a_1^2a_3}{(2a_3+a_2)^2}e_3,\ R_{1}(e_2)=-\frac{2a_2a_1^2}{(2a_3+a_2)^2}e_1+\frac{(2a_3-3a_2)a_1}{2(2a_3+a_2)}e_2+\frac{2a_1^3}{(2a_3{+}a_2)^2}e_3,\ R_{1}(e_3){=}a_3e_1+\frac{(2a_3{+}a_2)^2}{8a_1}e_2+\frac{a_1(a_2-6a_3)}{2(2a_3+a_2)}e_3,\ R_{1}(e_4){=}0,\ R_{1}(e_5){=}0,~~a_1\ne 0,~~a_2\ne -2a_3.\)
-
\(R_{2}(e_1)=a_1e_1+a_2e_2,\ R_{2}(e_2)=-\frac{2a_1^2}{a_2}e_1-\frac{3a_1}{2}e_2+\frac{2a_1^3}{a_2^2}e_3,\ R_{2}(e_3)=\frac{a_2^2}{8a_1}e_2+\frac{a_1}{2}e_3,\ R_{2}(e_4)=0,\ R_{2}(e_5)=0,~~a_1\ne 0,~~a_2\ne 0.\)
-
\(R_{3}(e_1)=a_1e_1-\frac{2a_1^2}{a_3}e_3,\ R_{3}(e_2)=\frac{a_1}{2}e_2+\frac{a_1^3}{2a_3^2}e_3,\ R_{3}(e_3)=a_3e_1+\frac{a_3^2}{2a_1}e_2-\frac{3a_1}{2}e_3,\ R_{3}(e_4)=0,\ R_{3}(e_5)=0,~~a_1\ne 0,~~a_3\ne 0.\)
-
\(R_{4}(e_1)=0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_3e_1+a_4e_2,\ R_{4}(e_4)=0,\ R_{4}(e_5)=0.\)
-
\(R_{5}(e_1)=a_1e_1-4a_3e_2-\frac{2a_1^2}{a_3}e_3,\ R_{5}(e_2)=-\frac{a_1^2}{4a_3}e_1+a_1e_2+\frac{a_1^3}{2a_3^2}e_3,\ R_{5}(e_3)=a_3e_1-\frac{4a_3^2}{a_1}e_2-2a_1e_3,\ R_{5}(e_4)=0,\ R_{5}(e_5)=0,~~a_1\ne 0,~~a_3\ne 0.\)
-
\(R_{6}(e_1)=0,\ R_{6}(e_2)=0,\ R_{6}(e_3)=a_3e_1,\ R_{6}(e_4)=0,\ R_{6}(e_5)=0.\)
-
\(R_{7}(e_1)=a_1e_1+\frac{2a_1a_5}{a_6}e_2+a_6e_3,\ R_{7}(e_2)=\frac{a_6}{2}e_1+a_5e_2+\frac{a_6^2}{2a_1}e_3,\ R_{7}(e_3)=\frac{a_1a_5}{a_6}e_1+\frac{2a_1a_5^2}{a_6^2}e_2+a_5e_3,\ R_{7}(e_4)=0,\ R_{7}(e_5)=0,~~a_1\ne 0,~~a_6\ne 0.\)
-
\(R_{8}(e_1){=}a_1e_1+a_6e_3,\ R_{8}(e_2)=\frac{a_6}{2}e_1+\frac{a_6^2}{2a_1}e_3,\ R_{8}(e_3)=0,\ R_{8}(e_4)=0,\ R_{8}(e_5)=0,~~a_1\ne 0.\)
-
\(R_{9}(e_1)=a_1e_1+a_2e_2,\ R_{9}(e_2)=0,\ R_{9}(e_3)=\frac{a_2}{2}e_1+\frac{a_2^2}{2a_1}e_2,\ R_{9}(e_4)=0,\ R_{9}(e_5)=0,~~a_1\ne 0.\)
-
\(R_{10}(e_1)=0,\ R_{10}(e_2)=a_7e_1+a_8e_3,\ R_{10}(e_3)=0,\ R_{10}(e_4)=0,\ R_{10}(e_5)=0.\)
-
\(R_{11}(e_1)=0,\ R_{11}(e_2)=a_5e_2+a_8e_3,\ R_{11}(e_3)=\frac{a_5^2}{a_8}e_2+a_5e_3,\ R_{11}(e_4)=0,\ R_{11}(e_5)=0,~~a_8\ne 0.\)
-
\(R_{12}(e_1)=a_6e_3,\ R_{12}(e_2)=-\frac{a_6}{2}e_1+a_8e_3,\ R_{12}(e_3)=0,\ R_{12}(e_4)=0,\ R_{12}(e_5)=0.\)
-
\(R_{13}(e_1)=0,\ R_{13}(e_2)=a_7e_1,\ R_{13}(e_3)=0,\ R_{13}(e_4)=0,\ R_{13}(e_5)=0.\)
-
\(R_{14}(e_1)=0,\ R_{14}(e_2)=0,\ R_{14}(e_3)=a_4e_2,\ R_{14}(e_4)=0,\ R_{14}(e_5)=0.\)
-
\(R_{15}(e_1)=0,\ R_{15}(e_2)=0,\ R_{15}(e_3)=0,\ R_{15}(e_4)=0,\ R_{15}(e_5)=0.\)
-
\(R_{16}(e_1)=a_1 e_1+a_2e_2+\frac{a_1^2(a_2-4a_3)}{4a_3^2}e_3,\ R_{16}(e_2)=-\frac{a_1^2}{4a_3}e_1-\frac{a_1a_2}{4a_3}e_2+\frac{a_1^3(4a_3-a_2)}{16a_3^3}e_3,\ R_{16}(e_3)=a_3e_1+\frac{a_2a_3}{a_1}e_2+\frac{a_1(a_2-4a_3)}{4a_3}e_3,\ R_{16}(e_4)=0,\ R_{16}(e_5)=0,~~a_1\ne 0,~~a_3\ne 0.\)
-
\(R_{17}(e_1)=a_1e_1-\frac{a_1^2}{a_3}e_3,\ R_{17}(e_2)=-\frac{a_1^2}{4a_3}e_1+\frac{a_1^3}{4a_3^2}e_3,\ R_{17}(e_3)=a_3e_1-a_1e_3,\ R_{17}(e_4)=0,\ R_{17}(e_5)=0,~~a_3\ne 0.\)
-
\(R_{18}(e_1)=a_1e_1-4a_3e_2-\frac{2a_1^2}{a_3}e_3,\ R_{18}(e_2)=\frac{2a_1^2}{a_3}e_1-\frac{7a_1}{2}e_2+\frac{a_1^3}{2a_3^2}e_3,\ R_{18}(e_3)=a_3e_1+\frac{a_3^2}{2a_1}e_2+\frac{5a_1}{2}e_3,\ R_{18}(e_4)=0,\ R_{18}(e_5)=0,~~a_1\ne 0,~~a_3\ne 0.\)
-
\(R_{19}(e_1)=a_1e_1+4a_3e_2,\ R_{4}(19)=-\frac{a_1^2}{4a_3}e_1-a_1e_2,\ R_{19}(e_3)=a_3e_1+\frac{4a_3^2}{a_1}e_2,\ R_{19}(e_4)=0,\ R_{19}(e_5)=0,~~a_1\ne 0,~~a_3\ne 0\)
-
\(R_{20}(e_1)=0,\ R_{20}(e_2)=0,\ R_{20}(e_3)=a_3e_1+a_4e_2,\ R_{20}(e_4)=0,\ R_{20}(e_5)=0.\)
-
\(R_{21}(e_1)=-2a_3e_2,\ R_{21}(e_2)=0,\ R_{21}(e_3)=a_3e_1+a_4e_2,\ R_{21}(e_4)=0,\ R_{21}(e_5)=0.\)
-
\(R_{22}(e_1)=\frac{4a_5^2}{a_6}e_2+a_6e_3,\ R_{22}(e_2)=-a_5e_2-\frac{a_6^2}{4a_5}e_3,\ R_{22}(e_3)=\frac{4a_5^3}{a_6^2}e_2+a_5e_3,\ R_{23}(e_4)=0,\ R_{23}(e_5)=0,~~a_5\ne 0,~~a_6\ne 0.\)
-
\(R_{23}(e_1)=a_2e_1,\ R_{23}(e_2)=0,\ R_{23}(e_3)=-\frac{a_2}{2}e_2+a_4e_2,\ R_{23}(e_4)=0,\ R_{23}(e_5)=0.\)
-
\(R_{24}(e_1)=0,\ R_{24}(e_2)=a_6e_1+a_7e_3,\ R_{24}(e_3)=0,\ R_{24}(e_4)=0,\ R_{24}(e_5)=0.\)
-
\(R_{25}(e_1)=0\ R_{25}(e_2)=0,\ R_{25}(e_3)=a_4e_2,\ R_{25}(e_4)=0,\ R_{25}(e_5)=0.\)
-
\(R_{26}(e_1)=0,\ R_{26}(e_2)=a_5e_2+\frac{a_5^2}{a_4}e_3,\ R_{26}(e_3)=a_4e_2+a_5e_3,\ R_{26}(e_4)=0,\ R_{26}(e_5)=0,~~a_4\ne 0.\)
-
\(R_{27}(e_1)=a_1e_1,\ R_{27}(e_2)=0,\ R_{27}(e_3)=0,\ R_{27}(e_4)=0,\ R_{27}(e_5)=0.\)
-
\(R_{28}(e_1)=0,\ R_{28}(e_2)=a_7e_3,\ R_{28}(e_3)=0,\ R_{28}(e_4)=0,\ R_{28}(e_5)=0.\)
-
\(R_{29}(e_1)=a_9e_1-\frac{2a_9^2}{a_{10}}e_3,\ R_{29}(e_2)=\frac{a_9}{2}e_2+\frac{a_9^3}{2a_{10}^2}e_3,\ R_{29}(e_3)=a_{10}e_1+\frac{a_5^2}{2a_9}e_2-\frac{3a_9}{2}e_3,\ R_{29}(e_4)=-a_9e_4+a_{10}e_5,\ R_{29}(e_5)=-\frac{a_9^2}{a_{10}}e_4+a_9e_5,~~a_9\ne 0,~~a_{10}\ne 0.\)
-
\(R_{30}(e_1)=-a_{10}e_2,\ R_{30}(e_2)=0,\ R_{30}(e_3)=\frac{a_{10}}{2}e_1+a_4e_2,\ R_{30}(e_4)=a_{10}e_5,\ R_{30}(e_5)=0.\)
-
\(R_{31}(e_1)=a_{11}e_3,\ R_{31}(e_2)=-\frac{a_{11}}{2}e_1+a_8e_3,\ R_{31}(e_3)=0,\ R_{31}(e_4)=0,\ R_{31}(e_5)=a_{11}e_4.\)
The constants \(a_i\) are parameters.
Now, we define Rota–Baxter operators on an \(\mathcal {A}\)-module, where \(\mathcal {A}\) is a Rota–Baxter Lie superalgebra.
Definition 1.7
Let \((\mathcal {A},[~~,~~],R)\) be a Rota–Baxter Lie superalgebra of weight zero. A Rota–Baxter operator on an \(\mathcal {A}\)-module V (relative to R) is a map \(R_V:V\longrightarrow V\) such that, for all \(x \in \mathcal {H}(\mathcal {A})\) and \(v \in \mathcal {H}(V)\),
where the action \(\rho (x)(v)\) is denoted by [x, v].
Proposition 1.5
Let \((\mathcal {A},[~~,~~],R)\) be a Rota–Baxter Lie superalgebra of weight zero, V an \(\mathcal {A}\)-module and \(R_V\) a Rota–Baxter operator on V. Define new actions of \(\mathcal {A}\) on V by
Equipped with these actions, V is a bimodule over the pre-Lie superalgebra (Remark 1.1).
Proof
Let x, y be a homogeneous elements in \(\mathcal {A}\) and v in V. We have
Then
Similarly, we show that \(l(x)\circ l(y)v-l(x\circ y)v =(-1)^{|x||y|}\Big (l(y)\circ l(x)v-l(y\circ x) v\Big ).\)\(\square \)
Now, we construct a functor from a full sub-category of the category of Rota–Baxter Lie-admissible (or associative) superalgebras to the category of pre-Lie superalgebras. The Lie-admissible algebras were studied by Albert in 1948 and Goze and Remm in 2004, they introduced the notion of G-associative algebras where G is a subgroup of the permutation group \(S_3\) (see [35]). The graded case was studied by Ammar and Makhlouf in 2010 (see [4] for more details).
Definition 1.8
-
(1)
A Lie-admissible superalgebra is a superalgebra \((\mathcal {A},\mu )\) in which the supercommutator bracket, defined for all homogeneous x, y in \(\mathcal {A}\) by
$$\begin{aligned}{}[x,y] = \mu (x,y)-(-1)^{|x||y|}\mu (y,x), \end{aligned}$$satisfies the super-Jacobi identity (1.5).
-
(2)
Let G be a subgroup of the permutation group \(\mathcal {S}_3\). A Rota–Baxter G-associative superalgebra of weight \(\lambda \in \mathbb {K}\) is a G-associative superalgebra \((\mathcal {A},\cdot )\) together with an even linear self-map \(R: \mathcal {A}\longrightarrow \mathcal {A}\) that satisfies the identity
$$\begin{aligned} R(x) \cdot R(y) = R(R(x)\cdot y + x \cdot R(y) -\lambda x \cdot y), \end{aligned}$$(1.13)for all homogeneous elements x, y, z in \(\mathcal {A}\).
Theorem 1.1
Let \((\mathcal {A},\cdot ,R)\) be a Rota–Baxter Lie-admissible superalgebra of weight zero. Define an even binary operation “\(*\)” on any homogeneous element \(x,y\in \mathcal {A}\) by
Then \( \mathcal {A}_{L}= (\mathcal {A},*)\) is a pre-Lie superalgebra.
Proof
A direct consequence of Remark 1.1, since a Rota–Baxter operator on a Lie-admissible superalgebra is also a Rota–Baxter operator of its supercommutator Lie superalgebra. \(\square \)
Theorem 1.2
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight \(\lambda =-1\). Define the even binary operation “\(\circ \)” on any homogeneous element \(x,y\in \mathcal {A}\) by
Then \(\mathcal {A}_{L}=(\mathcal {A},\circ )\) is a pre-Lie superalgebra.
Proof
For all homogeneous elements x, y, z in \(\mathcal {A}\), we have
and
Then, we obtain
The above sum vanishes by associativity and the Rota–Baxter identity (1.13) with \( \lambda =-1\). \(\square \)
Corollary 1.2
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight \(\lambda =-1\). Then R is still a Rota–Baxter operator of weight \(\lambda =-1\) on the pre-Lie superalgebra \((\mathcal {A},\circ )\) defined in (1.15).
As a consequence of Theorem 1.2 and Corollary 1.2, we have:
Proposition 1.6
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight \(\lambda =-1\). Then the binary operation defined, for any homogeneous elements x, y in \(\mathcal {A}\), by
defines a Rota–Baxter Lie superalgebra \((\mathcal {A},[ ~~,~~ ],R)\) of weight \(\lambda =-1\).
3 L-dendriform Superalgebras
The notion of L-dendriform algebra was introduced by Bai, Liu and Ni in 2010 (see [14]). In this section, we extend this notion to the graded case, and define L-dendriform superalgebra. Then we study relationships between associative superalgebras, L-dendriform superalgebras and pre-Lie superalgebras. Moreover, we introduce the notion of Rota–Baxter operator (of weight zero) on the \(\mathcal {A}\)-bimodule and we provide a construction of associative bimodules from bimodules over L-dendriform superalgebras and a construction of L-dendriform bimodules from bimodules over pre-Lie superalgebras.
3.1 L-dendriform Superalgebras and Associative Superalgebras
3.1.1 Definition and Some Basic Properties
Definition 2.1
A L-dendriform superalgebra is a triple \((\mathcal {A},\rhd ,\lhd )\) consisting of a \(\mathbb {Z}_2\)-graded vector space \(\mathcal {A}\) and two even bilinear maps \(\rhd ,\lhd :\mathcal {A}\otimes \mathcal {A}\longrightarrow \mathcal {A}\) satisfying, for all homogeneous elements x, y, z in \(\mathcal {A}\),
The associated bracket to a L-dendriform superalgebra is defined as \([x,y]=x \rhd y -(-1)^{|x||y|}y \lhd x.\)
Definition 2.2
-
(1)
Let \((\mathcal {A},\rhd ,\lhd )\) be a L-dendriform superalgebra, V be a \(\mathbb {Z}_2\)-graded vector space, and \(l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd :\mathcal {A}\longrightarrow End(V)\) be four even linear maps. The tuple \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) is an \(\mathcal {A}\)-bimodule if for any homogeneous elements \(x,y\in \mathcal {A}\) and \(u,v\in V,\) the following identities are satisfied
-
(a)
\( [l_\rhd (x),l_\rhd (y)]= l_\rhd ([x,y]),\)
-
(b)
\( [l_\rhd (x),l_\lhd (y)]= l_\lhd (x \circ y)+(-1)^{|x||y|}l_\lhd (y)l_\lhd (x),\)
-
(c)
\(r_\rhd (x\rhd y)(v)=r_\rhd (y)r_\rhd (x)(v)+r_\rhd (y)r_\lhd (x)(v)+(-1)^{|x||v|}l_\rhd (x)r_\rhd (y)(v) -(-1)^{|x||v|}r_\rhd (y)l_\rhd (x)(v)-(-1)^{|x||v|}r_\rhd (y)l_\lhd (x)(v),\)
-
(d)
\(r_\rhd (x\lhd y)(v)= r_\lhd (y)r_\rhd (x)(v)-(-1)^{|x||v|}\Big (l_\lhd (x)r_\rhd (y)(v)-l_\lhd (x)r_\lhd (y)(v){+}r_\lhd (y)l_\lhd (x)(v)\Big ),\)
-
(e)
\(l_\rhd (x)r_\lhd (y)(v)-r_\lhd (y)l_\rhd (x)(v)=(-1)^{|x||v|} r_\lhd (x \bullet y)(v)-(-1)^{|x||v|}r_\lhd (y)r_\lhd (x)(v).\)
where \(x \circ y=x\rhd y-(-1)^{|x||y|}y\lhd x\), and \(x \bullet y=x\rhd y+x\lhd y\). Moreover, The tuple \((V,\rhd _V,\lhd _V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) is an \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-superalgebra if the following identities are satisfied
-
(a)
\( l_\rhd (x)(u\rhd _V v)-(-1)^{|x||u|}u\rhd _V l_\rhd (x)(v)=l_\rhd (x)(u)\rhd _V v+l_\lhd (x)(u)\rhd _V v\quad -(-1)^{|x||u|}r_\rhd (x)(u)\rhd _V v-(-1)^{|x||u|}r_\lhd (x)(u)\rhd _V v,\)
-
(b)
\( l_\rhd (x)(u\lhd _V v){-}({-}1)^{|x||u|}u\lhd _V l_\rhd (x)(v){=}l_\rhd (x)(u)\lhd _V v{-}({-}1)^{|x||u|}r_\lhd (x)(u)\lhd _V v \quad +(-1)^{|x||u|}u\lhd _V l_\lhd (x)v,\)
-
(c)
\( u\rhd _V l_\lhd (x)(v)=r_\rhd (x)(u)\lhd _V v-(-1)^{|x||u|}l_\lhd (x)(u\rhd _V v)+(-1)^{|x||u|} l_\lhd (x)(u\lhd _V v)\quad -(-1)^{|x||u|}l_\lhd (x)(u)\lhd _V v.\)
-
(a)
-
(2)
Let \((\mathcal {A},\rhd ,\lhd )\) be a L-dendriform superalgebra and \((V,\rhd _V,\lhd _V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) be an \(\mathcal {A}\)-bimodule \({\mathbb {K}}\)-superalgebra. An even linear map \(T:V\longrightarrow \mathcal {A}\) is called a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) associated with \((V,\rhd _V,\lhd _V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) if T satisfies for any homogeneous elements u, v in V
$$\begin{aligned} T(u)\rhd T(v)= & {} T\Big (l_\rhd (T(u))v+(-1)^{|u||v|}r_\rhd (T(v))u+\lambda u\rhd _V v \Big ),\\ T(u)\lhd T(v)= & {} T\Big (l_\lhd (T(u))v+(-1)^{|u||v|}r_\lhd (T(v))u +\lambda u\lhd _V v\Big ). \end{aligned}$$
In particular, a super \(\mathcal {O}\)-operator of weight \(\lambda \in \mathbb {K}\) of the L-dendriform superalgebra \((\mathcal {A},\rhd ,\lhd )\) associated with the bimodule \((\mathcal {A},L_\rhd ,R_\rhd ,L_\lhd ,R_\lhd )\) is called a Rota–Baxter operator (of weight \(\lambda )\) on \((\mathcal {A},\rhd ,\lhd )\), that is, R satisfies for any homogeneous elements x, y in \(\mathcal {A}\)
The following theorem provides a construction of L-dendriform superalgebras using super \(\mathcal {O}\)-operators of associative superalgebras.
Theorem 2.1
Let \((\mathcal {A},\mu )\) be an associative superalgebra and (V, l, r) be a \(\mathcal {A}\)-bimodule. If T is a super \(\mathcal {O}\)-operator of weight zero associated with (V, l, r), then there exists a L-dendriform superalgebra structure on V defined by
Proof
For any homogeneous elements u, v and w in V, we have
Hence,
and similarly, we have
Therefore, \((V,\rhd ,\lhd )\) is a L-dendriform superalgebra. \(\square \)
A direct consequence of Theorem 2.1 is the following construction of a L-dendriform superalgebra from a Rota–Baxter operator (of weight zero) of an associative superalgebra.
Corollary 2.1
Let \((\mathcal {A},\mu ,R)\) be a Rota–Baxter associative superalgebra of weight zero. Then, the even binary operations given by
defines a L-dendriform superalgebra structure on \(\mathcal {A}\).
Definition 2.3
Let \((\mathcal {A},\rhd ,\lhd )\) be a L-dendriform superalgebra and \(R:\mathcal {A}\longrightarrow \mathcal {A}\) be a Rota–Baxter operator of weight zero. A Rota–Baxter operator on \(\mathcal {A}\)-bimodule V (relative to R) is a map \(R_V:V\longrightarrow V\) such that for all homogeneous elements x in \(\mathcal {A}\) and v in V
Proposition 2.1
Let \((\mathcal {A},\mu )\) be an associative superalgebra, \(R:\mathcal {A}\longrightarrow \mathcal {A}\) a Rota–Baxter operator on \(\mathcal {A}\), V an \(\mathcal {A}\)-bimodule and \(R_V\) a Rota–Baxter operator on V. Define a new actions of \(\mathcal {A}\) on V by
Equipped with these actions, V becomes an \(\mathcal {A}\)-bimodule over the associated L-dendriform superalgebra.
Corollary 2.2
Let \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) be an \( \mathcal {A}\)-bimodule of a dendriform superalgebra \((\mathcal {A},\rhd ,\lhd )\). Let \((\mathcal {A},\mu )\) be the associated associative superalgebra. If T is a super \(\mathcal {O}\)-operator associated with \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\), then T is a super \(\mathcal {O}\)-operator of \((\mathcal {A},\mu )\) associated with \((V,l_\rhd +l_\lhd ,r_\rhd +r_\lhd )\).
3.2 L-dendriform Superalgebras and Pre-Lie Superalgebras
We have the following observation.
Proposition 2.2
Let \((\mathcal {A},\rhd ,\lhd )\) be a L-dendriform superalgebra
-
(1)
The even binary operation \(\circ :\mathcal {A}\otimes \mathcal {A}\longrightarrow \mathcal {A}\) given by
$$\begin{aligned} x\circ y=x\rhd y-(-1)^{|x||y|}y \lhd x,~~\forall ~~x,y \in \mathcal {H}(\mathcal {A}) \end{aligned}$$defines a pre-Lie superalgebra \((\mathcal {A},\circ )\) which is called the associated vertical pre-Lie superalgebra of \((\mathcal {A},\rhd ,\lhd )\) and \((\mathcal {A},\rhd ,\lhd )\) is called a compatible L-dendriform superalgebra structure on the pre-Lie superalgebra \((\mathcal {A},\circ )\).
-
(2)
The even binary operation \(\bullet :\mathcal {A}\otimes \mathcal {A}\longrightarrow \mathcal {A}\) given by
$$\begin{aligned} x\bullet y=x\rhd y+x \lhd y,~~\forall ~~x,y \in \mathcal {H}(\mathcal {A}) \end{aligned}$$defines a pre-Lie superalgebra \((\mathcal {A},\bullet )\) which is called the associated horizontal pre-Lie superalgebra of \((\mathcal {A},\rhd ,\lhd )\) and \((\mathcal {A},\rhd ,\lhd )\) is called a compatible L-dendriform superalgebra structure on the pre-Lie superalgebra \((\mathcal {A},\bullet )\).
-
(3)
Both \((\mathcal {A},\circ )\) and \((\mathcal {A},\bullet )\) have the same sub-adjacent Lie superalgebra \(g(\mathcal {A})\) defined by
$$\begin{aligned}{}[x,y]=x\rhd y+x\lhd y-(-1)^{|x||y|}y \rhd x-(-1)^{|x||y|}y \lhd x,~~~~\forall ~~x,y\in \mathcal {H}(\mathcal {A}). \end{aligned}$$
Proof
Straightforward. \(\square \)
Corollary 2.3
Let \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) be a bimodule of a L-dendriform superalgebra \((\mathcal {A},\rhd ,\lhd )\). Let \((\mathcal {A},\circ )\) be the associated pre-Lie superalgebra. If T is a super \(\mathcal {O}\)-operator associated with \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\), then T is a super \(\mathcal {O}\)-operator of \((\mathcal {A},\circ )\) associated with \((V,l',r')\), where \(l'=l_\rhd +(-1)^{|u||v|}r_\lhd \) and \(r'=l_\lhd +r_\rhd \).
Conversely, we can construct L-dendriform superalgebras from \(\mathcal {O}\)-operators of pre-Lie superalgebras.
Theorem 2.2
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra and (V, l, r) be an \(\mathcal {A}\)-bimodule. If T is a super \(\mathcal {O}\)-operator of weight zero associated with (V, l, r), then there exists a L-dendriform superalgebra structure on V defined by
Therefore, there is a pre-Lie superalgebra structure on V defined by
as the associated vertical pre-Lie superalgebra of \((V,\rhd ,\lhd )\) and T is a homomorphism of pre-Lie superalgebra.
Furthermore, \(T(V)=\{T(v)~~/~~ v\in V\}\subset \mathcal {A}\) is a pre-Lie sub-superalgebra of \((\mathcal {A},\circ )\) and there is a L-dendriform superalgebra structure on T(V) given by
Moreover, the corresponding associated vertical pre-Lie superalgebra structure on T(V) is a pre-Lie sub-superalgebra of \((\mathcal {A},\circ )\) and T is a homomorphism of L-dendriform superalgebra.
Proof
For any homogeneous elements u, v and w in V, we have
Hence,
and
Therefore, \((V,\rhd ,\lhd )\) is a L-dendriform superalgebra. The other conditions follow easily. \(\square \)
A direct consequence of Theorem 2.2, is the following construction of a L-dendriform superalgebra from a Rota–Baxter operator (of weight zero) of a pre-Lie superalgebra.
Corollary 2.4
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra and R be a Rota–Baxter operator on \(\mathcal {A}\) (of weight zero). Then even binary operations given by
defines a L-dendriform superalgebra structure on \(\mathcal {A}\).
Lemma 2.1
Let \(\{R_1,R_2\}\) be a pair of commuting Rota–Baxter operators (of weight zero) on a pre-Lie superalgebra \((\mathcal {A},\circ )\). Then \(R_2\) is a Rota–Baxter operator (of weight zero) on the L-dendriform superalgebra \((\mathcal {A},\rhd ,\lhd )\) defined in (2.7) with \(R=R_1\).
Theorem 2.3
Let \((\mathcal {A},\circ )\) be a pre-Lie superalgebra. Then there exists a compatible L-dendriform superalgebra structure on \((\mathcal {A},\circ )\) such that \((\mathcal {A},\circ )\) is the associated vertical pre-Lie superalgebra if and only if there exists an invertible super \(\mathcal {O}\)-operator (of weight zero) of \((\mathcal {A},\circ )\).
Proof
Straightforward. \(\square \)
Next, we provide a construction of a L-dendriform bimodule from a bimodule over a pre-Lie superalgebra.
Proposition 2.3
Let \((\mathcal {A},\circ ,R)\) be a Rota–Baxter pre-Lie superalgebra of weight zero, V an \(\mathcal {A}\)-bimodule and \(R_V\) a Rota–Baxter operator on V. Define new actions of \(\mathcal {A}\) on V by
Equipped with actions, V is a bimodule over the L-dendriform superalgebra of Corollary 2.4.
Proof
Let x, y be homogeneous elements in \(\mathcal {A}\) and v in V. Then, we have
Therefore,
Similarly, we have
then
The others axioms are similar. Therefore, \((V,l_\rhd ,r_\rhd ,l_\lhd ,r_\lhd )\) is a bimodule over the L-dendriform superalgebra \((\mathcal {A},\rhd ,\lhd )\). \(\square \)
4 Rota–Baxter Operators on Two-dimensional Pre-Lie Superalgebras
The purpose of this section is to compute all Rota–Baxter operators (of weight zero) on the two-dimensional complex pre-Lie superalgebras given by Zhang and Bai (see [15]). In the following, let \(\mathbb {C}\) be the ground field of complex numbers and \(\{e_1,e_2\}\) be a homogeneous basis of a pre-Lie superalgebra \((\mathcal {A},\circ )\), where \(\{e_1\}\) is a basis of \(\mathcal {A}_0\) and \(\{e_2\}\) is a basis of \(\mathcal {A}_1\).
By direct computation and by help of a computer algebra system, we obtain the following results.
Proposition 3.1
The Rota–Baxter operators (of weight zero) on two-dimensional pre-Lie superalgebras (associative or non-associative) of type \(B_{1},~~B_{2}\) and \(B_{3}\) are given as follows:
4.1 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(B_{1}\)
\(\blacksquare \) The pre-Lie superalgebra\((B_{1,1},\circ ):\ \ e_2\circ e_1=e_2\) has the Rota–Baxter operator defined as
\(\blacksquare \) The pre-Lie superalgebras of type
\(\left\{ \begin{array}{ll} \ \ (B_{1,2},\circ )\ \ \ : \ \ \ \ e_1\circ e_1=e_1,~~~~e_2\circ e_1=e_2~~\text {(associative)}. &{} \hbox {} \\ \Big ((B_{1,3})_k,\circ \Big ): \ \ \ \ e_1\circ e_1=ke_1,~~~~e_2\circ e_1=e_2,~~k\ne 0,1. &{} \hbox {} \\ \ \ (B_{1,4},\circ )\ \ \ : \ \ \ \ e_1\circ e_1=e_1,~~~~e_1\circ e_2=e_2~~\text {(associative)}. &{} \hbox {} \\ \Big ((B_{1,5})_k,\circ \Big ): e_1\circ e_1=ke_1,~~~e_1\circ e_2=~ke_2,~~~ e_2\circ e_1=(k+1)e_2,~~k\ne 0,-1. &{} \hbox {} \end{array} \right. \) have only the trivial Rota–Baxter operator, that is,
-
\(R_1(e_1)=0,~~ R_1(e_2)= 0.\)
4.2 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(B_{2}\)
\(\blacksquare \) The pre-Lie superalgebra\((B_{2,1},\circ )\) (associative).
Rota–Baxter operators \(\mathrm{RB}(B_{2,1})\) are:
-
\(R_1(e_1)= a_{1}e_1,~~ R_1(e_2)= 0.\)
-
\(R_2(e_1)=a_{1}e_1 ,~~ R_2(e_2)= 2a_{1} e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\((B_{2,2},\circ )\) (associative)
Rota–Baxter operators \(\mathrm{RB}(B_{2,2})\) is:
4.3 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(B_{3}\)
\(\blacksquare \)The pre-Lie superalgebra\((B_{3,1},\circ )\) (associative).
Rota–Baxter operators \(\mathrm{RB}(B_{3,1})\) are:
-
\(R_1(e_1)= a_1e_1,\ R_1(e_2)= a_2 e_2. \)
\(\blacksquare \)The pre-Lie superalgebra\((B_{3,2},\circ )\) (associative)
Rota–Baxter operators \(\mathrm{RB}(B_{3,2})\) are:
-
\(R_1(e_1)= 0,\ R_1(e_2)=a_1 e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\((B_{3,3},\circ )\) (associative)
Rota–Baxter operator \(\mathrm{RB}(B_{3,3})\) is:
-
\(R_1(e_1)=0,\ R_1(e_2)=0.\)
5 Rota–Baxter Operators on Three-dimensional Pre-Lie Superalgebras
5.1 Rota–Baxter Operators on Three-dimensional Pre-Lie Superalgebras with Two-dimensional Odd Part
We still work over the ground field \(\mathbb {C}\) of complex numbers. Using the classification of the three-dimensional pre-Lie superalgebras with one-dimensional even part was given by Zhang and Bai (see [15]). The purpose of this section is to provide, using Definition 1.6, all Rota–Baxter operators (of weight zero) on these pre-Lie superalgebras by direct computation. In the following, let \(\{e_1,e_2,e_3\}\) be a homogeneous basis of a pre-Lie superalgebra \((\mathcal {A},\circ )\), where \(\{e_1\}\) is a basis of \(\mathcal {A}_0\) and \(\{e_2,e_3\}\) is a basis of \(\mathcal {A}_1\).
Proposition 4.1
The Rota–Baxter operators (of weight zero) on three-dimensional pre-Lie superalgebras (associative or non-associative) with two-dimensional odd part of type \(C_1,~~C_{2_h},~~C_{3},~~C_{4},~~C_{5}\) and \(C_6\) are given as follows:
5.1.1 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(C_{1}\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{1,1},\circ )\)
Rota–Baxter operators \(\mathrm{RB}(C_{1,1})\) are:
-
\(R_1(e_1)=0,\ R_1(e_2)=0,\ R_1(e_3)=a_1e_2+e_3.\)
-
\(R_2(e_1)=0,\ R_2(e_2)=a_2e_2,\ R_2(e_3)=a_1 e_2,~~a_2\ne 0.\)
-
\(R_3(e_1)=a_3e_1,\ R_3(e_2)=0,\ R_3(e_3)=a_1 e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{1,2})_k,\circ \Big )\) (associative)
Rota–Baxter operators \(\mathrm{RB}((C_{1,2})_k)\) are:
-
\(R_1(e_1)=0,\ R_1(e_2)=a_1 e_2,\ R_1(e_3)=a_2 e_2,~~k\ne -1.\)
-
\(R_2(e_1)=0,\ R_2(e_2)= 0,\ R_2(e_3)=a_2 e_2+a_3 e_3,~~k= -1.\)
-
\(R_3(e_1)=a_4e_1,\ R_3(e_2)= a_1 e_2,\ R_3(e_3)=a_2 e_2+\frac{a_1a_4}{a_4-a_1}e_3,~~a_1\ne a_4,~~k=-1.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{1,3},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{1,3})\) are:
-
\(R_1(e_1)=0,\ R_1(e_2)=0,\ R_1(e_3)=a_1 e_2+a_2e_3.\)
-
\(R_2(e_1)=0,\ R_2(e_2)=a_3e_2,\ R_2(e_3)=a_1 e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{1,4},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{1,4})\) are:
-
\(R_1(e_1)=0,\ R_1(e_3)=0,\ R_1(e_2)=a_1 e_2.\)
-
\(R_2(e_1)=0,\ R_2(e_2)=0,\ R_2(e_3)=0.\)
5.1.2 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(C_{2_{h}}\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{2_{h},1},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{2_{h},1})\) are:
\(\triangleright \) Case 1: If \(h=0\), we have
-
\(R_1(e_1)=0,\ R_1(e_2)=0,\ R_1(e_3)=a_1 e_2+a_2e_3.\)
-
\(R_2(e_1)=0,\ R_2(e_2)= a_3e_3,\ R_2(e_3)=a_2e_3.\)
-
\(R_3(e_1)=0,\ R_3(e_2)= 0,\ R_3(e_3)=a_2e_3.\)
-
\(R_4(e_1)= 0,\ R_4(e_2)=a_3e_3,\ R_4(e_3)=a_2e_3,~~~a_3\ne 0.\)
\(\triangleright \) Case 2: If \(h\in \mathbb {C}^*\), we have
-
\(R_5(e_1) =0,\ R_5(e_2)=0,\ R_5(e_3)=a_1e_2.\)
-
\(R_6(e_1) =0,\ R_6(e_2)=a_3e_3,\ R_6(e_3)=0,~~a_{3}\ne 0.\)
-
\(R_7(e_1) =0,\ R_7(e_2)=a_5e_2+a_3e_3,\ R_7(e_3)=-\frac{a_5^2}{h a_3}e_2-\frac{a_5}{h}e_3,~~a_3\ne 0,~~a_5\ne 0.\)
-
\(R_8(e_1) =0,\ R_8(e_2)=0,\ R_8(e_3)=0.\)
\(\triangleright \) Case 3: If \(h=-1\), we have
-
\(R_{9}(e_1) =0,\ R_{9}(e_2)=a_3e_3,\ R_{9}(e_3)=0.\)
-
\(R_{10}(e_1) =0,\ R_{10}(e_2)=a_5e_2+a_3e_3,\ R_{10}(e_3)=\frac{a_5^2}{a_3}e_3+a_5e_3,~~a_3\ne 0.\)
-
\(R_{11}(e_1) =a_4 e_1,\ R_{11}(e_2)=0,\ R_{11}(e_3)=a_1e_2,~~a_4\ne 0.\)
-
\(R_{12}(e_1) = a_4e_1,\ R_{12}(e_2)=0,\ R_{12}(e_3)=0,~~a_4\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{2_{h},2},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{2_{h},2})\) are:
\(\triangleright \) Case 1: If \(h=0\), we have
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2+a_{2}e_3.\)
\(\triangleright \) Case 2: If \(h\in \mathbb {C}^*\), we have
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{1}e_2,~~a_{1}\ne 0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=e_2,\ R_{3}(e_3)=0.\)
\(\triangleright \) Case 3: If \(h=1\), we have
-
\(R_{4}(e_1) =a_{3} e_1,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_{1}e_2,~~a_{3}\ne 0.\)
-
\(R_{5}(e_1) =0,\ R_{5}(e_2)=0,\ R_{5}(e_3)=a_{1} e_2,~~a_{1}\ne 0.\)
-
\(R_{6}(e_1) =0,\ R_{6}(e_2)=e_2,\ R_{6}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{2_{h},3},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{2_{h},3})\) are:
\(\triangleright \) Case 1: If \(h=(-1)^{\frac{1}{3}}\) or \(h=-(-1)^{\frac{2}{3}}\), we have
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_1e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_2 e_2+a_3e_3,\ R_{2}(e_3)=a_2(h-1)e_2+a_2(h-1)e_3.\)
\(\triangleright \) Case 2: If \(h\ne 1\), we have
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0.\)
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_1e_3,~~a_1\ne 0.\)
-
\(R_{5}(e_1) =0,\ R_{5}(e_2)=0,\ R_{5}(e_3)=a_1e_3,~~h^3-2h^2+2h-1\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{2_{h},4},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{2_{h},4})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_1e_3,\ R_{1}(e_3)=a_2e_3,~~h=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_1e_3,\ R_{2}(e_3)=0,~~a_1\ne 0,~~h\ne 0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0,~~h\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{2_{h},5},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{2_{h},5})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=e_2,\ R_{1}(e_3)=a_{1}e_2-a_{1}e_3,~~h=0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0,~~h\ne 0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=a_{2} e_2-\frac{a_{3}}{(h-1)^2}e_3,\ R_{3}(e_3)=\frac{a_{2}(h-1)^2}{h}e_2-\frac{a_{2}}{h}e_3,~~a_{2}\ne 0,~~h\ne 0.\)
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=a_{2}e_2-a_{2}e_3,\ R_{4}(e_3)= \frac{a_{2}}{2}e_2-\frac{a_{2}}{2}e_3,~~a_{2}\ne 0,~~h=2.\)
-
\(R_{5}(e_1) =0,\ R_{5}(e_2)=a_{3}e_3,\ R_{5}(e_3)=0,~~a_{3}\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{2_{h},6})_k,\circ \Big )\): \(h=0~~ or~~1,~~k=1\) associative other cases non-associative.
Rota–Baxter operators \(\mathrm{RB}((C_{2_{h},6})_k)\) are:
\(\triangleright \) Case 1: If \(h=0\), we have
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2+a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{3}e_3,\ R_{2}(e_3)=a_{2}e_3.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)= 0,\ R_{3}(e_3)=a_{2}e_3.\)
\(\triangleright \) Case 2: If \(h \in \mathbb {C}^*\), we have
-
\(R_{4}(e_1) = 0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_{1}e_2.\)
-
\(R_{5}(e_1) = 0,\ R_{5}(e_2)= a_{3}e_3,\ R_{5}(e_3)=0.\)
-
\(R_{6}(e_1) =0,\ R_{6}(e_2)=a_{4}e_2+a_{3}e_3,\ R_{6}(e_3)=-\frac{a_{4}^2}{ha_{3}}e_2-\frac{a_{4}}{h}e_3,~~a_{3}\ne 0.\)
-
\(R_{7}(e_1) = 0,\ R_{7}(e_2)=0,\ R_{7}(e_3)=0.\)
\(\triangleright \) Case 3: If \(h=k=0\), we have
-
\(R_{8}(e_1) = 0,\ R_{8}(e_2)=0,\ R_{8}(e_3)=a_{1}e_2+a_{2}e_3.\)
-
\(R_{9}(e_1) =0,\ R_{9}(e_2)=a_{3}e_3,\ R_{9}(e_3)=a_{2}e_3.\)
-
\(R_{10}(e_1) = a_{5}e_1,\ R_{10}(e_2)=0,\ R_{10}(e_3)=a_{2}e_3.\)
-
\(R_{11}(e_1) = a_{5}e_1,\ R_{11}(e_2)=0,\ R_{11}(e_3)= 0.\)
-
\(R_{12}(e_1) =0,\ R_{12}(e_2)=a_{3}e_3,\ R_{12}(e_3)=a_{2}e_3,~~a_{3}\ne 0.\)
\(\triangleright \) Case 4: If \(h=1\) and \(k=0\), we have
-
\(R_{13}(e_1) = a_{5}e_1,\ R_{13}(e_2)=0,\ R_{13}(e_3)=a_{1}e_2.\)
-
\(R_{14}(e_1) = a_{5}e_1,\ R_{14}(e_2)=a_{3}e_3,\ R_{14}(e_3)=0.\)
-
\(R_{15}(e_1) = a_{5}e_1,\ R_{15}(e_2)=a_{4}e_2+a_{3}e_3,\ R_{15}(e_3)=-\frac{a_{4}^2}{a_{3}}e_2-a_{4}e_3,~~a_{3}\ne 0.\)
\(\triangleright \) Case 5: If \(h \ne 0,1\) and \(k=0\), we have
-
\(R_{16}(e_1) = 0,\ R_{16}(e_2)=0,\ R_{16}(e_3)=a_{1}e_2,~~a_{1}\ne 0.\)
-
\(R_{17}(e_1) = 0,\ R_{17}(e_2)=a_{3}e_3,\ R_{17}(e_3)=0,~~r_{2,2}\ne 0.\)
-
\(R_{18}(e_1) = 0,\ R_{18}(e_2)=a_{4}e_2+a_{3}e_3,\ R_{18}(e_3)= -\frac{a_{4}^2}{ha_{3}}e_2+\frac{a_{4}}{h}e_3,~~a_{3}\ne 0.\)
\( \blacksquare \)The pre-Lie superalgebra\(\Big ( (C_{2_{h},7})_k,\circ \Big )\): \((C_{2_{0},7})_1\) associative.
Rota–Baxter operators \(\mathrm{RB}((C_{2_{h},7})_k)\) are:
\(\triangleright \) Case 1: If \(h=0\), we have
-
\(R_{1}(e_1)=0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2+a_{2}e_3,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{3}e_3,\ R_{2}(e_3)=a_{2} e_3,~~a_{3}\ne 0.\)
-
\(R_{3}(e_1)=0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=a_{2}e_3.\)
\(\triangleright \) Case 2: If \(h \in \mathbb {C}^*\), we have
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_{1}e_2,~~a_{1}\ne 0.\)
-
\(R_{5}(e_1) = 0,\ R_{5}(e_2)=a_{3}e_3,\ R_{5}(e_3)=0,~~a_{3}\ne 0.\)
-
\(R_{6}(e_1) = 0,\ R_{6}(e_2)=0,\ R_{6}(e_3)= 0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ( (C_{2_{h},8})_k,\circ \Big )\): \(h=-1~~ or~~0,~~k=1\) associative other cases are non-associative
Rota–Baxter operators \(\mathrm{RB}((C_{2_{h},8})_k)\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{2_{h})_k,9},\circ \Big )\): \(h=0~~ or~~1,~~k=-1\) associative other cases are non-associative
Rota–Baxter operators \(\mathrm{RB}((C_{2_{h},9})_k)\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_2+a_{2}e_3,\ R_{1}(e_3)=-\frac{a_{1}^2}{a_{2}}e_2-a_{1}e_3,~~a_{2}\ne 0,~~h=1,~~k=-1.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{2}e_3,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=0,\ R_{3}(e_3)= a_{3}e_2.\)
-
\(R_{4}(e_1) = 0,\ R_{4}(e_2)=0,\ R_{4}(e_3)= 0.\)
5.1.3 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(C_{3}\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{3,1},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{3,1})\) are:
-
\(R_{1}(e_1)=0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2.\)
-
\(R_{2}(e_1)=0,\ R_{2}(e_2)=a_{2}e_1+a_{3}e_2,\ R_{2}(e_3)=-\frac{a_{2}^2+a_{2}a_{3}}{2}e_2-(a_{2}+a_{3})e_3,~~a_{3}\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{3,2})_k,\circ \Big )\):
Rota–Baxter operators \(\mathrm{RB}((C_{3,2})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) =a_{1}e_1,\ R_{1}(e_2)= 0,\ R_{1}(e_3)=a_{2}e_2,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) = a_{1}e_1,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{1}e_2,~~a_{1}\ne 0.\)
-
\(R_{3}(e_1) = a_{1}e_1,\ R_{3}(e_2)=0,\ R_{3}(e_3)= a_{2}e_2,~~a_{1}\ne 0.\)
\(\triangleright \)Case 2: If \(k \in \mathbb {C}^*\), we have
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)= 0,\ R_{4}(e_3)=a_{2}e_2.\)
-
\(R_{5}(e_1) = 0,\ R_{5}(e_2)=a_{3}e_2+a_{4}e_3,\ R_{5}(e_3)=-\frac{a_{3}^2+a_{3}a_{4}}{a_{4}}e_2-(a_{3}+a_{4})e_3,~~a_{4}\ne 0.\)
-
\(R_{6}(e_1) = 0,\ R_{6}(e_2)=0,\ R_{6}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{3,3})_k,\circ \Big )\):
Rota–Baxter operators \(\mathrm{RB}((C_{3,3})_k)\) are:
-
\(R_{1}(e_1) = a_{1}e_1,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{2}e_2.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{2}e_2.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{3,4})_k,\circ \Big )\):
Rota–Baxter operator \(\mathrm{RB}((C_{3,4})_k)\) is:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2.\)
5.1.4 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(C_{4}\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,1},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{4,1})\) are:
-
\(R_{1}(e_1) =a_{1}e_1,\ R_{1}(e_2)=a_{2}e_2+a_{3}e_3,\ R_{1}(e_3)=a_{4}e_2-\frac{a_{1}a_{2}+a_{3}a_{4}}{a_{1}-a_{2}}e_3,~~a_{1}\ne a_{2}.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{4}e_2+a_{5}e_3.\)
-
\(R_{3}(e_1) =a_{1}e_1,\ R_{3}(e_2)=a_{1}e_2+a_{3}e_3,\ R_{3}(e_3)=-\frac{a_{1}^2}{a_{3}}e_2+a_{5}e_3,~~a_{3}\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,2},\circ )\): (associative).
Rota–Baxter operator \(\mathrm{RB}(C_{4,2})\) is:
-
\(R_{1}(e_1)=a_{1}e_1,\ R_{1}(e_2)=a_{2}e_2+a_{3}e_3,\ R_{1}(e_3)=a_{4}e_2+a_{5}e_3. \)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,3},\circ )\): (associative)
Rota–Baxter operator \(\mathrm{RB}(C_{4,3})\) is:
-
\(R_{1}(e_1)=0,\ R_{1}(e_2)=a_{1}e_2+a_{2}e_3,\ R_{1}(e_3)=a_{3}e_2+a_{4}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,4},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{4,4})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_2,\ R_{1}(e_3)=a_{2}e_2.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{1}e_2+a_{3}e_3,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=a_{1}e_2,\ R_{3}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,5},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{4,5})\) are:
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{2}e_2+a_{3}e_3,\ R_{2}(e_3)=-\frac{a_{2}^2}{a_{3}}e_2-a_{2} e_3,~~a_{3}\ne 0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{4,6},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{4,6})\) are:
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_2+a_{2}e_3.\)
-
\(R_{2}(e_1) = a_{3}e_1,\ R_{2}(e_2)=a_{4}e_2,\ R_{2}(e_3)=a_{1}e_2+\frac{a_{3}a_{4}}{a_{3}-a_{4}} e_3,~~a_{3}\ne a_{4}.\)
5.1.5 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(C_{5}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{5,1})_k,\circ \Big )\): \(((C_{5,1})_0\) is associative).
Rota–Baxter operators \(\mathrm{RB}((C_{5,1})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_3,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{1}e_3,\ R_{2}(e_3)=a_{3}e_2.\)
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=a_{4}e_2,\ R_{3}(e_3)=a_{3}e_2.\)
-
\(R_{4}(e_1) = 0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=a_{2}e_3.\)
-
\(R_{5}(e_1) =a_{5}e_1 ,\ R_{5}(e_2)=a_{4}e_2,\ R_{5}(e_3)=\frac{a_{5}a_{4}}{a_{5}-a_{4}}e_3,~~a_{4}\ne a_{5}.\)
\(\triangleright \)Case 2: If \(k=1\), we have
-
\(R_{6}(e_1) =0,\ R_{6}(e_2)=a_{1}e_3,\ R_{6}(e_3)=a_{2}e_3.\)
-
\(R_{7}(e_1) =0,\ R_{7}(e_2)=0,\ R_{7}(e_3)=a_{2}e_3.\)
-
\(R_{8}(e_1) =0,\ R_{8}(e_2)=a_{1}e_3,\ R_{8}(e_3)=e_3.\)
-
\(R_{9}(e_1) =a_{5}e_1,\ R_{9}(e_2)=a_{5}e_2,\ R_{9}(e_3)=\frac{a_{5}}{2}e_3,~~a_{5}\ne 0.\)
-
\(R_{10}(e_1) =a_{5}e_1,\ R_{10}(e_2)=\frac{a_{5}}{a_{5}-1}e_2,\ R_{10}(e_3)=e_3,~~a_{5}\ne 1.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{5,2},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{5,2})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_3,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1)=0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{2}e_3.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=a_{3}e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{5,3},\circ )\):
Rota–Baxter operators \(\mathrm{RB}(C_{5,3})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_3,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{2}e_3.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=a_{3}e_2,\ R_{3}(e_3)=-a_{3}e_2.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((C_{5,4})_k,\circ \Big )\): (associative)
Rota–Baxter operators \(\mathrm{RB}((C_{5,4})_k)\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2) =a_{1}e_3,\ R_{1}(e_3) =a_{2}e_3.\)
-
\(R_{2}(e_1)= 0,\ R_{2}(e_2)=a_{3}e_2,\ R_{2}(e_3)=a_{4}e_2.\)
-
\(R_{3}(e_1)=0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=a_{2}e_3.\)
-
\(R_{4}(e_1)=0,\ R_{4}(e_2) =0,\ R_{4}(e_3) =a_{4} e_2.\)
-
\(R_{5}(e_1)=0,\ R_{5}(e_2)=a_{1}e_3,\ R_{5}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{6}(e_1)=0,\ R_{6}(e_2)=a_{3}e_2,\ R_{6}(e_3)=0,~~a_{3}\ne 0.\)
-
\(R_{7}(e_1)=a_{5}e_1,\ R_{7}(e_2) =0,\ R_{7}(e_3) =0.\)
-
\(R_{8}(e_1)=a_{5}e_1,\ R_{8}(e_2)=a_{5}e_2+a_{1}e_3,\ R_{8}(e_3)=\frac{a_{5}^2}{a_{1}}e_2+a_{5}e_3,~~a_{1}\ne 0,~~a_{5}\ne 0,~~k=0.\)
-
\(R_{9}(e_1)=a_{5}e_1,\ R_{9}(e_2)=a_{3}e_2,\ R_{9}(e_3)=-\frac{a_{5}a_{3}}{a_{5}-a_{3}}e_3,~~a_{3}\ne a_{5}.\)
5.1.6 Rota–Baxter Operators on Pre-Lie Superalgebras of Type\(C_{6}\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{6,1},\circ )\) (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{6,1})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_3,\ R_{1}(e_3)=a_{2}e_3,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) =a_{3}e_1,\ R_{2}(e_2)=a_{1}e_3,\ R_{2}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{6,2},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{6,2})\) are:
-
\(R_{1}(e_1) =a_{1}e_1,\ R_{1}(e_2)=a_{2}e_3,\ R_{1}(e_3)=a_{3}e_3.\)
-
\(R_{2}(e_1) = a_{1}e_1,\ R_{2}(e_2)=2a_{1}e_2+a_{2}e_3,\ R_{2}(e_3)=a_{3}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{6,3},\circ )\) (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{6,3})\) are:
-
\(R_{1}(e_1)=0,\ R_{1}(e_2)=a_{1}e_2,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1)=a_{3}e_1,\ R_{2}(e_2)= a_{1}e_3,\ R_{2}(e_3)=0,~~a_{3}\ne 0.\)
-
\(R_{3}(e_1)=a_{3}e_1,\ R_{3}(e_2)= 2a_{3}e_2+a_{1}e_3,\ R_{3}(e_3)=\frac{2a_{3}}{3}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\((C_{6,4},\circ )\): (associative)
Rota–Baxter operators \(\mathrm{RB}(C_{6,4})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_3,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)= 0,\ R_{2}(e_3)=a_{2}e_3.\)
5.2 Classification of Rota–Baxter Operator on Three-dimensional Pre-Lie Superalgebras with Two-Dimensional Even Part
In this section, we describe all Rota–Baxter operators of weight zero on the three-dimensional complex pre-Lie superalgebras with two-dimensional even part which were classified in [15] by Zhang and Bai. In the following, let \(\{e_1,e_2,e_3\}\) be a homogeneous basis of a pre-Lie superalgebra \((\mathcal {A},\circ )\), where \(\{e_1,e_2\}\) is a basis of \(\mathcal {A}_0\) and \(\{e_3\}\) is a basis of \(\mathcal {A}_1\). The computation is obtained using computer algebra system, and the operators are described with respect to the basis.
Proposition 4.2
The Rota–Baxter operators (of weight zero) on three-dimensional pre-Lie superalgebras (associative or non-associative) with two-dimensional even part of type \(\widehat{A}_1,~~\widehat{A}_{2},~~\widehat{A}_{3}, ~~\widehat{A}_{4},~~\widehat{A}_{5},~~\widehat{A}_6,~~\widehat{A}_{7_h}, ~~\widehat{A}_8,~~\widehat{A}_9,~~\widehat{A}_{10_h}\) and \(\widehat{A}_{11}\) are given as follows:
5.2.1 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{1}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{1,1},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{1,1})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_3.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)= \frac{1}{2}e_2,\ R_{2}(e_3)=a_{1}e_3.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)= e_1+\frac{1}{2}e_2,\ R_{3}(e_3)=a_{1}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{1,2})_k,\circ \Big )\simeq D_1\), \((\widehat{A}_{1,2})_1\) associative.
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{1,2})_k)\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=\frac{1}{2}e_2,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=e_1+\frac{1}{2}e_2,\ R_{3}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{1,3})_{k_1,k_2},\circ \Big )\simeq D_1\).
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{1,3})_{k_1,k_2})\) are:
If \(\Big (k_2< 0,~~~~k_1\le k_2 \Big )\) or \(\Big ((k_2>0,~~~~k_1<-k_2)~~or~~(-k_2<k_1<0)~~or~~(0<k_1\le k_2)\Big )\)
-
\(R_{1}(e_1)=0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{1,4},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{1,4})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0, \ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=\frac{1}{2}e_2,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=e_1+\frac{1}{2}e_2,\ R_{3}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{1,5})_{k_1,k_2},\circ \Big )\simeq D_1\), \(k_1=k_2=0~~or~~k_1=1,~~k_2=0\) associative other cases non-associative.
Rota–Baxter operator \(\mathrm{RB}((\widehat{A}_{1,5})_{k_1,k_2})\) is:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{1,6},\circ )\simeq D_2\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{1,6})\) are:
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=0, \ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=\frac{1}{2}e_2,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=e_1+\frac{1}{2}e_2,\ R_{3}(e_3)=0.\)
5.2.2 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{2}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{2,1},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{2,1})\) are:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=\frac{1}{2}e_1,\ R_{2}(e_3)= a_{2}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{2,2})_k,\circ \Big )\simeq D_1\), \((\widehat{A}_{2,2})_1\) is associative.
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{2,2})_k)\) are:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=\frac{1}{2}e_1,\ R_{2}(e_3)= a_{2}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{2,3})_k,\circ \big )\simeq D_1\)
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{2,3})_k)\) are:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=\frac{1}{2}e_1,\ R_{2}(e_3)= 0.\)
-
\(R_{3}(e_1) =a_{1}e_2,\ R_{3}(e_2)=0,\ R_{3}(e_3)=a_{2}e_3,~~k=1.\)
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=0,~~k\ne 1.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{2,4},\circ )\simeq D_3\) (associative).
Rota–Baxter operator \(\mathrm{RB}(\widehat{A}_{2,4})\) is:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{2,5})_k,\circ \Big )\simeq D_1\), \((\widehat{A}_{2,5})_0\) is associative.
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{2,5})_k)\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)= a_{2}e_3,~~k=0.\)
-
\(R_{2}(e_1) = a_{1} e_2,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0,~~k\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{2,6})_k,\circ \Big )\simeq D_1\):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{2,6})_k)\) are:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{2,7},\circ )\simeq D_2\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{2,7})\) are:
-
\(R_{1}(e_1) =a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
5.2.3 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{3}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{3,1},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{3,1})\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)= a_{2}e_2,\ R_{1}(e_3)=a_{3} e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{3,4},\circ )\simeq D_2 \): (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{3,4})\) are
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=a_{2}e_2,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) = a_{1}e_2,\ R_{2}(e_2)= a_{2}e_2,\ R_{2}(e_3)=2 a_{2}e_3.\)
\(\blacksquare \)The pre-Lie superalgebras of type
-
\(\Big ((\widehat{A}_{3,2})_k,\circ \Big )\simeq D_1: \ \ e_1\circ e_1=e_1,~~e_3\circ e_1=k e_3,~~k\ne 0,~~((\widehat{A}_{3,2})_1~~ \text {is associative)}.\)
-
\((\widehat{A}_{3,3})_k,\circ )\simeq D_1 \ \ \ : \ \ \ e_1\circ e_1=e_1,~~e_3\circ e_1=ke_3,~~e_3\circ e_2=e_3. \)
-
\((\widehat{A}_{3,5},\circ )\simeq D_3 \ \ \ \ \ : \ \ \ e_1\circ e_1=e_1,~~~e_1\circ e_3=e_3,~~e_3\circ e_1=e_3,~~\text {(associative)}.\)
-
\(\Big ((\widehat{A}_{3,6})_k,\circ \Big )\simeq D_1 \ ~~ : \ \ \ e_1\circ e_1=e_1,~~~e_1\circ e_3=e_3,~~e_3\circ e_1=ke_3,~~k\ne 1,~~((\widehat{A}_{3,6})_0~~ \text {is associative)}.\)
-
\(\Big ((\widehat{A}_{3,7})_k,\circ \Big )\simeq D_1 \ : \ \ \ \ e_1\circ e_1=e_1,~~~e_1\circ e_3=e_3,~~~e_3\circ e_1=ke_3,~~e_3\circ e_2=e_3.\)
-
\((\widehat{A}_{3,8},\circ )\simeq D_2 \ \ \ \ \ : \ \ \ \ e_1\circ e_1=e_1,~~e_1\circ e_3=e_3,~~~e_3\circ e_1=e_3,~~e_3\circ e_3=e_1,~~\text {(associative)}.\)
They have the same Rota–Baxter operators:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=a_{2}e_2,\ R_{1}(e_3)=0.\)
5.2.4 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{4}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{4,1},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{4,1})\) are:
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{4,2},\circ )\simeq D_1\):
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{4,2})\) are:
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= a_{3}e_1+a_{4}e_2,\ R_{1}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{4,3},\circ )\simeq D_2\): (associative)
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{4,3})\) are:
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= a_{3}e_2,\ R_{1}(e_3)= 2a_{3}e_3.\)
-
\(R_{2}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{2}(e_2)=a_{4}e_1+ a_{3}e_2,\ R_{2}(e_3)=0.\)
5.2.5 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{5}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{5,1},\circ )\simeq D_2\) (associative)
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{5,1})\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)= a_{2}e_2,\ R_{1}(e_3)= 0.\)
-
\(R_{2}(e_1) = a_{1}e_2,\ R_{2}(e_2)= a_{2}e_2,\ R_{2}(e_3)=2a_{2}e_3.\)
-
\(R_{3}(e_1) = a_{3}e_1+a_{1}e_2,\ R_{3}(e_2)= \frac{a_{3}}{2}e_2,\ R_{3}(e_3)= 0.\)
-
\(R_{4}(e_1) = a_{3}e_1+a_{1}e_2,\ R_{4}(e_2)= \frac{a_{3}}{2}e_2,\ R_{4}(e_3)=a_{3}e_3.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{5,2},\circ )\simeq D_3\) (associative).
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{5,2})\) are:
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= \frac{a_{1}}{2}e_2,\ R_{1}(e_3)=a_{3}e_3.\)
-
\(R_{2}(e_1) =a_{2}e_2,\ R_{2}(e_2)=a_{4}e_2,\ R_{2}(e_3)= 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{5,3},\circ )\simeq D_1\):
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{5,3})\) are:
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= \frac{a_{1}}{2}e_2,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =a_{2}e_2,\ R_{2}(e_2)=a_{3}e_2,\ R_{2}(e_3)= 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{5,4},\circ )\simeq D_1\):
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{5,4})\) are:
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= \frac{a_{1}}{2}e_2,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =a_{2}e_2,\ R_{2}(e_2)=a_{3}e_2,\ R_{2}(e_3)= 0.\)
5.2.6 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{6}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{6,1})_k,\circ \Big )\simeq (D_4)_\mu : k=0~~or~~-1\) associative other cases non-associative
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{6,1})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)= 0,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{3}e_1,\ R_{2}(e_3)=a_{2} e_3.\)
\(\triangleright \)Case 2: If \(k \in \mathbb {C}^*\), we have
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=a_{3}e_1,\ R_{4}(e_3)=0.\)
-
\(R_{5}(e_1) = a_{1}e_2,\ R_{5}(e_2)=0,\ R_{5}(e_3)=0.\)
-
\(R_{5}(e_1) = a_{1}e_2,\ R_{5}(e_2)=0,\ R_{5}(e_3)=0,~~ a_{1}\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{6,2},\circ )\simeq D_5\):
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{6,2})\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{2}e_1,\ R_{2}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{6,3})_k,\circ \Big )\simeq (D_4)_\mu :~~k=0~~or~~-1\)associative other cases are non-associative
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{6,3})_k)\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=0,\ R_{1}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{2}e_1,\ R_{2}(e_3)=0.\)
5.2.7 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{7_{h}}\)
\(\blacksquare \)The pre-Lie superalgebra\((\widehat{A}_{7_{h},1},\circ )\simeq D_5\):
Rota–Baxter operators \(\mathrm{RB}(\widehat{A}_{7_{h},1})\) are:
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=a_1e_1,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_2e_2,\ R_{2}(e_3)=0,~~h=0.\)
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0,~~h\ne 0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{7_{h},2})_k,\circ \Big )\simeq (D_4)_\mu \):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{7_{h},2})_k)\) are:
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=a_1e_1,\ R_{1}(e_3)=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{7_{h},3})_k,\circ \Big )\simeq (D_4)_\mu \):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{7_{h},3})_k)\) are:
-
\(R_{1}(e_1) = a_{1}e_2,\ R_{1}(e_2)=a_{2}e_1,\ R_{1}(e_3)=a_{3}e_3,~~h=-\frac{1}{2},~~k=0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{4}e_2,\ R_{2}(e_3)=0,~~h=0.\)
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=a_{4}e_2,\ R_{3}(e_3)=a_{3}e_3,~~h=k=0.\)
-
\(R_{4}(e_1) = 0, \ R_{4}(e_2)=0,\ R_{4}(e_3)=a_{3}e_3,~~h\ne 0,~~k=0.\)
-
\(R_{5}(e_1) =0,\ R_{5}(e_2)=a_{2}e_1,\ R_{5}(e_3)=0,~~h=-\frac{1}{2}.\)
-
\(R_{6}(e_1) =0,\ R_{6}(e_2)=a_{2}e_1,\ R_{6}(e_3)=a_{3}e_3,~~h\ne -\frac{1}{2},~~k=0.\)
-
\(R_{7}(e_1) = 0,\ R_{7}(e_2)=0,\ R_{7}(e_3)=0,~~h\ne -\frac{1}{2},0.\)
5.2.8 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{8}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{8,1})_k,\circ \Big )\simeq (D_4)_\mu \):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{8,1})_k)\) are:
-
\(R_{1}(e_1)= 0,\ R_{1}(e_2)=0,\ R_{1}(e_3)=a_{1}e_3,~~k=0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0.\)
5.2.9 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{9}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{9,1})_k,\circ \Big )\simeq (D_4)_\mu \): \(k=0~~or~~1\) associative others cases are non-associative.
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{9,1})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) =a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)= -\frac{a_{1}^2}{a_{2}}e_1-a_{1}e_2,\ R_{1}(e_3)=a_{3}e_3,~~a_{2}\ne 0.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=a_{4}e_1,\ R_{2}(e_3)=a_{3}e_3.\)
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=a_{3}e_3.\)
\(\triangleright \)Case 2: If \(k\in \mathbb {C}^*\), we have
-
\(R_{4}(e_1) = 0,\ R_{4}(e_2)=a_{4}e_1,\ R_{4}(e_3)=0.\)
-
\(R_{5}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{5}(e_2)=-\frac{a_{1}^2}{a_{2}}e_1-a_{1}e_2,\ R_{5}(e_3)= 0,~~a_{2}\ne 0.\)
-
\(R_{6}(e_1) = 0,\ R_{6}(e_2)=0,\ R_{6}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebras\(\Big ((\widehat{A}_{9,2})_k,\circ \Big )\simeq (D_4)_\mu \) and \((\widehat{A}_{9,3},\circ )\simeq D_5\):
\( k=0~~or~~1\) associative other cases are non associative.
They have the same Rota–Baxter operators \(\mathrm{RB}(\mathcal {A})\), that is,
-
\(R_{1}(e_1) = a_{1}e_1+a_{2}e_2,\ R_{1}(e_2)=-\frac{a_{1}^2}{a_{2}}e_1-a_{1}e_2,\ R_{1}(e_3)= 0,~~a_{2}\ne 0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=a_{3}e_1,\ R_{2}(e_3)=0.\)
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=0,\ R_{3}(e_3)=0.\)
5.2.10 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{10_{h}}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{10_{h},1})_k,\circ \Big )\simeq (D_4)_\mu \):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{10_{h},1})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_1,\ R_{1}(e_3)=a_{2}e_3.\)
-
\(R_{2}(e_1) =0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{2}e_3.\)
\(\triangleright \)Case 2: If \(k\in \mathbb {C}^*\), we have
-
\(R_{3}(e_1) =0,\ R_{3}(e_2)=a_{1}e_1,\ R_{3}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{4}(e_1) =0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebras\(\Big ((\widehat{A}_{10_{h},2})_k,\circ \Big )\simeq (D_4)_\mu \) and \((\widehat{A}_{10_{h},3},\circ )\simeq D_5\), where
They have the same Rota–Baxter operators, that is,
-
\(R_{1}(e_1) =0,\ R_{1}(e_2)=a_{1}e_1,\ R_{1}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) =0 ,\ R_{2}(e_2)=0,\ R_{2}(e_3)= 0.\)
5.2.11 Rota–Baxter Operators on Pre-Lie Superalgebras of Type \(\widehat{A}_{11}\)
\(\blacksquare \)The pre-Lie superalgebra\(\Big ((\widehat{A}_{11,1})_k,\circ \Big )\simeq (D_4)_\mu \):
Rota–Baxter operators \(\mathrm{RB}((\widehat{A}_{11,1})_k)\) are:
\(\triangleright \)Case 1: If \(k=0\), we have
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=a_{1}e_1,\ R_{1}(e_3)=a_{2}e_3,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=a_{2}e_3.\)
\(\triangleright \)Case 2: If \(k\in \mathbb {C}^*\), we have
-
\(R_{3}(e_1) = 0,\ R_{3}(e_2)=a_{1}e_1,\ R_{3}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{4}(e_1) = 0,\ R_{4}(e_2)=0,\ R_{4}(e_3)=0.\)
\(\blacksquare \)The pre-Lie superalgebras\((\widehat{A}_{11,2},\circ )\simeq D_5\) and \(\Big ((\widehat{A}_{11,3})_k,\circ \Big )\simeq (D_4)_\mu \), where
-
\((\widehat{A}_{11,2},\circ )\ \ \ : \ \ \ e_1\circ e_2=-e_1,~~e_2\circ e_2=e_1-e_2,~~e_3\circ e_2=-\frac{1}{2} e_3,~~~~e_3 \circ e_3=e_1.\)
-
\(\Big ((\widehat{A}_{11,3})_k,\circ \Big ): \ \ \ e_1\circ e_2=-e_1,~~e_2\circ e_2=e_1-e_2,~~e_2\circ e_3=-e_3,~~e_3\circ e_2=k e_3.\)
They have the same Rota–Baxter operators, that is,
-
\(R_{1}(e_1) = 0,\ R_{1}(e_2)=a_{1}e_1,\ R_{1}(e_3)=0,~~a_{1}\ne 0.\)
-
\(R_{2}(e_1) = 0,\ R_{2}(e_2)=0,\ R_{2}(e_3)=0.\)
Remark 4.1
Using the above classification and Corollary 2.4, one may construct the two- and three-dimensional L-dendriform superalgebras associated with the Rota–Baxter pre-Lie superalgebras of dimension 2 and 3 (of weight zero) described above.
References
Aguiar, M.: Infinitesimal bialgebras, pre-Lie algebras and dendriform algebras. In: Hopf Algebras. Lecture Notes in Pure and Applied Mathematics, vol. 237, pp. 1–33 (2004)
Aguiar, M.: Pre-Poisson algebras. Lett. Math. Phys. 54, 263–277 (2000)
Aguiar, M., Loday, J.L.: Quadri-algebras. J. Pure Appl. Algebra 191, 221–251 (2004)
Ammar, F., Makhlouf, A.: Hom-Lie superalgebras and Hom-Lie admissible superalgebras. J. Algebra 324, 1513–1528 (2010)
Andrada, A., Salamon, S.: Complex product structure on Lie algebras. Forum Math. 17, 261–295 (2005)
Atkinson, F.V.: Some aspects of Baxter’s functional equation. J. Math. Anal. Appl. 7, 1–30 (1967)
Baxter, G.: An analytic problem whose solution follows from a simple algebraic identity. Pac. J. Math. 10, 731–742 (1960)
Bai, C.M.: A further study on non-abelian phase spaces: left-symmetric algebraic approach and related geometry. Rev. Math. Phys. 18, 545–564 (2006)
Bai, C.M.: \(\cal{O}\)-operators of Loday algebras and analogues of the classical Yang–Baxter equation. Commun. Algebra 38, 4277–4321 (2010)
Bai, C.M.: A unified algebraic approach to classical Yang–Baxter equation. J. Phys. A Math. Theor. 40, 11073–11082 (2007)
Bai, C.M.: Bijective \(1\)-cocycles and classification of \(3\)-dimensional left-symmetric algebras. Commun. Algebra 37, 1016–1057 (2009)
Bai, C.M., Guo, L., Ni, X.: O-operators on associative algebras and associative Yang–Baxter equations. Pac. J. Math. 256, 257–289 (2012)
Bai, C.M., Guo, L., Ni, X.: Generalizations of the classical Yang–Baxter equation and O-operators. J. Math. Phys. 52, 063515 (2011)
Bai, C.M., Liu, L.G., Ni, X.: Some results on \(L\)-dendriform algebras. J. Geom. Phys. 60, 940–950 (2010)
Bai, C.M., Zhang, R.: On some left-symmetric superalgebras. J. Algebra Appl. 11(5), 1250097 (2012)
Bordemann, M.: Generalized Lax pairs, the modified classical Yang–Baxter equations, and affine geometry of Lie groups. Commun. Math. Phys. 135(1), 201–216 (1990)
Burde, D.: Left-symmetric algebras, or pre-Lie algebras in geometry and physics. Cent. Eur. J. Math. 4(3), 323–357 (2006)
Cartier, P.: On the structure of free Baxter algebras. Adv. Math. 9, 253–265 (1972)
Chapoton, F., Livernet, M.: Pre-Lie algebras and the rooted trees operad. Int. Math. Res. Notices 8, 395–408 (2001)
Cayley, A.: On the theory of analytic forms called trees. In: Cayley, A. (ed.) Collected Mathematical Papers of Arthur Cayley. Notices, vol. 3, pp. 242–246. Cambridge University Press, Cambridge (1890)
Chen, H., Li, J.: Left-symmetric algebra structures on the \(W\)-algebra \(W(2, 2)\). Linear Algebra Appl. 437, 1821–1834 (2012)
Chu, B.Y.: Symplectic homogeneous spaces. Trans. Am. Math. Soc. 197, 145–159 (1974)
Connes, A., Kreimer, D.: Hopf algebras, renormalization and noncommutative geometry. Commun. Math. Phys. 199, 203–242 (1998)
Dardié, J.M., Médina, A.: Algèbres de Lie Kahlériennes et double extension. J. Algebra 185, 744–795 (1996)
Dardié, J.M., Médina, A.: Double extension symplectique d’un groupe de Lie symplectique. Adv. Math. 117, 208–227 (1996)
Diatta, A., Medina, A.: Classical Yang–Baxter equation and left-invariant affine geometry on Lie groups. Manuscipta Math. 114, 477–486 (2004)
Ebrahimi-Fard, K.: Loday-type algebras and the Rota–Baxter relation. Lett. Math. Phys. 61, 139–147 (2002)
Ebrahimi-Fard, K.: On the associative Nijenhuis relation. Elect. J. Comb. 11(1), 38 (2004)
Ebrahimi-Fard, K., Guo, L.: Rota–Baxter algebras and dendriform algebras. J. Pure Appl. Algebra 212, 320–339 (2008)
Ebrahimi-Fard, K., Manchon, D., Patras, F.: New identities in dendriform algebras. J. Algebra 320, 708–727 (2008)
Ebrahimi-Fard, K., Manchon, D.: Dendriform equations. J. Algebra 322, 4053–4079 (2009)
Ebrahimi-Fard, K., Manchon, D.: Twisted dendriform algebras and the preLie Magnus expansions, (2009). arXiv:0910.2166
Ebrahimi-Fard, K., Gracia-Bondia, J.M., Patras, F.: Rota–Baxter algebras and new combinatorial identities. Lett. Math. Phys. 81, 61–75 (2007)
Gerstenhaber, M.: The cohomology structure of associative ring. Ann. Math. 78, 267–288 (1963)
Goze, M., Remm, E.: Lie-admissible algebras and operads. J. Algebra 273, 129–152 (2004)
Guo, L., Keigher, W.: Baxter algebras and shuffle products. Adv. Math. 150(1), 117–149 (2000)
Guo, L.: An introduction to Rota–Baxter Algebra, Surveys of Modern Mathematics, vol. 4. International Press, Higher Education Press, Somerville, Beijing (2012)
Kong, X., Chen, H., Bai, C.: Classification of graded left-symmetric algebra structures on Witt and Virasoro algebras. Int. J. Math. 22(2), 201–202 (2011)
Kong, X.L., Bai, C.M.: Left-symmetric superalgebra structures on the super-Virasoro algebras. Pac. J. Math. 235(1), 43–55 (2008)
Koszul, J.-L.: Domaines bornés homogènes et orbites de groupes de transformations affines. Bull. Soc. Math. Fr. 89, 515–533 (1961)
Kupershmidt, B.A.: What a classical r-matrix really is. J. Nonlinear Math. Phys. (6), 448–488 (1999)
Kupershmidt, B.A.: Non-abelian phase spaces. J. Phys. A Math. Gen. 27, 2801–2809 (1994)
Li, X., Hou, D., Bai, C.: Rota–Baxter operators on pre-Lie algebras. J. Nonlinear Math. Phys. 14(2), 269–289 (2007)
Lichnerowicz, A., Medina, A.: On Lie group with left-invariant symplectic or Kählerian. Lett. Math. Phys. 16(3), 225–235 (1988)
Loday, J.-L.: Dialgebras. Dialgebras and Related Operads. Lecture Notes in Mathematics, vol. 1763, pp. 7–66. Springer, New York (2001)
Makhlouf, A., Yau, D.: Rota–Baxter Hom-Lie-admissible algebras. Commun. Algebra 42(37), 1231–1257 (2013)
Miller, J.B.: Baxter operators and endomorphisms on Banach algebras. J. Math. Anal. Appl. 25, 503–520 (1969)
Ni, J., Wang, Y., Hou, D.: Super \(\cal{O}\)-operators of Jordan Superalgebras and Super Jordan Yang–Baxter Equations. Frontiers Mathematics in China. Higher Education Press, Springer, Berlin Heidelberg (2014). https://doi.org/10.1007/s11464-014-0339-9
Pei, J., Bai, C., Guo, L.: Rota–Baxter on \(sl(2,\mathbb{C})\) and solution of the classical Yang–Baxter equation. J. Math. Phys. 55, 021701 (2014). https://doi.org/10.1063/1.4863898
Rota, G.-C.: Baxter operators. In: Kung, J.P.S. (ed.) Gian-Carlo Rota on Combinatorics, Introductory Paper and commentaries. Birkhauser, Boston (1995)
Rota, G.-C.: Ten mathematics problems \(I\) will never solve. Mitt. Dtsch.-Ver 2, 45–52 (1998)
Vasilieva, E.A., Mikhalev, A.A.: Free left-symmetric superalgebras. Fund. Appl. Math. 2, 611–613 (1996)
Vinberg, E.B.: The theory of homogeneous cones. Trudy Moskov. Mat. Obsc. 12, 303–358 (1963)
Wang, Y., Hou, D., Bai, C.: Operator forms of the classical Yang–Baxter equation in Lie superalgebras. Int. J. Geom. Methods Mod. Phys. 7(4), 583–597 (2010)
Wang, Z.G.: The classification of low-dimensional Lie superalgebras. East China Normal University, Dissertation (2006). (in Chinese)
Acknowledgements
We would like to thank Chengming Bai for his valuable remarks and suggestions. The study was funded by Laboratoire de Mathématiques Appliquées et Analyse Harmonique with Grant No. LR11ES52.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by See Keong Lee.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Abdaoui, EK., Mabrouk, S. & Makhlouf, A. Rota–Baxter Operators on Pre-Lie Superalgebras. Bull. Malays. Math. Sci. Soc. 42, 1567–1606 (2019). https://doi.org/10.1007/s40840-017-0565-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-017-0565-x
Keywords
- Rota–Baxter operator
- Super \(\mathcal {O}\)-operator
- Associative superalgebra
- Lie superalgebra
- Pre-Lie superalgebra
- L-dendriform superalgebras