Abstract
In this paper, we first construct the controlling algebras of embedding tensors and Lie–Leibniz triples, which turn out to be a graded Lie algebra and an \(L_\infty \)-algebra respectively. Then we introduce representations and cohomologies of embedding tensors and Lie–Leibniz triples, and show that there is a long exact sequence connecting various cohomologies. As applications, we classify infinitesimal deformations and central extensions using the second cohomology groups. Finally, we introduce the notion of a homotopy embedding tensor which will induce a Leibniz\(_\infty \)-algebra. We realize Kotov and Strobl’s construction of an \(L_\infty \)-algebra from an embedding tensor, as a functor from the category of homotopy embedding tensors to that of Leibniz\(_\infty \)-algebras, and a functor further to that of \(L_\infty \)-algebras.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
An embedding tensor on a Lie algebra representation \(({\mathfrak {g}},V)\) is a linear map \(T:V\,\rightarrow \,{\mathfrak {g}}\) satisfying a quadratic equivariancy constraint (see Definition 2.2). Leibniz algebras, embedding tensors and their associated tensor hierarchies provide a nice and efficient way to construct supergravity theories and further to higher gauge theories (see e.g. [6, 7, 18, 24, 51] and references therein for a rich physics literature on this subject, and see [27, 28] for a math-friendly introduction on this subject). Recently, this topic has attracted much attention of the mathematical physics world. First of all, a sharp and beautiful observation by Kotov and Strobl in a recent article [24] demonstrates for us a possible mathematical nature behind the various calculations from embedding tensors to their associated tensor hierarchies in the physics literature. An embedding tensor gives rise to a Leibniz algebra, which further gives rise to an \(L_\infty \)-algebra, and this corresponds to tensor hierarchies in physics literature. We see later that both procedures are functorial (the first one in Sect. 2, and the second one in Sect. 6), moreover the functoriality can be extended with homotopy added in for all objects. In fact, the second procedure is a composition of several very classic results [35, 37]. This therefore guarantees us, from a category viewpoint, that the process from embedding tensors to tensor hierarchies, and its corresponding transition from supergravity theories to higher gauge theories, is natural. Then, almost at the same time, appeared several other approaches to encode this process to tensor hierarchies, involving also Leibniz field theory: [50, 52] are from the point of view of enhanced Leibniz structures; [29] builds an \(L_\infty \)-algebra extension from a Leibniz algebra, which is apparently different from the second functor described above. The functoriality was shown in both procedures.
In our setting, we further conjecture that the above two functors are functorial in an \(\infty \)-category sense. We will explore this direction in a future work [45]. Notice that the homotopy nature of \(L_\infty \)-algebras suggests homotopy also in the category hosting these objects.
In this article, we provide a rich math tool box for embedding tensors and Lie–Leibniz triples, which seem not yet existing in the mathematical literature. Indeed, as a sort of algebra (or operad), embedding tensors involve not only binary but also unary operations. We develop the theory of controlling algebras, thus further the theory of cohomology and homotopy for embedding tensors and Lie–Leibniz triples.
To establish a good cohomology theory for an object, besides the standard homological algebraic method of projective resolutions, there is also another shorter way through its “controlling algebraic object”. Let us explain this idea in the case of a Lie algebra \({\mathfrak {g}}\). We start with a vector space \({\mathfrak {g}}\), then the graded vector space \(\oplus _{k=0}^{+\infty }\mathrm {Hom}(\wedge ^k {\mathfrak {g}}, {\mathfrak {g}})\) equipped with the Nijenhuis-Richardson bracket \([\cdot ,\cdot ]_{\mathsf {NR}}\) becomes a graded Lie algebra (g.l.a.), or a differential graded Lie algebra (d.g.l.a.) with 0 differential [38]. Then a Lie algebra structure on \({\mathfrak {g}}\) corresponds exactly to a Maurer–Cartan element \(\pi \in \mathrm {Hom}(\wedge ^2 {\mathfrak {g}}, {\mathfrak {g}})\). We call this g.l.a. \( (\oplus _{k=0}^{+\infty }\mathrm {Hom}(\wedge ^k {\mathfrak {g}}, {\mathfrak {g}}), [\cdot ,\cdot ]_{\mathsf {NR}})\) the controlling algebra of Lie algebra structures on \({\mathfrak {g}}\). Furthermore, since \([\pi , \pi ]_{\mathsf {NR}}=0\), \(d_{\pi }:=[\pi , \cdot ]_{\mathsf {NR}}\) satisfies \(d^2_{\pi }=0\), thus \(d_{\pi }\) is a differential. The controlling g.l.a. \(\oplus _{k=0}^{+\infty }\mathrm {Hom}(\wedge ^k {\mathfrak {g}}, {\mathfrak {g}})\) together with \(d_{\pi }\) becomes exactly the Chevalley–Eilenberg complex to calculate the cohomology of \({\mathfrak {g}}\) with coefficients in its adjoint representation. This is a general phenomenon and works not only for Lie algebras, but also for associative algebras, Leibniz algebras, n-Lie algebras, and pre-Lie algebras. See the review [10, 17] for more details. Thus, we use this principal as a guide to develop cohomology theories for embedding tensors (Sect. 3) and Lie–Leibniz triples (Sect. 4). Here a Lie–Leibniz triple [28] consists of a Lie algebra representation \(({\mathfrak {g}}, V)\), and an embedding tensor \(T: V\rightarrow {\mathfrak {g}}\). The subtle difference between these two concepts shows up, e.g. in deformation theory. To deform an embedding tensor, we fix \(({\mathfrak {g}}, V)\) and deform only the operator T, but to deform a Lie–Leibniz triple, we are allowed to deform also the Lie algebra and its representation \(({\mathfrak {g}}, V)\) simultaneously. It turns out that the controlling algebraic structure for embedding tensors is a g.l.a. and that for Lie–Leibniz triples is an \(L_\infty \)-algebra. Thus indeed the theory of Lie–Leibniz triples is more involved.
We give some immediate applications (also as verifications) of this cohomology theory of Lie–Leibniz triples in Sect. 5. It does behave as it should: Given a Lie–Leibniz triple,
-
(1)
its second cohomology classes in \(H^2\) with coefficients in the adjoint representation correspond exactly to the equivalence classes of its infinitesimal deformations;
-
(2)
its second cohomology classes in \(H^2\) with coefficients in the trivial representation correspond exactly to the equivalence classes of central extensions.
Here, we actually need a bit of additional luck in the second application: We need to develop a cohomology theory for Lie–Leibniz triples with arbitrary coefficients, but not just the one from adjoint representation. For this, we find that there is a natural Lie–Leibniz triple structure on the endomorphisms of a 2-term complex of vector spaces. This natural structure comes from the strict Lie 2-algebra structure on them [46], and a strict Lie 2-algebra is a special Lie–Leibniz triple (see Example 2.10 and Example 2.13).
Finally, in Sect. 6, we study how embedding tensors cooperate with homotopy. That is, what a homotopy embedding tensor should be, and how Kotov–Strobl’s functor \(\mathsf {KS}\) behaves with respect to homotopy. Will \(\mathsf {KS}\) still produces an \(L_\infty \)-algebra or something involving even more homotopy? This will test how stable the concept of embedding tensors and the procedure to topological hierarchies are. We still use the tool of controlling algebras to develop the homotopy theory. A standard approach [35, 54] to give a homotopy \(\mathcal {P}\)-algebraic structure is to construct a minimal model \(\mathcal {P}_\infty \) of the operad \(\mathcal {P}\). Along this approach, \(L_\infty \)-algebras and \(A_\infty \)-algebras are well developed. Moreover, Leibniz\(_\infty \)-algebras are defined as the algebras over the minimal model [2, 31] of the \(\mathcal {L}eibniz\) operad. However, apart from this approach, we can also use Maurer–Cartan elements of the aforementioned controlling algebra on a graded vector space to define a homotopy algebraic structure. For example, to define an \(L_\infty \)-algebra, one can start with a graded vector space \({\mathfrak {g}}^\bullet \) and define an \(L_\infty \)-algebra to be a Maurer–Cartan element of the g.l.a. \( (\mathrm {Hom}({\mathsf {S}}( {\mathfrak {g}}^\bullet ), {\mathfrak {g}}^\bullet ), [\cdot ,\cdot ]_{\mathsf {NR}})\). Using this method, we define a homotopy embedding tensor to be a Maurer–Cartan element of a graded version of the controlling algebra that we develop in Sect. 3. Then we show that a homotopy embedding tensor gives rise to a Leibniz\(_\infty \)-algebra, and a Leibniz\(_\infty \)-algebra further gives rise to an \(L_\infty \)-algebra. We further prove that these two processes are functorial. Thus the functor \(\mathsf {KS}\) extends to a homotopic version.
We want to emphasis that embedding tensors and Lie–Leibniz triples have been already known in mathematics literature under the name of averaging operators and averaging algebras respectively for a long time. In the last century, many studies on averaging operators were done for various special algebras, such as function spaces, Banach algebras, and the topics and methods were largely analytic [5, 9, 19, 41]. See the well-written introduction in [40] for more details. More recently, people have begun to study averaging operators in double algebras, classical Yang-Baxter equation, conformal algebras, and the procedure of replication in the operad theory [1, 15, 21, 39]. It is not yet clear to us how these aspects of embedding tensors and Lie–Leibniz triples are related. But we wish our article makes some first steps to understand these concepts more deeply.
2 Embedding Tensors, omni-Lie Algebras and Leibniz Algebras
In this section, first we establish relations between embedding tensors, omni-Lie algebras and Leibniz algebras. Then we give some interesting examples of embedding tensors.
Definition 2.1
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.
We denote a \(\mathsf {Lie}\mathsf {Rep}\) pair by \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\), or simply by \(({\mathfrak {g}},V)\) if there is no confusion.
Definition 2.2
-
(i)
An embedding tensor on a \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\) is a linear map \(T:V\longrightarrow {\mathfrak {g}}\) satisfying the following quadratic constraint:
$$\begin{aligned}{}[Tu,Tv]_{\mathfrak {g}}=T\big (\rho (Tu)(v)\big ),\quad \forall u,v\in V. \end{aligned}$$(1) -
(ii)
A Lie–Leibniz triple is a triple \(({\mathfrak {g}},V,T)\), where \(({\mathfrak {g}},V)\) is a \(\mathsf {Lie}\mathsf {Rep}\) pair and \(T:V\longrightarrow {\mathfrak {g}}\) is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \(({\mathfrak {g}},V)\).
Definition 2.3
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) and \((({\mathfrak {g}}',\{\cdot ,\cdot \}_{{\mathfrak {g}}'}),(V',\rho '),T')\) be two Lie–Leibniz triples. A homomorphism from \((({\mathfrak {g}}',\{\cdot ,\cdot \}_{{\mathfrak {g}}'}),(V',\rho '),T')\) to \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) consists of a Lie algebra homomorphism \(\phi :{\mathfrak {g}}'\longrightarrow {\mathfrak {g}}\) and a linear map \(\varphi :V'\longrightarrow V\) such that
In particular, if \(\phi \) and \(\varphi \) are invertible, then \((\phi ,\varphi )\) is called an isomorphism.
The algebraic structure underlying an embedding tensor is a Leibniz algebra, which is a vector space \({\mathfrak {G}}\) together with a bilinear operation \([\cdot ,\cdot ]_{\mathfrak {G}}:{\mathfrak {G}}\otimes {\mathfrak {G}}\,\rightarrow \,{\mathfrak {G}}\) such that
Proposition 2.4
([1]) Let \(T:V\,\rightarrow \,{\mathfrak {g}}\) be an embedding tensor on a \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\). Then there exists a Leibniz algebra structure \([\cdot ,\cdot ]_T\) on V given by
Remark 2.5
This association gives rise to a functor \(F: \mathsf {ET}\rightarrow \mathsf {Leibniz}\text{- }\mathsf {Alg}\) from the category of embedding tensors to that of Leibniz algebras. The direction from Leibniz algebras to embedding tensors is less well behaved. It is easy to check that the association in [24] gives rise to a functor \(G: \mathsf {Leibniz}\text{- }\mathsf {Alg}\rightarrow \mathsf {ET}\), and \(F\circ G={{\mathrm{Id}}}\) as also noticed therein. But \(G\circ F \ne {{\mathrm{Id}}}\), and these two functors do not differ even by a natural transformation. There is another natural association given in [28], namely for a Leibniz algebra \(({\mathfrak {G}},[\cdot ,\cdot ]_{\mathfrak {G}})\), the left multiplication \(L:{\mathfrak {G}}\,\rightarrow \,\mathfrak {gl}({\mathfrak {G}})\) given by
is an embedding tensor on the Lie algebra \(\mathfrak {gl}({\mathfrak {G}})\) with respect to the natural representation on the vector space \({\mathfrak {G}}\). Even though with this method, it is more likely to create a natural transformation, it does not give rise to even a functor \(\mathsf {Leibniz}\text{- }\mathsf {Alg}\rightarrow \mathsf {ET}\) in the first place.
In the sequel, we give an alternative explanation of Proposition 2.4 using integrable subspaces of omni-Lie algebras. For this purpose, we give an interesting example of embedding tensors.
Example 2.6
Let V be a vector space. Then the general linear Lie algebra \(\mathfrak {gl}(V)\) represents on the direct sum \(\mathfrak {gl}(V)\oplus V\) naturally via:
Let \(P:\mathfrak {gl}(V)\oplus V\,\rightarrow \,\mathfrak {gl}(V)\) be the projection to the first summand. Then we have
for all \(A,B\in \mathfrak {gl}(V), u,v\in V.\) Thus, P is an embedding tensor on \(\mathfrak {gl}(V) \) with respect to the representation \((\mathfrak {gl}(V)\oplus V;\rho )\).
By Proposition 2.4, there is an induced Leibniz algebra structure on \(\mathfrak {gl}(V)\oplus V\) given by
The above bracket \([\cdot ,\cdot ]_\mathfrak {ol}\) is exactly the omni-Lie bracket on \(\mathfrak {gl}(V)\oplus V\) introduced by Weinstein in [56]. Recall that an omni-Lie algebra is a triple \((\mathfrak {gl}(V)\oplus V,[\cdot ,\cdot ]_\mathfrak {ol},(\cdot ,\cdot )_+)\), where the omni-Lie bracket \([\cdot ,\cdot ]_\mathfrak {ol}\) is given by (6), and \((\cdot ,\cdot )_+\) is a symmetric V-valued pairing given by
Definition 2.7
A subspace \(H\subset \mathfrak {gl}(V)\oplus V\) is said to be integrable if \([H,H]_\mathfrak {ol}\subset H\).
Now we are ready to characterize embedding tensors using integrable subspaces of the omni-Lie algebra.
Theorem 2.8
Let \(T:V\,\rightarrow \,\mathfrak {gl}(V)\) be a linear map. Then T is an embedding tensor on the general linear Lie algebra \(\mathfrak {gl}(V)\) with respect to the natural representation on V if and only if the graph of T, denoted by \(G_T\), is an integrable subspace of the omni-Lie algebra \((\mathfrak {gl}(V)\oplus V,[\cdot ,\cdot ]_\mathfrak {ol},(\cdot ,\cdot )_+)\).
Proof
For all \(u,v\in V\), we have
which implies that the graph of T is integrable if and only if \([Tu,Tv] =T((Tu)v)\), i.e. T is an embedding tensor. \(\quad \square \)
Remark 2.9
Since the omni-Lie bracket \([\cdot ,\cdot ]_\mathfrak {ol}\) is a Leibniz algebra structure, it follows that an integrable subspace is also a Leibniz algebra. Thus, if \(T:V\,\rightarrow \,\mathfrak {gl}(V)\) is an embedding tensor, then \(G_T\) is a Leibniz algebra. Since \(G_T\) and V are isomorphic, so there is an induced Leibniz algebra structure on V. This Leibniz algebra structure on V is exactly the one given in Proposition 2.4.
In the rest of this section, we give various interesting examples.
Example 2.10
(differential Lie algebras). Let \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}},d)\) be a differential Lie algebra, that is a Lie algebra \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\) with a derivation d such that \(d\circ d=0\). Then we have
Thus, d is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),({\mathfrak {g}};\mathrm {ad}))\).
Example 2.11
(an example from supergravity). This example is taken from physics literature [24, 42] on supergravity in space-time dimension 4, which is one of the origins where the concept of embedding tensors appear. The vector space V is taken as the fundamental representation \(\mathbf{56}=(\wedge ^2 {\mathbb {R}}^8) \oplus (\wedge ^2 {\mathbb {R}}^8)^*\), of \(E_{7(7)}\), the non-compact real form of \(E_7\). We take \({\mathfrak {g}}=\mathfrak {so}(8)\), the Lie algebra of real skew-symmetric matrices. In fact \(\mathrm{SO}(8)\subset E_{7(7)}\) and the naturally induced representation \(\rho \) of \(\mathfrak {so}(8)\) on V is simply the sum of a wedge product of the fundamental representation of \(\mathfrak {so}(8)\) and its dual. More precisely, \(\mathfrak {so}(8)\) naturally represents on \(W:=\wedge ^2{\mathbb {R}}^8\) via
Let \({\bar{\rho }}^*\) be the dual representation of \(\mathfrak {so}(8)\) on \(W^*\). Then \(\rho ={\bar{\rho }}+{\bar{\rho }}^*\) is a representation of \(\mathfrak {so}(8)\) on V. Let \(E_{ij}=R_{ij}-R_{ji}\) be a basis of \({\mathfrak {g}}\), where \(R_{ij}\) denotes the \(8\times 8\) matrix with the (i, j)-position being 1 and elsewhere being 0. Then we have
Let \(\{e_1,\ldots ,e_8\}\) be the basis of \({\mathbb {R}}^8\) where \(e_i\) is the vector with the i-th position being 1 and elsewhere being 0. Then \(\{e_i\wedge e_j\}_{i<j}\) forms a basis of W. Let \(\{e_1^*,\ldots ,e_8^*\}\) be the dual basis. So \(\{e_i^*\wedge e_j^*\}_{i<j}\) forms a basis of \(W^*.\)
Define \(T:V\,\rightarrow \,\mathfrak {so}(8)\) by
Then we have
which implies that T is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((\mathfrak {so}(8),V)\).
The induced Leibniz algebra structure on V is given by
Notice that even though the first term \({\bar{\rho }}(E_{ij})(e_k\wedge e_l)=[E_{ij}, E_{kl}]=-{\bar{\rho }}(E_{kj})(e_i\wedge e_j)\) has antisymmetric property, the second term make the bracket \([\cdot ,\cdot ]_T\) not antisymmetric. Thus we end up really with a Leibniz algebra, not a Lie algebra. Mathematically, this example can be generalized to all Lie algebra \({\mathfrak {g}}\) acts on \(V={\mathfrak {g}}\oplus {\mathfrak {g}}^*\) via its adjoint and coadjoint representation. That is, the natural projection to the first factor \(T: V\rightarrow {\mathfrak {g}}\) is an embedding tensor on \({\mathfrak {g}}\) with respect to the action on \(V={\mathfrak {g}}\oplus {\mathfrak {g}}^*\).
Example 2.12
(endomorphism algebra of a 2-term complex). Given a 2-term complex of vector spaces \(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}}\), we define \(\mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}})\) by
It is obvious that \(\mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}})\) with the commutator bracket \([\cdot ,\cdot ]_C\) is a Lie algebra. Moreover it represents on \(\mathrm {Hom}({\mathfrak {h}},W)\) via
Define \({\overline{{\mathfrak {T}}}}:\mathrm {Hom}({\mathfrak {h}},W)\longrightarrow \mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}})\) by
Then it is straightforward to deduce that \((\mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}}),\mathrm {Hom}({\mathfrak {h}},W),{\overline{{\mathfrak {T}}}})\) is a Lie–Leibniz triple.
This Lie–Leibniz triple plays an important role in the representation theory of Lie–Leibniz triples. See Definition 5.11 for more details. In fact, this embedding tensor comes from a strict 2-Lie algebra structure on the endomorphisms of a 2-term complex described in [46]. This can be generalized to any strict Lie 2-algebra as follows.
Example 2.13
(strict Lie 2-algebras) A strict Lie 2-algebra is a 2-term graded vector spaces \( {\mathfrak {g}}= {\mathfrak {g}}_{1}\oplus {\mathfrak {g}}_{0}\) equipped with a linear map \(\mathrm {d}_{\mathfrak {g}}:{\mathfrak {g}}_1\longrightarrow {\mathfrak {g}}_0\) and a skew-symmetric bilinear map \([\cdot ,\cdot ]_{\mathfrak {g}}:{\mathfrak {g}}_i\wedge {\mathfrak {g}}_j\longrightarrow {\mathfrak {g}}_{i+j},0\le i+j\le 1\), such that for all \(x,y,z\in {\mathfrak {g}}_0,~a,b\in {\mathfrak {g}}_1\) the following equalities are satisfied:
-
(a)
\(\mathrm {d}_{{\mathfrak {g}}} [x,a]_{\mathfrak {g}}=[x,\mathrm {d}_{{\mathfrak {g}}} a]_{\mathfrak {g}}\), \([\mathrm {d}_{{\mathfrak {g}}} a,b]_{\mathfrak {g}}=[a,\mathrm {d}_{{\mathfrak {g}}} b]_{\mathfrak {g}}\),
-
(b)
\([[x,y]_{\mathfrak {g}},z]_{\mathfrak {g}}+[[y,z]_{\mathfrak {g}},x]_{\mathfrak {g}}+[[z,x]_{\mathfrak {g}},y]_{\mathfrak {g}}=0\), \([[x,y]_{\mathfrak {g}},a]_{\mathfrak {g}}+[[y,a]_{\mathfrak {g}},x]_{\mathfrak {g}}+[[a,x]_{\mathfrak {g}},y]_{\mathfrak {g}}=0\).
Define \(\rho \) from \({\mathfrak {g}}_{0}\) to \(\mathfrak {gl}({\mathfrak {g}}_{1})\) by \( \rho (x)(a)=[x,a]_{\mathfrak {g}}. \) Then, \(({\mathfrak {g}}_{1};\rho )\) is a representation of the Lie algebra \(({\mathfrak {g}}_0,[\cdot ,\cdot ]_{\mathfrak {g}})\) and \(\mathrm {d}_{\mathfrak {g}}\) is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}}_0,[\cdot ,\cdot ]_{\mathfrak {g}}),({\mathfrak {g}}_{1};\rho ))\).
As strict Lie 2-algebras are equivalent to crossed modules of Lie algebras, we naturally have the following example.
Example 2.14
(crossed modules of Lie algebras) A crossed module of Lie algebras is a quadruple \(({\mathfrak {g}}_0,{\mathfrak {g}}_1,\mathrm {d},\rho )\), where \({\mathfrak {g}}_0,{\mathfrak {g}}_1\) are Lie algebras, \(\mathrm {d}:{\mathfrak {g}}_1\,\rightarrow \,{\mathfrak {g}}_0\) and \(\rho :{\mathfrak {g}}_0\,\rightarrow \,\mathrm {Der}({\mathfrak {g}}_1)\) are homomorphisms of Lie algebras such that for all \(x\in {\mathfrak {g}}_0\) and \(m,n\in {\mathfrak {g}}_1\), we have
Then d is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}}_0,[\cdot ,\cdot ]_{{\mathfrak {g}}_0}),({\mathfrak {g}}_1;\rho ))\).
Examples 2.13 and 2.14 can be generalized to the following more general case.
Example 2.15
(Lie objects in the infinitesimal tensor category of linear maps) Let \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\) be a Lie algebra and \((V;\rho )\) a representation. If a linear map \(T:V\,\rightarrow \,{\mathfrak {g}}\) is \({\mathfrak {g}}\)-equivariant, that is,
then T is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\). In fact \(V{\mathop {\,\rightarrow \,}\limits ^{T}}{\mathfrak {g}}\) is a Lie object in the infinitesimal tensor category of linear maps if and only if \(T:V\,\rightarrow \,{\mathfrak {g}}\) is \({\mathfrak {g}}\)-equivariant. Let \(({\mathfrak {G}},[\cdot ,\cdot ]_{\mathfrak {G}})\) be a Leibniz algebra and \({\mathfrak {G}}^{\mathsf {ann}}\) be the two-sided ideal of \({\mathfrak {G}}\) generated by \([x,x]_{\mathfrak {G}}\) for all \(x\in {\mathfrak {G}}\). Then the natural projection \(\pi \) from \({\mathfrak {G}}\) to \({\mathfrak {G}}/{\mathfrak {G}}^{\mathsf {ann}}\) gives a Lie object in the infinitesimal tensor category of linear maps and \(\pi \) is an embedding tensor. See [24, 33] for more details.
Example 2.16
The Heisenberg algebra \(H_3({\mathbb {C}})\) is a three-dimensional complex Lie algebra generated by elements \(e_1, e_2\) and \(e_3\) with Lie brackets \( [e_1,e_2]=e_3,~ [e_1,e_3]=0,~ [e_2,e_3]=0. \) \(T=\left( \begin{array}{ccc}r_{11}&{}r_{12}&{}r_{13}\\ r_{21}&{}r_{22}&{}r_{23}\\ r_{31}&{}r_{32}&{}r_{33}\end{array}\right) \) is an embedding tensor on \(H_3({\mathbb {C}})\) with respect to the adjoint representation if and only if \( [Te_i,Te_j]=T[Te_i,e_j],~~ i,j\in \{1,2,3\}. \) First by
we obtain \( r_{21}r_{13}=0,~ r_{21}r_{23}=0,~ r_{21}r_{33}=0. \) Similarly, we can obtain
Therefore, we have
-
(i)
If \(r_{13}=r_{23}=r_{33}=0\), then \(T=\left( \begin{array}{ccc}r_{11}&{}r_{12}&{}0\\ r_{21}&{}r_{22}&{}0\\ r_{31}&{}r_{32}&{}0\end{array}\right) \) is an embedding tensor on \(H_3({\mathbb {C}})\) if and only if \(r_{11}r_{22}=r_{12}r_{21}\).
-
(ii)
If \(r_{13}=r_{23}=0\) and \(r_{33}\not =0\), then \(r_{12}=r_{21}=0\) and \(T=\left( \begin{array}{ccc}r_{11}&{}0&{}0\\ 0&{}r_{22}&{}0\\ r_{31}&{}r_{32}&{}r_{33}\end{array}\right) \) is an embedding tensor on \(H_3({\mathbb {C}})\) if and only if \(r_{11}r_{22}=r_{22}r_{33}=r_{11}r_{33}\).
These two cases exhaust all the possibilities of embedding tensors on \(H_3({\mathbb {C}})\) with respect to the adjoint representation.
3 The Controlling Graded Lie Algebra and Cohomology of Embedding Tensors
In this section first we recall the controlling g.l.a. that characterize Leibniz algebras as Maurer–Cartan elements and the g.l.a. governing a \(\mathsf {Lie}\mathsf {Rep}\) pair that was originally given in [3]. Then we construct the controlling g.l.a. of embedding tensors. Finally we introduce the cohomologies of embedding tensors.
3.1 The controlling graded Lie algebra of \(\mathsf {Lie}\mathsf {Rep}\) pairs
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,\ldots ,i_k)\)-shuffle and the set \({\mathbb {S}}_{(i_1,\ldots ,i_k)}\) are defined analogously.
Let \({\mathfrak {g}}\) be a vector space. We consider the graded vector space
It is known that \(C^\bullet ({\mathfrak {g}},{\mathfrak {g}})\) equipped with the Balavoine bracket [4]:
is a g.l.a. where \(P{\bar{\circ }}Q\in C^{p+q}({\mathfrak {g}},{\mathfrak {g}})\) is defined by \( P{\bar{\circ }}Q=\sum _{k=1}^{p+1}P\circ _k Q, \) and \(\circ _k\) is defined by
Remark 3.1
In fact, the Balavoine bracket is the commutator of coderivations on the cofree conilpotent coZinbiel coalgebra \({\bar{{\mathsf {T}}}}({\mathfrak {g}})\). See [2, 53] for more details. Note that on the same graded vector space \(C^\bullet ({\mathfrak {g}},{\mathfrak {g}})\) there is the Gerstenhaber bracket [49] which is the commutator of coderivations on the cofree conilpotent coassociative coalgebra \({\bar{{\mathsf {T}}}}({\mathfrak {g}})\).
The following conclusion is straightforward.
Lemma 3.2
For \(\Omega \in C^{1}({\mathfrak {g}},{\mathfrak {g}})=\mathrm {Hom}(\otimes ^2{\mathfrak {g}},{\mathfrak {g}})\), we have
Thus, \(\Omega \) defines a Leibniz algebra structure if and only if \([\Omega ,\Omega ]_{\mathsf {B}}=0\), i.e. \(\Omega \) is a Maurer–Cartan element of the g.l.a. \(( C^\bullet ({\mathfrak {g}},{\mathfrak {g}}),[\cdot ,\cdot ]_{\mathsf {B}})\).
Let \({\mathfrak {g}}_1\) and \({\mathfrak {g}}_2\) be 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,v_i\). Let \(c:{\mathfrak {g}}_2^{\otimes n}\,\rightarrow \,{\mathfrak {g}}_1\) be a linear map. Define a linear map \({\hat{c}}\in C^{n-1}({\mathfrak {g}}_1\oplus {\mathfrak {g}}_2,{\mathfrak {g}}_1\oplus {\mathfrak {g}}_2)\) by
In general, for a given linear map \(f:{\mathfrak {g}}_{i(1)}\otimes {\mathfrak {g}}_{i(2)}\otimes \cdots \otimes {\mathfrak {g}}_{i(n)}\,\rightarrow \,{\mathfrak {g}}_j\), \(i(1),\ldots ,i(n),j\in \{1,2\}\), we define a linear map \({\hat{f}}\in C^{n-1}({\mathfrak {g}}_1\oplus {\mathfrak {g}}_2,{\mathfrak {g}}_1\oplus {\mathfrak {g}}_2)\) by
We call the linear map \({\hat{f}}\) a horizontal lift of f.
Let us write \({\hat{C}}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V):=\mathrm {Hom}(\wedge ^{n+1}{\mathfrak {g}},{\mathfrak {g}})\oplus \mathrm {Hom}(\wedge ^{n}{\mathfrak {g}}\otimes V,V)\). Using the horizontal lift, we can regard \({\hat{C}}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V)\) as a subspace of \({C}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V)\).
Theorem 3.3
The above defined \(\oplus _{n=0}^{+\infty } {\hat{C}}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V)\) is a subalgebra of the g.l.a. \(({C}^\bullet ({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{\mathsf {B}})\). Moreover, a Maurer–Cartan element of the g.l.a. \((\oplus _{n=0}^{+\infty } {\hat{C}}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{\mathsf {B}})\) is exactly a \(\mathsf {Lie}\mathsf {Rep}\) pair.
Proof
It is straightforward to deduce that \(\oplus _{n=0}^{+\infty } {\hat{C}}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V)\) is a subalgebra of the graded Lie algebra \((\oplus _{n=0}^{+\infty }{C}^n({\mathfrak {g}}\oplus V,{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{\mathsf {B}})\). Moreover, let \((\mu ,\rho )\in \mathrm {Hom}(\wedge ^{2}{\mathfrak {g}},{\mathfrak {g}})\oplus \mathrm {Hom}({\mathfrak {g}}\otimes V,V)\) be a Maurer–Cartan element. Then \([{\hat{\mu }}+{\hat{\rho }},{\hat{\mu }}+{\hat{\rho }}]_{\mathsf {B}}=0\) implies that \(\mu \) defines a Lie algebra structure on \({\mathfrak {g}}\) and \(\rho \) is a representation of the Lie algebra \(({\mathfrak {g}},\mu )\) on V. \(\quad \square \)
3.2 The controlling graded Lie algebra of embedding tensors
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{{\mathfrak {g}}}),(V;\rho ))\) be a \(\mathsf {Lie}\mathsf {Rep}\) pair. Usually we will also use \(\mu \) to indicate the Lie bracket \([\cdot ,\cdot ]_{\mathfrak {g}}\). We have a Leibniz algebra structure \(\mu \boxplus \rho \) on \({\mathfrak {g}}\oplus V\), which is given by
This Leibniz algebra is called the hemisemidirect product of the Lie algebra \(({\mathfrak {g}},[\cdot ,\cdot ]_{{\mathfrak {g}}})\) and the representation \((V;\rho )\). It first appeared in [20].
Theorem 3.4
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{{\mathfrak {g}}}),(V;\rho ))\) be a \(\mathsf {Lie}\mathsf {Rep}\) pair. Then \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) is a graded Lie algebra, where the graded Lie bracket \(\llbracket \cdot ,\cdot \rrbracket \) is given in a derived fashion
More precisely, it is given by
Moreover, its Maurer–Cartan elements are precisely embedding tensors.
Proof
In short, the graded Lie algebra \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) is obtained via the derived bracket [22, 23, 55]. In fact, the Balavoine bracket \([\cdot ,\cdot ]_{{\mathsf {B}}}\) associated to the direct sum vector space \({\mathfrak {g}}\oplus V\) gives rise to a graded Lie algebra \((\oplus _{k= 1}^{+\infty }\mathrm {Hom}(\otimes ^k({\mathfrak {g}}\oplus V),{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{{\mathsf {B}}})\). Since \(\mu :\wedge ^2{\mathfrak {g}}\longrightarrow {\mathfrak {g}}\) is a Lie algebra structure and \(\rho :{\mathfrak {g}}\otimes V\longrightarrow V\) is a representation of \({\mathfrak {g}}\) on V, therefore the hemisemidirect product Leibniz algebra structure \(\mu \boxplus \rho \) is a Maurer–Cartan element of the graded Lie algebra \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\otimes ^k({\mathfrak {g}}\oplus V),{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{{\mathsf {B}}})\), defining a differential \(d_{\mu \boxplus \rho }\) on \((\oplus _{k=1}^{+\infty }\mathrm {Hom}(\otimes ^k({\mathfrak {g}}\oplus V),{\mathfrak {g}}\oplus V),[\cdot ,\cdot ]_{{\mathsf {B}}})\) via \( d_{\mu \boxplus \rho }=[\mu \boxplus \rho ,\cdot ]_{{\mathsf {B}}}. \) Since the subspace \(\oplus _{k=1}^{+\infty }\mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\) is abelian under \([\cdot , \cdot ]_{\mathsf {B}}\) by degree reasons, the differential \(d_{\mu \boxplus \rho }\) gives rise to a graded Lie algebra structure on the graded vector space \(\oplus _{k=1}^{+\infty }\mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\) via the derived bracket (10).
For \(T\in \mathrm {Hom}(V,{\mathfrak {g}})\), we have
which implies that Maurer–Cartan elements are precisely embedding tensors. \(\quad \square \)
There is a close relationship between the graded Lie algebra \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) and the graded Lie algebra \((C^\bullet (V,V),[\cdot ,\cdot ]_{\mathsf {B}})\), where \([\cdot ,\cdot ]_{\mathsf {B}}\) is the Balavoine bracket defined by (8).
Define a linear map \(\Phi :\mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\,\rightarrow \,\mathrm {Hom}(\otimes ^{k+1}V,V)\) for \(k=1,2,\ldots ,\) by
Proposition 3.5
The linear map \(\Phi \), defined by (11), is a homomorphism of graded Lie algebras from \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) to \((C^\bullet (V,V),[\cdot ,\cdot ]_{\mathsf {B}})\).
Proof
For \(\theta \in \mathrm {Hom}(\otimes ^mV,{\mathfrak {g}})\) and \(\phi \in \mathrm {Hom}(\otimes ^nV,{\mathfrak {g}})\), we have \([\Phi (\theta ),\Phi (\phi )]_{\mathsf {B}}\in \mathrm {Hom}(\otimes ^{m+n+1}V,V)\). More precisely, for all \(u_1,\ldots ,u_{m+n+1}\in V\), we have
For any \(\tau \in {\mathbb {S}}_{(n,m)}\), we can define \(\sigma \in {\mathbb {S}}_{(m,n)}\) by
Thus, we have \((-1)^{\sigma }=(-1)^{mn}(-1)^{\tau }\). In fact, the elements of \({\mathbb {S}}_{(n,m)}\) are in one-to-one correspondence with the elements of \({\mathbb {S}}_{(m,n)}\). Then we have
Therefore, we have
Thus, \(\Phi \) is a homomorphism from \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) to \((C^\bullet (V,V),[\cdot ,\cdot ]_{\mathsf {B}})\).
\(\square \)
Remark 3.6
The above result gives another intrinsic explanation of Proposition 2.4. By Lemma 3.2, Maurer–Cartan elements of the g.l.a \((C^ \bullet (V,V),[\cdot ,\cdot ]_{\mathsf {B}})\) are Leibniz algebra structures on V. By Theorem 3.4, Maurer–Cartan elements of the g.l.a \((\oplus _{k=1}^{+\infty } \mathrm {Hom}(\otimes ^{k}V,{\mathfrak {g}}),\llbracket \cdot ,\cdot \rrbracket )\) are embedding tensors. By Proposition 3.5, \(\Phi \) sends Maurer–Cartan elements to Maurer–Cartan elements. Thus, an embedding tensor \(T:V\,\rightarrow \,{\mathfrak {g}}\) induces a Leibniz algebra structure on V.
3.3 Cohomology of embedding tensors
First we review representations and cohomologies of Leibniz algebras. A representation of a Leibniz algebra \(({\mathfrak {G}},[\cdot ,\cdot ]_{{\mathfrak {G}}})\) is a triple \((V;\rho ^L,\rho ^R)\), where V is a vector space, \(\rho ^L,\rho ^R:{\mathfrak {G}}\,\rightarrow \,\mathfrak {gl}(V)\) are linear maps such that for all \(x,y\in {\mathfrak {G}}\),
Here \([\cdot ,\cdot ]:\wedge ^2\mathfrak {gl}(V)\,\rightarrow \,\mathfrak {gl}(V)\) is the commutator Lie bracket on \(\mathfrak {gl}(V)\). It is straightforward to see that \(({\mathfrak {G}};L,R)\), where the left multiplication \(L:{\mathfrak {G}}\longrightarrow \mathfrak {gl}({\mathfrak {G}})\) is given by (5) and the right multiplication \(R:{\mathfrak {G}}\longrightarrow \mathfrak {gl}({\mathfrak {G}})\) is defined by \(R_xy=[y,x]_{\mathfrak {G}}\), is a representation of \(({\mathfrak {G}},[\cdot ,\cdot ]_{{\mathfrak {G}}})\), which is called the regular representation.
Definition 3.7
([34]). Let \((V;\rho ^L,\rho ^R)\) be a representation of a Leibniz algebra \(({\mathfrak {G}},[\cdot ,\cdot ]_{{\mathfrak {G}}})\). The Loday–Pirashvili cohomology of \({\mathfrak {G}}\) with coefficients in V is the cohomology of the cochain complex \((C^\bullet ({\mathfrak {G}},V)=\oplus _{k=0}^{+\infty }C^k({\mathfrak {G}},V),\partial )\), where \(C^k({\mathfrak {G}},V)= \mathrm {Hom}(\otimes ^k{\mathfrak {G}},V)\) and the coboundary operator \(\partial :C^k({\mathfrak {G}},V)\longrightarrow C^ {k+1}({\mathfrak {G}},V)\) is defined by
for all \(x_1,\ldots , x_{k+1}\in {\mathfrak {G}}\). The resulting cohomology is denoted by \(H^*({\mathfrak {G}},V)\).
The regular representation \(({\mathfrak {G}};L,R)\) is very important. We denote the corresponding cochain complex by \((C^\bullet {\mathfrak {G}},{\mathfrak {G}}),\partial ^{reg})\) and the resulting cohomology by \(H^*_{\mathrm{reg}}({\mathfrak {G}})\).
Let \(T:V\longrightarrow {\mathfrak {g}}\) be an embedding tensor on a \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\). By Proposition 2.4, \([u,v]_T:=\rho (Tu)v\) defines a Leibniz algebra structure on V. Furthermore, define \(\rho ^L:V\,\rightarrow \,\mathfrak {gl}({\mathfrak {g}})\) and \(\rho ^R:V\,\rightarrow \,\mathfrak {gl}({\mathfrak {g}})\) by
Lemma 3.8
With above notations, \(({\mathfrak {g}};\rho ^L,\rho ^R)\) is a representation of the Leibniz algebra \((V,[\cdot ,\cdot ]_T)\).
Proof
It follows from direct verification. \(\quad \square \)
Let \(\partial _T: \mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\longrightarrow \mathrm {Hom}(\otimes ^{k+1}V,{\mathfrak {g}})\) be the corresponding Loday-Pirashvili coboundary operator of the Leibniz algebra \((V,[\cdot ,\cdot ]_T)\) with coefficients in \(({\mathfrak {g}};\rho ^L,\rho ^R)\). More precisely, \(\partial _T: \mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\longrightarrow \mathrm {Hom}(\otimes ^{k+1}V,{\mathfrak {g}})\) is given by
The coboundary operator \(\partial _T \) can be alternatively described by the following formula.
Proposition 3.9
Let \(T:V\,\rightarrow \,{\mathfrak {g}}\) be an embedding tensor. Then we have
where the bracket \(\llbracket \cdot ,\cdot \rrbracket \) is given by (10).
Proof
It follows from straightforward verification. \(\quad \square \)
Now we define a cohomology theory governing deformations of an embedding tensor \(T:V\,\rightarrow \,{\mathfrak {g}}.\) Define the space of 0-cochains \({\mathfrak {C}}^0(T)\) to be 0 and of 1-cochains \({\mathfrak {C}}^1(T)\) to be \({\mathfrak {g}}\). For \(n\ge 2\), define the space of n-cochains \({\mathfrak {C}}^n(T)\) as \({\mathfrak {C}}^n(T)=\mathrm {Hom}(\otimes ^{n-1}V,{\mathfrak {g}})\).
Definition 3.10
Let T be an embedding tensor on a \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\). We define the cohomology of the embedding tensor T to be the cohomology of the cochain complex \(( {\mathfrak {C}}^\bullet (T)=\oplus _{k=0}^{+\infty } {\mathfrak {C}}^k(T),\partial _T)\). The corresponding k-th cohomology group is denoted by \(\mathcal {H}^k(T)\).
At the end of this section, we study the relation between the cohomology of an embedding tensor \(T:V\longrightarrow {\mathfrak {g}}\) and the cohomology of the underlying Leibniz algebra \((V,[\cdot ,\cdot ]_T)\) given in Proposition 2.4.
Theorem 3.11
Let \(T:V\longrightarrow {\mathfrak {g}}\) be an embedding tensor on a \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ))\). Then \(\Phi \), defined by (11), is a homomorphism from the cochain complex \(({\mathfrak {C}}^\bullet (T),\partial _T)\) of the embedding tensor T to the cochain complex \(({\mathfrak {C}}^\bullet (V,V),\partial ^{reg})\) of the underlying Leibniz algebra \((V,[\cdot ,\cdot ]_T)\), that is, we have the following commutative diagram:
Consequently, \(\Phi \) induces a homomorphism \(\Phi _*:\mathcal {H}^{k}(T)\longrightarrow H^{k}_{\mathrm{reg}}(V,V)\) between the corresponding cohomology groups.
Proof
By Propositions 3.5 and 3.9, for all \(\theta \in \mathrm {Hom}(\otimes ^kV,{\mathfrak {g}})\), we have
Thus, \(\Phi \) is a homomorphism of cochain complexes from \(( {\mathfrak {C}}^*(T),\partial _T)\) to \(({\mathfrak {C}}^*(V,V),\partial ^{reg})\) and \(\Phi _*\) is a homomorphism between the corresponding cohomology groups. \(\quad \square \)
4 The Controlling \(L_\infty \)-Algebra of Lie–Leibniz Triples
In this section, we apply T. Voronov’s higher derived bracket to construct an \(L_\infty \)-algebra that characterizes Lie–Leibniz triples as Maurer–Cartan elements.
4.1 \(L_\infty \)-algebras and higher derived brackets
Let \(V^\bullet =\oplus _{k\in {\mathbb {Z}}}V^k\) be a \({\mathbb {Z}}\)-graded vector space. We will denote by \({\mathsf {S}}(V^\bullet )\) the symmetric algebra of \(V^\bullet \). That is, \( {\mathsf {S}}(V^\bullet ):={\mathsf {T}}(V^\bullet )/I, \) where \({\mathsf {T}}(V^\bullet )\) is the tensor algebra and I is the 2-sided ideal of \({\mathsf {T}}(V^\bullet )\) generated by all homogeneous elements of the form \( x\otimes y-(-1)^{xy}y\otimes x. \) We will write \({\mathsf {S}}(V^\bullet )=\oplus _{i=0}^{+\infty }{\mathsf {S}}^i (V)\). Moreover, we denote the reduced tensor algebra and reduced symmetric algebra by \({\bar{{\mathsf {T}}}}V^\bullet :=\oplus _{i=1}^{+\infty }{\mathsf {T}}^{i}(V^\bullet )\) and \({\bar{{\mathsf {S}}}}(V^\bullet ):=\oplus _{i=1}^{+\infty }{\mathsf {S}}^{i}(V^\bullet )\) respectively. Denote the product of homogeneous elements \(v_1,\ldots ,v_n\in V^\bullet \) in \({\mathsf {S}}^n(V^\bullet )\) 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,\ldots , v_n\in V^\bullet \), the Koszul sign \(\varepsilon (\sigma )=\varepsilon (\sigma ;v_1,\ldots ,v_n)\in \{-1,1\}\) is defined by
The desuspension operator \(s^{-1}\) changes the grading of \(V^\bullet \) according to the rule \((s^{-1}V^\bullet )^i:=V^{i+1}\). The degree \(-1\) map \(s^{-1}:V^\bullet \,\rightarrow \,s^{-1}V^\bullet \) is defined by sending \(v\in V^\bullet \) to its copy \(s^{-1}v\in s^{-1}V^\bullet \).
The notion of an \(L_\infty \)-algebra was introduced by Stasheff in [48]. See [25, 26] for more details.
Definition 4.1
An \(L_\infty \)-algebra is a \({\mathbb {Z}}\)-graded vector space \({\mathfrak {g}}^\bullet =\oplus _{k\in {\mathbb {Z}}}{\mathfrak {g}}^k\) equipped with a collection \((k\ge 1)\) of linear maps \(l_k:\otimes ^k{\mathfrak {g}}^\bullet \,\rightarrow \,{\mathfrak {g}}^\bullet \) of degree 1 with the property that, for any homogeneous elements \(x_1,\ldots ,x_n\in {\mathfrak {g}}^\bullet \), we have
-
(i)
(graded symmetry) for every \(\sigma \in {\mathbb {S}}_{n}\), \( l_n(x_{\sigma (1)},\ldots ,x_{\sigma (n)})=\varepsilon (\sigma ;x_1,\ldots ,x_n) l_n(x_1,\ldots ,x_n). \)
-
(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 ;x_1,\ldots ,x_n) l_{n-i+1}(l_i(x_{\sigma (1)},\ldots ,x_{\sigma (i)}),x_{\sigma (i+1)},\ldots ,x_{\sigma (n)})=0. \end{aligned}$$
Remark 4.2
An \(L_\infty \)-algebra structure on a graded vector space \({\mathfrak {g}}^\bullet \) is equivalent to a codifferential on the cofree conilpotent cocommutative coalgebra \({\bar{{\mathsf {S}}}}({\mathfrak {g}}^\bullet )\).
Definition 4.3
The set of Maurer–Cartan elements of an \(L_\infty \)-algebra \(({\mathfrak {g}}^\bullet ,\{l_i\}_{i=1}^{+\infty })\) is the set of those \(\alpha \in {\mathfrak {g}}^0\) satisfying the Maurer–Cartan equation \( \sum _{k=1}^{+\infty }\frac{1}{k!}l_k(\alpha ,\ldots ,\alpha )=0. \)
Let \(\alpha \) be a Maurer–Cartan element. Define \(l_k^{\alpha }:\otimes ^k{\mathfrak {g}}^\bullet \,\rightarrow \,{\mathfrak {g}}^\bullet \) \((k\ge 1)\) by
Proposition 4.4
([16]) With the above notation, \(({\mathfrak {g}}^\bullet ,\{l_k^{\alpha }\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra. The \(L_\infty \)-algebra \(({\mathfrak {g}}^\bullet ,\{l_k^{\alpha }\}_{k=1}^{+\infty })\) is called the twisted \(L_\infty \)-algebra.
In the sequel, we recall T. Voronov’s derived brackets [55], which is a useful tool to construct explicit \(L_\infty \)-algebras.
Definition 4.5
V-data consist 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 of \( \ker (P)^1\) such that \([\Delta ,\Delta ]=0\).
Theorem 4.6
([55]). Let \((L,{\mathfrak {h}},P,\Delta )\) be V-data. Then the graded vector space \(s^{-1}L\oplus {\mathfrak {h}}\) is an \(L_\infty \)-algebra where
Here \(a,a_1,\ldots ,a_k\) are homogeneous elements of \({\mathfrak {h}}\) and x, y are homogeneous elements of L. All other \(L_\infty \)-algebra products that are not obtained from the ones written above by permutations of arguments, will vanish.
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. In particular, \(({\mathfrak {h}},\{{l_k}\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra, where
\(L_\infty \)-algebras were constructed using the above method to study simultaneous deformations of morphisms between Lie algebras in [13, 14], and to study simultaneous deformations of relative Rota-Baxter Lie algebras in [30].
4.2 The controlling \(L_\infty \)-algebra of Lie–Leibniz triples
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 {B}}})\). This graded Lie algebra gives rise to V-data therefore also to an \(L_\infty \)-algebra.
Proposition 4.7
We have 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 {B}}}\big )\);
-
the abelian graded Lie subalgebra \({\mathfrak {h}}\) is given by
$$\begin{aligned} {\mathfrak {h}}:=\oplus _{n=0}^{+\infty }\mathrm {Hom}(\otimes ^{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,\ldots ,\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 }\mathrm {Hom}(\otimes ^{n+1}V,{\mathfrak {g}}) \) 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)\) are V-data.
The other conclusions follows immediately from Theorem 4.6. \(\quad \square \)
By Theorem 3.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 {B}}}\big )\). Then we have the following result.
Proposition 4.8
With above notations, \((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,\ldots ,\theta _{k-1}\in {\mathfrak {h}}\), homogeneous elements \(Q,Q'\in L'\), and all the other possible combinations vanish.
Proof
It follows from Theorem 4.6 and Proposition 4.7. \(\quad \square \)
Now we are ready to give the controlling \(L_\infty \)-algebra of Lie–Leibniz triples, which is the main result in this subsection.
Theorem 4.9
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 ),(V;\rho ),T)\) is a Lie–Leibniz triple if and only if \((s^{-1}(\mu \boxplus \rho ),T)\) is a Maurer–Cartan element of the \(L_\infty \)-algebra \((s^{-1}L'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\) given in Proposition 4.8.
Proof
Let \((s^{-1}(\mu \boxplus \rho ),T)\) be a Maurer–Cartan element of \((s^{-1}L'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\). Then we have
Thus, we obtain
By Theorems 3.3 and 3.4, \(({\mathfrak {g}},\mu )\) is a Lie algebra, \((V;\rho )\) is its representation and T is an embedding tensor on the \(\mathsf {Lie}\mathsf {Rep}\) pair \((({\mathfrak {g}},\mu ),(V;\rho ))\). \(\quad \square \)
5 Cohomology of Lie–Leibniz Triples and Applications
In this section, we introduce a cohomology theory of Lie–Leibniz triples and justify it by using it to classify infinitesimal deformations and central extensions.
5.1 Regular cohomology of Lie–Leibniz triples and infinitesimal deformations
In this subsection, first we recall the cohomology of a \(\mathsf {Lie}\mathsf {Rep}\) pair, and then we introduce a regular cohomology of a Lie–Leibniz triple. Finally, we use the second cohomology group to characterize infinitesimal deformations of a Lie–Leibniz triple.
Let \((({\mathfrak {g}},\mu ),(V;\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 )\) by
Define the coboundary operator \(\delta :{\mathfrak {C}}^n({\mathfrak {g}},\rho )\,\rightarrow \,{\mathfrak {C}}^{n+1}({\mathfrak {g}},\rho )\) by
By Theorem 3.3, \(\delta ^2=0\). Thus we obtain a cochain complex \((\oplus _n{\mathfrak {C}}^n({\mathfrak {g}},\rho ),\delta )\).
Definition 5.1
The cohomology of the cochain complex \((\oplus _n{\mathfrak {C}}^n({\mathfrak {g}},\rho ),\delta )\) is called the cohomology of the \(\mathsf {Lie}\mathsf {Rep}\) pair.
Now we give the precise formula of the coboundary operator \(\delta \). Write \(f=(f_{\mathfrak {g}},f_V)\) and \(\delta f=\Big ((\delta f)_{\mathfrak {g}},(\delta f)_V\Big )\), where \(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)\), \((\delta f)_{\mathfrak {g}}\in \mathrm {Hom}(\wedge ^{n+1}{\mathfrak {g}},{\mathfrak {g}})\) and \((\delta f)_V\in \mathrm {Hom}(\wedge ^{n}{\mathfrak {g}}\otimes V,V)\). Then we have
where \( \mathrm {d}_\mathsf {CE}: \mathrm {Hom}(\wedge ^n{\mathfrak {g}},{\mathfrak {g}})\,\rightarrow \,\mathrm {Hom}(\wedge ^{n+1}{\mathfrak {g}},{\mathfrak {g}})\) is the Chevalley–Eilenberg coboundary operator of the Lie algebra \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\), and \((\delta f)_V\) is given by
for all \(x_1,\ldots ,x_{n}\in {\mathfrak {g}}\) and \(v\in V.\)
Now we are ready to define the cohomology of a Lie–Leibniz triple. Let \((({\mathfrak {g}},\mu ),(V;\rho ),T)\) be a Lie–Leibniz triple, 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 an embedding tensor. Define the set of 0-cochains \({\mathfrak {C}}^0({\mathfrak {g}},\rho ,T)\) to be 0. For \(n\ge 1\), 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 \(\delta \) and \(\partial _T\) are given by (19) and (13), and \(\Omega _T:{\mathfrak {C}}^n({\mathfrak {g}},\rho )\,\rightarrow \,{\mathfrak {C}}^{n+1}(T)\) is defined by
The precise formula for \(\Omega _T\) is given as follows.
Lemma 5.2
The operator \(\Omega _T:\mathrm {Hom}(\wedge ^n{\mathfrak {g}},{\mathfrak {g}})\oplus \mathrm {Hom}(\wedge ^{n-1}{\mathfrak {g}}\otimes V,V)\,\rightarrow \,\mathrm {Hom}(\otimes ^{n}V,{\mathfrak {g}})\) is given by
where \(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,\ldots ,v_n\in V.\)
Proof
By Remark 3.1, 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 {T}}}}({\mathfrak {g}}\oplus V)\). 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 (23) holds. \(\quad \square \)
Theorem 5.3
With the above notations, \((\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
By Theorem 4.9, \((s^{-1}(\mu \boxplus \rho ),T)\) is a Maurer–Cartan element of the \(L_\infty \)-algebra \((s^{-1}L'\oplus {\mathfrak {h}},\{l_i\}_{i=1}^{+\infty })\) given in Proposition 4.8. By Proposition 4.4, there is a twisted \(L_\infty \)-algebra \((s^{-1}L'\oplus {\mathfrak {h}},\{l_i^{(s^{-1}(\mu \boxplus \rho ),T)}\}_{i=1}^{+\infty })\). 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}\) and
By (20), we deduce that
By \( l_1^{(s^{-1}(\mu +\rho ),T)}\circ l_1^{(s^{-1}(\mu +\rho ),T)}=0\), we obtain that \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T),\mathcal {D})\) is a cochain complex. \(\quad \square \)
About the relation between the operator \(\delta \), \(\partial _T\) and \(\Omega _T\), we have
Corollary 5.4
With the above notations, we have \(\Omega _T\circ \delta +\partial _T\circ \Omega _T=0\).
Proof
For all \((f,\theta ) \in {\mathfrak {C}}^n({\mathfrak {g}},\rho ,T)\), by the fact \(\delta \circ \delta =\partial _T\circ \partial _T=0,\) we have
which implies that \(\Omega _T\circ \delta +\partial _T\circ \Omega _T=0\). \(\quad \square \)
Definition 5.5
The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T),\mathcal {D})\) is called the regular cohomology of the Lie–Leibniz triple \((({\mathfrak {g}},\mu ),(V;\rho ),T)\). We denote its n-th cohomology group by \(\mathcal {H}^n_{\mathrm{reg}}({\mathfrak {g}},\rho ,T)\)
The formula of the coboundary operator \(\mathcal {D}\) can be well-explained by the following diagram:
Theorem 5.6
Let \((({\mathfrak {g}},\mu ),(V;\rho ),T)\) be a Lie–Leibniz triple. Then there is a short exact sequence of 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([f])=[\Omega _Tf],\) for all \([f]\in \mathcal {H}^n({\mathfrak {g}},\rho ).\)
Proof
By (21), we have the short exact sequence of cochain complexes which induces a long exact sequence of cohomology groups. Also by (21), \(c^n\) is given by \( c^n([f])=[\Omega _Tf].\) \(\quad \square \)
At the end of this section, we study infinitesimal deformations of Lie–Leibniz triples. Let \(\mathbb {K}[[t]]\) be the ring of formal power series in one variable t. Let \((({\mathfrak {g}},\mu ),(V;\rho ),T)\) be a Lie–Leibniz triple. Let \({\mathfrak {g}}[[t]]\) and V[[t]] be the spaces of formal power series in t with coefficients in \({\mathfrak {g}}\) and V respectively.
Definition 5.7
If \([\cdot ,\cdot ]_t=[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega \) defines a Lie algebra structure on \({\mathfrak {g}}[[t]]/(t^{2})\), \(\rho _t=\rho +t\varrho \) defines a representation of the Lie algebra \(({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_t)\) on \( V[[t]]/(t^{2})\) and \(T_t=T+t\mathcal {T}:V[[t]]/(t^{2})\,\rightarrow \,{\mathfrak {g}}[[t]]/(t^{2})\) satisfies
for \(\omega \in \mathrm {Hom}(\wedge ^2{\mathfrak {g}},{\mathfrak {g}}),~\varrho \in \mathrm {Hom}({\mathfrak {g}}\otimes V,V)\) and \(\mathcal {T}:V\,\rightarrow \,{\mathfrak {g}}\), we say that \((\omega ,\varrho ,\mathcal {T})\) generates an infinitesimal deformation of the Lie–Leibniz triple \((({\mathfrak {g}},\mu ),(V;\rho ),T)\).
Let \((\omega ,\varrho ,\mathcal {T})\) generate an infinitesimal deformation. By the fact that \([\cdot ,\cdot ]_t=[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega \) defines a Lie algebra structure on \({\mathfrak {g}}[[t]]/(t^{2})\), we get
Then since \((V[[t]]/(t^{2});\rho _t)\) is a representation of \(({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_t)\), we obtain
By (24), we deduce that
Proposition 5.8
The triple \((\omega ,\varrho ,\mathcal {T})\) generates an infinitesimal deformation if and only if \((\omega ,\varrho ,\mathcal {T})\) is a 2-cocycle of the Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\).
Proof
By (25), (26) and (27), we deduce that \((\omega ,\varrho ,\mathcal {T})\) generates an infinitesimal deformation of the Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) if and only if \((\omega ,\varrho ,\mathcal {T})\) is a 2-cocycle. \(\quad \square \)
In the sequel, we define equivalences between infinitesimal deformations of a Lie–Leibniz triple and show that infinitesimal deformations of a Lie–Leibniz triple are classified by its second cohomology group.
Definition 5.9
Two infinitesimal deformations of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) generated by \((\omega ,\varrho ,\mathcal {T})\) and \((\omega ',\varrho ',\mathcal {T}')\) are said to be equivalent if there exist \(N\in \mathfrak {gl}({\mathfrak {g}})\), \(S\in \mathfrak {gl}(V)\) and \(x\in {\mathfrak {g}}\) such that \(({{\mathrm{Id}}}_{\mathfrak {g}}+tN+t\mathrm {ad}_x,{{\mathrm{Id}}}_V+tS+t\rho (x))\) is a homomorphism from \((({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega '),(V[[t]]/(t^{2});\rho +t\varrho '),T+t\mathcal {T}')\) to \((({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega ),(V[[t]]/(t^{2}),\rho +t\varrho ),T+t\mathcal {T})\).
Since \({{\mathrm{Id}}}_{\mathfrak {g}}+tN+t\mathrm {ad}_x\) is a Lie algebra morphism from \(({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega ')\) to \(({\mathfrak {g}}[[t]]/(t^{2}),[\cdot ,\cdot ]_{\mathfrak {g}}+t\omega )\), we get
By the equality \(({{\mathrm{Id}}}_V+tS+t\rho (x))(\rho +t\varrho ')(y)u=(\rho +t\varrho )\big (({{\mathrm{Id}}}_{\mathfrak {g}}+tN+t\mathrm {ad}_x)y)({{\mathrm{Id}}}_V+tS+t\rho (x))u\), we deduce that
By the equality \(({{\mathrm{Id}}}_{\mathfrak {g}}+tN+t\mathrm {ad}_x)\circ (T+t\mathcal {T}')=(T+t\mathcal {T})\circ ({{\mathrm{Id}}}_V+tS+t\rho (x))\), we obtain
Theorem 5.10
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),\rho ,T)\) be a Lie–Leibniz triple. If two infinitesimal deformations generated by \((\omega ,\varrho ,\mathcal {T})\) and \((\omega ',\varrho ',\mathcal {T}')\) are equivalent, then \((\omega ,\varrho ,\mathcal {T})\) and \((\omega ',\varrho ',\mathcal {T}')\) are in the same cohomology class in \(\mathcal {H}^2_{\mathrm{reg}}({\mathfrak {g}},\rho ,T)\).
Proof
By (28), (29) and (30), we deduce that
which implies that \((\omega ,\varrho ,\mathcal {T})\) and \((\omega ',\varrho ',\mathcal {T}')\) are in the same cohomology class. \(\quad \square \)
5.2 Cohomology with arbitrary coefficients and central extensions
In this subsection, we introduce the cohomology of a Lie–Leibniz triple with coefficients in an arbitrary representation and classify central extensions of a Lie–Leibniz triple using the second cohomology group.
With the help of the Lie–Leibniz triple given in Example 2.12, we give the notion of a representation of a Lie–Leibniz triple as follows.
Definition 5.11
A representation of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) on a 2-term complex of vector spaces \(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}}\) is a Lie–Leibniz triple homomorphism \((\phi ,\varphi )\) from \(({\mathfrak {g}},V,T)\) to \((\mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}}),\mathrm {Hom}({\mathfrak {h}},W),{\overline{{\mathfrak {T}}}})\). More precisely, it consists of a Lie algebra homomorphism \(\phi :{\mathfrak {g}}\longrightarrow \mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}})\) and a linear map \(\varphi :V\longrightarrow \mathrm {Hom}({\mathfrak {h}},W)\) such that
Usually we will denote a representation by \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi ,\varphi ).\) Since \(\mathrm {End}(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}})\subset \mathfrak {gl}({\mathfrak {h}})\oplus \mathfrak {gl}(W)\), for any \(x\in {\mathfrak {g}}\), we will always write \(\phi (x)=(\phi _{\mathfrak {h}}(x),\phi _W(x))\) for \(\phi _{\mathfrak {h}}(x)\in \mathfrak {gl}({\mathfrak {h}})\) and \(\phi _W(x)\in \mathfrak {gl}(W)\). The following result follows from straightforward verifications.
Proposition 5.12
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) be a Lie–Leibniz triple and \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi ,\varphi )\) its representation. Then \((({\mathfrak {g}}\oplus {\mathfrak {h}},[\cdot ,\cdot ]_{\phi _{\mathfrak {h}}}), (V\oplus W,\rho +\phi _W+\varphi ),T+{\mathfrak {T}})\) is a Lie–Leibniz triple, where \([\cdot ,\cdot ]_{\phi _{\mathfrak {h}}}\) is the semidirect product Lie bracket given by
and the representation \(\rho +\phi _W+\varphi \) of the Lie algebra \(({\mathfrak {g}}\oplus {\mathfrak {h}},[\cdot ,\cdot ]_{\phi _{\mathfrak {h}}})\) on \(V\oplus W\) is given by
This Lie–Leibniz triple is called the semidirect product of \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) and the representation \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi ,\varphi )\).
Let \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi ,\varphi )\) be a representation of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\). Define the set of 0-cochains \({\mathfrak {C}}^0({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}})\) to be 0. For \(n\ge 1\), define the space of n-cochains \({\mathfrak {C}}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}})\) by
Define the coboundary operator \(\mathcal {D}_R:{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}})\,\rightarrow \,{\mathfrak {C}}^{n+1}({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}})\) by
for all \(f=(f_{\mathfrak {g}},f_V)\in \mathrm {Hom}(\wedge ^n{\mathfrak {g}},{\mathfrak {h}})\oplus \mathrm {Hom}(\wedge ^{n-1}{\mathfrak {g}}\otimes V,W),~ \theta \in \mathrm {Hom}(\otimes ^{n-1}V,{\mathfrak {h}})\). Here \(\delta ,\partial \) and \(\Omega \) are given as follows:
-
Write \(\delta f=((\delta f)_{\mathfrak {g}},(\delta f)_V)\in \mathrm {Hom}(\wedge ^{n+1}{\mathfrak {g}},{\mathfrak {h}})\oplus \mathrm {Hom}(\wedge ^{n}{\mathfrak {g}}\otimes V,W)\). Then \((\delta f)_{\mathfrak {g}}=\mathrm {d}_\mathsf {CE}f_{\mathfrak {g}}\), where \(\mathrm {d}_\mathsf {CE}:\mathrm {Hom}(\wedge ^n{\mathfrak {g}},{\mathfrak {h}})\,\rightarrow \,\mathrm {Hom}(\wedge ^{n+1}{\mathfrak {g}},{\mathfrak {h}})\) is the Chevalley–Eilenberg coboundary operator of the Lie algebra \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\) with coefficients in \(({\mathfrak {h}},{\phi _{\mathfrak {h}}})\), and \((\delta f)_V\) is given by
$$\begin{aligned}&(\delta f)_V(x_1,\ldots ,x_{n},v)\\&\quad =\sum _{1\le i<j\le n}(-1)^if_V(x_1,\ldots ,\hat{x_i},\ldots ,x_{j-1},[x_i,x_j]_{\mathfrak {g}},x_{j+1},\ldots ,x_{n},v)\\&\qquad +(-1)^{n}\varphi (v)f_{\mathfrak {g}}(x_1,\ldots ,x_{n}) \\&\qquad +\sum _{i=1}^{n}(-1)^{i+1}\Big (\phi _W(x_i)f_V(x_1,\ldots ,{\hat{x}}_i,\ldots ,x_n,v)\\&\qquad -f_V\big (x_1,\ldots ,{\hat{x}}_i,\ldots ,x_n,\rho (x_i)v\big )\Big ), \end{aligned}$$for all \(x_1,\ldots ,x_{n}\in {\mathfrak {g}}\) and \(v\in V.\)
-
\(\partial : \mathrm {Hom}(\otimes ^{n-1}V,{\mathfrak {h}})\longrightarrow \mathrm {Hom}(\otimes ^{n}V,{\mathfrak {h}})\) is given by
$$\begin{aligned} \partial \theta (u_1,\ldots ,u_{n})= & {} \sum _{i=1}^{n}(-1)^{i+1}\phi _{\mathfrak {h}}(Tu_i)\theta (u_1,\ldots ,\hat{u_i},\ldots , u_{n})\\&+(-1)^{n}{\mathfrak {T}}(\varphi (u_n)(\theta (u_1,\ldots , u_{n-1})) )\\&+\sum _{1\le i<j\le n}(-1)^{i}\theta (u_1,\ldots ,\hat{u_i},\ldots ,u_{j-1},\\&\rho (Tu_i)(u_j),u_{j+1},\ldots , u_{n}). \end{aligned}$$ -
\(\Omega :\mathrm {Hom}(\wedge ^n{\mathfrak {g}},{\mathfrak {h}})\oplus \mathrm {Hom}(\wedge ^{n-1}{\mathfrak {g}}\otimes V,W)\,\rightarrow \,\mathrm {Hom}(\otimes ^{n}V,{\mathfrak {h}})\) is defined by
$$\begin{aligned}&\Omega (f_{\mathfrak {g}},f_V)(u_1,\ldots ,u_n)\\&\quad =(-1)^{n}\Big (f_{\mathfrak {g}}(Tu_1,\ldots ,Tu_n)-{\mathfrak {T}}f_V (Tu_1,\ldots ,Tu_{n-1}, u_n)\Big ),\quad \forall u_1,\ldots ,u_n\in V. \end{aligned}$$
Theorem 5.13
With the above notations, \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}}),\mathcal {D}_R)\) is a cochain complex, i.e. \(\mathcal {D}_R\circ \mathcal {D}_R=0.\)
Proof
We only give a sketch of the proof and leave details to readers. Consider the semidirect product Lie–Leibniz triple \( (({\mathfrak {g}}\oplus {\mathfrak {h}},[\cdot ,\cdot ]_{\phi _{\mathfrak {h}}}), (V\oplus W,\rho +\phi _W+\varphi ),T+{\mathfrak {T}})\) given in Proposition 5.12, and the associated cochain complex \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}}\oplus {\mathfrak {h}},\rho +\phi _W+\varphi , T+{\mathfrak {T}}),\mathcal {D})\) given in Theorem 5.3. It is straightforward to deduce that \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}}),\mathcal {D}_R)\) is a subcomplex of \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}}\oplus {\mathfrak {h}},\rho +\phi _W+\varphi , T+{\mathfrak {T}}),\mathcal {D})\). Thus, \(\mathcal {D}_R\circ \mathcal {D}_R=0.\) \(\quad \square \)
Definition 5.14
The cohomology of the cochain complex \((\oplus _{n=0}^{+\infty }{\mathfrak {C}}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}}),\mathcal {D}_R)\) is called the cohomology of the Lie–Leibniz triple \((({\mathfrak {g}},\mu ),(V;\rho ),T)\) with coefficients in the representation \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi ,\varphi )\). We denote its n-th cohomology group by \(\mathcal {H}^n({\mathfrak {g}},\rho ,T,\phi ,\varphi ,{\mathfrak {T}})\).
In particular, \((W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}},\phi =0,\varphi =0)\) is naturally a representation of the Lie–Leibniz triple \((({\mathfrak {g}},\mu ),(V;\rho ),T)\), which is called the trivial representation, and the corresponding n-th cohomology group is denoted by \(\mathcal {H}^n_{\mathrm{tri}}({\mathfrak {g}},\rho ,T,{\mathfrak {T}})\).
At the end of this subsection we study central extensions of Lie–Leibniz triples and show that central extensions are classified by the second cohomology group \(\mathcal {H}^2_{\mathrm{tri}}({\mathfrak {g}},\rho ,T,{\mathfrak {T}})\) as applications.
Definition 5.15
Let \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) and \((({\mathfrak {h}},[\cdot ,\cdot ]_{\mathfrak {h}}),(W,\varrho ),{\mathfrak {T}})\) be two Lie–Leibniz triples. An extension of \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) by \((({\mathfrak {h}},[\cdot ,\cdot ]_{\mathfrak {h}}),(W,\varrho ),{\mathfrak {T}})\) is a short exact sequence of Lie–Leibniz triple homomorphisms:
where \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\) is a Lie–Leibniz triple.
It is called a central extension if \( [\alpha ,{\hat{x}}]_{{\hat{{\mathfrak {g}}}}}=0\), \({\hat{\rho }}({\hat{x}})\xi =0\) and \({\hat{\rho }}(\alpha ){\hat{u}}=0\) for all \(\alpha \in {\mathfrak {h}},~\xi \in W,~{\hat{x}}\in {\hat{{\mathfrak {g}}}}\) and \({\hat{u}}\in {\hat{V}}\).
In the sequel, we only consider central extensions.
Definition 5.16
A section of a central extension \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\) of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) by \(({\mathfrak {h}},W,{\mathfrak {T}})\) consists of linear maps \({\mathfrak {s}}:{\mathfrak {g}}\longrightarrow {\hat{{\mathfrak {g}}}}\) and \(s:V\longrightarrow {\hat{V}}\) such that
Let \(({\mathfrak {s}},s)\) be a section of a central extension \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\). We further define
by
Via the section \(({\mathfrak {s}},s)\), \({\hat{{\mathfrak {g}}}}\cong {\mathfrak {g}}\oplus {\mathfrak {h}}\) and \({\hat{V}}\cong V\oplus W\). Transfer the Lie–Leibniz triple structure on \({\hat{{\mathfrak {g}}}}\) and \({\hat{V}}\) to that on \( {\mathfrak {g}}\oplus {\mathfrak {h}}\) and \( V\oplus W\), we obtain
Theorem 5.17
With the above notations, \((\omega ,\varpi ,\mathcal {T})\) is a 2-cocycle of the Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) with the trivial coefficients in \(W{\mathop {\,\rightarrow \,}\limits ^{{\mathfrak {T}}}}{\mathfrak {h}}\). Moreover, its cohomological class does not depend on the choice of sections.
Proof
First by the fact that \([\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}\) satisfies the Jacobi identity, we deduce that \(\omega \) is 2-cocycle of the Lie algebra \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\), i.e. \(\mathrm {d}_\mathsf {CE}\omega =0\). Then since \({\hat{\rho }}\) is a representation of the Lie algebra \(({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}})\) on \(V\oplus W\), we obtain
Therefore, \(\delta (\omega ,\varpi )=0.\)
Finally since \({\hat{T}}\) is an embedding tensor, we obtain
which implies that \( \Omega (\omega ,\varpi )+\partial \mathcal {T}=0\). Therefore, \(\mathcal {D}_R(\omega ,\varpi ,\mathcal {T})=0,\) i.e. \((\omega ,\varpi ,\mathcal {T})\) is a 2-cocycle.
Let \(({\mathfrak {s}}',s')\) be another section and \((\omega ',\varpi ',\mathcal {T}')\) be the associated 2-cocycle. Assume that \({\mathfrak {s}}'={\mathfrak {s}}+N\) and \(s'=s+S\) for \(N\in \mathrm {Hom}({\mathfrak {g}},{\mathfrak {h}})\) and \(S\in \mathrm {Hom}(V,W)\). Then we have
which implies that \((\omega ',\varpi ',\mathcal {T}')-(\omega ,\varpi ,\mathcal {T})=\mathcal {D}_R(N,S,0)\). Thus, \((\omega ',\varpi ',\mathcal {T}')\) and \((\omega ,\varpi ,\mathcal {T})\) are in the same cohomology class. \(\quad \square \)
Isomorphisms between central extensions can be obviously defined as follows.
Definition 5.18
Let \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\) and \((({\tilde{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\tilde{{\mathfrak {g}}}}}),({\tilde{V}},{\tilde{\rho }}),{\tilde{T}})\) be two central extensions of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) by \(({\mathfrak {h}},W,{\mathfrak {T}})\). They are said to be isomorphic if there exists an isomorphism of Lie–Leibniz triples \((\kappa ,\lambda )\) such that the following diagram commutes:
Theorem 5.19
Central extensions of a Lie–Leibniz triple \((({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}}),(V;\rho ),T)\) by \(({\mathfrak {h}},W,{\mathfrak {T}})\) are classified by the second cohomology group \(\mathcal {H}^2_{\mathrm{tri}}({\mathfrak {g}},\rho ,T,{\mathfrak {T}})\).
Proof
Let \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\) and \((({\tilde{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\tilde{{\mathfrak {g}}}}}),({\tilde{V}},{\tilde{\rho }}),{\tilde{T}})\) be two isomorphic central extensions. Let \(({\tilde{{\mathfrak {s}}}},{\tilde{s}})\) be a section of \((({\tilde{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\tilde{{\mathfrak {g}}}}}),({\tilde{V}},{\tilde{\rho }}),{\tilde{T}})\), and \(({\tilde{\omega }},{\tilde{\varpi }},{\tilde{\mathcal {T}}})\) be the corresponding 2-cocycle. Define \(({\hat{{\mathfrak {s}}}},{\hat{s}})\) by
Then it is obvious that \(({\hat{{\mathfrak {s}}}},{\hat{s}})\) is a section of \((({\hat{{\mathfrak {g}}}},[\cdot ,\cdot ]_{{\hat{{\mathfrak {g}}}}}),({\hat{V}},{\hat{\rho }}),{\hat{T}})\). Let \(({\hat{\omega }},{\hat{\varpi }},{\hat{\mathcal {T}}})\) be the corresponding 2-cocycle. Then we have
Similarly, we have
By Theorem 5.17, isomorphic central extensions gives rise to the same cohomological class in \(\mathcal {H}^2_{\mathrm{tri}}({\mathfrak {g}},\rho ,T,{\mathfrak {T}})\).
The converse part can be easily checked and we omit details. \(\quad \square \)
6 Homotopy Embedding Tensors and Higher Structures
In this section, we define homotopy embedding tensors and establish various relations between homotopy embedding tensors, Leibniz\(_\infty \)-algebras, \(A_\infty \)-algebras and \(L_\infty \)-algebras. In particular, we construct \(L_\infty \)-algebras from homotopy embedding tensors via Leibniz\(_\infty \)-algebras, which generalizes the construction of \(L_\infty \)-algebras from embedding tensors given by Kotov and Strobl in [24]. A hidden aim of us to build up homotopy theory for embedding tensors is to try to find possible equivalence between them to provide equivalence of the corresponding physical models. To build up weak equivalence between homotopy embedding tensors is our next aim which we postpone to the future. If the physical model is topological, then weak equivalence should definitely provide a suitable equivalence. But quite possibly, weak equivalence might not provide non-trivial equivalence between embedding tensors themselves, just like, weak equivalences for Lie algebras viewed as \(L_\infty \)-algebras are simply isomorphisms.
6.1 Homotopy embedding tensors and Leibniz\(_\infty \)-algebras
In this subsection, we introduce the notion of a homotopy embedding tensor on an \(L_\infty \)-algebra and show that it induces a Leibniz\(_\infty \)-algebra generalizing Proposition 2.4.
Let \(V^\bullet \) be a graded vector space. Denote by \(\mathrm {Hom}^n({\bar{{\mathsf {T}}}}(V^\bullet ),V^\bullet )\) the space of degree n linear maps from the graded vector space \({\bar{{\mathsf {T}}}}(V^\bullet )\) to the graded vector space \(V^\bullet \). Obviously, an element \(f\in \mathrm {Hom}^n({\bar{{\mathsf {T}}}}(V^\bullet ),V^\bullet )\) is the sum of \(f_i:{{\otimes ^ i}V^\bullet }\,\rightarrow \,V^\bullet \). We will write \(f=\sum _{i=1}^{+\infty } f_i\). Set \({\mathbf {C}}^n(V^\bullet ,V^\bullet ):=\mathrm {Hom}^n({\bar{{\mathsf {T}}}}(V^\bullet ),V^\bullet )\) and \( {\mathbf {C}}^\bullet (V^\bullet ,V^\bullet ):=\oplus _{n\in {\mathbb {Z}}}{\mathbf {C}}^n(V^\bullet ,V^\bullet ). \) As the graded version of the Balavoine bracket given in [4], the graded Balavoine bracket \([\cdot ,\cdot ]_{{\mathsf {B}}}\) on the graded vector space \({\mathbf {C}}^\bullet (V^\bullet ,V^\bullet )\) is given by:
where \(f{\bar{\circ }} g\in {\mathbf {C}}^{m+n}(V^\bullet ,V^\bullet )\) is defined by
while \(f_i{\bar{\circ }} g_j\in \mathrm {Hom}({{\otimes ^s}V^\bullet },V^\bullet )\) is defined by \(f_i{\bar{\circ }} g_j=\sum _{k=1}^{i}f_i{\bar{\circ }}_k g_j \) and \(f_i{\bar{\circ }}_k g_j\) is defined by
where \(\beta _k=n(v_{\sigma (1)}+v_{\sigma (2)}+\cdots +v_{\sigma (k-1)})\).
Similar as the classical case, \(({\mathbf {C}}^\bullet (V^\bullet ,V^\bullet ),[\cdot ,\cdot ]_{{\mathsf {B}}})\) is a graded Lie algebra.
The notion of a Leibniz\(_\infty \)-algebra was introduced in [31], and further studied in [2, 43, 53].
Definition 6.1
A Leibniz\(_\infty \)-algebra is a \({\mathbb {Z}}\)-graded vector space \({\mathfrak {G}}^\bullet =\oplus _{k\in {\mathbb {Z}}}{\mathfrak {G}}^k\) equipped with a collection \((k\ge 1)\) of linear maps \(\theta _k:\otimes ^k{\mathfrak {G}}^\bullet \,\rightarrow \,{\mathfrak {G}}^\bullet \) of degree 1 such that \(\sum _{k=1}^{+\infty }\theta _k\) is a Maurer–Cartan element of the graded Lie algebra \(({\mathbf {C}}^\bullet ({\mathfrak {G}}^\bullet ,{\mathfrak {G}}^\bullet ),[\cdot ,\cdot ]_{{\mathsf {B}}})\). More precisely, for any homogeneous elements \(x_1,\ldots ,x_n\in {\mathfrak {G}}^\bullet \), the following equality holds:
where \(\gamma _{k}=x_{\sigma (1)}+\cdots +x_{\sigma (k-1)}\).
It is obvious that an \(L_\infty \)-algebra is naturally a Leibniz\(_\infty \)-algebra.
Definition 6.2
Let \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) and \(({{\mathfrak {G}}'}^\bullet ,\{\theta _k'\}_{k=1}^{+\infty })\) be two Leibniz\(_\infty \)-algebras. A Leibniz\(_\infty \)-algebra homomorphism from \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) to \(({{\mathfrak {G}}'}^\bullet ,\{\theta _k'\}_{k=1}^{+\infty })\) consists of a collection of degree 0 graded multilinear maps \(f_k:{\otimes ^k}{\mathfrak {G}}^\bullet \,\rightarrow \,{{\mathfrak {G}}'}^\bullet ,~ k\ge 1\) with the property that, for any \(n\ge 1\) and homogeneous elements \(x_1,\ldots ,x_n\in {\mathfrak {G}}^\bullet \), the following equality holds:
where \(\gamma _{k}=x_{\sigma (1)}+\cdots +x_{\sigma (k-1)}\) and \({\mathbb {E}}_{(k_1,\ldots ,k_p)}\) denotes the set of shuffles \(\sigma \in {\mathbb {S}}_{(k_1,\ldots ,k_p)}\) such that \(\sigma (k_1)<\sigma (k_1+k_2)<\cdots <\sigma (k_1+k_2+\cdots +k_p)\).
Proposition-definition 6.3
Let \({\mathfrak {g}}^\bullet \) and \(V^\bullet \) be graded vector spaces. Let \(l_k:{\mathsf {S}}^{k}({\mathfrak {g}}^\bullet )\,\rightarrow \,{\mathfrak {g}}^\bullet \) and \(\rho _k:{\mathsf {S}}^{k-1}({\mathfrak {g}}^\bullet )\otimes V^\bullet \,\rightarrow \,V^\bullet ,~ k\ge 1\) be linear maps of degree 1. We define \(l_k\boxplus \rho _k:\otimes ^k({\mathfrak {g}}^\bullet \oplus V^\bullet )\,\rightarrow \,{\mathfrak {g}}^\bullet \oplus V^\bullet \) as follows
Then \(({\mathfrak {g}}^\bullet \oplus V^\bullet ,\{l_k\boxplus \rho _k\}_{k=1}^{+\infty })\) is a Leibniz\(_\infty \)-algebra if and only if \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) is an \(L_\infty \)-algebra and \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\) is its representation. This Leibniz\(_\infty \)-algebra is called the hemisemidirect product of \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) and \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\).
A representation of an \(L_\infty \)-algebra will give rise to V-data.
Proposition 6.4
Let \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) be an \(L_\infty \)-algebra and \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\) a representation of \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\). Then the following quadruple form V-data:
-
the graded Lie algebra \((L,[\cdot ,\cdot ])\) is given by \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\);
-
the abelian graded Lie subalgebra \({\mathfrak {h}}\) is given by \({\mathfrak {h}}:=\oplus _{n\in {\mathbb {Z}}}\mathrm {Hom}^n({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet );\)
-
\(P:L\,\rightarrow \,L\) is the projection onto the subspace \({\mathfrak {h}}\);
-
\(\Delta =\sum _{k=1}^{+\infty }(l_k\boxplus \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
It is obvious that \(\mathrm {Im}P={\mathfrak {h}}\) is an abelian graded Lie subalgebra of the g.l.a. \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\). Moreover, \(\ker P\) is also a graded Lie subalgebra. Since \(\Delta =\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\) is the hemisemidirect product Leibniz\(_\infty \)-algebra structure on \({\mathfrak {g}}^\bullet \oplus V^\bullet \), we have \([\Delta ,\Delta ]_{\mathsf {B}}=0\) and \(P(\Delta )=0\). Thus \((L,{\mathfrak {h}},P,\Delta )\) are V-data. Hence by Theorem 4.6, we obtain the higher derived brackets \(\{{{\mathfrak {l}}_k}\}_{k=1}^{+\infty }\) on the abelian graded Lie subalgebra \({\mathfrak {h}}\). \(\quad \square \)
Now we are ready to define a homotopy embedding tensor, which is the main object in this section. A homotopy embedding tensor on an \(L_\infty \)-algebra is a generalization of an embedding tensor on a Lie algebra.
Definition 6.5
With above notations, a degree 0 element \(\Theta =\sum _{k=1}^{+\infty }\Theta _k\in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) is called a homotopy embedding tensor on \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\) if \(\Theta =\sum _{k=1}^{+\infty }\Theta _k\) is a Maurer–Cartan element of the \(L_\infty \)-algebra \(({\mathfrak {h}},\{{{\mathfrak {l}}_k}\}_{k=1}^{+\infty })\)Footnote 1, that is,
Definition 6.6
Let \(\Theta =\sum _{k=1}^{+\infty }\Theta _k\in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) and \(\Theta '=\sum _{k=1}^{+\infty }\Theta _k'\in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) be homotopy embedding tensors on \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\). A strict homomorphism from \(\Theta '\) to \(\Theta \) consists of an \(L_\infty \)-algebra strict homomorphism \(\phi _{{\mathfrak {g}}^\bullet }:{\mathfrak {g}}^\bullet \longrightarrow {\mathfrak {g}}^\bullet \) and a graded linear map \(\phi _{V^\bullet }:V^\bullet \longrightarrow V^\bullet \) of degree 0 such that for any \(n\ge 1\) and homogeneous elements \(x_1,\ldots ,x_{n-1}\in {\mathfrak {g}}^\bullet ,~v_1,\ldots ,v_n,u\in V^\bullet \), the following equalities hold:
An embedding tensor induces a Leibniz algebra (Proposition 2.4). Similarly, we have the following result.
Theorem 6.7
Let \(\Theta =\sum _{k=1}^{+\infty }\Theta _k\in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) be a homotopy embedding tensor on \(({\mathfrak {g}}^\bullet ,\{l_k\}_{k=1}^{+\infty })\) with respect to the representation \((V^\bullet ,\{\rho _k\}_{k=1}^{+\infty })\).
-
(i)
\(e^{[\cdot ,\Theta ]_{\mathsf {B}}}\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\) is a Maurer–Cartan element of the g.l.a. \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\);
-
(ii)
there is a Leibniz\(_\infty \)-algebra structure on \(V^\bullet \) given by
$$\begin{aligned}&\theta _k(v_1,\ldots ,v_{k})=\Big (e^{[\cdot ,\Theta ]_{\mathsf {B}}}\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big )(v_1,\ldots ,v_{k}). \end{aligned}$$(41) -
(iii)
the association in (ii) gives rise to a functor S from the category of homotopy embedding tensors to that of Leibniz\(_\infty \)-algebras.
Proof
-
(i)
Since, \([\cdot ,\Theta ]_{\mathsf {B}}\) is a locally nilpotent derivation of \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\), we deduce that \(e^{[\cdot ,\Theta ]_{\mathsf {B}}}\) is an automorphism of \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\). Moreover, we have
$$\begin{aligned}&[e^{[\cdot ,\Theta ]_{\mathsf {B}}}\Big (\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big ),e^{[\cdot ,\Theta ]_{\mathsf {B}}}\Big (\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big )]_{\mathsf {B}}\\&\quad =e^{[\cdot ,\Theta ]_{\mathsf {B}}}[\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k),\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)]_{\mathsf {B}}=0, \end{aligned}$$which implies that \(e^{[\cdot ,\Theta ]_{\mathsf {B}}}\Big (\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big )\) is a Maurer–Cartan element of the graded Lie algebra \(({\mathbf {C}}^\bullet ({\mathfrak {g}}^\bullet \oplus V^\bullet ,{\mathfrak {g}}^\bullet \oplus V^\bullet ),[\cdot ,\cdot ]_{\mathsf {B}})\).
-
(ii)
By (38), \(e^{[\cdot ,\Theta ]_{\mathsf {B}}}\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)|_{V^\bullet }\) is a Leibniz\(_\infty \)-algebra structure on \(V^\bullet \).
-
(iii)
Let \(\Theta \in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) and \(\Theta '\in \mathrm {Hom}({\bar{{\mathsf {T}}}}(V^\bullet ),{\mathfrak {g}}^\bullet )\) be homotopy embedding tensors and \((\phi _{{\mathfrak {g}}^\bullet },\phi _{V^\bullet })\) a strict homomorphism from \(\Theta '\) to \(\Theta \). For any \(n\ge 1\) and homogeneous elements \(v_1,\ldots ,v_n\in V^\bullet \), we have
$$\begin{aligned} \phi _{V^\bullet }\big (\theta _n'(v_1,\ldots ,v_n)\big )= & {} \phi _{V^\bullet }\Big (e^{[\cdot ,\Theta ']_{\mathsf {B}}}\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big )(v_1,\ldots ,v_{k})\\&{\mathop {=}\limits ^{(39),(40)}}\Big (e^{[\cdot ,\Theta ]_{\mathsf {B}}}\sum _{k=1}^{+\infty }(l_k\boxplus \rho _k)\Big )(\phi _{V^\bullet }(v_1),\ldots ,\phi _{V^\bullet }(v_n))\\= & {} \theta _n\big (\phi _{V^\bullet }(v_1),\ldots ,\phi _{V^\bullet }(v_n)\big ). \end{aligned}$$Therefore, \(\phi _{V^\bullet }\) is a strict homomorphism from the Leibniz\(_\infty \)-algebra \((V^{\bullet },\{\theta _k'\}_{k=1}^{+\infty })\) to \((V^{\bullet },\{\theta _k\}_{k=1}^{+\infty })\). Then it is straightforward to see that it is actually a functor. \(\quad \square \)
6.2 Leibniz\(_\infty \)-algebras and \(A_\infty \)-algebras
In this subsection, first we recall the Börjeson products on graded associative algebras which is a useful tool to construct \(A_\infty \)-algebras. Then by the bar construction, we show that a Leibniz\(_\infty \)-algebra \({\mathfrak {G}}^\bullet \) gives rise to an \(A_\infty \)-algebra \({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ).\)
Definition 6.8
([47]). An \(A_{\infty }\)-algebra is a \({\mathbb {Z}}\)-graded vector space \( A^\bullet =\oplus _{k\in {\mathbb {Z}}} A^k\) endowed with a family of graded maps \( m_i:\otimes ^i A^\bullet \,\rightarrow \,A^\bullet ,\,deg(m_i)=1,\, i\ge 1 \) satisfying the Stasheff identities
for \(n\ge 1\) and any homogeneous elements \(a_1,\ldots ,a_n\in A^\bullet \).
We recall the definition of Börjeson products on graded associative algebras, which give rise to \(A_\infty \)-algebras.
Definition 6.9
([8, 12, 36]). Let \(A^\bullet \) be a graded associative algebra, and let \(\nabla :A^\bullet \,\rightarrow \,A^\bullet \) be a degree 1 linear map such that \(\nabla \circ \nabla =0\). The sequence of Börjeson products \(b_k^{\nabla }:{\otimes ^ n}A^\bullet \,\rightarrow \,A^\bullet \) are defined as follows:
for any homogeneous elements \(a_1,\ldots ,a_k\in A^\bullet \).
Theorem 6.10
([8, 12, 36]) With the above notations, \((A^\bullet ,\{b_k^{\nabla }\}_{k=1}^{+\infty })\) is an \(A_\infty \)-algebra.
Let \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) be a Leibniz\(_\infty \)-algebra. By the bar construction [2] of a Leibniz\(_\infty \)-algebra (see also [35, Sect.11.4.3, Sect.13.5]), we have a codifferential cofree conilpotent coZinbiel coalgebra \( ({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle ,d=\sum _{k=1}^{+\infty }d_k) \) as following:
for \(n<k\), \(d_k(x_1\otimes \cdots \otimes x_n)=0\) and for \(n\ge k\)
We recall that the graded vector space \({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet )\) was equipped with the tensor product \(\otimes :{\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet )\otimes {\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet )\,\rightarrow \,{\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet )\) given, for \( x_1,\ldots ,x_{m+n}\in {\mathfrak {g}}\), by
Moreover, \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\otimes )\) is a free graded nonunital associative algebra. Thus, \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\otimes ,d)\) is a graded associative algebra with a linear map d such that \(d\circ d=0\). By Theorem 6.10, we have
Theorem 6.11
Let \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) be a Leibniz\(_\infty \)-algebra. Then \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\{b_k^{d}\}_{k=1}^{+\infty })\) is an \(A_\infty \)-algebra.
Remark 6.12
If the Leibniz\(_\infty \)-algebra \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) reduces to a Leibniz algebra \(({\mathfrak {G}},[\cdot ,\cdot ]_{\mathfrak {G}})\), there is an \(A_\infty \)-algebra structure on \({\bar{{\mathsf {T}}}}({\mathfrak {G}})\). More precisely, the linear maps \(m_k\) are given by
and for \(k\ge 2\)
6.3 Leibniz\(_\infty \)-algebras and \(L_\infty \)-algebras
There is a procedure to associate an \(L_\infty \)-algebra to a Leibniz algebra [24]. In this section, we extend this construction to a functor from the category of Leibniz\(_\infty \)-algebras to that of \(L_\infty \)-algebras. Thus we arrive at a functor from the category of homotopy embedding tensors to that of \(L_\infty \)-algebras.
Let \(V^\bullet \) be a \({\mathbb {Z}}\)-graded vector space. Then the tensor algebra \(({\mathsf {T}}(V^\bullet ),\otimes )\) is a free graded unital associative algebra. The freeness implies the uniqueness of the graded unital algebra morphism \(\triangle ^{\mathsf {cosh}}:{\mathsf {T}}(V^\bullet )\,\rightarrow \,{\mathsf {T}}(V^\bullet )\otimes {\mathsf {T}}(V^\bullet )\) such that
More precisely, \(\triangle ^{\mathsf {cosh}}\) is given by
It is immediate to check that it is coassociative and counital. Hence \(({\mathsf {T}}(V^\bullet ),\otimes ,\triangle ^{\mathsf {cosh}})\) is a graded bialgebra. We call \(({\mathsf {T}}(V^\bullet ),\otimes ,\triangle ^{\mathsf {cosh}})\) the (graded) coshuffle bialgebra.
Let \(\mathsf {Lie}(V^\bullet )\) be the free graded Lie algebra generated by the graded vector space \(V^\bullet \). In fact, \(\mathsf {Lie}(V^\bullet )\) is the intersection of all the Lie subalgebras of the (graded) commutator Lie algebra \({\mathsf {T}}(V^\bullet )_\mathsf {Lie}=({\mathsf {T}}(V^\bullet ), [\cdot , \cdot ]_C)\) containing \(V^\bullet \). Note that the space of primitive elements of \(({\mathsf {T}}(V^\bullet ),\otimes ,\triangle ^{\mathsf {cosh}})\) is \(\mathsf {Lie}(V^\bullet )\). Thus the grading on \({\mathsf {T}}(V^\bullet )\) induces a natural grading on \(\mathsf {Lie}(V^\bullet )\) making it a graded Lie algebra. We have an embedding \(V^\bullet \subset \mathsf {Lie}(V^\bullet )\) of graded vector spaces. This induces \({\mathfrak {i}}:{\mathsf {T}}(V^\bullet )\,\rightarrow \,{\mathsf {T}}(\mathsf {Lie}(V^\bullet ))\) a grading preserving inclusion of graded coshuffle bialgebras. Recall that the universal enveloping algebra \(\mathrm {U}(\mathsf {Lie}(V^\bullet )) = {\mathsf {T}}(\mathsf {Lie}(V^\bullet ))/I_\mathrm {U}\), where the two sided ideal \(I_\mathrm {U}\) is generated by \(a\otimes b - b\otimes a-[a, b]\). Moreover, we have
Thus \(I_\mathrm {U}\) is a homogeneous ideal of the bialgebra \(({\mathsf {T}}(V^\bullet ),\otimes ,\triangle ^{\mathsf {cosh}})\). Then the natural projection \({\mathfrak {p}}:{\mathsf {T}}(\mathsf {Lie}(V^\bullet ))\,\rightarrow \,\mathrm {U}(\mathsf {Lie}(V^\bullet ))\) is a surjective homomorphism of graded bialgebras.
Lemma 6.13
With the above notations, \(\Phi ={\mathfrak {p}}\circ {\mathfrak {i}}:{\mathsf {T}}(V^\bullet )\,\rightarrow \,\mathrm {U}(\mathsf {Lie}(V^\bullet ))\) is an isomorphism of graded bialgebras. More precisely, the isomorphism \(\Phi \) is given by
where \(*\) denotes the multiplication in \(\mathrm {U}(\mathsf {Lie}(V^\bullet ))\).
Proof
Since \(\Phi \) is a homomorphism of graded bialgebras, we only need to prove that \(\Phi \) is an isomorphism. Let A be a unital associative algebra, \(A_\mathsf {Lie}\) the commutator Lie algebra of A and \(f:\mathsf {Lie}(V^\bullet )\,\rightarrow \,A_\mathsf {Lie}\) a Lie algebra homomorphism. Since \({\mathsf {T}}(V^\bullet )\) is a free graded unital associative algebra, we have a unique associative algebra homomorphism \({\bar{f}}:{\mathsf {T}}(V^\bullet )\,\rightarrow \,A\) such that \(f={\bar{f}}\circ i\), where \(i:\mathsf {Lie}(V^\bullet )\,\rightarrow \,{\mathsf {T}}(V^\bullet )_\mathsf {Lie}\) is the inclusion of graded Lie algebras. Thus \({\mathsf {T}}(V^\bullet )\) satisfies the universal property of the universal enveloping algebra of the free graded Lie algebra \(\mathsf {Lie}(V^\bullet )\). Set \(A=\mathrm {U}(\mathsf {Lie}(V^\bullet ))\), by the universal property, we deduce that \({\mathfrak {p}}\circ {\mathfrak {i}}:{\mathsf {T}}(V^\bullet )\,\rightarrow \,\mathrm {U}(\mathsf {Lie}(V^\bullet ))\) is an isomorphism of graded associative algebras. Thus, \(\Phi \) is an isomorphism of bialgebras. \(\quad \square \)
Remark 6.14
Since \(({\mathsf {T}}(V^\bullet ),\otimes ,\triangle ^{\mathsf {cosh}})\) is a conilpotent cocommutative bialgebra, Lemma 6.13 is a special case of the Cartier-Milnor-Moore theorem [37] (see also [35, Sect.1.3.2]). For generalized bialgebras and an operadical version of Cartier-Milnor-Moore theorem, please see the monograph [32].
By Lemma 6.13, \(\Phi \) is an isomorphism from the graded coaugmented coalgebra \(({\mathsf {T}}^c(V^\bullet ),\triangle ^{\mathsf {cosh}})\) to the graded coaugmented coalgebra \(\mathrm {U}^c(\mathsf {Lie}(V^\bullet ))\). Thus \(\Phi \) is also an isomorphism from graded noncounital coalgebra \(({\bar{{\mathsf {T}}}}^c(V^\bullet ),\triangle ^{\mathsf {cosh}})\) to the graded noncounital coalgebra \({\bar{\mathrm {U}}}^c(\mathsf {Lie}(V^\bullet ))\).
Theorem 6.15
(Poincaré–Birkhoff–Witt). Let \(({\mathfrak {g}},[\cdot ,\cdot ]_{\mathfrak {g}})\) be a graded Lie algebra. Then the symmetrization map \(\Psi :{\mathsf {S}}^c({\mathfrak {g}})\,\rightarrow \,\mathrm {U}^c({\mathfrak {g}})\)
is an isomorphism of graded coaugmented coalgebras.
By Theorem 6.15, \(\Psi \) is an isomorphism from the graded coaugmented coalgebra \({\mathsf {S}}^c(\mathsf {Lie}(V^\bullet ))\) to the graded coaugmented coalgebra \(\mathrm {U}^c(\mathsf {Lie}(V^\bullet ))\). Thus \(\Psi \) is an isomorphism from the graded noncounital coalgebra \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}(V^\bullet ))\) to the graded noncounital coalgebra \({\bar{\mathrm {U}}}^c(\mathsf {Lie}(V^\bullet ))\). Let \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) be a Leibniz\(_\infty \)-algebra. The bar construction of a Leibniz\(_\infty \)-algebra gives us a codifferential cofree conilpotent coZinbiel coalgebra \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle ,d=\sum _{k=1}^{+\infty }d_k)\). Moreover, we have
Lemma 6.16
Let \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) be a Leibniz\(_\infty \)-algebra. Then \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle +\tau _{12}\circ \triangle ,d=\sum _{k=1}^{+\infty }d_k)\) is a codifferential coshuffle coalgebra.
Proof
By the definition of \(\triangle \), we deduce that \(\triangle ^{\mathsf {cosh}}=\triangle +\tau _{12}\circ \triangle \). Since \(d=\sum _{k=1}^{+\infty }d_k\) is a codifferential of the cofree conilpotent coZinbiel coalgebra \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle )\), we have
Therefore, \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle +\tau _{12}\circ \triangle ,d=\sum _{k=1}^{+\infty }d_k)\) is a codifferential coshuffle coalgebra. \(\square \)
Theorem 6.17
With the above notations, \(\Psi ^{-1}\circ \Phi \circ d\circ \Phi ^{-1}\circ \Psi \) is a codifferential of \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}({\mathfrak {G}}^\bullet ))\). It gives an \(L_\infty \)-algebra structure on the graded vector space \(\mathsf {Lie}({\mathfrak {G}}^\bullet )\).
Proof
Since \(\Phi \) and \(\Psi \) are coalgebra isomorphisms, we transfer the codifferential d on \({\bar{{\mathsf {T}}}}^c({\mathfrak {G}}^\bullet )\) to \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}({\mathfrak {G}}^\bullet ))\). Thus, \(\Psi ^{-1}\circ \Phi \circ d\circ \Phi ^{-1}\circ \Psi \) is a codifferential of \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}({\mathfrak {G}}^\bullet ))\), which gives an \(L_\infty \)-algebra structure on the graded vector space \(\mathsf {Lie}({\mathfrak {G}}^\bullet )\). \(\quad \square \)
Remark 6.18
This generalizes Kotov and Strobl’s construction of an \(L_\infty \)-algebra from a Leibniz algebra [24]. In particular, by truncation, one can obtain a Lie 2-algebra, which was applied to the supergravity theory. See also [44] for a direct construction of a Lie 2-algebra form a Leibniz algebra.
We denote the category of Leibniz\(_\infty \)-algebras and the category of \(L_\infty \)-algebras by \(\mathsf {Leibniz}_\infty \text{- }\mathsf {Alg}\) and \(\mathsf {Lie}_\infty \text{- }\mathsf {Alg}\) respectively. We show that the above construction is actually a functor.
Let \(f=\{f_k\}_{k=1}^{+\infty }\) be a Leibniz\(_\infty \)-algebra homomorphism from \(({\mathfrak {G}}^\bullet ,\{\theta _k\}_{k=1}^{+\infty })\) to \(({{\mathfrak {G}}'}^\bullet ,\{\theta _k'\}_{k=1}^{+\infty })\). By the bar construction of a Leibniz\(_\infty \)-algebra, we have a homomorphism of the codifferential cofree conilpotent coZinbiel coalgebras
which is defined by
Lemma 6.19
With the above natation, then F is a homomorphism from the codifferential coshuffle coalgebra \(({\bar{{\mathsf {T}}}}({\mathfrak {G}}^\bullet ),\triangle +\tau _{12}\circ \triangle ,d=\sum _{k=1}^{+\infty }d_k)\) to \(({\bar{{\mathsf {T}}}}({{\mathfrak {G}}'}^\bullet ),\triangle +\tau _{12}\circ \triangle ,d'=\sum _{k=1}^{+\infty }d_k')\).
Proof
Since F is a homomorphism of codifferential cofree conilpotent coZinbiel coalgebras, we have
and \(d'\circ F=F\circ d\). Thus, F is a homomorphism of codifferential coshuffle coalgebras. \(\square \)
Theorem 6.20
With the above notations, \(\Psi ^{-1}\circ \Phi \circ F\circ \Phi ^{-1}\circ \Psi \) is a homomorphism from the codifferential cocommutative coalgebra \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}({\mathfrak {G}}^\bullet ))\) to \({\bar{{\mathsf {S}}}}^c(\mathsf {Lie}({{\mathfrak {G}}'}^\bullet ))\). It gives an \(L_\infty \)-algebra homomorphism from \(\mathsf {Lie}({\mathfrak {G}}^\bullet )\) to \(\mathsf {Lie}({{\mathfrak {G}}'}^\bullet )\).
Proof
Since \(\Phi \) and \(\Psi \) are coalgebra isomorphisms, we transfer the homomorphism \(F:{\bar{{\mathsf {T}}}}^c({\mathfrak {G}}^\bullet )\,\rightarrow \,{\bar{{\mathsf {T}}}}^c({{\mathfrak {G}}'}^\bullet )\) to
Thus, \(\Psi ^{-1}\circ \Phi \circ F\circ \Phi ^{-1}\circ \Psi \) gives an \(L_\infty \)-algebra homomorphism from \(\mathsf {Lie}({\mathfrak {G}}^\bullet )\) to \(\mathsf {Lie}({{\mathfrak {G}}'}^\bullet )\). \(\quad \square \)
Now summarise the results, we generalize Kotov–Strobl’s construction to a functor from the category of homotopy embedding tensors to that of \(L_\infty \)-algebras.
Theorem 6.21
Theorems 6.17 and 6.20 give us a functor \(K:\mathsf {Leibniz}_\infty \text{- }\mathsf {Alg}\,\rightarrow \,\mathsf {Lie}_\infty \text{- }\mathsf {Alg}\). Then together with Theorem 6.7, \(\mathsf {KS}:=K\circ S\) is a functor from the category of homotopy embedding tensors to that of \(L_\infty \)-algebras.
Notes
It is a filtered \(L_\infty \)-algebra [11]. The condition of being filtered ensures convergence of the series figuring in the definition of Maurer–Cartan elements.
References
Aguiar, M.: Pre-Poisson algebras. Lett. Math. Phys. 54, 263–277 (2000)
Ammar, M., Poncin, N.: Coalgebraic approach to the Loday infinity category, stem differential for \(2n\)-ary graded and homotopy algebras. Ann. Inst. Fourier (Grenoble) 60, 355–387 (2010)
Arnal, D.: Simultaneous deformations of a Lie algebra and its modules. Differential geometry and mathematical physics (Liege, 1980/Leuven, 1981), 3–15, Math. Phys. Stud., 3, Reidel, Dordrecht (1983)
Balavoine, D.: Deformations of algebras over a quadratic operad. In: Operads: Proc. Renaissance Conferences (Hartford, CT, Luminy, : Contemp. Math. 202 Amer. Math. Soc. Providence, RI, vol. 1997, pp. 207–34 (1995)
Barnett, C.: Averaging operators in noncomutative \(L^p\) spaces. I. Glasgow Math. J. 24, 71–74 (1983)
Bonezzi, R., Hohm, O.: Leibniz gauge theories and infinity structures. Commun. Math. Phys. 377, 2027–2077 (2020)
Bonezzi, R., Hohm, O.: Duality Hierarchies and Differential Graded Lie Algebras. arXiv:1910.10399
Börjeson, K.: \(A_\infty \)-algebras derived from associative algebras with a non-derivation differential. J. Gen. Lie Theory Appl. 9, 5 (2015). (Art. ID 1000214)
Brainerd, B.: On the structure of averaging operators. J. Math. Anal. Appl. 5, 347–377 (1962)
de Azcárraga, J.A., Izquierdo, J.M.: \(n\)-ary algebras: a review with applications. J. Phys. A: Math. Theor. 43, 293001 (2010)
Dolgushev, V.A., Rogers, C.L.: A version of the Goldman–Millson Theorem for filtered \(L_\infty \)-algebras. J. Algebra 430, 260–302 (2015)
Dotsenko, V., Shadrin, S., Vallette, B.: Toric varieties of Loday’s associahedra and noncommutative cohomological field theories. J. Topol. 12, 463–535 (2019)
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)
Goncharov, M.E., Kolesnikov, P.S.: Simple finite-dimensional double algebras. J. Algebra 500, 425–438 (2018)
Getzler, E.: Lie theory for nilpotent \(L_{\infty }\)-algebras. Ann. Math. (2) 170, 271–301 (2009)
Guan, A., Lazarev, A., Sheng, Y., Tang, R.: Review of deformation theory I: concrete formulas for deformations of algebraic structures. Adv. Math. (China) 49, 257–277 (2020)
Hohm, O., Samtleben, H.: Leibniz–Chern–Simons theory and phases of exceptional field theory. Commun. Math. Phys. 369, 1055–1089 (2019)
Huijsmans, C.B., de Pagter, B.: Averaging operators and positive contractive projections. J. Math. Anal. Appl. 113, 163–184 (1986)
Kinyon, M., Weinstein, A.: Leibniz algebras, Courant algebroids, and multiplications on reductive homogeneous spaces. Am. J. Math. 123, 525–550 (2001)
Kolesnikov, P.S.: Homogeneous averaging operators on semisimple Lie algebras. Algebra Log. 53, 510–511 (2014)
Kosmann-Schwarzbach, Y.: From Poisson algebras to Gerstenhaber algebras. Ann. Inst. Fourier (Grenoble) 46, 1243–1274 (1996)
Kosmann-Schwarzbach, Y.: Derived brackets. Lett. Math. Phys. 69, 61–87 (2004)
Kotov, A., Strobl, T.: The embedding tensor, Leibniz–Loday algebras, and their higher Gauge theories. Commun. Math. Phys. 376, 235–258 (2020)
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)
Lavau, S.: Tensor hierarchies and Leibniz algebras. J. Geom. Phys. 144, 147–189 (2019)
Lavau, S., Palmkvist, J.: Infinity-enhancing Leibniz algebras. Lett. Math. Phys. 110, 3121–3152 (2020)
Lavau, S., Stasheff, J.: \(L_\infty \)-algebra extensions of Leibniz algebras. arXiv:2003.07838
Lazarev, A., Sheng, Y., Tang, R.: Deformations and homotopy theory of relative Rota-Baxter Lie algebras. Commun. Math. Phys. (2020). https://doi.org/10.1007/s00220-020-03881-3
Livernet, M.: Homologie des algèbres stables de matrices sur une \(A_\infty \)-algèbre. C. R. Acad. Sci. Paris Sér. I Math. 329, 113–116 (1999)
Loday, J.-L.: Generalized bialgebras and triples of operads. Astérisque 320, x+116 (2008)
Loday, J.-L., Pirashvili, T.: The tensor category of linear maps and Leibniz algebras. Georgian Math. J. 5, 263–276 (1998)
Loday, J.-L., Pirashvili, T.: Universal enveloping algebras of Leibniz algebras and (co)homology. Math. Ann. 296, 139–158 (1993)
Loday, J.-L., Vallette, B.: Algebraic Operads. Springer, Berlin (2012)
Markl, M.: On the origin of higher braces and higher-order derivations. J. Homotopy Relat. Struct. 10, 637–667 (2015)
Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math. (2) 81, 211–264 (1965)
Nijenhuis, A., Richardson, R.: Cohomology and deformations in graded Lie algebras. Bull. Am. Math. Soc. 72, 1–29 (1966)
Pei, J., Bai, C., Guo, L., Ni, X.: Replicating of binary operads, Koszul duality, Manin products and average operators. New Trends Algebras Comb. 2020, 317–353 (2020)
Pei, J., Guo, L.: Averaging algebras, Schroder numbers, rooted trees and operads. J. Algebraic Comb. 42, 73–109 (2015)
Rota, G.-C.: Ten mathematics problems I will never solve. Mitt. Dtsch. Math.-Ver. 2, 45–52 (1998)
Samtleben, H.: Lectures on gauged supergravity and flux compactifications. Class. Quantum Gravit. 25, 214002, 36 (2008)
Sheng, Y., Liu, Z.: Leibniz 2-algebras and twisted Courant algebroids. Commun. Algebra 41, 1929–1953 (2013)
Sheng, Y., Liu, Z.: From Leibniz algebras to Lie 2-algebras. Algebr. Represent. Theory 19, 1–5 (2016)
Sheng, Y., Tang, R., Zhu, C.: Homotopy embedding tensors and \(\infty \)-categories. work in progress
Sheng, Y., Zhu, C.: Integration of semidirect product Lie 2-algebras. Int. J. Geom. Methods Mod. Phys. 9, 1250043 (2012)
Stasheff, J.: Homotopy associativity of H-spaces. I, II. Trans. Am. Math. Soc. 108, 275–292 (1963); ibid. 108 (1963), 293–312
Stasheff, J.: Differential graded Lie algebras, quasi-Hopf algebras and higher homotopy algebras. Quantum groups (Leningrad, 1990), 120–137, Lecture Notes in Math., 1510, Springer, Berlin (1992)
Stasheff, J.: The intrinsic bracket on the deformation complex of an associative algebra. J. Pure Appl. Algebra 89, 231–235 (1993)
Strobl, T.: Non-abelian Gerbes and enhanced Leibniz algebras. Phys. Rev. D 94, 021702 (2016)
Strobl, T.: Leibniz–Yang–Mills gauge theories and the 2-Higgs mechanism. Phys. Rev. D 99, 115026 (2019)
Strobl, T., Wagemann, F.: Enhanced Leibniz algebras: structure theorem and induced Lie 2-algebra. Commun. Math. Phys. 376, 51–79 (2020)
Uchino, K.: Derived brackets and sh Leibniz algebras. J. Pure Appl. Algebra 215, 1102–1111 (2011)
Vallette, B.: Homotopy theory of homotopy algebras. Ann. Inst. Fourier (Grenoble) 70, 683–738 (2020)
Voronov, Th.: Higher derived brackets and homotopy algebras. J. Pure Appl. Algebra 202, 133–153 (2005)
Weinstein, A.: Omni-Lie algebras. Microlocal analysis of the Schrodinger equation and related topics (Japanese) (Kyoto, 1999). S\({{\bar{u}}}\)rikaisekikenky\({{\bar{u}}}\)sho K\({{\bar{u}}}\)ky\({{\bar{u}}}\)roku 1176, 95–102 (2000)
Acknowledgements
Y. Sheng is supported by National Science Foundation of China (11922110). R. Tang is supported by National Science Foundation of China (12001228) and China Postdoctoral Science Foundation (2020M670833). C. Zhu is funded by Deutsche Forschungsgemeinschaft (ZH 274/1-1, ZH 243-3-1, RTG 2491). We thank warmly Florian Naef, Dmitry Roytenberg, Jim Stasheff, and Bruno Vallette for very helpful discussions and suggestions. We also thank ESI, Vienna, for their invitation to present a preliminary version of this work during the Programme on Higher Structures and Field Theory.
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
Sheng, Y., Tang, R. & Zhu, C. The Controlling \(L_\infty \)-Algebra, Cohomology and Homotopy of Embedding Tensors and Lie–Leibniz Triples. Commun. Math. Phys. 386, 269–304 (2021). https://doi.org/10.1007/s00220-021-04032-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-021-04032-y