In this paper, we develop the bialgebra theory for Lie-Yamaguti algebras. For this purpose, we exploit two types of compatibility conditions: local cocycle condition and double construction. We define the classical Yang-Baxter equation in Lie-Yamaguti algebras and show that a solution to the classical Yang-Baxter equation corresponds to a relative Rota-Baxter operator with respect to the coadjoint representation. Furthermore, we generalize some results by Bai in [1] and Semonov-Tian-Shansky in [19] to the context of Lie-Yamaguti algebras. Then we introduce the notion of matched pairs of Lie-Yamaguti algebras, which leads us to the concept of double construction Lie-Yamaguti bialgebras following the Manin triple approach to Lie bialgebras. We prove that matched pairs, Manin triples of Lie-Yamaguti algebras, and double construction Lie-Yamaguti bialgebras are equivalent. Finally, we clarify that a local cocycle condition is a special case of a double construction for Lie-Yamaguti bialgebras.
(Theorem 3.6) A skew-symmetric 2-tensor r\in \otimes^2\mathfrak g is a solution to the classical Lie-Yamaguti Yang-Baxter equation if and only if the induced map r^\sharp:\mathfrak g^*\longrightarrow\mathfrak g is a relative Rota-Baxter operator with respect to the coadjoint representation, where \left\langle r^\sharp(\xi),\eta\right\rangle=\left\langle r,\xi\otimes\eta\right\rangle, for all \xi,\eta\in \mathfrak g^*.
(Theorem 4.13) Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra, and \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g linear maps. Suppose that a pair of structure maps (\delta^*,\omega^*) defines a Lie-Yamaguti algebra structure on \mathfrak g^*. Then the following statements are equivalent:
(1) (\mathfrak g,\mathfrak g^*) is a double construction Lie-Yamaguti bialgebra;
(2) the quadruple \Big(\mathfrak g,\mathfrak g^*;(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) is a matched pair of Lie-Yamaguti algebra s, where (\mathrm{ad}^*,-\mathcal{R}^*\tau) and (\mathfrak{ad}^*,-\mathfrak R^*\tau) are the coadjoint representations of \mathfrak g and \mathfrak g^* on \mathfrak g^* and \mathfrak g respectively;
(3) the triple \Big(\mathfrak g\oplus\mathfrak g^*,\mathfrak g,\mathfrak g^*\Big) is a Manin triple of Lie-Yamaguti algebra s.
[Weinstein] A Lie-Yamaguti algebra is a vector space \mathfrak g together with a bilinear bracket [\cdot,\cdot]:\wedge^2 \mathfrak{g} \to \mathfrak{g} and a trilinear bracket \left\llbracket \cdot,\cdot,\cdot\right\rrbracket :\wedge^2\mathfrak g \otimes \mathfrak{g} \to \mathfrak{g}, such that the following conditions hold
for all x,y,z,w,t \in \mathfrak g. We denote a Lie-Yamaguti algebra by (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ).
Let (\mathfrak g,[\cdot,\cdot]) be a Lie algebra. We define \left\llbracket \cdot,\cdot,\cdot \right\rrbracket :\wedge^2\mathfrak g\otimes \mathfrak g\,\rightarrow\, \mathfrak g to be
Then (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) forms a Lie-Yamaguti algebra.
Let M be a closed manifold (a smooth compact manifold without boundary) with an affine connection, and denote by \mathfrak X(M) the set of vector fields on M. For all x,y,z\in \mathfrak X(M), set
where T and R are torsion tensor and curvature tensor respectively. It turns out that the triple (\mathfrak X(M),[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) forms an (infinite-dimensional) Lie-Yamaguti algebra.
[Takahashi] Let (\mathfrak g,[\cdot,\cdot]_{\mathfrak g},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g}) and (\mathfrak h,[\cdot,\cdot]_{\mathfrak h},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak h}) be two Lie-Yamaguti algebras. A homomorphism from (\mathfrak g,[\cdot,\cdot]_{\mathfrak g},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g}) to (\mathfrak h,[\cdot,\cdot]_{\mathfrak h},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak h}) is a linear map \phi:\mathfrak g \to \mathfrak h preserving the Lie-Yamaguti algebra structure, i.e., for all x,y,z\in \mathfrak g, the following equalities hold
Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra. A representation of \mathfrak g is a vector space V endowed with a linear map \rho:\mathfrak g \to \mathfrak {gl}(V) and a bilinear map \mu:\otimes^2 \mathfrak g \to \mathfrak {gl}(V), which satisfies the following conditions for all x,y,z,w \in \mathfrak g,
where D_{\rho,\mu} is given by
It is easy to see that D_{\rho,\mu} is skew-symmetric. We denote a representation of \mathfrak g by (V;\rho,\mu). In the sequel, we write D_{\rho,\mu} as D for short without confusion.
Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and (V;\rho,\mu) its representation. If \rho=0 and the Lie-Yamaguti algebra \mathfrak g reduces to a Lie tripe system (\mathfrak g,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ), then (V;\mu) is a representation of the Lie triple system (\mathfrak g,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ); If \mu=0, D_{\rho,\mu}=0 and the Lie-Yamaguti algebra \mathfrak g reduces to a Lie algebra (\mathfrak g,[\cdot,\cdot]), then (V;\rho) is a representation of the Lie algebra (\mathfrak g,[\cdot,\cdot]). So the notion of representations of Lie-Yamaguti algebra s is also a natural generalization of that of Lie algebras and Lie triple systems.
If (V;\rho,\mu) is a representation of a Lie-Yamaguti algebra (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ). Then we have the following equalities
for all x,y,z,w\in \mathfrak g.
Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra. We define linear maps \mathrm{ad}:\mathfrak g \to \mathfrak {gl}(\mathfrak g) and \mathcal{R} :\otimes^2\mathfrak g \to \mathfrak {gl}(\mathfrak g) to be x \mapsto \mathrm{ad}_x and (x,y) \mapsto \mathcal{R}(x,y) respectively, where \mathrm{ad}_xz=[x,z] and \mathcal{R}(x,y)z=\left\llbracket z,x,y\right\rrbracket for all z \in \mathfrak g. Then (\mathrm{ad},\mathcal{R}) forms a representation of \mathfrak g on itself, where \mathcal{L}:= D_{\mathrm{ad},\mathcal{R}} is given by
The representation (\mathfrak g;\mathrm{ad},\mathcal{R}) is called the adjoint representation. If (\mathfrak g^*,[\cdot,\cdot]_*,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _*) is also a Lie-Yamaguti algebra, then the adjoint representation is denoted by (\mathfrak g^*;\mathfrak{ad},\mathfrak R) in this paper, where \mathfrak L:=D_{\mathfrak{ad},\mathfrak R}.
([SZ1]) Let (V;\rho,\mu) be a representation of a Lie-Yamaguti algebra (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ). Then
is a representation of \mathfrak g on V^*, where D_{\rho,\mu}^*=D_{\rho^*,-\mu^*\tau}. We call (V^*;\rho^*,-\mu^*\tau) the dual representation of (V;\rho,\mu).
Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and (\mathfrak g;\mathrm{ad},\mathcal{R}) its adjoint representation, where \mathrm{ad}, \mathcal{R} are given in Example 2.8. Then (\mathfrak g^*;\mathrm{ad}^*,-\mathcal{R}^*{\tau}) is the dual representation of the adjoint representation, called the coadjoint representation. Note that \mathcal{L}^*:=D_{\mathrm{ad}^*,-\mathcal{R}^*\tau} is dual to -\mathcal{L}, i.e.,
If (\mathfrak g^*,[\cdot,\cdot]_*,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _*) is a Lie-Yamaguti algebra, and (\mathfrak g^*,\mathfrak{ad},\mathfrak R) is its adjoint representation, then the coadjoint representation of (\mathfrak g^*,\mathfrak{ad},\mathfrak R) is (\mathfrak g;\mathfrak{ad}^*,-\mathfrak R^*\tau), where \mathfrak L^*=D_{\mathfrak{ad}^*,-\mathfrak R^*\tau}.
[Zhang1] Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and V a vector space. Suppose that \rho:\mathfrak g \to \mathfrak {gl}(V) and \mu:\otimes^2 \mathfrak g \to \mathfrak {gl}(V) are linear maps. Then (V;\rho,\mu) is a representation of (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) if and only if there is a Lie-Yamaguti algebra structure ([\cdot,\cdot]_{\ltimes},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\ltimes}) on the direct sum \mathfrak g \oplus V which is defined to be
for all x,y,z \in \mathfrak g, ~u,v,w \in V. This Lie-Yamaguti algebra (\mathfrak g \oplus V,[\cdot,\cdot]_{\ltimes},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\ltimes}) is called the semidirect product Lie-Yamaguti algebra, and is denoted by \mathfrak g \ltimes_{\rho,\mu} V.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and (V;\rho,\mu) a representation of \mathfrak g. A linear map f:\mathfrak g\longrightarrow V is called a 1-cocycle of \mathfrak g with respect to (V;\rho,\mu) if f satisfies
A derivation on a Lie-Yamaguti algebra (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) is a linear map \Delta:\mathfrak g\longrightarrow\mathfrak g such that
Thus a derivation is a 1-cocycle of \mathfrak g with respect to the adjoint representation (\mathfrak g;\mathrm{ad},\mathcal{R}).
([SZ1]) Let (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra with a representation (V;\rho,\mu) and T:V\to \mathfrak g a linear map. If T satisfies
then we call T a relative Rota-Baxter operator on \mathfrak g with respect to the representation (V;\rho,\mu).
([SZ1]) A pre-Lie-Yamaguti algebra is a vector space A with a bilinear operation *:\otimes^2A \to A and a trilinear operation \{\cdot,\cdot,\cdot\} :\otimes^3A \to A such that for all x,y,z,w,t \in A
where the commutator [\cdot,\cdot]_C:\wedge^2\mathfrak g \to \mathfrak g and \{\cdot,\cdot,\cdot\}_D: \otimes^3 A \to A are defined by for all x,y,z \in A,
and
respectively. Here (\cdot,\cdot,\cdot) denotes the associator: (x,y,z):=(x*y)*z-x*(y*z). It is obvious that \{\cdot,\cdot,\cdot\}_D is skew-symmetric with respect to the first two variables. We denote a pre-Lie-Yamaguti algebra by (A,*,\{\cdot,\cdot,\cdot\}).
([SZ1]) With the above notations, then we have
(i) the operation ( [ \cdot, \cdot ] {_C},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _C) defines a Lie-Yamaguti algebra structure on A. This Lie-Yamaguti algebra (A, [ \cdot, \cdot ] {_C},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _C) is called the sub-adjacent Lie-Yamaguti algebra and is denoted by A^c;
(ii) the triple (A;\mathrm{Ad},R) is a representation of the sub-adjacent Lie-Yamaguti algebra A^c on A. Furthermore, the identity map {\rm{Id}}:A\longrightarrow A is a relative Rota-Baxter operator on A^c with respect to the representation (A;\mathrm{Ad},R), where
is given by
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and r\in \otimes^2\mathfrak g. Suppose that r is skew-symmetric, and that \delta and \omega are induced by r as in Eqs. (?) and (?). Then \delta^*:\otimes^2\mathfrak g^*\longrightarrow\mathfrak g^* is skew-symmetric and \omega^*:\otimes^3\mathfrak g^*\longrightarrow\mathfrak g^* is skew-symmetric in the first two variables.
Indeed, for any x\in \mathfrak g, we have
This shows that \omega^* is skew-symmetric in the first two variables. Moreover, since r is skew-symmetric, we have \sigma_{12}\delta_1(x)=-\delta_2(x) and \sigma_{12}\delta_2(x)=-\delta_1(x) for any x\in \mathfrak g, and thus \delta^* is skew-symmetric. This finishes the proof.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and r=\sum_ix_i\otimes y_i. Suppose that r is skew-symmetric, and that \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g are defined by r as in Eqs. (?) and (?) respectively. Then we have
It is sufficient to prove that
Let r=\sum_ix_i\otimes y_i. Since r is skew-symmetric, we have
Hence, we obtain that
Moreover, we also have that
This gives Eq. (Proof). And Eq. (Proof) can be proved similarly, so we omit the details. This finishes the proof.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and r\in \otimes^2\mathfrak g skew-symmetric and nondegenerate. Then r satisfies
if and only if r^\sharp:\mathfrak g^*\longrightarrow\mathfrak g is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to the coadjoint representation (\mathfrak g^*;\mathrm{ad}^*,-\mathcal{R}^*\tau), where [r,r] and \left\llbracket r,r,r\right\rrbracket are defined as in Eqs. (?) and (?) respectively.
Let \xi,\eta,\zeta\in \mathfrak g^* and r=\sum_ix_i\otimes y_i. Then we compute that
The skew-symmetry of r yields that
Now we compute that
Similarly, we also have that
Thus we obtain that
Similarly, we also have the following relation
The conclusion thus follows.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and r\in \otimes^2\mathfrak g. The equation (3.6) given in Theorem 3.6 is called the classical Lie-Yamaguti Yang-Baxter equation in \mathfrak g and r is called the classical Lie-Yamaguti r-matrix of \mathfrak g.
If r\in \otimes^2\mathfrak g is a skew-symmetric classical Lie-Yamaguti r-matrix, then the induced map r^\sharp:\mathfrak g^*\longrightarrow\mathfrak g defined by (?) is a Lie-Yamaguti homomorphism from (\mathfrak g^*, [ \cdot, \cdot ] {_*},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _*) to (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ).
Let \mathfrak g be a 2-dimensional Lie-Yamaguti algebra with a basis \{e_1,e_2\} defined to be
Then any skew-symmetric 2-tensor r=k(e_1\otimes e_2-e_2\otimes e_1) is a solution to the classical Lie-Yamaguti Yang-Baxter equation.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and r\in \otimes^2\mathfrak g. Suppose that r is skew-symmetric and nondegenerate. Then r is a classical r-matrix of \mathfrak g if and only if the nondegenerate, skew-symmetric bilinear form \omega\in \wedge^2\mathfrak g^* defined to be
is a symplectic structure(The notion of symplectic structures was introduced in [SZ1]), i.e., \omega satisfies
for all x,y,z,w\in \mathfrak g.
Since r\in \otimes^2\mathfrak g is nondegenerate, for all \xi,\eta,\zeta\in \mathfrak g^*, there exists x,y,z\in \mathfrak g, such that r^\sharp(\xi)=x,r^\sharp(\eta)=y,r^\sharp(\zeta)=z. Then it follows from Theorem 3.6 that
and
This finishes the proof.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and (V;\rho,\mu) its representation. Then with the above notations, T:V\longrightarrow\mathfrak g is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to (V;\rho,\mu) if and only if
is an r-matrix of the semidirect product Lie-Yamaguti algebra \mathfrak g\ltimes_{\rho^*,-\mu^*\tau}V^*.
Let \{v_1,\cdots,v_n\} be a basis for the vector space V and \{v_1^*,\cdots,v_n^*\} its dual basis. Then we have
By a direct computation, we have
Moreover, we also have that
and
Denote by
Therefore, we have
Moreover, we also have that
where
Hence, r is an r-matrix, i.e.,
if and only if
for all i,j,k, which implies that T is a relative Rota-Baxter operator. This finishes the proof.
Let (A,*,\{\cdot,\cdot,\cdot\}) be a pre-Lie-Yamaguti algebra and \{e_i\}_{i=1}^n a basis for A and \{e_i^*\}_{i=1}^n its dual basis. Then
is a skew-symmetric r-matrix for the Lie-Yamaguti algebra A\ltimes_{\mathrm{Ad}^*,-R^*\tau}A^*. Moreover, r is nondegenerate and the induced bilinear form \mathcal{B} on A\ltimes_{\mathrm{Ad}^*,-R^*\tau}A^* is given by (?).
By Proposition 3.3, we have that the identity map {\rm{Id}}:A\longrightarrow A is a relative Rota-Baxter operator on the sub-adjacent Lie-Yamaguti algebra A^c of the given pre-Lie-Yamaguti algebra (A,*,\{\cdot,\cdot,\cdot\}) with respect to the representation (A;\mathrm{Ad},R). Moreover, it follows from Theorem 3.11 that r=\sum_{i=1}^n(e_i\otimes e_i^*-e_i^*\otimes e_i) is a skew-symmetric solution to the classical Lie-Yamaguti Yang-Baxter equation in A\ltimes_{\mathrm{Ad}^*,-R^*\tau}A^*. It is obvious that the corresponding bilinear form \mathcal{B}\in \otimes^2(A\oplus A^*) is given by (?). The proof is finished.
([Kikkawa]) A quadratic Lie-Yamaguti algebra is a Lie-Yamaguti algebra (\mathfrak g,[\cdot,\cdot],\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) equipped with a nondegenerate symmetric bilinear form \mathcal{B} \in \otimes^2\mathfrak g^* satisfying the following invariant conditions
We denote a quadratic Lie-Yamaguti algebra by \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big).
Let \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big) be a quadratic Lie-Yamaguti algebra. Then the induced map \mathcal{B}^\natural:\mathfrak g\longrightarrow\mathfrak g^* defined by (?) is an isomorphism from the adjoint representation (\mathfrak g;\mathrm{ad},\mathcal{R}) to the coadjoint representation (\mathfrak g^*;\mathrm{ad}^*,-\mathcal{R}^*\tau).
For all x,y,z,w\in \mathfrak g, we have
Since z is arbitrary, we deduce that
Similarly, we also have that
Since w is arbitrary, we deduce that
Hence, \mathcal{B}^\natural is an isomorphism between adjoint representation and coadjoint representation. This completes the proof.
Let \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big) be a quadratic Lie-Yamaguti algebra. Then \mathcal{B}^\natural:\mathfrak g\longrightarrow\mathfrak g^* satisfies
The proof is a direct computation and is similar to that of Lemma 3.14.
Let \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big) be a quadratic Lie-Yamaguti algebra and T:\mathfrak g^*\longrightarrow\mathfrak g a linear map. Then T is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to the coadjoint representation (\mathfrak g^*;\mathrm{ad}^*,-\mathcal{R}^*\tau) if and only if T\circ\mathcal{B}^\natural is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to the adjoint representation (\mathfrak g;\mathrm{ad},\mathcal{R}).
For all x,y,z\in \mathfrak g, by Lemma 3.14, we have that
and
Thus we obtain that T is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to the coadjoint representation (\mathfrak g^*;\mathrm{ad}^*,-\mathcal{R}^*\tau) if and only if T\circ\mathcal{B}^\natural is a relative Rota-Baxter operator on (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) with respect to the adjoint representation (\mathfrak g;\mathrm{ad},\mathcal{R}). This finishes the proof.
Let \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big) be a quadratic Lie-Yamaguti algebra. Then r\in \wedge^2\mathfrak g is a solution to the classical Lie-Yamaguti Yang-Baxter equation in \mathfrak g if and only if r^\sharp\circ \mathcal{B}^\natural:\mathfrak g\longrightarrow\mathfrak g is a relative Rota-Baxter operator on \mathfrak g with respect to the adjoint representation (\mathfrak g;\mathrm{ad},\mathcal{R}).
A local cocycle Lie-Yamaguti bialgebra is a Lie-Yamaguti algebra (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) together with two linear maps \delta=\delta_1+\delta_2:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega=\omega_1+\omega_2+\omega_3:\mathfrak g\longrightarrow\otimes^3\mathfrak g such that (\delta^*,\omega^*) defines a Lie-Yamaguti algebra structure on \mathfrak g^*, and the following conditions are satisfied:
\delta_1 is a 1-cocycle with respect to the representation (\otimes^2\mathfrak g;1\otimes\mathrm{ad},1\otimes\mathcal{R});
\delta_2 is a 1-cocycle with respect to the representation (\otimes^2\mathfrak g;\mathrm{ad}\otimes1,\mathcal{R}\otimes1);
\omega_1 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;\mathrm{ad}\otimes1\otimes1,\mathcal{R}\otimes1\otimes1);
\omega_2 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;1\otimes\mathrm{ad}\otimes1,1\otimes\mathcal{R}\otimes1);
\omega_3 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;1\otimes1\otimes\mathrm{ad},1\otimes1\otimes\mathcal{R}).
When a given Lie-Yamaguti algebra (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) reduces to a Lie triple system (\mathfrak g,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ), we obtain the local cocycle bialgebra structure of a Lie triple system: there exists a coalgebra structure \omega=\omega_1+\omega_2+\omega_3:\mathfrak g\longrightarrow\otimes^3\mathfrak g on the Lie triple system (\mathfrak g,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) such that the following conditions are satisfied:
\omega_1 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;\mathrm{ad}\otimes1\otimes1,\mathcal{R}\otimes1\otimes1);
\omega_2 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;1\otimes\mathrm{ad}\otimes1,1\otimes\mathcal{R}\otimes1);
\omega_3 is a 1-cocycle with respect to the representation (\otimes^3\mathfrak g;1\otimes1\otimes\mathrm{ad},1\otimes1\otimes\mathcal{R}),
where (\mathfrak g;\mathcal{R}) is the adjoint representation of the Lie triple system \mathfrak g.
We would like to point out that \delta_i and \omega_j (1\leqslant i\leqslant 2,1\leqslant j\leqslant 3) as in Eqs. (?) and (?) are not 1-cocycles of a Lie-Yamaguti algebra \mathfrak g in general, thus a solution to the classical Lie-Yamaguti Yang-Baxter equation can not give rise to a local cocycle Lie-Yamaguti bialgebra structure. Unlike 3-Lie algebras, even for a Lie triple system, these {\omega_j}’s are not 1-cocycles any more, which implies that a solution to the classical Yang-Baxter equation does not produce a local cocycle bialgebra structure in the context of Lie triple systems. This illustrates that there is a huge difference between 3-Lie algebras and Lie triple systems.
Let \mathfrak g_1 and \mathfrak g_2 be two Lie-Yamaguti algebra s. A Manin triple of \mathfrak g_1 and \mathfrak g_2 is a quadratic Lie-Yamaguti algebra \Big((\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ),\mathcal{B}\Big) such that
(i) \mathfrak g=\mathfrak g_1\oplus\mathfrak g_2 as vector spaces;
(ii) \mathfrak g_1 and \mathfrak g_2 are subalgebras of \mathfrak g which are isotropic, i.e., \mathcal{B}(x_1,y_1)=\mathcal{B}(x_2,y_2)=0, for any x_1,y_1\in \mathfrak g_1 and x_2,y_2\in \mathfrak g_2;
(iii) For all x_1,y_1\in \mathfrak g_1 and x_2,y_2\in \mathfrak g_2, we have
where \mathrm{pr}_1 and \mathrm{pr}_2 are projections from \mathfrak g_1\oplus\mathfrak g_2 to \mathfrak g_1 and \mathfrak g_2 respectively.
We denote a Manin triple of Lie-Yamaguti algebra s by \Big((\mathfrak g,\mathcal{B}),\mathfrak g_1,\mathfrak g_2\Big) or simply by (\mathfrak g,\mathfrak g_1,\mathfrak g_2).
Recall that a product structure on a Lie-Yamaguti algebra (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) is a Nijenhuis operator E:\mathfrak g\longrightarrow\mathfrak g satisfying E^2={\rm{Id}}.
There exists a product structure E on \mathfrak g if and only if \mathfrak g admits a decomposition into two subalgebras: \mathfrak g=\mathfrak g_1\oplus\mathfrak g_2. Moreover, Condition (iii) in Definition 4.1 is just the condition that makes the product structure perfect. See [Sheng, Zhao] for more details about product structures and complex structures on Lie-Yamaguti algebra s. Thus a Manin triple \Big((\mathfrak g,\mathcal{B}),\mathfrak g_1,\mathfrak g_2\Big) of Lie-Yamaguti algebra s is in fact the quadratic Lie-Yamaguti algebra (\mathfrak g,\mathcal{B}) such that there is a perfect product structure on \mathfrak g whose decomposed subalgebras are isotropic.
Any Manin triple of Lie-Yamaguti algebra s is isomorphic to a standard one.
Let \mathfrak g_1 and \mathfrak g_2 be Lie-Yamaguti algebra s. If \Big((\mathfrak g=\mathfrak g_1\oplus\mathfrak g_2,\mathcal{B}),\mathfrak g_1,\mathfrak g_2\Big) is a Manin triple of \mathfrak g_1 and \mathfrak g_2, then \mathfrak g_2 is isomorphic to \mathfrak g_1^* as vector spaces via
Moreover, \mathfrak g_1^* is equipped with a Lie-Yamaguti algebra structure from \mathfrak g_2 via this isomorphism. Then \Big((\mathfrak g_1\oplus\mathfrak g_2,\mathcal{B}),\mathfrak g_1,\mathfrak g_2\Big) is isomorphic to the standard Manin triple \Big((\mathfrak g_1\oplus\mathfrak g_1^*,\mathcal{B}),\mathfrak g_1,\mathfrak g_1^*\Big). This completes the proof.
By the proof of Proposition 4.3, we obtain that any Manin triple of Lie-Yamaguti algebra s \Big((\mathfrak g,\mathcal{B}),\mathfrak g_1,\mathfrak g_2\Big) is also isomorphic to the standard Manin triple \Big((\mathfrak g_2^*\oplus\mathfrak g_2,\mathcal{B}),\mathfrak g_2^*,\mathfrak g_2\Big) of \mathfrak g_2 and \mathfrak g_2^*. So the statement of the proposition is that any Manin triple of Lie-Yamaguti algebra s is isomorphic to “a" standard one, not “the".
Note that the operation ( [ \cdot, \cdot ] {_{\mathfrak g\oplus\mathfrak g^*}},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g\oplus\mathfrak g^*}) defined by (?) and (?) is a special case for ( [ \cdot, \cdot ] {_{\bowtie}},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\bowtie}) defined by (?) and (?), where \mathfrak g_1=\mathfrak g,~\mathfrak g^*=\mathfrak g_2, and \rho_1=\mathrm{ad}^*,~\mu_1=-\mathcal{R}^*\tau,~\rho_2=\mathfrak{ad}^*,~\mu_2=-\mathfrak R^*\tau.
Let (\mathfrak g_1, [ \cdot, \cdot ] {_1},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _1) and (\mathfrak g_2, [ \cdot, \cdot ] {_2},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _2) be two Lie-Yamaguti algebra s. If
the operation ( [ \cdot, \cdot ] {_{\bowtie}},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\bowtie}) defined by (?) and (?) forms a Lie-Yamaguti algebra structure on \mathfrak g_1\oplus\mathfrak g_2, then we say that a quadruple \Big(\mathfrak g_1,\mathfrak g_2;(\rho_1,\mu_1),(\rho_2,\mu_2)\Big) is a matched pair of Lie-Yamaguti algebra s.
With the above notations, the quadruple \Big(\mathfrak g_1,\mathfrak g_2;(\rho_1,\mu_1),(\rho_2,\mu_2)\Big) is a matched pair of Lie-Yamaguti algebra s if and only if the following conditions hold
(i) (\mathfrak g_2;\rho_1,\mu_1) is a representation of \mathfrak g_1;
(ii) (\mathfrak g_1;\rho_2,\mu_2) is a representation of \mathfrak g_2;
(iii) the following equalities hold:
for all x,y,z\in \mathfrak g_1 and u,v,w\in \mathfrak g_2. Here, D_1=D_{\rho_1,\mu_1} and D_2=D_{\rho_2,\mu_2}.
It is a direct computation, so we omit the details.
With the assumptions in Proposition 4.7, we have the following equalities:
for all x,y,z\in \mathfrak g_1 and u,v,w\in \mathfrak g_2.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) and (\mathfrak g^*, [ \cdot, \cdot ] {_*},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _*) be Lie-Yamaguti algebra s. Then the quadruple \Big(\mathfrak g,\mathfrak g^*;(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) is a matched pair of \mathfrak g and \mathfrak g^* if and only if the triple \Big((\mathfrak g\oplus\mathfrak g^*,\mathcal{B}),\mathfrak g,\mathfrak g^*\Big) is a Manin triple of \mathfrak g and \mathfrak g^*, where the invariant bilinear form \mathcal{B} is given by Eq. (?).
Let \Big(\mathfrak g,\mathfrak g^*;(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) be a matched pair of Lie-Yamaguti algebra s. Then (\mathfrak g\oplus\mathfrak g^*,[\cdot,\cdot]_{\mathfrak g\oplus\mathfrak g^*},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g\oplus\mathfrak g^*}) is a Lie-Yamaguti algebra, where ([\cdot,\cdot]_{\mathfrak g\oplus\mathfrak g^*},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g\oplus\mathfrak g^*}) is given by (?) and (?). We only need to prove that \mathcal{B} satisfies the invariant condition (3.13) and (3.13). Indeed, for all x,y,z,w\in \mathfrak g and \xi,\eta,\zeta,\delta\in \mathfrak g^*, we have
on the other hand, we also have that
which implies that
Moreover, we have
on the other hand, we also have that
which implies that
Conversely, if \Big((\mathfrak g\oplus\mathfrak g^*,\mathcal{B}),\mathfrak g,\mathfrak g^*\Big) is a Manin triple, where \mathcal{B} is an invariant bilinear form given by (?). For all x\in \mathfrak g and \xi,\eta,\zeta\in \mathfrak g^*, by (3.13), we have
which implies that \rho_2=\mathfrak{ad}^*. Moreover, by (3.13), we also have
which implies that \mu_2=-\mathfrak R^*\tau. Similarly, we have that \rho_1=\mathrm{ad}^* and \mu_1=-\mathcal{R}^*\tau. Thus we obtain that \Big(\mathfrak g,\mathfrak g^*,(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) is a matched pair of Lie-Yamaguti algebra s. This completes the proof.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra endowed with two linear maps \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g. Then \Big(\mathfrak g,\mathfrak g^*;(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) is a matched pair of (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) and (\mathfrak g^*, [ \cdot, \cdot ] {_*},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _*) if and only if the following conditions are satisfied
(i) (\mathfrak g,\delta,\omega) is a Lie-Yamaguti coalgebra;
(ii) the following compatibility conditions are satisfied: \forall x,y,z\in \mathfrak g,
It is sufficient to show that Eqs. (?)-(?) are equivalent to Condition (ii). Note that when \rho_1=\mathrm{ad}^*, ~\mu_1=-\mathcal{R}^*\tau and \rho_2=\mathfrak{ad}^*,~\mu_2=-\mathfrak R^*\tau, Eqs. (?)-(?) and Eqs. (?)-(?) are equivalent to Conditions (4.10)-(4.10) respectively, Eq. (?) is equivalent to that \omega is skew-symmetric with respect to the first two variables, and moreover Eq. (?) and (?) are equivalent. Indeed, for all x,y,z\in \mathfrak g and \xi,\eta\in \mathfrak g^*, let us now compute that
which implies that Eq. (?) is equivalent to Eq. (4.10). Moreover, we have that
which implies that Eq. (?) is equivalent to Eq. (4.10). Similarly, we obtain that Eqs. (?)-(?) and Eqs. (?)-(?) are equivalent to Eqs. (4.10)-(4.10). What is left is to show that Eqs. (?)-(?) are equivalent to Eqs. (?)-(?) respectively. We only prove the equivalence of Eq. (?) and Eq. (?) since others are similar. Indeed, we have that
which gives the equivalence of Eqs. (?) and (?). This completes the proof.
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra, and structure maps \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g linear maps. If Conditions (i) and (ii) in Proposition 4.10 are satisfied, then we say that \mathfrak g is a double construction Lie-Yamaguti bialgebra. We denote a Lie-Yamaguti bialgebra by (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ,\delta,\omega), or simply by (\mathfrak g,\mathfrak g^*).
If (\mathfrak g,\mathfrak g^*) is a double construction Lie-Yamaguti bialgebra, then so is (\mathfrak g^*,\mathfrak g).
Let (\mathfrak g, [ \cdot, \cdot ] ,\left\llbracket \cdot,\cdot,\cdot\right\rrbracket ) be a Lie-Yamaguti algebra and \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g linear maps. Suppose that the structure map (\delta^*,\omega^*) defines a Lie-Yamaguti algebra structure on \mathfrak g^*. Then the following statements are equivalent:
(1) the Lie-Yamaguti algebra \mathfrak g makes (\mathfrak g,\mathfrak g^*) into a double construction Lie-Yamaguti bialgebra;
(2) the quadruple \Big(\mathfrak g,\mathfrak g^*;(\mathrm{ad}^*,-\mathcal{R}^*\tau),(\mathfrak{ad}^*,-\mathfrak R^*\tau)\Big) is a matched pair of Lie-Yamaguti algebra s;
(3) the triple \Big((\mathfrak g\oplus\mathfrak g^*,\mathcal{B}),\mathfrak g,\mathfrak g^*\Big) is a standard Manin triple, where the invariant bilinear form \mathcal{B} is given by (?).
In this case, the Lie-Yamaguti algebra (\mathfrak g\oplus\mathfrak g^*, [ \cdot, \cdot ] {_{\mathfrak g\oplus\mathfrak g^*}},\left\llbracket \cdot,\cdot,\cdot\right\rrbracket _{\mathfrak g\oplus\mathfrak g^*}) is called the double of the Lie-Yamaguti bialgebra (\mathfrak g,\mathfrak g^*), and is denoted by \mathfrak g\bowtie\mathfrak g^*.
Since there does not exist the tensor representation in the context of Lie-Yamaguti algebra s, we are not able to study Lie-Yamaguti bialgebras by coboundary methods. In the context of 3-Lie algebra (\mathfrak g,[\cdot,\cdot,\cdot]), we have (\ot^3\mathfrak g;\mathcal{L}\otimes 1\otimes1), (\ot^3\mathfrak g;1\otimes\mathcal{L}\otimes1), and (\ot^3\mathfrak g;1\otimes1\otimes\mathcal{L}) are representations of the 3-Lie algebra \mathfrak g, hence authors studied local cocycle 3-Lie bialgebras in [B.G.S]. This property even fails in the context of Lie-Yamaguti algebra s. Thus we cannot study the local cocycle Lie-Yamaguti bialgebras parallel to the 3-Lie bialgebras, leading to not being able to explore the relationship between the classical Yang-Baxter equation and Lie-Yamaguti bialgebras. We, however, clarify the relationship between the solution to the classical Yang-Baxter equation in Lie-Yamaguti algebra s and relative Rota-Baxter operators in the next section. And one sees that our bialgebra theory for Lie-Yamaguti algebra s enjoys many good properties parallel to that for Lie algebras in the sequel, which justifies its correctness.
A double construction Lie-Yamaguti bialgebra gives rise to a local cocycle Lie-Yamaguti bialgebra.
Let (\mathfrak g,\delta,\omega) be a double construction Lie-Yamaguti bialgebra. Let k_1,k_2,k_3 be complex numbers such that k_1=k_2 and k_1+k_2+k_3=1. Denote by \delta_i=\frac{1}{2}\delta and \omega_j=k_j\omega, where i=1,2;~j=1,2,3. Set \delta=\delta_1+\delta_2 and \omega=\omega_1+\omega_2+\omega_3. It is obvious that \delta_1, \delta_2 are 1-cocycles of \mathfrak g with respect to the representations (\otimes^2\mathfrak g;1\otimes\mathrm{ad},1\otimes\mathcal{R}),(\otimes^2\mathfrak g;\mathrm{ad}\otimes1,\mathcal{R}\otimes1) respectively, and \omega_1,\omega_2,\omega_3 are 1-cocycles of \mathfrak g with respect to (\otimes^3\mathfrak g;\mathrm{ad}\otimes1\otimes1,\mathcal{R}\otimes1\otimes1), (\otimes^3\mathfrak g;1\otimes\mathrm{ad}\otimes1,1\otimes\mathcal{R}\otimes1),~(\otimes^3\mathfrak g;1\otimes1\otimes\mathrm{ad},1\otimes1\otimes\mathcal{R}) respectively. Hence (\delta,\omega) defines a local cocycle Lie-Yamaguti bialgebra on \mathfrak g.
For any Lie-Yamaguti algebra \mathfrak g, taking \delta=0 and \omega=0, then (\mathfrak g,\delta,\omega) is a Lie-Yamaguti bialgebra. In this case, the corresponding Manin triple gives a quadratic Lie-Yamaguti algebra (\mathfrak g\ltimes_{\mathrm{ad}^*,-\mathcal{R}^*\tau}\mathfrak g^*,\mathcal{B}). Dually, for any trivial Lie-Yamaguti algebra \mathfrak g (that is, both binary and trinary brackets are zero), any Lie-Yamaguti algebra structure (\delta^*,\omega^*) on the dual space \mathfrak g^* makes (\mathfrak g,\delta,\omega) a Lie-Yamaguti bialgebra. Such Lie-Yamaguti bialgebra is called the trivial Lie-Yamaguti bialgebra.
Let \mathfrak g be the 2-dimensional Lie-Yamaguti algebra given in Example 3.9. The nonzero cobrackets \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g are given by
Then \delta^*:\otimes^2\mathfrak g^*\longrightarrow\mathfrak g^* and \omega^*:\otimes^3\mathfrak g^*\longrightarrow\mathfrak g^* defines a pair of Lie-Yamaguti algebra structure on \mathfrak g^* that is isomorphic to \mathfrak g. It is direct to see that (\mathfrak g,\delta,\omega) is a Lie-Yamaguti bialgebra.
Let \mathfrak g be a 4-dimensional Lie-Yamaguti algebra with a basis \{e_1,e_2,e_3,e_4\} defined to be
If the dual of linear maps \delta:\mathfrak g\longrightarrow\otimes^2\mathfrak g and \omega:\mathfrak g\longrightarrow\otimes^3\mathfrak g forms a Lie-Yamaguti algebra structure on \mathfrak g^* such that (\mathfrak g\oplus\mathfrak g^*,\mathfrak g,\mathfrak g^*) is a Manin triple, where the invariant bilinear form is given by (?). Then \delta=0 and \omega=0.
The text on this page is from arXiv:2210.17066v1 by Jia Zhao and Yu Qiao, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/2210/2210.17066.jsonl.