Abstract
We determine the \(L_\infty \)-algebra that controls deformations of a relative Rota–Baxter Lie algebra and show that it is an extension of the dg Lie algebra controlling deformations of the underlying \(\mathsf {Lie}\mathsf {Rep}\) pair by the dg Lie algebra controlling deformations of the relative Rota–Baxter operator. Consequently, we define the cohomology of relative Rota–Baxter Lie algebras and relate it to their infinitesimal deformations. A large class of relative Rota–Baxter Lie algebras is obtained from triangular Lie bialgebras and we construct a map between the corresponding deformation complexes. Next, the notion of a homotopy relative Rota–Baxter Lie algebra is introduced. We show that a class of homotopy relative Rota–Baxter Lie algebras is intimately related to pre-Lie\(_\infty \)-algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we initiate the study of deformations and cohomology of relative Rota–Baxter Lie algebras and their homotopy versions.
1.1 Rota–Baxter operators
The concept of Rota–Baxter operators on associative algebras was introduced by G. Baxter [6] in his study of fluctuation theory in probability. Recently it has found many applications, including Connes–Kreimer’s [12] algebraic approach to the renormalization in perturbative quantum field theory. Rota–Baxter operators lead to the splitting of operads [3, 45], and are closely related to noncommutative symmetric functions and Hopf algebras [16, 27, 56]. Recently the relationship between Rota–Baxter operators and double Poisson algebras were studied in [23]. In the Lie algebra context, a Rota–Baxter operator was introduced independently in the 1980s as the operator form of the classical Yang–Baxter equation that plays important roles in many subfields of mathematics and mathematical physics such as integrable systems and quantum groups [10, 47]. For further details on Rota–Baxter operators, see [25, 26].
To better understand the classical Yang–Baxter equation and related integrable systems, the more general notion of an \(\mathcal {O}\)-operator (later also called a relative Rota–Baxter operator or a generalized Rota–Baxter operator) on a Lie algebra was introduced by Kupershmidt [33]; this notion can be traced back to Bordemann [7]. Relative Rota–Baxter operators provide solutions of the classical Yang–Baxter equation in the semidirect product Lie algebra and give rise to pre-Lie algebras [2].
1.2 Deformations
The concept of a formal deformation of an algebraic structure began with the seminal work of Gerstenhaber [20, 21] for associative algebras. Nijenhuis and Richardson extended this study to Lie algebras [43, 44]. More generally, deformation theory for algebras over quadratic operads was developed by Balavoine [4]. For more general operads we refer the reader to [31, 37, 40], and the references therein.
There is a well known slogan, often attributed to Deligne, Drinfeld and Kontsevich: every reasonable deformation theory is controlled by a differential graded (dg) Lie algebra, determined up to quasi-isomorphism. This slogan has been made into a rigorous theorem by Lurie and Pridham, cf. [38, 46], and a recent simple treatment in [24].
It is also meaningful to deform maps compatible with given algebraic structures. Recently, the deformation theory of morphisms was developed in [8, 18, 19], the deformation theory of \({\mathcal {O}}\)-operators was developed in [54] and the deformation theory of diagrams of algebras was studied in [5, 17] using the minimal model of operads and the method of derived brackets [32, 39, 55].
Sometimes a dg Lie algebra up to quasi-isomorphism controlling a deformation theory manifests itself naturally as an \(L_\infty \)-algebra. This often happens when one tries to deform several algebraic structures as well as a compatibility relation between them, such as diagrams of algebras mentioned above. We will see that this also happens in the study of deformations of a relative Rota–Baxter Lie algebra, which consists of a Lie algebra, its representation and a relative Rota–Baxter operator (see Definition 2.10). We apply Voronov’s higher derived brackets construction [55] to construct the \(L_\infty \)-algebra that characterizes relative Rota–Baxter Lie algebras as Maurer–Cartan (\({\mathsf {M}}{\mathsf {C}}\)) elements in it. This leads, by a well-known procedure of twisting, to an \(L_\infty \)-algebra controlling deformations of relative Rota–Baxter Lie algebras. Moreover, we show that this \(L_\infty \)-algebra is an extension of the dg Lie algebra that controls deformations of \(\mathsf {Lie}\mathsf {Rep}\) pairs (a \(\mathsf {Lie}\mathsf {Rep}\) pair consists of a Lie algebra and a representation) given in [1] by the dg Lie algebra that controls deformations of relative Rota–Baxter operators given in [54].
1.3 Cohomology theories
A classical approach for studying a mathematical structure is associating invariants to it. Prominent among these are cohomological invariants, or simply cohomology, of various types of algebras. Cohomology controls deformations and extension problems of the corresponding algebraic structures. Cohomology theories of various kinds of algebras have been developed and studied in [11, 20, 29, 30]. More recently these classical constructions have been extended to strong homotopy (or infinity) versions of the algebras, cf. for example [28].
In the present paper we study the cohomology theory for relative Rota–Baxter Lie algebras. A relative Rota–Baxter Lie algebra consists of a Lie algebra, its representation and an operator on it together with appropriate compatibility conditions. Constructing the corresponding cohomology theory is not straightforward due to the complexity of these data. We solve this problem by constructing a deformation complex for a relative Rota–Baxter Lie algebra and endowing it with an \(L_\infty \)-structure. Infinitesimal deformations of relative Rota–Baxter Lie algebras are classified by the second cohomology group. Moreover, we show that there is a long exact sequence of cohomology groups linking the cohomology of \(\mathsf {Lie}\mathsf {Rep}\) pairs introduced in [1], the cohomology of \({\mathcal {O}}\)-operators introduced in [54] and the cohomology of relative Rota–Baxter Lie algebras.
The above general framework has two important special cases: Rota–Baxter Lie algebras and triangular Lie bialgebras and we introduce the corresponding cohomology theories for these objects. We also show that infinitesimal deformations of Rota–Baxter Lie algebras and triangular Lie bialgebras are classified by the corresponding second cohomology groups.
1.4 Homotopy invariant construction of Rota–Baxter Lie algebras
Homotopy invariant algebraic structures play a prominent role in modern mathematical physics [53]. Historically, the first such structure was that of an \(A_\infty \)-algebra introduced by Stasheff in his study of based loop spaces [49, 50]. Relevant later developments include the work of Lada and Stasheff [34, 52] about \(L_\infty \)-algebras in mathematical physics and the work of Chapoton and Livernet [9] about pre-Lie\(_\infty \)-algebras. Strong homotopy (or infinity-) versions of a large class of algebraic structures were studied in the context of operads in [37, 41].
Dotsenko and Khoroshkin studied the homotopy of Rota–Baxter operators on associative algebras in [15], and noted that “in general compact formulas are yet to be found". For Rota–Baxter Lie algebras, one encounters a similarly challenging situation. In this paper, we use the approach of \(L_\infty \)-algebras and their \({\mathsf {M}}{\mathsf {C}}\) elements to formulate the notion of a (strong) homotopy version of a relative Rota–Baxter Lie algebra, which consists of an \(L_\infty \)-algebra, its representation and a homotopy relative Rota–Baxter operator. We show that strict homotopy relative Rota–Baxter operators give rise to pre-Lie\(_\infty \)-algebras, and conversely the identity map is a strict homotopy relative Rota–Baxter operator on the subadjacent \(L_\infty \)-algebra of a pre-Lie\(_\infty \)-algebra.
1.5 Outline of the paper
In Sect. 2, we briefly recall the deformation theory and the cohomology of \(\mathsf {Lie}\mathsf {Rep}\) pairs and relative Rota–Baxter operators. In Sect. 3, we establish the deformation theory of relative Rota–Baxter Lie algebras. In Sect. 4, we introduce the corresponding cohomology theory and explain how it is related to infinitesimal deformations of relative Rota–Baxter Lie algebras in the usual way. In Sect. 4.3, we study the cohomology theory of Rota–Baxter Lie algebras. In Sect. 4.4, we explain how the cohomology theories of triangular Lie bialgebras and of relative Rota–Baxter Lie algebras are related. In Sect. 5, we introduce the notion of a homotopy relative Rota–Baxter operator and characterize it as an \(\mathsf {MC}\) element in a certain \(L_\infty \)-algebra. Finally, we exhibit a close relationship between homotopy relative Rota–Baxter Lie algebras of a certain kind and pre-Lie\(_\infty \)-algebras.
1.6 Notation and conventions
Throughout this paper, we work with a coefficient field \(\mathbf {K}\) which is of characteristic 0, and \(\mathsf {R}\) is a pro-Artinian \(\mathbf {K}\)-algebra, that is a projective limit of local Artinian \(\mathbf {K}\)-algebras.
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 =\mathrm{{Id}}\). The set of all \((i,n-i)\)-shuffles will be denoted by \({\mathbb {S}}_{(i,n-i)}\). The notion of an \((i_1,\cdots ,i_k)\)-shuffle and the set \({\mathbb {S}}_{(i_1,\cdots ,i_k)}\) are defined analogously.
Let \(V=\oplus _{k\in {\mathbb {Z}}}V^k\) be a \({\mathbb {Z}}\)-graded vector space. We will denote by \(\mathsf {S}(V)\) the symmetric algebra of V. That is, \( \mathsf {S}(V):=\mathsf {T}(V)/I, \) where \(\mathsf {T}(V)\) is the tensor algebra and I is the 2-sided ideal of \(\mathsf {T}(V)\) generated by all homogeneous elements of the form \( x\otimes y-(-1)^{xy}y\otimes x. \) We will write \(\mathsf {S}(V)=\oplus _{i=0}^{+\infty }\mathsf {S}^i (V)\). Moreover, we denote the reduced symmetric algebra by \({\bar{\mathsf {S}}}(V):=\oplus _{i=1}^{+\infty }\mathsf {S}^{i}(V)\). Denote the product of homogeneous elements \(v_1,\cdots ,v_n\in V\) in \(\mathsf {S}^n(V)\) by \(v_1\odot \cdots \odot v_n\). The degree of \(v_1\odot \cdots \odot v_n\) is by definition the sum of the degrees of \(v_i\). For a permutation \(\sigma \in {\mathbb {S}}_n\) and \(v_1,\cdots , v_n\in V\), the Koszul sign \(\varepsilon (\sigma )=\varepsilon (\sigma ;v_1,\cdots ,v_n)\in \{-1,1\}\) is defined by
The desuspension operator \(s^{-1}\) changes the grading of V 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\).
A degree 1 element \(\theta \in \mathfrak g^1\) is called an \(\mathsf {MC}\) element of a differential graded Lie algebra \(( \oplus _{k\in \mathbb Z}\mathfrak g^k,[\cdot ,\cdot ],d)\) if it satisfies the \(\mathsf {MC}\) equation: \(d \theta +\frac{1}{2}[\theta ,\theta ]=0.\)
2 Maurer–Cartan Characterizations of \(\mathsf {Lie}\mathsf {Rep}\) Pairs and Relative Rota–Baxter Operators
2.1 Bidegrees and the Nijenhuis–Richardson bracket
Let \(\mathfrak g\) be a vector space. For all \(n\ge 0\), set \(C^n(\mathfrak g,\mathfrak g):=\mathrm {Hom}(\wedge ^{n+1}\mathfrak g,\mathfrak g).\) Let \(\mathfrak g_1\) and \(\mathfrak g_2\) be two vector spaces and elements in \(\mathfrak g_1\) will be denoted by \(x,y,z, x_i\) and elements in \(\mathfrak g_2\) will be denoted by \(u,v,w,v_i\). For a multilinear map \(f:\wedge ^{k}\mathfrak g_1\otimes \wedge ^{l}\mathfrak g_2\,\rightarrow \,\mathfrak g_1\), we define \({\hat{f}}\in C^{k+l-1}\big (\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2\big )\) by
Similarly, for \(f:\wedge ^{k}\mathfrak g_1\otimes \wedge ^{l}\mathfrak g_2\,\rightarrow \,\mathfrak g_2\), we define \({\hat{f}}\in C^{k+l-1}\big (\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2\big )\) by
The linear map \({\hat{f}}\) is called a lift of f. We define \(\mathfrak g^{k,l}:=\wedge ^k\mathfrak g_1\otimes \wedge ^{l}\mathfrak g_2\). The vector space \(\wedge ^{n}(\mathfrak g_1\oplus \mathfrak g_2)\) is isomorphic to the direct sum of \(\mathfrak g^{k,l},~k+l=n\).
Definition 2.1
A linear map \(f\in \mathrm {Hom}\big (\wedge ^{k+l+1}(\mathfrak g_1\oplus \mathfrak g_2),\mathfrak g_1\oplus \mathfrak g_2\big )\) has a bidegree k|l, which is denoted by \(||f||=k|l\), if f satisfies the following two conditions:
-
(i)
If \(X\in \mathfrak g^{k+1,l}\), then \(f(X)\in \mathfrak g_1\) and if \(X\in \mathfrak g^{k,l+1}\), then \(f(X)\in \mathfrak g_2;\)
-
(ii)
In all the other cases \(f(X)=0.\)
We denote the set of homogeneous linear maps of bidegree k|l by \(C^{k|l}(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2)\).
It is clear that this gives a well-defined bigrading on the vector space \(\mathrm {Hom}\big (\wedge ^{k+l+1}(\mathfrak g_1\oplus \mathfrak g_2),\mathfrak g_1\oplus \mathfrak g_2\big )\). We have \(k+l\ge 0,~k,l\ge -1\) because \(k+l+1\ge 1\) and \(k+1,~l+1\ge 0\).
Let \(\mathfrak g\) be a vector space. We consider the graded vector space \(C^*(\mathfrak g,\mathfrak g)=\oplus _{n=0}^{+\infty }C^{n}({\mathfrak {g}}, {\mathfrak {g}})=\oplus _{n=0}^{+\infty }\mathrm {Hom}(\wedge ^{n+1}\mathfrak g,\mathfrak g). \) Then \(C^*(\mathfrak g,\mathfrak g)\) equipped with the Nijenhuis–Richardson bracket
is a graded Lie algebra, where \(P{\bar{\circ }}Q\in C^{p+q}({\mathfrak {g}},{\mathfrak {g}})\) is defined by
Remark 2.2
In fact, the Nijenhuis–Richardson bracket is the commutator of coderivations on the cofree conilpotent cocommutative coalgebra \({\bar{\mathsf {S}}}^c(s^{-1}\mathfrak g)\). See [43, 51] for more details.
The following lemmas are very important in our later study.
Lemma 2.3
The Nijenhuis–Richardson bracket on \(C^*(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2)\) is compatible with the bigrading. More precisely, if \(||f||=k_f|l_f\), \(||g||=k_g|l_g\), then \([f,g]_{\mathsf {NR}}\) has bidegree \((k_f+k_g)|(l_f+l_g).\)
Proof
It follows from direct computation. \(\square \)
Remark 2.4
In our later study, the subspaces \(C^{k|0}(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2)\) and \(C^{-1|l}(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2)\) will be frequently used. By the above lift map, we have the following isomorphisms:
Lemma 2.5
If \(||f||=(-1)|k\) and \(||g||=(-1)|l\), then \([f,g]_{\mathsf {NR}}=0.\) Consequently, \(\oplus _{l=1}^{+\infty } C^{-1|l}(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2)\) is an abelian subalgebra of the graded Lie algebra \((C^*(\mathfrak g_1\oplus \mathfrak g_2,\mathfrak g_1\oplus \mathfrak g_2),[\cdot ,\cdot ]_\mathsf {NR})\)
Proof
It follows from Lemma 2.3. \(\square \)
2.2 \(\mathsf {MC}\) characterization, deformations and cohomology of \(\mathsf {Lie}\mathsf {Rep}\) pairs
Let \(\mathfrak g\) be a vector space. For \(\mu \in C^{1}(\mathfrak g,\mathfrak g)=\mathrm {Hom}(\wedge ^2\mathfrak g,\mathfrak g)\), we have
Thus, \(\mu \) defines a Lie algebra structure on \(\mathfrak g\) if and only if \([\mu ,\mu ]_{\mathsf {NR}}=0\).
Define the set of 0-cochains \(\mathfrak C^0_\mathrm {Lie}(\mathfrak g;\mathfrak g)\) to be 0, and define the set of n-cochains \(\mathfrak C^n_\mathrm {Lie}(\mathfrak g;\mathfrak g)\) to be
The Chevalley–Eilenberg coboundary operator \(\mathrm {d}_\mathsf {CE}\) of the Lie algebra \(\mathfrak g\) with coefficients in the adjoint representation is defined by
The resulting cohomology is denoted by \(\mathcal {H}^*_{\mathrm {Lie}}(\mathfrak g;\mathfrak g)\).
Definition 2.6
A \(\mathsf {Lie}\mathsf {Rep}\) pair consists of a Lie algebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) and a representation \(\rho :\mathfrak g\longrightarrow \mathfrak {gl}(V)\) of \(\mathfrak g\) on a vector space V.
Usually we will also use \(\mu \) to indicate the Lie bracket \([\cdot ,\cdot ]_\mathfrak g\), and denote a \(\mathsf {Lie}\mathsf {Rep}\) pair by \((\mathfrak g,\mu ;\rho )\).
Note that \(\mu +\rho \in C^{1|0}(\mathfrak g\oplus V,\mathfrak g\oplus V)\). Moreover, the fact that \(\mu \) is a Lie bracket and \(\rho \) is a representation is equivalent to that
Next, the following result holds:
Proposition 2.7
[1] Let \(\mathfrak g\) and V be two vector spaces. Then \(\big (\oplus _{k=0}^{+\infty } C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}}\big )\) is a graded Lie algebra. Its \(\mathsf {MC}\) elements are precisely \(\mathsf {Lie}\mathsf {Rep}\) pairs. \(\quad \square \)
Let \((\mathfrak g,\mu ;\rho )\) be a \(\mathsf {Lie}\mathsf {Rep}\) pair. By Proposition 2.7, \(\pi =\mu +\rho \) is an \(\mathsf {MC}\) element of the graded Lie algebra \(\big (\oplus _{k=0}^{+\infty } C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}}\big )\). It follows from the graded Jacobi identity that \(d_\pi :=[\pi ,\cdot ]_{\mathsf {NR}}\) is a graded derivation of the graded Lie algebra \(\big (\oplus _{k=0}^{+\infty } C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}}\big )\) satisfying \(d^2_\pi =0\). Therefore we have
Theorem 2.8
[1] Let \((\mathfrak g,\mu ;\rho )\) be a \(\mathsf {Lie}\mathsf {Rep}\) pair. Then \(\big (\oplus _{k=0}^{+\infty } C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}},d_\pi \big )\) is a dg Lie algebra.
Furthermore, \((\mathfrak g,\mu +\mu ';\rho +\rho ')\) is also a \(\mathsf {Lie}\mathsf {Rep}\) pair for \(\mu '\in \mathrm {Hom}(\wedge ^2\mathfrak g,\mathfrak g)\) and \(\rho '\in \mathrm {Hom}(\mathfrak g,\mathfrak {gl}(V))\) if and only if \(\mu '+\rho '\) is an \(\mathsf {MC}\) element of the dg Lie algebra \(\big (\oplus _{k=0}^{+\infty } C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}},d_\pi \big )\). \(\quad \square \)
Let \((\mathfrak g,\mu ;\rho )\) be a \(\mathsf {Lie}\mathsf {Rep}\) pair. Define the set of 0-cochains \(\mathfrak C^0(\mathfrak g,\rho )\) to be 0. For \(n\ge 1\), we define the set of n-cochains \(\mathfrak C^n(\mathfrak g,\rho )\) to be
Define the coboundary operator \(\partial :\mathfrak C^n(\mathfrak g,\rho )\,\rightarrow \,\mathfrak C^{n+1}(\mathfrak g,\rho )\) by
By Proposition 2.7, we deduce that \(\partial \circ \partial =0\). Thus we obtain the complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\rho ),\partial )\).
Definition 2.9
[1] The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\rho ),\partial )\) is called the cohomology of the \(\mathsf {Lie}\mathsf {Rep}\) pair \((\mathfrak g,\mu ;\rho )\). The resulting nth cohomology group is denoted by \(\mathcal {H}^n(\mathfrak g,\rho )\).
Now we give the precise formula for \(\partial \). For any n-cochain \(f\in \mathfrak C^n(\mathfrak g,\rho )\), by (3), we will write \(f=(f_\mathfrak g,f_V)\), where \(f_\mathfrak g\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\) and \(f_V\in \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes V,V)\). Then we have
where \((\partial f)_\mathfrak g=\mathrm {d}_\mathsf {CE}f_\mathfrak g\) and \((\partial f)_V\) is given by
2.3 \(\mathsf {MC}\) characterization, deformations and cohomologies of relative Rota–Baxter operators
We now recall the notion of a relative Rota–Baxter operator. Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) be a Lie algebra and \(\rho :\mathfrak g\longrightarrow \mathfrak {gl}(V)\) a representation of \(\mathfrak g\) on a vector space V.
Definition 2.10
-
(i)
A linear operator \(T:\mathfrak g\longrightarrow \mathfrak g\) is called a Rota–Baxter operator if
$$\begin{aligned} {[}T(x),T(y)]_\mathfrak g=T\big ([T(x),y]_\mathfrak g+ [x,T(y)]_\mathfrak g\big ), \quad \forall x, y \in \mathfrak g. \end{aligned}$$(9)Moreover, a Lie algebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) with a Rota–Baxter operator T is called a Rota–Baxter Lie algebra. We denote it by \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,T)\).
-
(ii)
A relative Rota–Baxter Lie algebra is a triple \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\), where \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) is a Lie algebra, \(\rho :\mathfrak g\longrightarrow \mathfrak {gl}(V)\) is a representation of \(\mathfrak g\) on a vector space V and \(T:V\longrightarrow \mathfrak g\) is a relative Rota–Baxter operator, i.e.
$$\begin{aligned} {[}Tu,Tv]_\mathfrak g=T\big (\rho (Tu)(v)-\rho (Tv)(u)\big ),\quad \forall u,v\in V. \end{aligned}$$(10)
Note that a Rota–Baxter operator on a Lie algebra is a relative Rota–Baxter operator with respect to the adjoint representation.
Definition 2.11
-
(i)
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,T)\) and \((\mathfrak g',\{\cdot ,\cdot \}_{\mathfrak g'},T')\) be Rota–Baxter Lie algebras. A linear map \(\phi :\mathfrak g'\,\rightarrow \,\mathfrak g\) is called a homomorphism of Rota–Baxter Lie algebras if \(\phi \) is a Lie algebra homomorphism and \( \phi \circ T'=T\circ \phi . \)
-
(ii)
Let \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) and \(((\mathfrak g',\{\cdot ,\cdot \}_{\mathfrak g'}),\rho ',T')\) be two relative Rota–Baxter Lie algebras. A homomorphism from \(((\mathfrak g',\{\cdot ,\cdot \}_{\mathfrak g'}),\rho ',T')\) to \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) consists of a Lie algebra homomorphism \(\phi :\mathfrak g'\longrightarrow \mathfrak g\) and a linear map \(\varphi :V'\longrightarrow V\) such that
$$\begin{aligned} T\circ \varphi= & {} \phi \circ T', \end{aligned}$$(11)$$\begin{aligned} \varphi \rho '(x)(u)= & {} \rho (\phi (x))(\varphi (u)),\quad \forall x\in \mathfrak g', u\in V'. \end{aligned}$$(12)In particular, if \(\phi \) and \(\varphi \) are invertible, then \((\phi ,\varphi )\) is called an isomorphism.
Define a skew-symmetric bracket operation on the graded vector space \(\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g)\) by
Proposition 2.12
[54] With the above notation, \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g),\llbracket \cdot ,\cdot \rrbracket )\) is a graded Lie algebra. Its \(\mathsf {MC}\) elements are precisely relative Rota–Baxter operators on \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) with respect to the representation \((V;\rho )\). \(\square \)
Let \(T:V\longrightarrow \mathfrak g\) be a relative Rota–Baxter operator. By Proposition 2.12, T is an \(\mathsf {MC}\) element of the graded Lie algebra \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g),\llbracket \cdot ,\cdot \rrbracket )\). It follows from graded Jacobi identity that \(d_T:=\llbracket T,\cdot \rrbracket \) is a graded derivation on the graded Lie algebra \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g),\llbracket \cdot ,\cdot \rrbracket )\) satisfying \(d^2_T=0\). Therefore we have
Theorem 2.13
[54] With the above notation, \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g),\llbracket \cdot ,\cdot \rrbracket ,d_T)\) is a dg Lie algebra.
Furthermore, \(T+T'\) is still a relative Rota–Baxter operator on the Lie algebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) with respect to the representation \((V;\rho )\) for \(T':V\longrightarrow \mathfrak g\) if and only if \(T'\) is an \(\mathsf {MC}\) element of the dg Lie algebra \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g),\llbracket \cdot ,\cdot \rrbracket ,d_T)\). \(\quad \square \)
Now we define the cohomology governing deformations of a relative Rota–Baxter operator \(T:V\,\rightarrow \,\mathfrak g.\) The spaces of 0-cochains \(\mathfrak C^0(T)\) and of 1-cochains \(\mathfrak C^1(T)\) are set to be 0. For \(n\ge 2\), define the vector space of n-cochains \(\mathfrak C^n(T)\) as \(\mathfrak C^n(T)=\mathrm {Hom}(\wedge ^{n-1}V,\mathfrak g)\).
Define the coboundary operator \(\delta :\mathfrak C^n(T)\,\rightarrow \,\mathfrak C^{n+1}(T)\) by
By Proposition 2.12, \((\oplus _{n=0}^{+\infty }\mathfrak C^n(T),\delta )\) is a cochain complex.
Definition 2.14
[54] The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n(T),\delta )\) is called the cohomology of the relative Rota–Baxter operator \(T:V\,\rightarrow \,\mathfrak g.\) The corresponding nth cohomology group is denoted by \(\mathcal {H}^n(T)\).
See [54] for explicit formulas of the coboundary operator \(\delta .\)
3 Maurer–Cartan Characterization and Deformations of Relative Rota–Baxter Lie Algebras
In this section, we apply Voronov’s higher derived brackets to construct the \(L_\infty \)-algebra that characterizes relative Rota–Baxter Lie algebras as \(\mathsf {MC}\) elements. Consequently, we obtain the \(L_\infty \)-algebra that controls deformations of a relative Rota–Baxter Lie algebra.
3.1 \(L_\infty \)-algebras and higher derived brackets
The notion of an \(L_\infty \)-algebra was introduced by Stasheff in [52]. See [34, 35] for more details.
Definition 3.1
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}$$
There is a canonical way to view a differential graded Lie algebra as an \(L_\infty \)-algebra.
Lemma 3.2
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,d)\) be a dg Lie algebra. Then \((s^{-1}\mathfrak g,\{l_i\}_{i=1}^{+\infty })\) is an \(L_\infty \)-algebra, where \( l_1(s^{-1}x)=s^{-1}d(x),~ l_2(s^{-1}x,s^{-1}y)=(-1)^{x}s^{-1}[x,y]_\mathfrak g,~ l_k=0,\) for all \(k\ge 3, \) and homogeneous elements \(x,y\in \mathfrak g\). \(\quad \square \)
Definition 3.3
A weakly filtered \(L_\infty \)-algebra is a pair \((\mathfrak g,\mathcal {F}_{\bullet }\mathfrak g)\), where \(\mathfrak g\) is an \(L_\infty \)-algebra and \(\mathcal {F}_{\bullet }\mathfrak g\) is a descending filtration of the graded vector space \(\mathfrak g\) such that \(\mathfrak g=\mathcal {F}_1\mathfrak g\supset \cdots \supset \mathcal {F}_n\mathfrak g\supset \cdots \) and
-
(i)
there exists \(n\ge 1\) such that for all \(k\ge n\) it holds that \( l_k(\mathfrak g,\cdots ,\mathfrak g)\subset \mathcal {F}_{k}\mathfrak g,\)
-
(ii)
\(\mathfrak g\) is complete with respect to this filtration, i.e. there is an isomorphism of graded vector spaces \( \mathfrak g\cong \underleftarrow{\lim }~\mathfrak g/\mathcal {F}_n\mathfrak g\).
Definition 3.4
The set of \(\mathsf {MC}\) elements, denoted by \({\mathsf {M}}{\mathsf {C}}(\mathfrak g)\), of a weakly filtered \(L_\infty \)-algebra \((\mathfrak g,\mathcal {F}_{\bullet }\mathfrak g)\) is the set of those \(\alpha \in \mathfrak g^0\) satisfying the \(\mathsf {MC}\) equation
Let \(\alpha \) be an \(\mathsf {MC}\) element. Define \(l_k^{\alpha }:\otimes ^k\mathfrak g\,\rightarrow \,\mathfrak g\) \((k\ge 1)\) by
Remark 3.5
The condition of being weakly filtered ensures convergence of the series figuring in the definition of \(\mathsf {MC}\) elements and \(\mathsf {MC}\) twistings above. Note that the notion of a filtered \(L_\infty \)-algebra is due to Dolgushev and Rogers [13]. For our purposes the weaker notion defined above suffices.
The following result is essentially contained in [22, Section 4]; that paper works with a different type of \(L_\infty \) algebras than weakly filtered ones, but this does not affect the arguments.
Theorem 3.6
With the above notation, \((\mathfrak g,\{l_k^{\alpha }\}_{k=1}^{+\infty })\) is a weakly filtered \(L_\infty \)-algebra, obtained from \(\mathfrak g\) by twisting with the \(\mathsf {MC}\) element \(\alpha \). Moreover, \(\alpha +\alpha '\) is an \(\mathsf {MC}\) element of \((\mathfrak g,\mathcal {F}_{\bullet }\mathfrak g)\) if and only if \(\alpha '\) is an \(\mathsf {MC}\) element of the twisted \(L_\infty \)-algebra \((\mathfrak g,\{l_k^{\alpha }\}_{k=1}^{+\infty })\).
\(\square \)
One method for constructing explicit \(L_\infty \)-algebras is given by Voronov’s derived brackets [55]. Let us recall this construction.
Definition 3.7
A V-data consists of a quadruple \((L,\mathfrak h,P,\Delta )\) where
-
\((L,[\cdot ,\cdot ])\) is a graded Lie algebra,
-
\(\mathfrak h\) is an abelian graded Lie subalgebra of \((L,[\cdot ,\cdot ])\),
-
\(P:L\,\rightarrow \,L\) is a projection, that is \(P\circ P=P\), whose image is \(\mathfrak h\) and kernel is a graded Lie subalgebra of \((L,[\cdot ,\cdot ])\),
-
\(\Delta \) is an element in \( \ker (P)^1\) such that \([\Delta ,\Delta ]=0\).
Theorem 3.8
[55] Let \((L,\mathfrak h,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 \((L,\mathfrak h,P,\Delta )\). \(\square \)
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, 18, 19].
Theorem 3.9
[55] Let \((L,\mathfrak h,P,\Delta )\) be a V-data. Then the graded vector space \(s^{-1}L\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 L. All the other \(L_\infty \)-algebra products that are not obtained from the ones written above by permutations of arguments, will vanish. \(\square \)
Remark 3.10
[18] Let \(L'\) be a graded Lie subalgebra of L that satisfies \([\Delta ,L']\subset L'\). Then \(s^{-1}L'\oplus \mathfrak h\) is an \(L_\infty \)-subalgebra of the above \(L_\infty \)-algebra \((s^{-1}L\oplus \mathfrak h,\{l_k\}_{k=1}^{+\infty })\).
3.2 The \(L_\infty \)-algebra that controls deformations of relative Rota–Baxter Lie algebras
Let \(\mathfrak g\) and V be two vector spaces. Then we have a graded Lie algebra \((\oplus _{n=0}^{+\infty }C^{n}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\). This graded Lie algebra gives rise to a V-data, and an \(L_\infty \)-algebra naturally.
Proposition 3.11
We have a V-data \((L,\mathfrak h,P,\Delta )\) as follows:
-
the graded Lie algebra \((L,[\cdot ,\cdot ])\) is given by \(\big (\oplus _{n=0}^{+\infty }C^{n}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}}\big )\);
-
the abelian graded Lie subalgebra \(\mathfrak h\) is given by
$$\begin{aligned} \mathfrak h:=\oplus _{n=0}^{+\infty }C^{-1|(n+1)}(\mathfrak g\oplus V,\mathfrak g\oplus V)=\oplus _{n=0}^{+\infty }\mathrm {Hom}(\wedge ^{n+1}V,\mathfrak g); \end{aligned}$$(17) -
\(P:L\,\rightarrow \,L\) is the projection onto the subspace \(\mathfrak h\);
-
\(\Delta =0\).
Consequently, we obtain an \(L_\infty \)-algebra \((s^{-1}L\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 L\) and all the other possible combinations vanish.
Proof
Note that \( \mathfrak h=\oplus _{n=0}^{+\infty }C^{-1|(n+1)}(\mathfrak g\oplus V,\mathfrak g\oplus V)=\oplus _{n=0}^{+\infty }\mathrm {Hom}(\wedge ^{n+1}V,\mathfrak g). \) By Lemma 2.5, we deduce that \(\mathfrak h\) is an abelian subalgebra of \((L,[\cdot ,\cdot ])\).
Since P is the projection onto \(\mathfrak h\), it is obvious that \(P\circ P=P\). It is also straightforward to see that the kernel of P is a graded Lie subalgebra of \((L,[\cdot ,\cdot ])\). Thus \((L,\mathfrak h,P,\Delta =0)\) is a V-data.
The other conclusions follows immediately from Theorem 3.9. \(\square \)
By Lemma 2.3, we obtain that
is a graded Lie subalgebra of \(\big (\oplus _{n=0}^{+\infty }C^{n}(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}}\big )\).
Corollary 3.12
With the above notation, \((s^{-1}L'\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 L'\), and all the other possible combinations vanish.
Moreover, \((s^{-1}L'\oplus \mathfrak h,\{l_i\}_{i=1}^{+\infty })\) is weakly filtered with \(n=3\) in the sense of Definition 3.3 with the filtration given by
Proof
The stated formulas for the \(L_\infty \)-structure follow from Remark 3.10 and Proposition 3.11. To see that the given filtration satisfies the conditions of Definition 3.3 it suffices to note that any element \(h\in \mathfrak h\) can be written as \(h=\sum _{i=1}^{+\infty }{h_i}\) where \(h_i\in \mathrm {Hom}(\wedge ^i V,\mathfrak g)\) and that the term \(h_1:V\rightarrow \mathfrak g\) is nilpotent (even has square zero) when viewed as an endomorphism of \(\mathfrak g\oplus V\). \(\quad \square \)
Now we are ready to formulate the main result in this subsection.
Theorem 3.13
Let \(\mathfrak g\) and V be two vector spaces, \(\mu \in \mathrm {Hom}(\wedge ^2\mathfrak g,\mathfrak g),~\rho \in \mathrm {Hom}(\mathfrak g\otimes V,V)\) and \(T\in \mathrm {Hom}(V,\mathfrak g)\). Then \(((\mathfrak g,\mu ),\rho ,T)\) is a relative Rota–Baxter Lie algebra if and only if \((s^{-1}\pi ,T)\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra \((s^{-1}L'\oplus \mathfrak h,\{l_i\}_{i=1}^{+\infty })\) given in Corollary 3.12, where \(\pi =\mu +\rho \in C^{1|0}(\mathfrak g\oplus V,\mathfrak g\oplus V)\).
Proof
Since \((s^{-1}L'\oplus \mathfrak h)^0=s^{-1}\big (\mathrm {Hom}(\mathfrak g\wedge \mathfrak g,\mathfrak g)\oplus \mathrm {Hom}(\mathfrak g\otimes V,V)\big )\oplus \mathrm {Hom}(V,\mathfrak g)\subset \mathcal {F}_{1}(s^{-1}L'\oplus \mathfrak h)\), the \(\mathsf {MC}\) equation is well defined. Let \((s^{-1}\pi ,T)\) be an \(\mathsf {MC}\) element of \((s^{-1}L'\oplus \mathfrak h,\{l_i\}_{i=1}^{+\infty })\). By Lemmas 2.3 and 2.5, we have
Then, by Corollary 3.12, we have
Thus, we obtain \( ~[\pi ,\pi ]_{\mathsf {NR}}=0\) and \( [[\pi ,T]_{\mathsf {NR}},T]_{\mathsf {NR}}=0, \) which implies that \((\mathfrak g,\mu )\) is a Lie algebra, \((V;\rho )\) is its representation and T is a relative Rota–Baxter operator on the Lie algebra \((\mathfrak g,\mu )\) with respect to the representation \((V;\rho )\). \(\square \)
Remark 3.14
Since the axiom defining a relative Rota–Baxter Lie algebra is not quadratic, it can be anticipated that the deformation complex of a Rota–Baxter Lie algebra is a fully-fledged \(L_\infty \)-algebra rather than a differential graded Lie algebra.
Let \(((\mathfrak g,\mu ),\rho ,T)\) be a relative Rota–Baxter Lie algebra. Denote by \(\pi =\mu +\rho \in C^{1|0}(\mathfrak g\oplus V,\mathfrak g\oplus V)\). By Theorem 3.13, we obtain that \((s^{-1}\pi ,T)\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra \((s^{-1}L'\oplus \mathfrak h,\{l_i\}_{i=1}^{+\infty })\) given in Corollary 3.12. Now we are ready to give the \(L_\infty \)-algebra that controls deformations of the relative Rota–Baxter Lie algebra.
Theorem 3.15
With the above notation, we have the twisted \(L_\infty \)-algebra \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\) associated to a relative Rota–Baxter Lie algebra \(((\mathfrak g,\mu ),\rho ,T)\), where \(\pi =\mu +\rho \).
Moreover, for linear maps \(T'\in \mathrm {Hom}(V,\mathfrak g)\), \(\mu '\in \mathrm {Hom}(\wedge ^2\mathfrak g,\mathfrak g)\) and \(\rho '\in \mathrm {Hom}(\mathfrak g,\mathfrak {gl}(V))\), the triple \(((\mathfrak g,\mu +\mu '),\rho +\rho ',T+T')\) is again a relative Rota–Baxter Lie algebra if and only if \(\big (s^{-1}(\mu '+\rho '),T'\big )\) is an \(\mathsf {MC}\) element of the twisted \(L_\infty \)-algebra \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\).
Proof
If \(((\mathfrak g,\mu +\mu '),\rho +\rho ',T+T')\) is a relative Rota–Baxter Lie algebra, then by Theorem 3.13, we deduce that \((s^{-1}(\mu +\mu '+\rho +\rho '),T+T')\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra given in Corollary 3.12. Moreover, by Theorem 3.6, we obtain that \((s^{-1}(\mu '+\rho '),T')\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\). \(\quad \square \)
Let \((\mathfrak g,\mu )\) be a Lie algebra and \((V;\rho )\) a representation of \((\mathfrak g,\mu )\). By Theorem 2.8 and Lemma 3.2, we have an \(L_\infty \)-algebra structure on the graded vector space \(\oplus _{k=0}^{+\infty }s^{-1}C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V)\).
Let \(T:V\longrightarrow \mathfrak g\) be a relative Rota–Baxter operator on a Lie algebra \((\mathfrak g,\mu )\) with respect to a representation \((V;\rho )\). By Theorem 2.13 and Lemma 3.2, we have an \(L_\infty \)-algebra structure on the graded vector space \(\oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g)\).
The above \(L_\infty \)-algebras are related as follows.
Theorem 3.16
Let \(((\mathfrak g,\mu ),\rho ,T)\) be a relative Rota–Baxter Lie algebra. Then the \(L_\infty \)-algebra \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\) is a strict extension of the \(L_\infty \)-algebra \( \oplus _{k=0}^{+\infty }s^{-1}C^{k|0}(\mathfrak g\oplus V,\mathfrak g\oplus V) \) by the \(L_\infty \)-algebra \( \oplus _{k=1}^{+\infty }\mathrm {Hom}(\wedge ^{k}V,\mathfrak g)\), that is, we have the following short exact sequence of \(L_\infty \)-algebras:
where \(\iota (\theta )=(0,\theta )\) and \(p(s^{-1}f,\theta )=s^{-1}f\).
Proof
For any \((s^{-1}f,\theta )\in (s^{-1}L'\oplus \mathfrak h)^{n-2}\), by Lemmas 2.3 and 2.5, we obtain that
Moreover, for \(1\le k\le n\), we have
and for \(n+1\le k\), we have \( \underbrace{[\cdots [[}_{ k}f,T]_{\mathsf {NR}},T]_{\mathsf {NR}},\cdots ,T]_{\mathsf {NR}}=0. \) Therefore, we have
For any \((s^{-1}f_1,\theta _1)\in (s^{-1}L'\oplus \mathfrak h)^{n_1-2},~(s^{-1}f_2,\theta _2)\in (s^{-1}L'\oplus \mathfrak h)^{n_2-2}\), we have
By Lemma 2.3, \(||[[\pi ,\theta _1]_{\mathsf {NR}},\theta _1]_{\mathsf {NR}}||=-1|(n_1+n_2-2),~ ||[f_1,\theta _2]_{\mathsf {NR}}||=(n_1-2)|(n_2-1),~ ||[f_2,\theta _1]_{\mathsf {NR}}||=(n_2-2)|(n_1-1). \) By Lemma 2.5, for \( 1\le k\), we have
By Lemma 2.3, for \(1\le k\le n_1-1\), we obtain that
By Lemma 2.5, for \( n_1\le k\), we have \([[\cdots [[f_1,\underbrace{T]_{\mathsf {NR}},T]_{\mathsf {NR}}\cdots ,T}_{k}]_{\mathsf {NR}},\theta _2]_{\mathsf {NR}}=0.\) By Lemma 2.3, for \(1\le k\le n_2-1\), we obtain that \(||[[\cdots [[f_2,\underbrace{T]_{\mathsf {NR}},T]_{\mathsf {NR}}\cdots ,T}_{k}]_{\mathsf {NR}}, \theta _1]_{\mathsf {NR}}||=(n_2-k-2)|(n_1+k-1). \) By Lemma 2.5, for \( n_2\le k\), we have \([[\cdots [[f_2,\underbrace{T]_{\mathsf {NR}},T]_{\mathsf {NR}}\cdots ,T}_{k}]_{\mathsf {NR}},\theta _1]_{\mathsf {NR}}=0.\) Therefore, we have
Similarly, for \( m\ge 3\), \((s^{-1}f_i,\theta _i)\in (s^{-1}L'\oplus \mathfrak h)^{n_i-2}\), \(1\le i\le m\), we have
where \(\alpha =n_i(n_1+\cdots +n_{i-1})\). Thus, \(\iota \) and p are strict morphisms between \(L_\infty \)-algebras and satisfy \(p\circ \iota =0\). \(\quad \square \)
4 Cohomology and Infinitesimal Deformations of Relative Rota–Baxter Lie Algebras
In this section, \(((\mathfrak g,\mu ),\rho ,T)\) is a relative Rota–Baxter Lie algebra, i.e. \(\rho :\mathfrak g\,\rightarrow \,\mathfrak {gl}(V)\) is a representation of the Lie algebra \((\mathfrak g,\mu )\) and \(T:V\,\rightarrow \,\mathfrak g\) is a relative Rota–Baxter operator. We define the cohomology of relative Rota–Baxter Lie algebras and show that the two-dimensional cohomology groups classify infinitesimal deformations. We also establish a relationship between the cohomology of relative Rota–Baxter Lie algebras and the cohomology of triangular Lie bialgebras.
4.1 Cohomology of relative Rota–Baxter Lie algebras
We define the cohomology of a relative Rota–Baxter Lie algebra using the twisted \(L_\infty \)-algebra given in Theorem 3.15.
By Theorem 3.15, \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\) is an \(L_\infty \)-algebra, where \(\pi =\mu +\rho \), \(\mathfrak h\) and \(L'\) are given by (17) and (18) respectively. In particular, we have
Lemma 4.1
\(\big (s^{-1}L'\oplus \mathfrak h,l_1^{(s^{-1}\pi ,T)}\big )\) is a complex, i.e. \(l_1^{(s^{-1}\pi ,T)}\circ l_1^{(s^{-1}\pi ,T)}=0.\)
Proof
Since \(\big (s^{-1}L'\oplus \mathfrak h,\{l_k^{(s^{-1}\pi ,T)}\}_{k=1}^{+\infty }\big )\) is an \(L_\infty \)-algebra, we have \(l_1^{(s^{-1}\pi ,T)}\circ l_1^{(s^{-1}\pi ,T)}=0.\) \(\quad \square \)
Define the set of 0-cochains \(\mathfrak C^0(\mathfrak g,\rho ,T)\) to be 0, and define the set of 1-cochains \(\mathfrak C^1(\mathfrak g,\rho ,T)\) to be \(\mathfrak {gl}(\mathfrak g)\oplus \mathfrak {gl}(V)\). For \(n\ge 2\), define the space of n-cochains \(\mathfrak C^n(\mathfrak g,\rho ,T)\) by
Define the coboundary operator \(\mathcal {D}:\mathfrak C^n(\mathfrak g,\rho ,T)\,\rightarrow \,\mathfrak C^{n+1}(\mathfrak g,\rho ,T)\) by
where \(f\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\oplus \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes V,V)\) and \(\theta \in \mathrm {Hom}(\wedge ^{n-1}V,\mathfrak g).\)
Theorem 4.2
With the above notation, \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\rho ,T),\mathcal {D})\) is a cochain complex, i.e. \(\mathcal {D}\circ \mathcal {D}=0.\)
Proof
For any \((f,\theta )\in \mathfrak C^n(\mathfrak g,\rho ,T)\), we have \((s^{-1}f,\theta )\in (s^{-1}L'\oplus \mathfrak h)^{n-2}\). By (21), we deduce that
By Lemma 4.1, we obtain that \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\rho ,T),\mathcal {D})\) is a cochain complex. \(\quad \square \)
Definition 4.3
The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\rho ,T),\mathcal {D})\) is called the cohomology of the relative Rota–Baxter Lie algebra \(((\mathfrak g,\mu ),\rho ,T)\). We denote its nth cohomology group by \(\mathcal {H}^n(\mathfrak g,\rho ,T)\).
Define a linear operator \(h_T:\mathfrak C^n(\mathfrak g,\rho )\,\rightarrow \,\mathfrak C^{n+1}(T)\) by
By (21) and (22), the coboundary operator can be written as
where \(\partial \) is given by (6), and \(\delta \) is given by (13). More precisely,
Now we give the formulas for \(h_T\) in terms of multilinear maps.
Lemma 4.4
The operator \(h_T:\mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\oplus \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes V,V)\,\rightarrow \,\mathrm {Hom}(\wedge ^{n}V,\mathfrak g)\) is given by
where \(f=(f_\mathfrak g,f_V),\) and \(f_\mathfrak g\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g),~f_V\in \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes V,V)\) and \(v_1,\cdots ,v_n\in V.\)
Proof
By Remark 2.2, it is convenient to view the elements of \(\oplus _{n=0}^{+\infty }C^{n}(\mathfrak g\oplus V;\mathfrak g\oplus V)\) as coderivations of \({\bar{\mathsf {S}}}^c\big (s^{-1}(\mathfrak g\oplus V)\big )\). The coderivations corresponding to f and T will be denoted by \({\bar{f}}\) and \({\bar{T}}\) respectively. Then, by induction, we have
which implies that (25) holds. \(\square \)
The formula of the coboundary operator \(\mathcal {D}\) can be well-explained by the following diagram:
Theorem 4.5
Let \(((\mathfrak g,\mu ),\rho ,T)\) be a relative Rota–Baxter Lie algebra. Then there is a short exact sequence of the cochain complexes:
where \(\iota \) and p are the inclusion map and the projection map.
Consequently, there is a long exact sequence of the cohomology groups:
where the connecting map \(c^n\) is defined by \( c^n([\alpha ])=[h_T\alpha ],\) for all \([\alpha ]\in \mathcal {H}^n(\mathfrak g,\rho ).\)
Proof
By (23), we have the short exact sequence of chain complexes which induces a long exact sequence of cohomology groups. Also by (23), \(c^n\) is given by \(c^n([\alpha ])=[h_T\alpha ].\) \(\square \)
4.2 Infinitesimal deformations of relative Rota–Baxter Lie algebras
In this subsection, we introduce the notion of \(\mathsf {R}\)-deformations of relative Rota–Baxter Lie algebras, where \(\mathsf {R}\) is a local pro-Artinian \(\mathbf {K}\)-algebra. Since \(\mathsf {R}\) is the projective limit of local Artinian \(\mathbf {K}\)-algebras, \(\mathsf {R}\) is equipped with an augmentation \(\epsilon :\mathsf {R}\,\rightarrow \,\mathbf {K}\). See [14, 31] for more details about \(\mathsf {R}\)-deformation theory of algebraic structures. Then we restrict our study to infinitesimal deformations, i.e. \(\mathsf {R}=\mathbf {K}[t]/(t^{2})\), using the cohomology theory introduced in Sect. 4.1.
Replacing the \(\mathbf {K}\)-vector spaces and \(\mathbf {K}\)-linear maps by \(\mathsf {R}\)-modules and \(\mathsf {R}\)-linear maps in Definition 2.10 and Definition 2.11, it is straightforward to obtain the definitions of \(\mathsf {R}\)-relative Rota–Baxter Lie algebras and homomorphisms between them.
Any relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) can be viewed as an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra with the help of the augmentation map \(\epsilon \). More precisely, the \(\mathsf {R}\)-module structure on \(\mathfrak g\) and V are given by
Definition 4.6
An \(\mathsf {R}\)-deformation of a relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) consists of an \(\mathsf {R}\)-Lie algebra structure \([\cdot ,\cdot ]_\mathsf {R}\) on the tensor product \(\mathsf {R}\otimes _\mathbf {K}\mathfrak g\), an \(\mathsf {R}\)-Lie algebra homomorphism \(\rho _\mathsf {R}:\mathsf {R}\otimes _\mathbf {K}\mathfrak g\,\rightarrow \,\mathfrak {gl}_\mathsf {R}(\mathsf {R}\otimes _\mathbf {K}V)\) and an \(\mathsf {R}\)-linear map \(T_\mathsf {R}:\mathsf {R}\otimes _\mathbf {K}V\,\rightarrow \,\mathsf {R}\otimes _\mathbf {K}\mathfrak g\), which is a relative Rota–Baxter operator such that \((\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g,\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_V)\) is an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra homomorphism from \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) to \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\).
Thereafter, we denote an \(\mathsf {R}\)-deformation of \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) by a triple \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\). Next we discuss equivalences between \(\mathsf {R}\)-deformations.
Definition 4.7
Let \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) and \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]'_\mathsf {R}),\rho '_\mathsf {R},T'_\mathsf {R})\) be two \(\mathsf {R}\)-deformations of a relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\). We call them equivalent if there exists an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra isomorphism \((\phi ,\varphi ):((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]'_\mathsf {R}),\rho '_\mathsf {R}, T'_\mathsf {R})\,\rightarrow \,((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) such that
Definition 4.8
A \(\mathbf {K}[t]/(t^{2})\)-deformation of the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) is call an infinitesimal deformation.
Let \(\mathsf {R}=\mathbf {K}[t]/(t^{2})\) and \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) be an infinitesimal deformation of \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\). Since \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) is an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra, there exist \(\omega _0,~\omega _1\in \mathrm {Hom}(\mathfrak g\wedge \mathfrak g,\mathfrak g)\), \(\varrho _0,~\varrho _1\in \mathfrak {gl}(V)\) and \(\mathcal {T}_0,~\mathcal {T}_1\in \mathrm {Hom}(V,\mathfrak g)\) such that
Since \((\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g,\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_V)\) is an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra homomorphism from \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R}),\rho _\mathsf {R},T_\mathsf {R})\) to \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\), we deduce that
Therefore, an infinitesimal deformation of \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) is determined by the triple \((\omega _1,\varrho _1,\mathcal {T}_1)\).
Now we analyze the conditions on \((\omega _1,\varrho _1,\mathcal {T}_1)\). First by the fact that \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\) is an \(\mathsf {R}\)-Lie algebra, we get
Then since \((\mathsf {R}\otimes _\mathbf {K}V;\rho +t\varrho _1)\) is a representation of \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\), we obtain
Finally by the fact that \(T+t\mathcal {T}_1\) is an \(\mathsf {R}\)-linear relative Rota–Baxter operator on the \(\mathsf {R}\)-Lie algebra \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\) with respect to the representation \((\mathsf {R}\otimes _\mathbf {K}V;\rho +t\varrho _1)\), we obtain
Proposition 4.9
The triple \((\omega _1,\varrho _1,\mathcal {T}_1)\) determines an infinitesimal deformation of the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) if and only if \((\omega _1,\varrho _1,\mathcal {T}_1)\) is a 2-cocycle of the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\).
Proof
By (28), (29) and (30), \((\omega _1,\varrho _1,\mathcal {T}_1)\) is a 2-cocycle if and only if \((\omega _1,\varrho _1,\mathcal {T}_1)\) determines an infinitesimal deformation of the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\). \(\square \)
If two infinitesimal deformations determined by \((\omega _1,\varrho _1,\mathcal {T}_1)\) and \((\omega _1',\varrho _1',\mathcal {T}_1')\) are equivalent, then there exists an \(\mathsf {R}\)-relative Rota–Baxter Lie algebra isomorphism \((\phi ,\varphi )\) from \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1'),\rho +t\varrho _1',T+t\mathcal {T}_1')\) to \(((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1),\rho +t\varrho _1,T+t\mathcal {T}_1)\). By (26), we deduce that
Since \(\mathrm{{Id}}_\mathfrak g+tN\) is an isomorphism from \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1')\) to \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\), we get
By the equality \((\mathrm{{Id}}_V+tS)(\rho +t\varrho _1')(y)u=(\rho +t\varrho _1)\big ((\mathrm{{Id}}_\mathfrak g+tN)y)(\mathrm{{Id}}_V+tS)u\), we deduce that
By the equality \((\mathrm{{Id}}_\mathfrak g+tN)\circ (T+t\mathcal {T}_1')=(T+t\mathcal {T}_1)\circ (\mathrm{{Id}}_V+tS)\), we obtain
Theorem 4.10
There is a one-to-one correspondence between equivalence classes of infinitesimal deformations of the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) and the second cohomology group \(\mathcal {H}^2(\mathfrak g,\rho ,T)\).
Proof
By (32), (33) and (34), we deduce that
which implies that \((\omega _1,\varrho _1,\mathcal {T}_1)\) and \((\omega _1',\varrho _1',\mathcal {T}_1')\) are in the same cohomology class if and only if the corresponding infinitesimal deformations of \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\rho ,T)\) are equivalent. \(\quad \square \)
Remark 4.11
One can study deformations of relative Rota–Baxter Lie algebras over more general bases such as \(\mathsf {R}=\mathbf {K}[t]/(t^{n})\), \(\mathsf {R}=\mathbf {K}[[t]]=\varprojlim _n \mathbf {K}[t]/(t^{n})\) or indeed over differential graded local pro-Artinian rings.
4.3 Cohomology of Rota–Baxter Lie algebras
In this subsection, we define the cohomology of Rota–Baxter Lie algebras with the help of the general framework of the cohomology of relative Rota–Baxter Lie algebras.
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,T)\) be a Rota–Baxter Lie algebra. We define the set of 0-cochains \(\mathfrak C^0_{\mathrm {RB}}(\mathfrak g,T)\) to be 0, and define the set of 1-cochains \(\mathfrak C^1_{\mathrm {RB}}(\mathfrak g,T)\) to be \(\mathfrak C^1_{\mathrm {RB}}(\mathfrak g,T):=\mathrm {Hom}( \mathfrak g,\mathfrak g)\). For \(n\ge 2\), define the space of n-cochains \(\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T)\) by
Define the embedding \(\mathfrak i:\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T)\,\rightarrow \,\mathfrak C^n(\mathfrak g,\mathrm {ad},T)\) by
Denote by \(\mathrm {Im}^n(\mathfrak i)=\mathfrak i(\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T))\). Then we have
Proposition 4.12
With the above notation, \((\oplus _{n=0}^{+\infty }\mathrm {Im}^n(\mathfrak i),\mathcal {D})\) is a subcomplex of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n(\mathfrak g,\mathrm {ad},T),\mathcal {D})\) associated to the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\mathrm {ad},T)\).
Proof
Let \((f,f,\theta )\in \mathrm {Im}^n(\mathfrak i)\). By the definition of \(\mathcal {D}\), we have
By (7), we have \((\partial (f,f))_\mathfrak g=\mathrm {d}_\mathsf {CE}f\). And for any \(x_1,\cdots ,x_{n+1}\in \mathfrak g\), we have
Thus, we obtain \(\mathcal {D}(f,f,\theta )=(\mathrm {d}_\mathsf {CE}f,\mathrm {d}_\mathsf {CE}f,\delta \theta +h_T(f,f))=\mathfrak i(\mathrm {d}_\mathsf {CE}f,\delta \theta +h_T(f,f))\), which implies that \((\oplus _n\mathrm {Im}^n(\mathfrak i),\mathcal {D})\) is a subcomplex. \(\square \)
We define the projection \(\mathfrak p:\mathrm {Im}^n(\mathfrak i)\,\rightarrow \,\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T)\) by
Then for \(n\ge 0,\) we define \(\mathcal {D}_\mathrm {RB}:\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T)\,\rightarrow \,\mathfrak C^{n+1}_{\mathrm {RB}}(\mathfrak g,T)\) by \( \mathcal {D}_\mathrm {RB}=\mathfrak p\circ \mathcal {D}\circ \mathfrak i. \) More precisely,
where \(\delta \) is given by (24) and \(\Omega :\mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\,\rightarrow \,\mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\) is defined by
Theorem 4.13
The map \(\mathcal {D}_\mathrm {RB}\) is a coboundary operator, i.e. \(\mathcal {D}_\mathrm {RB}\circ \mathcal {D}_\mathrm {RB}=0\).
Proof
By Proposition 4.12 and \(\mathfrak i\circ \mathfrak p=\mathrm{{Id}}\), we have
which finishes the proof. \(\square \)
Definition 4.14
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,T)\) be a Rota–Baxter Lie algebra. The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n_{\mathrm {RB}}(\mathfrak g,T),\mathcal {D}_\mathrm {RB})\) is taken to be the cohomology of the Rota–Baxter Lie algebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,T)\). Denote the nth cohomology group by \(\mathcal {H}^n_\mathrm {RB}(\mathfrak g,T).\)
Theorem 4.15
There is a short exact sequence of the cochain complexes:
where \(\iota (\theta )=(0,\theta )\) and \(p(f,\theta )=f\) for all \(f\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\) and \(\theta \in \mathrm {Hom}(\wedge ^{n-1}\mathfrak g,\mathfrak g)\).
Consequently, there is a long exact sequence of the cohomology groups:
where the connecting map \(c^n\) is defined by \(c^n([\alpha ])=[\Omega \alpha ],\) for all \([\alpha ]\in \mathcal {H}_\mathrm {Lie}^n(\mathfrak g,\mathfrak g).\)
Proof
By (35), we have the short exact sequence of cochain complexes which induces a long exact sequence of cohomology groups. \(\square \)
Remark 4.16
The approach used to define \(\mathcal {D}_\mathrm {RB}\), can be also used to obtain the \(L_\infty \)-algebra structure \(\{\mathfrak l_k\}_{k=1}^{+\infty }\) on \(\oplus _n\mathfrak C^n_\mathrm {RB}(\mathfrak g,T)\) controlling deformations of Rota–Baxter Lie algebras. By Theorem 3.15, we have the \(L_\infty \)-algebra \((\oplus _n\mathfrak C^n(\mathfrak g,\mathrm {ad},T),\{l_k\}_{k=1}^{+\infty })\) which controls deformations of the relative Rota–Baxter Lie algebra \((\mathfrak g,\mathrm {ad},T)\). Define \(\mathfrak l_k\) by
for all homogeneous elements \( X_i\in \oplus _n\mathfrak C^n_\mathrm {RB}(\mathfrak g,T).\) Then \((\oplus _n\mathfrak C^n_\mathrm {RB}(\mathfrak g,T),\{\mathfrak l_k\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra embedded into \((\oplus _n\mathfrak C^n(\mathfrak g,\mathrm {ad},T),\{l_k\}_{k=1}^{+\infty })\) as an \(L_\infty \)-subalgebra.
Remark 4.17
Similarly to the study of infinitesimal deformations of relative Rota–Baxter Lie algebras, we can show that infinitesimal deformations of Rota–Baxter Lie algebras are classified by the second cohomology group \(\mathcal {H}^2_\mathrm {RB}(\mathfrak g,R).\) We omit the details.
4.4 Cohomology and infinitesimal deformations of triangular Lie bialgebras
In this subsection, all vector spaces are assumed to be finite-dimensional. First we define the cohomology of triangular Lie bialgebras with the help of the general cohomological framework for relative Rota–Baxter Lie algebras. Then we establish the standard classification result for infinitesimal deformations of triangular Lie bialgebras using this cohomology theory.
Recall that a Lie bialgebra is a vector space \(\mathfrak g\) equipped with a Lie algebra structure \([\cdot ,\cdot ]_\mathfrak g:\wedge ^2\mathfrak g\longrightarrow \mathfrak g\) and a Lie coalgebra structure \(\delta :\mathfrak g\longrightarrow \wedge ^2\mathfrak g\) such that \(\delta \) is a 1-cocycle on \(\mathfrak g\) with coefficients in \(\wedge ^2\mathfrak g\). The Lie bracket \([\cdot ,\cdot ]_\mathfrak g\) in a Lie algebra \(\mathfrak g\) naturally extends to the Schouten–Nijenhuis bracket \([\cdot ,\cdot ]_\mathsf {SN}\) on \(\wedge ^\bullet \mathfrak g=\oplus _{k\ge 0} \wedge ^{k+1}\mathfrak g\). More precisely, we have
An element \(r\in \wedge ^2\mathfrak g\) is called a skew-symmetric r -matrix [47] if it satisfies the classical Yang–Baxter equation \( [r,r]_\mathsf {SN}=0 \). It is well known [33] that r satisfies the classical Yang–Baxter equation if and only if \(r^\sharp \) is a relative Rota–Baxter operator on \(\mathfrak g\) with respect to the coadjoint representation, where \(r^\sharp :\mathfrak g^*\,\rightarrow \,\mathfrak g\) is defined by \(\langle r^\sharp (\xi ),\eta \rangle =\langle r,\xi \wedge \eta \rangle \) for all \(\xi ,\eta \in \mathfrak g^*\).
Let r be a skew-symmetric r-matrix. Define \(\delta _r:\mathfrak g\longrightarrow \wedge ^2\mathfrak g\) by \( \delta _r(x)=[x,r]_\mathsf {SN},\) for all \(x\in \mathfrak g. \) Then \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,\delta _r)\) is a Lie bialgebra, which is called a triangular Lie bialgebra. From now on, we will denote a triangular Lie bialgebra by \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\).
Definition 4.18
Let \((\mathfrak g_1,[\cdot ,\cdot ]_{\mathfrak g_1},r_1)\) and \((\mathfrak g_2,\{\cdot ,\cdot \}_{\mathfrak g_2},r_2)\) be triangular Lie bialgebras. A linear map \(\phi :\mathfrak g_2\rightarrow \mathfrak g_1\) is called a homomorphism from \((\mathfrak g_2,\{\cdot ,\cdot \}_{\mathfrak g_2},r_2)\) to \((\mathfrak g_1,[\cdot ,\cdot ]_{\mathfrak g_1},r_1)\) if \(\phi \) is a Lie algebra homomorphism and \( (\phi \otimes \phi )(r_2)=r_1\). If \(\phi \) is invertible, then \(\phi \) is called an isomorphism between triangular Lie bialgebras.
The above definition is consistent with the equivalence between r-matrices given in [10].
Let \(\mathfrak g\) be a Lie algebra and \(r\in \wedge ^2\mathfrak g\) a skew-symmetric r-matrix. Define the set of 0-cochains and 1-cochains to be zero and define the set of k-cochains to be \(\wedge ^k\mathfrak g\). Define \(\mathrm {d}_r:\wedge ^k\mathfrak g\,\rightarrow \,\wedge ^{k+1}\mathfrak g\) by
Then \(\mathrm {d}_r^2=0.\) Denote by \(\mathcal {H}^k(r)\) the corresponding kth cohomology group, called the kth cohomology group of the skew-symmetric r-matrix r.
For any \(k\ge 1\), define \(\Psi :\wedge ^{k+1}\mathfrak g\longrightarrow \mathrm {Hom}(\wedge ^k\mathfrak g^*,\mathfrak g)\) by
By [54, Theorem 7.7], we have
Thus \((\mathrm {Im}(\Psi ),\delta )\) is a subcomplex of the cochain complex \((\oplus _k\mathfrak C^k(r^\sharp ),\delta )\) associated to the relative Rota–Baxter operator \(r^\sharp \), where \(\mathrm {Im}(\Psi ):=\oplus _k\{\Psi (\chi )|\forall \chi \in \wedge ^k\mathfrak g\}\) and \(\delta \) is the coboundary operator given by (13) for the relative Rota–Baxter operator \(r^\sharp \).
In the following, we define the cohomology of a triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\). We define the set of 0-cochains \(\mathfrak C^0_{\mathrm {TLB}}(\mathfrak g,r)\) to be 0, and define the set of 1-cochains to be \(\mathfrak C^1_{\mathrm {TLB}}(\mathfrak g,r):=\mathrm {Hom}(\mathfrak g,\mathfrak g)\). For \(n\ge 2\), define the space of n-cochains \(\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\) by
Define the embedding \(\mathfrak i:\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\,\rightarrow \,\mathfrak C^n(\mathfrak g,\mathrm {ad}^*,r^{\sharp })=\mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\oplus \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes \mathfrak g^*,\mathfrak g^*)\oplus \mathrm {Hom}(\wedge ^{n-1}\mathfrak g^*,\mathfrak g)\) by
where \(f^\star \in \mathrm {Hom}(\wedge ^{n-1}\mathfrak g\otimes \mathfrak g^*,\mathfrak g^*)\) is defined by
Denote by \(\mathrm {Im}^n(\mathfrak i)\) the image of \(\mathfrak i\), i.e. \(\mathrm {Im}^n(\mathfrak i):=\{\mathfrak i(f,\chi )|\forall (f,\chi )\in \mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\}\).
Proposition 4.19
With the above notation, \((\oplus _n\mathrm {Im}^n(\mathfrak i),\mathcal {D})\) is a subcomplex of the cochain complex \((\mathfrak C^n(\mathfrak g,\mathrm {ad}^*,r^{\sharp }),\mathcal {D})\) associated to the relative Rota–Baxter Lie algebra \(((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g),\mathrm {ad}^*,r^\sharp )\).
Proof
Let \((f,f^\star ,\Psi (\chi ))\in \mathrm {Im}^n(\mathfrak i)\). By the definition of \(\mathcal {D}\), we have
By (7), we have \((\partial (f,f^\star ))_\mathfrak g=\mathrm {d}_\mathsf {CE}f\). By (8), we can deduce that \((\partial (f,f^\star ))_{\mathfrak g^*}=(\mathrm {d}_\mathsf {CE}f)^\star \). By (24) and (25), we can deduce that \(\delta \Psi (\chi )+h_{r^\sharp }(f,f^\star )\in \mathrm {Im}(\Psi ). \) Thus, we obtain
which implies that \((\oplus _n\mathrm {Im}^n(\mathfrak i),\mathcal {D})\) is a subcomplex. \(\square \)
Define the projection \(\mathfrak p:\mathrm {Im}^n(\mathfrak i)\,\rightarrow \,\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\) by
where \(\theta ^\flat \in \wedge ^n\mathfrak g\) is defined by \(\langle \theta ^\flat ,\xi _1\wedge \cdots \wedge \xi _n\rangle =\langle \theta (\xi _1,\cdots ,\xi _{n-1}),\xi _n\rangle . \) Define the coboundary operator \(\mathcal {D}_\mathrm {TLB}:\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\,\rightarrow \,\mathfrak C^{n+1}_{\mathrm {TLB}}(\mathfrak g,r)\) for a triangular Lie bialgebra by
Theorem 4.20
The map \(\mathcal {D}_\mathrm {TLB}\) is a coboundary operator, i.e. \(\mathcal {D}_\mathrm {TLB}\circ \mathcal {D}_\mathrm {TLB}=0\).
Proof
Since \(\mathfrak i\circ \mathfrak p=\mathrm{{Id}}\) when restricting on the image of \(\mathfrak i\), we have
which finishes the proof. \(\square \)
Definition 4.21
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) be a triangular Lie algebra. The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r),\mathcal {D}_\mathrm {TLB})\) is called the cohomology of the triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\). Denote the nth cohomology group by \( \mathcal {H}^n_\mathrm {TLB}(\mathfrak g,r)\).
Now we give the precise formula for the coboundary operator \(\mathcal {D}_\mathrm {TLB}\). By the definition of \(\mathfrak i\), \(\mathfrak p\), \(\mathcal {D}\) and (38), we have
where \(\mathrm {d}_r\) is given by (36) and \(\Theta :\mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\,\rightarrow \,\wedge ^{n+1}\mathfrak g\) is defined by \( \Theta f=\Psi ^{-1}(h_{r^\sharp }(f,f^\star )). \)
The precise formula of \(\Theta \) is given as follows.
Lemma 4.22
For any \(f\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\) and \(\xi _1,\cdots ,\xi _{n+1}\in \mathfrak g^*\), we have
Proof
By the definition of \(h_{r^\sharp }\) given by (25), we have
which finishes the proof. \(\square \)
Theorem 4.23
Let \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) be a triangular Lie bialgebra. Then there is a short exact sequence of cochain complexes:
where \(\iota (\chi )=(0,\chi )\) and \(p(f,\chi )=f\) for all \(\chi \in \wedge ^n\mathfrak g\) and \(f\in \mathrm {Hom}(\wedge ^n\mathfrak g,\mathfrak g)\).
Consequently, there is a long exact sequence of cohomology groups:
where the connecting map \(c^n\) is defined by \(c^n([\alpha ])=[\Theta \alpha ],\) for all \([\alpha ]\in \mathcal {H}_\mathrm {Lie}^n(\mathfrak g,\mathfrak g).\)
Proof
By (40), we have the short exact sequence of cochain complexes which induces a long exact sequence of cohomology groups. \(\quad \square \)
Remark 4.24
In a forthcoming paper [36], we will use the functorial approach to give the \(L_\infty \)-algebra structure on \(\oplus _{n=0}^{+\infty }\mathfrak C^n_{\mathrm {TLB}}(\mathfrak g,r)\) that control deformations of triangular Lie bialgebras, and establish the relationship with the \(L_\infty \)-algebra \((\oplus _{n=0}^{+\infty }\mathfrak C^n (\mathfrak g,\mathrm {ad}^*,r^\sharp ),\{l_k\}_{k=1}^{+\infty })\) given by Theorem 3.15.
We will now consider \(\mathsf {R}\)-deformations and infinitesimal deformations of triangular Lie bialgebras using the above cohomology theory, where \(\mathsf {R}\) is a local pro-Artinian \(\mathbf {K}\)-algebra with the augmentation \(\epsilon :\mathsf {R}\,\rightarrow \,\mathbf {K}\).
Any triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) can be viewed as a triangular \(\mathsf {R}\)-Lie bialgebra with the help of the augmentation map \(\epsilon \).
Definition 4.25
An \(\mathsf {R}\)-deformation of a triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) contains of an \(\mathsf {R}\)-Lie algebra structure \([\cdot ,\cdot ]_\mathsf {R}\) on the tensor product \(\mathsf {R}\otimes _\mathbf {K}\mathfrak g\) and a skew-symmetric r-matrix \(\mathcal {X}\in (\mathsf {R}\otimes _\mathbf {K}\mathfrak g)\otimes _{\mathsf {R}}(\mathsf {R}\otimes _\mathbf {K}\mathfrak g)\cong \mathsf {R}\otimes _\mathbf {K}\mathfrak g\otimes _\mathbf {K}\mathfrak g\) such that \(\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g\) is an \(\mathsf {R}\)-Lie algebra homomorphism from \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R})\) to \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\) and \((\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g\otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g)(\mathcal {X})=r\).
Definition 4.26
Let \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R},\mathcal {X})\) and \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]'_\mathsf {R},\mathcal {X}')\) be two \(\mathsf {R}\)-deformations of a triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\). We call them equivalent if there exists a triangular \(\mathsf {R}\)-Lie bialgebra isomorphism \(\phi :(\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]'_\mathsf {R},\mathcal {X}') \,\rightarrow \,(\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R},\mathcal {X})\) such that
Definition 4.27
A \(\mathbf {K}[t]/(t^{2})\)-deformation of the triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) is called an infinitesimal deformation.
Let \(\mathsf {R}=\mathbf {K}[t]/(t^{2})\) and \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R},\mathcal {X})\) be an infinitesimal deformation of \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\). Since \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R},\mathcal {X})\) is a triangular \(\mathsf {R}\)-Lie bialgebra, there exist \(\omega _0,\omega _1\in \mathrm {Hom}(\mathfrak g\wedge \mathfrak g,\mathfrak g)\) and \(\mathcal {X}_0,\mathcal {X}_1\in \wedge _{\mathbf {K}}^2\mathfrak g\) such that
Since \(\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g\) is an \(\mathsf {R}\)-Lie algebra homomorphism from \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathsf {R})\) to \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\), we deduce that \(\omega _0=[\cdot ,\cdot ]_\mathfrak g\). By \((\epsilon \otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g\otimes _\mathbf {K}\mathrm{{Id}}_\mathfrak g)(\mathcal {X})=r\), we deduce that \(\mathcal {X}_0=r\). Therefore, an infinitesimal deformation of \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) is determined by a pair \((\omega _1,\mathcal {X}_1)\). By the fact that \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\) is an \(\mathsf {R}\)-Lie algebra, we get
Then by the fact that \(r+t\mathcal {X}_1\) is a skew-symmetric r-matrix of the \(\mathsf {R}\)-Lie algebra \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\), we deduce that
Proposition 4.28
The pair \((\omega _1,\mathcal {X}_1)\) determines an infinitesimal deformation of the triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) if and only if \((\omega _1,\mathcal {X}_1)\) is a 2-cocycle of the triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\), i.e. \(\mathcal {D}_\mathrm {TLB}(\omega _1,\mathcal {X}_1)=0\).
Proof
By (45) and (46), we deduce that \((\omega _1,\mathcal {X}_1)\) is a 2-cocycle if and only if \((\omega _1,\mathcal {X}_1)\) determines an infinitesimal deformation of the triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\). \(\quad \square \)
If two infinitesimal deformations of a triangular Lie bialgebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) corresponding to \((\omega _1,\mathcal {X}_1)\) and \((\omega _1',\mathcal {X}_1')\) are equivalent, then there exists a triangular \(\mathsf {R}\)-Lie bialgebra isomorphism \(\phi \) from \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1',R+t\mathcal {X}_1')\) to \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1,R+t\mathcal {X}_1)\). By (43), we deduce that
Since \(\mathrm{{Id}}_\mathfrak g+tN\) is an isomorphism from \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1')\) to \((\mathsf {R}\otimes _\mathbf {K}\mathfrak g,[\cdot ,\cdot ]_\mathfrak g+t\omega _1)\), we get
By the equality \(\big ((\mathrm{{Id}}_\mathfrak g+tN)\otimes (\mathrm{{Id}}_\mathfrak g+tN)\big )(r+t\mathcal {X}_1')=(r+t\mathcal {X}_1)\), we obtain
Theorem 4.29
There is a one-to-one correspondence between the space of equivalence classes of infinitesimal deformations of \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) and the second cohomology group \(\mathcal {H}^2(\mathfrak g,r).\)
Proof
By (48) and (49), we deduce that
which implies that \((\omega _1,\mathcal {X}_1)\) and \((\omega _1',\mathcal {X}_1')\) are in the same cohomology class if and only if the corresponding infinitesimal deformations of \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g,r)\) are equivalent. \(\square \)
5 Homotopy Relative Rota–Baxter Lie Algebras
In this section, we introduce the notion of a homotopy relative Rota–Baxter Lie algebra, which consists of an \(L_\infty \)-algebra, its representation and a homotopy relative Rota–Baxter operator. We characterize homotopy relative Rota–Baxter operators as \(\mathsf {MC}\) elements in a certain \(L_\infty \)-algebra. We show that strict homotopy relative Rota–Baxter operators induce pre-Lie\(_\infty \)-algebras.
5.1 Homotopy relative Rota–Baxter operators on \(L_\infty \)-algebras
Denote by \(\mathrm {Hom}^n({\bar{\mathsf {S}}}(V),V)\) the space of degree n linear maps from the graded vector space \({\bar{\mathsf {S}}}(V)=\oplus _{i=1}^{+\infty }\mathsf {S}^{i}(V)\) to the \(\mathbb Z\)-graded vector space V. Obviously, an element \(f\in \mathrm {Hom}^n({\bar{\mathsf {S}}}(V),V)\) is the sum of \(f_i:\mathsf {S}^i(V)\,\rightarrow \,V\). We will write \(f=\sum _{i=1}^{+\infty } f_i\). Set \(C^n(V,V):=\mathrm {Hom}^n({\bar{\mathsf {S}}}(V),V)\) and \( C^*(V,V):=\oplus _{n\in {\mathbb {Z}}}C^n(V,V). \) As the graded version of the Nijenhuis–Richardson bracket given in [43, 44], the graded Nijenhuis–Richardson bracket \([\cdot ,\cdot ]_{\mathsf {NR}}\) on the graded vector space \(C^*(V,V)\) is given by:
where \(f{\bar{\circ }}g\in C^{m+n}(V,V)\) is defined by
while \(f_i{\bar{\circ }} g_j\in \mathrm {Hom}(\mathsf {S}^{i+j-1}(V),V)\) is defined by
The following result is well-known and, in fact, can be taken as a definition of an \(L_\infty \)-algebra.
Theorem 5.1
With the above notation, \((C^*(V,V),[\cdot ,\cdot ]_{\mathsf {NR}})\) is a graded Lie algebra. Its \(\mathsf {MC}\) elements \(\sum _{k=1}^{+\infty }l_k\) are the \(L_\infty \)-algebra structures on V.\(\square \)
Definition 5.2
[35] A representation of an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) on a graded vector space V consists of linear maps \(\rho _k:\mathsf {S}^{k-1}(\mathfrak g)\otimes V\,\rightarrow \,V\), \(k\ge 1\), of degree 1 with the property that, for any homogeneous elements \(x_1,\cdots ,x_{n-1}\in \mathfrak g,~v\in V\), we have
Let \((V,\{\rho _k\}_{k=1}^{+\infty })\) be a representation of an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\). There is an \(L_\infty \)-algebra structure on the direct sum \(\mathfrak g\oplus V\) given by
This \(L_\infty \)-algebra is called the semidirect product of the \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) and \((V,\{\rho _k\}_{k=1}^{+\infty })\), and denoted by \(\mathfrak g < imes _{\rho }V\).
Now we are ready to define our main object of study in this section.
Definition 5.3
Let \((V,\{\rho _k\}_{k=1}^{+\infty })\) be a representation of an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\). A degree 0 element \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\) with \(T_k\in \mathrm {Hom}(\mathsf {S}^k(V),\mathfrak g)\) is called a homotopy relative Rota–Baxter operator on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\) if the following equalities hold for all \(p\ge 1\) and all homogeneous elements \(v_1,\cdots ,v_p\in V\),
A homotopy relative Rota–Baxter operator on an \(L_\infty \)-algebra is a generalization of an \({\mathcal {O}}\)-operator on a Lie 2-algebra introduced in [48].
Definition 5.4
Let \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) be an \(L_\infty \)-algebra. A degree 0 element \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(\mathfrak g),\mathfrak g)\) with \(T_k\in \mathrm {Hom}(\mathsf {S}^k(\mathfrak g),\mathfrak g)\) is called a homotopy Rota–Baxter operator on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) if the following equalities hold for all \(p\ge 1\) and all homogeneous elements \(x_1,\cdots ,x_p\in \mathfrak g\),
Remark 5.5
A homotopy Rota–Baxter operator \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(\mathfrak g),\mathfrak g)\) on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) is a homotopy relative Rota–Baxter operator with respect to the adjoint representation. If moreover the \(L_\infty \)-algebra reduces to a Lie algebra \((\mathfrak g,[\cdot ,\cdot ]_\mathfrak g)\), then the resulting linear operator \(T:\mathfrak g\longrightarrow \mathfrak g\) is a Rota–Baxter operator.
Definition 5.6
-
(i)
An \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with a homotopy Rota–Baxter operator \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(\mathfrak g),\mathfrak g)\) is called a homotopy Rota–Baxter Lie algebra. We denote it by \(\big (\mathfrak g,\{l_k\}_{k=1}^{+\infty },\{T_k\}_{k=1}^{+\infty }\big )\).
-
(ii)
A homotopy relative Rota–Baxter Lie algebra is a triple \(\big ((\mathfrak g,\{l_k\}_{k=1}^{+\infty }),\{\rho _k\}_{k=1}^{+\infty }, \{T_k\}_{k=1}^{+\infty }\big )\), where \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra, \((V,\{\rho _k\}_{k=1}^{+\infty })\) is a representation of \(\mathfrak g\) on a graded vector space V and \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\) is a homotopy relative Rota–Baxter operator.
A representation of an \(L_\infty \)-algebra will give rise to a V-data as well as an \(L_\infty \)-algebra that characterize homotopy relative Rota–Baxter operators as \(\mathsf {MC}\) elements.
Proposition 5.7
Let \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) be an \(L_\infty \)-algebra and \((V,\{\rho _k\}_{k=1}^{+\infty })\) a representation of \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\). Then the following quadruple forms a V-data:
-
the graded Lie algebra \((L,[\cdot ,\cdot ])\) is given by \((C^*(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\);
-
the abelian graded Lie subalgebra \(\mathfrak h\) is given by \(\mathfrak h:=\oplus _{n\in {\mathbb {Z}}}\mathrm {Hom}^n({\bar{\mathsf {S}}}(V),\mathfrak g);\)
-
\(P:L\,\rightarrow \,L\) is the projection onto the subspace \(\mathfrak h\);
-
\(\Delta =\sum _{k=1}^{+\infty }(l_k+\rho _k)\).
Consequently, \((\mathfrak h,\{\mathfrak l_k\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra, where \(\mathfrak l_k\) is given by (16).
Proof
By Theorem 5.1, we obtain that \((C^*(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\) is a graded Lie algebra. Moreover, by (52) we deduce that \(\mathrm {Im}P=\mathfrak h\) is an abelian graded Lie subalgebra and \(\ker P\) is a graded Lie subalgebra. Since \(\Delta =\sum _{k=1}^{+\infty }(l_k+\rho _k)\) is the semidirect product \(L_\infty \)-algebra structure on \(\mathfrak g\oplus V\), we have \([\Delta ,\Delta ]_{\mathsf {NR}}=0\) and \(P(\Delta )=0\). Thus \((L,\mathfrak h,P,\Delta )\) is a V-data. Hence by Theorem 3.8, we obtain the higher derived brackets \(\{{\mathfrak l_k}\}_{k=1}^{+\infty }\) on the abelian graded Lie subalgebra \(\mathfrak h\). \(\quad \square \)
Moreover, for all \(n\ge 1\), we set
Lemma 5.8
With above notation, \((\mathfrak h,\{\mathfrak l_k\}_{k=1}^{+\infty })\) is a weakly filtered \(L_\infty \)-algebra.
Proof
By (54), we have \(\mathfrak h=\mathcal {F}_1( \mathfrak h)\supset \cdots \supset \mathcal {F}_n( \mathfrak h)\supset \cdots \). Moreover, by Lemma 2.3, we have
Thus, we deduce that \(\big (\mathfrak h,\mathcal {F}_{\bullet }(\mathfrak h)\big )\) is a weakly filtered \(L_\infty \)-algebra with \(n=1\). \(\square \)
Remark 5.9
In fact, the above argument shows that \(\big (\mathfrak h,\mathcal {F}_{\bullet }(\mathfrak h)\big )\) is a filtered \(L_\infty \)-algebra in the sense of [13].
Theorem 5.10
With the above notation, a degree 0 element \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\) is a homotopy relative Rota–Baxter operator on \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\) if and only if \(T=\sum _{k=1}^{+\infty }T_k\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra \((\mathfrak h,\{{\mathfrak l_k}\}_{k=1}^{+\infty })\).
Proof
By Remark 2.2, we will view the elements of \(C^*(\mathfrak g\oplus V,\mathfrak g\oplus V)\) as coderivations of \({\bar{\mathsf {S}}}^c(\mathfrak g\oplus V)\). Moreover, we view \(\oplus _{n\in {\mathbb {Z}}}\mathrm {Hom}^n({\bar{\mathsf {S}}}(V),\mathfrak g)\) as an abelian graded Lie subalgebra of the graded Lie algebra \( \mathsf {Coder}({\bar{\mathsf {S}}}^c(\mathfrak g\oplus V))\) and we denote by \({\bar{P}}\) the projection onto this Lie subalgebra. The coderivations of \({\bar{\mathsf {S}}}^c(\mathfrak g\oplus V)\) corresponding to \(\sum _{k=1}^{+\infty }l_k,~ \sum _{k=1}^{+\infty }\rho _k\) and \(\sum _{k=1}^{+\infty }T_k\) will be denoted by \({\bar{l}},~{\bar{\rho }}\) and \({\bar{T}}\) respectively. Then \(T=\sum _{k=1}^{+\infty }T_k\) is an \(\mathsf {MC}\) element of the \(L_\infty \)-algebra \((\mathfrak h,\{{\mathfrak l_k}\}_{k=1}^{+\infty })\) if and only if
In fact, we have
We denote by \(\mathrm {pr}_\mathfrak g\) the natural projections from \({\bar{\mathsf {S}}}(\mathfrak g\oplus V)\) to \(\mathfrak g\). Thus, for all \(v_1,\cdots ,v_{p}\in V\), we have
By (52), we obtain that
and
Thus, (56) holds if and only if \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\) is a homotopy relative Rota–Baxter operator on \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\). \(\quad \square \)
At the end of this section, we show that a homotopy relative Rota–Baxter operator corresponding to a representation V naturally gives rise to a \(L_\infty \) structure on V.
Proposition 5.11
Let \(T=\sum _{k=1}^{+\infty }T_k\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\) be a homotopy relative Rota–Baxter operator on \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\).
-
(i)
\(e^{[\cdot ,T]_\mathsf {NR}}\Big (\sum _{k=1}^{+\infty }(l_k+\rho _k)\Big )\) is an \(\mathsf {MC}\) element of the graded Lie algebra \((C^*(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\);
-
(ii)
there is an \(L_\infty \)-algebra structure on V given by
$$\begin{aligned}&\mathfrak l_{t+1}(v_1,\cdots ,v_{t+1})=\sum _{k_1+\cdots +k_m=t}\sum _{\sigma \in {\mathbb {S}}_{(k_1,\cdots ,k_m,1)}}\nonumber \\&\quad \frac{\varepsilon (\sigma )}{m!}\rho _{m+1}\Big (T_{k_1}\big (v_{\sigma (1)}, \cdots ,v_{\sigma (k_1)}\big ),\cdots ,T_{k_m}\nonumber \\&\quad \big (v_{\sigma (k_1 +\cdots +k_{m-1}+1)},\cdots ,v_{\sigma (t)}\big ),v_{\sigma (t+1)}\Big ); \end{aligned}$$(57) -
(iii)
T is an \(L_\infty \)-algebra homomorphism from the \(L_\infty \)-algebra \((V,\{\mathfrak l_k\}_{k=1}^{+\infty })\) to \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\).
Proof
(i) For any \(\mathfrak X\in \mathrm {Hom}(\mathsf {S}^i(\mathfrak g)\otimes \mathsf {S}^j(V),\mathfrak g)\) and \(\mathfrak Y\in \mathrm {Hom}(\mathsf {S}^i(\mathfrak g)\otimes \mathsf {S}^j(V),V)\), we have
Thus, \([\cdot ,T]_\mathsf {NR}\) is a locally nilpotent derivation of \((C^*(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\). Since \(e^{[\cdot ,T]_\mathsf {NR}}\) is an automorphism of \((C^*(\mathfrak g\oplus V,\mathfrak g\oplus V),[\cdot ,\cdot ]_{\mathsf {NR}})\), we have
which implies that \(e^{[\cdot ,T]_\mathsf {NR}}\Big (\sum _{k=1}^{+\infty }(l_k+\rho _k)\Big )\) is an \(\mathsf {MC}\) element.
(ii) By (56), \(e^{[\cdot ,T]_\mathsf {NR}}\Big (\sum _{k=1}^{+\infty }(l_k+\rho _k)\Big )|_V\) is a sub \(L_\infty \)-algebra structure on V. It is straightforward to deduce that the \(L_\infty \)-algebra structure on V is just given by (57).
(iii) By the definition of a homotopy relative Rota–Baxter operator and (57), we deduce that T is an \(L_\infty \)-algebra homomorphism. \(\square \)
5.2 Strict homotopy relative Rota–Baxter operators on \(L_\infty \)-algebras and pre-Lie\(_\infty \)-algebras
Definition 5.12
Let \((V,\{\rho _k\}_{k=1}^{+\infty })\) be a representation of an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\). A degree 0 element \(T\in \mathrm {Hom}(V,\mathfrak g)\) is called a strict homotopy relative Rota–Baxter operator on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\) if the following equalities hold for all \(p\ge 1\) and all homogeneous elements \(v_1,\cdots ,v_p\in V\),
Remark 5.13
A strict homotopy relative Rota–Baxter operator is just a homotopy relative Rota–Baxter operator \(T=\sum _{i=1}^{+\infty }T_i\in \mathrm {Hom}({\bar{\mathsf {S}}}(V),\mathfrak g)\), in which \(T_i=0\) for all \(i\ge 2\).
Let V be a graded vector space. Denote by \(\mathrm {Hom}^n(\mathsf {S}(V)\otimes V,V)\) the space of degree n linear maps from the graded vector space \(\mathsf {S}(V)\otimes V\) to the graded vector space V. Obviously, an element \(f\in \mathrm {Hom}^n(\mathsf {S}(V)\otimes V,V)\) is the sum of \(f_i:\mathsf {S}^{i-1}(V)\otimes V\,\rightarrow \,V\). We will write \(f=\sum _{i=1}^{+\infty } f_i\). Set \(\mathbf {C}^n(V,V):=\mathrm {Hom}^n(\mathsf {S}(V)\otimes V,V)\) and \( \mathbf {C}^*(V,V):=\oplus _{n\in {\mathbb {Z}}}\mathbf {C}^n(V,V). \) As the graded version of the Matsushima–Nijenhuis bracket given in [9], the graded Matsushima–Nijenhuis bracket \([\cdot ,\cdot ]_{\mathsf {MN}}\) on the graded vector space \(\mathbf {C}^*(V,V)\) is given by:
where \(f\diamond g\in \mathbf {C}^{m+n}(V,V)\) is defined by
while \(f_i\diamond g_j\in \mathrm {Hom}(\mathsf {S}^{i+j-2}(V)\otimes V,V)\) is defined by
where \(\alpha =n(v_{\sigma (1)}+v_{\sigma (2)}+\cdots +v_{\sigma (i-1)})\). Then the graded vector space \(\mathbf {C}^*(V,V)\) equipped with the graded Matsushima–Nijenhuis bracket \([\cdot ,\cdot ]_{\mathsf {MN}}\) is a graded Lie algebra.
The notion of a pre-Lie\(_\infty \)-algebra was introduced in [9]. See [42] for more applications of pre-Lie\(_\infty \)-algebras in geometry.
Theorem 5.14
[9] Let \(\sum _{k=1}^{+\infty }\theta _k\) be a degree 1 linear map from the graded vector space \(S(V)\otimes V\) to the graded vector space V. Then \((V,\{\theta _k\}_{k=1}^{+\infty })\) is a pre-Lie\(_\infty \)-algebra if and only if \(\sum _{k=1}^{+\infty }\theta _k\) is an \(\mathsf {MC}\) element of the graded Lie algebra \((\mathbf {C}^*(V,V),[\cdot ,\cdot ]_{\mathsf {MN}})\). \(\quad \square \)
Now we show that there is a close relationship between the graded Lie algebra \((\mathbf {C}^*(V,V),[\cdot ,\cdot ]_{\mathsf {MN}})\) and \((C^*(V,V),[\cdot ,\cdot ]_{\mathsf {NR}})\). Define a graded linear map \(\Phi :\mathbf {C}^*(V,V)\,\rightarrow \,C^*(V,V)\) of degree 0 by
where \( \Phi (f_k)\) is given by
Theorem 5.15
\(\Phi \) is a homomorphism from the graded Lie algebra \((\mathbf {C}^*(V,V),[\cdot ,\cdot ]_{\mathsf {MN}})\) to the graded Lie algebra \((C^*(V,V),[\cdot ,\cdot ]_{\mathsf {NR}})\).
Proof
It follows from a direct but tedious computation. We omit details. \(\square \)
In the classical case, the symmetrization of a pre-Lie algebra gives rise to a Lie algebra. The following result generalizes this construction to pre-Lie\(_\infty \)-algebras and \(L_\infty \)-algebras.
Corollary 5.16
Let \((\mathfrak g,\{\theta _k\}_{k=1}^{+\infty })\) be a pre-Lie\(_\infty \)-algebra and we define \(l_k\) by
Then \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra. We denote this \(L_\infty \)-algebra by \(\mathfrak g^C\) and call it the sub-adjacent \(L_\infty \) -algebra of \((\mathfrak g,\{\theta _k\}_{k=1}^{+\infty })\). Moreover, \((\mathfrak g,\{\theta _k\}_{k=1}^{+\infty })\) is called the compatible pre-Lie\(_\infty \)-algebra structure on the \(L_\infty \)-algebra \(\mathfrak g^C\).
Proof
It follows from Theorems 5.1, 5.14 and 5.15. \(\square \)
Let \((\mathfrak g,\{\theta _k\}_{k=1}^{+\infty })\) be a pre-Lie\(_\infty \)-algebra. For all \(k\ge 1\), we define \(L_k:\mathsf {S}^{k-1}(\mathfrak g)\otimes \mathfrak g\,\rightarrow \,\mathfrak g\) by
Proposition 5.17
With the above notation, \((\mathfrak g,\{L_k\}_{k=1}^{+\infty })\) is a representation of the sub-adjacent \(L_\infty \)-algebra \(\mathfrak g^C\). Moreover, the identity map \(\mathrm{{Id}}:\mathfrak g\,\rightarrow \,\mathfrak g\) is a strict homotopy relative Rota–Baxter operator on the \(L_\infty \)-algebra \(\mathfrak g^C\) with respect to the representation \((\mathfrak g,\{L_k\}_{k=1}^{+\infty })\).
Proof
For all \(x_1,\cdots ,x_n\in \mathfrak g\), by the definition of pre-Lie\(_\infty \)-algebras, we have
Thus, we deduce that \((\mathfrak g,\{L_k\}_{k=1}^{+\infty })\) is a representation of the sub-adjacent \(L_\infty \)-algebra \(\mathfrak g^C\). By (62), we deduce that \(\mathrm{{Id}}\) is a strict homotopy relative Rota–Baxter operator on \(\mathfrak g^C\) with respect to \((\mathfrak g,\{L_k\}_{k=1}^{+\infty })\). \(\square \)
Now we are ready to show that strict homotopy relative Rota–Baxter operators on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) induce pre-Lie\(_\infty \)-algebras. This generalizes the result given in [2].
Theorem 5.18
Let \(T\in \mathrm {Hom}(V,\mathfrak g)\) be a strict homotopy relative Rota–Baxter operator on an \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V,\{\rho _k\}_{k=1}^{+\infty })\). Then \((V,\{\theta _k\}_{k=1}^{+\infty })\) is a pre-Lie\(_\infty \)-algebra, where \(\theta _k:\otimes ^k V\,\rightarrow \,V\) \((k\ge 1)\) are linear maps of degree 1 defined by
Proof
By the fact that \(\rho _k\) is a linear map of degree 1 from graded vector space \(\mathsf {S}^{k-1}(\mathfrak g)\otimes V\) to V, we deduce the graded symmetry condition of \(\theta _k\). Moreover, for all \(v_1\cdots ,v_n\in V\), we have
Thus, \((V,\{\theta _k\}_{k=1}^{+\infty })\) is a pre-Lie\(_\infty \)-algebra. \(\square \)
Corollary 5.19
With the above conditions, the linear map T is a strict \(L_\infty \)-algebra homomorphism from the sub-adjacent \(L_\infty \)-algebra \(V^C\) to the initial \(L_\infty \)-algebra \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\).
Proof
It follows from Theorem 5.18 and Corollary 5.16. \(\quad \square \)
At the end of this section, we give the necessary and sufficient conditions on an \(L_\infty \)-algebra admitting a compatible pre-Lie\(_\infty \)-algebra.
Proposition 5.20
Let \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) be an \(L_\infty \)-algebra. Then there exists a compatible pre-Lie\(_\infty \)-algebra if and only if there exists an invertible strict homotopy relative Rota–Baxter operator on \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\).
Proof
Let T be an invertible strict homotopy relative Rota–Baxter operator on \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\) with respect to a representation \((V,\{\rho _k\}_{k=1}^{+\infty })\). By Theorem 5.18, \((V,\{\theta _k\}_{k=1}^{+\infty })\) is a pre-Lie\(_\infty \)-algebra structure, where \(\theta _k\) is defined by (64). Since T is an invertible linear map, there is an isomorphic pre-Lie\(_\infty \)-algebra structure \( \{\Theta _k\}_{k=1}^{+\infty } \) on \(\mathfrak g\) given by
for all \(x_1\cdots ,x_k\in \mathfrak g.\) Since T is a strict homotopy relative Rota–Baxter operator, we have
Therefore \((\mathfrak g,\{\Theta _k\}_{k=1}^{+\infty })\) is a compatible pre-Lie\(_\infty \)-algebra of \((\mathfrak g,\{l_k\}_{k=1}^{+\infty })\).
Conversely, by Proposition 5.17, the identity map \(\mathrm{{Id}}\) is a strict homotopy relative Rota–Baxter operator on the sub-adjacent \(L_\infty \)-algebra \(\mathfrak g^C\) with respect to the representation \((\mathfrak g,\{L_k\}_{k=1}^{+\infty })\). \(\square \)
References
Arnal, D.: Simultaneous deformations of a Lie algebra and its modules. In: Differential geometry and mathematical physics (Liege, 1980/Leuven, 1981), pp. 3–15, Mathematical Physics Studies, 3, Reidel, Dordrecht (1983)
Bai, C.: A unified algebraic approach to the classical Yang–Baxter equation. J. Phys. A Math. Theor. 40, 11073–11082 (2007)
Bai, C., Bellier, O., Guo, L., Ni, X.: Spliting of operations, Manin products and Rota–Baxter operators. Int. Math. Res. Not. 3, 485–524 (2013)
Balavoine, D.: Deformations of algebras over a quadratic operad. In: Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995), Contemporary Mathematics, vol. 202, pp. 207–234. American Mathematical Society, Providence (1997)
Barmeier, S., Frégier, Y.: Deformation-obstruction theory for diagrams of algebras and applications to geometry. J. Noncommut. Geom. (to appear). arXiv:1806.05142
Baxter, G.: An analytic problem whose solution follows from a simple algebraic identity. Pac. J. Math. 10, 731–742 (1960)
Bordemann, M.: Generalized Lax pairs, the modified classical Yang–Baxter equation, and affine geometry of Lie groups. Commun. Math. Phys. 135, 201–216 (1990)
Borisov, D.V.: Formal deformations of morphisms of associative algebras. Int. Math. Res. Not. 41, 2499–2523 (2005)
Chapoton, F., Livernet, M.: Pre-Lie algebras and the rooted trees operad. Int. Math. Res. Not. 8, 395–408 (2001)
Chari, V., Pressley, A.: A Guide to Quantum Groups. Cambridge University Press, Cambridge (1994)
Chevalley, C., Eilenberg, S.: Cohomology theory of Lie groups and Lie algebras. Trans. Am. Math. Soc. 63, 85–124 (1948)
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. Commun. Math. Phys. 210, 249–273 (2000)
Dolgushev, V.A., Rogers, C.L.: A version of the Goldman–Millson Theorem for filtered \(L_\infty \)-algebras. J. Algebra 430, 260–302 (2015)
Doubek, M., Markl, M., Zima, P.: Deformation theory (lecture notes). Arch. Math. (Brno) 43, 333–371 (2007)
Dotsenko, V., Khoroshkin, A.: Quillen homology for operads via Gröbner bases. Doc. Math. 18, 707–747 (2013)
Ebrahimi-Fard, K., Manchon, D., Patras, F.: A noncommutative Bohnenblust–Spitzer identity for Rota–Baxter algebras solves Bogoliubov’s counterterm recursion. J. Noncommut. Geom. 3, 181–222 (2009)
Frégier, Y., Markl, M., Yau, D.: The \(L_\infty \)-deformation complex of diagrams of algebras. N. Y. J. Math. 15, 353–392 (2009)
Frégier, Y., Zambon, M.: Simultaneous deformations and Poisson geometry. Compos. Math. 151, 1763–1790 (2015)
Frégier, Y., Zambon, M.: Simultaneous deformations of algebras and morphisms via derived brackets. J. Pure Appl. Algebra 219, 5344–5362 (2015)
Gerstenhaber, M.: The cohomology structure of an associative ring. Ann. Math. 78, 267–288 (1963)
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)
Goncharov, M.E., Kolesnikov, P.S.: Simple finite-dimensional double algebras. J. Algebra 500, 425–438 (2018)
Guan, A., Lazarev, A., Sheng, Y., Tang, R.: Review of deformation theory II: a homotopical approach. Adv. Math. (China) 49, 278–298 (2020)
Guo, L.: What is a Rota–Baxter algebra? Notices of the AMS 56, 1436–1437 (2009)
Guo, L.: An Introduction to Rota–Baxter Algebra, Surveys of Modern Mathematics, vol. 4. International Press, Somerville (2012)
Guo, L.: Properties of free Baxter algebras. Adv. Math. 151, 346–374 (2000)
Hamilton, A., Lazarev, A.: Cohomology theories for homotopy algebras and noncommutative geometry. Algebr. Geom. Topol. 9, 1503–1583 (2009)
Harrison, D.K.: Commutative algebras and cohomology. Trans. Am. Math. Soc. 104, 191–204 (1962)
Hochschild, G.: On the cohomology groups of an associative algebra. Ann. Math. (2) 46, 58–67 (1945)
Kontsevich, M., Soibelman, Y.: Deformation theory. I [Draft] (2010). http://www.math.ksu.edu/~soibel/Book-vol1.ps
Kosmann-Schwarzbach, Y.: From Poisson algebras to Gerstenhaber algebras. Ann. Inst. Fourier (Grenoble) 46, 1243–1274 (1996)
Kupershmidt, B.A.: What a classical \(r\)-matrix really is. J. Nonlinear Math. Phys. 6, 448–488 (1999)
Lada, T., Stasheff, J.: Introduction to SH Lie algebras for physicists. Int. J. Theor. Phys. 32, 1087–1103 (1993)
Lada, T., Markl, M.: Strongly homotopy Lie algebras. Commun. Algebra 23, 2147–2161 (1995)
Lazarev, A., Sheng, Y., Tang, R.: Homotopy Rota–Baxter algebras, triangular \(L_\infty \)-bialgebras and higher derived brackets. arXiv:2008.00059
Loday, J.-L., Vallette, B.: Algebraic Operads. Springer, Berlin (2012)
Lurie, J.: DAG X: Formal moduli problems. http://www.math.harvard.edu/~lurie/papers/DAG-X.pdf
Markl, M.: Intrinsic brackets and the \(L_{\infty }\)-deformation theory of bialgebras. J. Homotopy Relat. Struct. 5, 177–212 (2010)
Markl, M.: Deformation theory of algebras and their diagrams. In: Regional Conference Series in Mathematics, Number 116, American Mathematical Society (2011)
Markl, M., Shnider, S., Stasheff, J.D.: Operads in Algebra, Topology and Physics. American Mathematical Society, Providence (2002)
Merkulov, S.A.: Nijenhuis infinity and contractible differential graded manifolds. Compos. Math. 141, 1238–1254 (2005)
Nijenhuis, A., Richardson, R.: Cohomology and deformations in graded Lie algebras. Bull. Am. Math. Soc. 72, 1–29 (1966)
Nijenhuis, A., Richardson, R.: Commutative algebra cohomology and deformations of Lie and associative algebras. J. Algebra 9, 42–105 (1968)
Pei, J., Bai, C., Guo, L.: Splitting of operads and Rota–Baxter operators on operads. Appl. Categ. Struct. 25, 505–538 (2017)
Pridham, J.P.: Unifying derived deformation theories. Adv. Math. 224, 772–826 (2010)
Semyonov-Tian-Shansky, M.A.: What is a classical R-matrix? Funct. Anal. Appl. 17, 259–272 (1983)
Sheng, Y.: Categorification of pre-Lie algebras and solutions of \(2\)-graded classical Yang-Baxter equations. Theory Appl. Categ. 34, 269–294 (2019)
Stasheff, J.: Homotopy associativity of H-spaces. I. Trans. Am. Math. Soc. 108, 275–292 (1963)
Stasheff, J.: Homotopy associativity of H-spaces. II. Trans. Am. Math. Soc. 108, 293–312 (1963)
Stasheff, J.: The intrinsic bracket on the deformation complex of an associative algebra. J. Pure Appl. Algebra 89, 231–235 (1993)
Stasheff, J.: Differential graded Lie algebras, quasi-Hopf algebras and higher homotopy algebras. Quantum groups (Leningrad, 1990), pp. 120–137, Lecture Notes in Mathematics, 1510. Springer, Berlin (1992)
Stasheff, J.: \(L\)-infinity and \(A\)-infinity structures. High. Struct. 3, 292–326 (2019)
Tang, R., Bai, C., Guo, L., Sheng, Y.: Deformations and their controlling cohomologies of \({\cal{O}}\)-operators. Commun. Math. Phys. 368, 665–700 (2019)
Voronov, Th: Higher derived brackets and homotopy algebras. J. Pure Appl. Algebra 202, 133–153 (2005)
Yu, H., Guo, L., Thibon, J.-Y.: Weak quasi-symmetric functions, Rota–Baxter algebras and Hopf algebras. Adv. Math. 344, 1–34 (2019)
Acknowledgements
This research was partially supported by NSFC (11922110,12001228). R. Tang is also Funded by China Postdoctoral Science Foundation (2020M670833). This work was completed in part while the first author was visiting Max Planck Institute for Mathematics in Bonn and he wishes to thank this institution for excellent working conditions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by C. Schweigert
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Lazarev, A., Sheng, Y. & Tang, R. Deformations and Homotopy Theory of Relative Rota–Baxter Lie Algebras. Commun. Math. Phys. 383, 595–631 (2021). https://doi.org/10.1007/s00220-020-03881-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-020-03881-3