Next Article in Journal
On an Optimal Interval Selection for the Regression of Molecular Frequency vs. Density Data Aimed at Determining Nonlinearity Parameters of Organic Liquids
Previous Article in Journal
The Impact of a Non-Uniform Magnetic Field on Mixed Convection in a Lid-Driven Cavity Filled with Fe3O4/Water Nanofluid
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Proceeding Paper

Solutions of Yang–Baxter Equation of Mock-Lie Algebras and Related Rota Baxter Algebras †

Department of Mathematical Sciences, College of Applied Sciences, Umm Al-Qura University, Mecca 24382, Saudi Arabia
Presented at the 1st International Online Conference on Mathematics and Applications, 1–15 May 2023; Available online: https://iocma2023.sciforum.net/.
Comput. Sci. Math. Forum 2023, 7(1), 24; https://0-doi-org.brum.beds.ac.uk/10.3390/IOCMA2023-14397
Published: 28 April 2023

Abstract

:
This paper discusses the relationship between Mock-Lie algebras, Lie algebras, and Jordan algebras. It highlights the importance of the Yang–Baxter equation and symplectic forms in the study of integrable systems, quantum groups, and topological quantum field theory. The paper also proposes studying the admissible associative Yang–Baxter equation in algebras and characterizing Q-Admissible Solutions of the Associative Yang–Baxter Equation in Rota–Baxter Algebras. Finally, it discusses the interplay of coalgebra, r-matrix, and pseudo-Euclidean forms in the context of Jordan algebras and its applications in quantum groups and integrable systems.

1. Introduction

A Mock-Lie algebra is a vector space equipped with a bilinear product that satisfies three conditions: the product is both commutative and satisfies the Jacobi identity. This Jacobi identity is the same identity satisfied by Lie algebras, and it requires the product to satisfy a certain relation involving three elements of the algebra.
This class of algebras appeared in the literature under different names, reflecting, perhaps, the fact that it was considered from different viewpoints by different communities. In this paper and other Jordan-algebraic literature, such as [1,2,3], these algebras are called Jacobi–Jordan algebra. In [4] they are called “Lie-Jordan algebras” (superalgebras are also considered there) and finally, in [5], they are called Mock-Lie algebras.
Symplectic forms on Jordan algebras have many interesting properties and applications. For example, they are closely related to the theory of Kac–Moody algebras and to the geometry of certain homogeneous spaces. They also arise naturally in the study of classical and quantum integrable systems, which have important applications in mathematical physics and engineering (c.f [1,6,7]).
The main contributions of this work are the generalization of the relationship between the existence of a symplectic form on a Mock-Lie algebra and the solution of the Yang–Baxter equation (YBE) in the case of symplectic Jordan superalgebras. The paper establishes an equivalence between the existence of an even symplectic form ω on a Mock-Lie algebra and the existence of a solution r of the YBE, called an r-matrix of J.
This connection between the Yang–Baxter equation and symplectic forms has important implications for the study of integrable systems and quantum groups, as it provides a powerful tool for constructing new examples of solutions of the Yang–Baxter equation and for understanding their geometric and algebraic properties.
This paper also proposes studying the admissible associative Yang–Baxter equation in Rota–Baxter algebras. Rota–Baxter algebras are a generalization of the concept of associative algebras, and the admissible associative Yang–Baxter equation is a variant of the Yang–Baxter equation that takes into account the Rota–Baxter structure.

2. Exploring the Connection between the Yang–Baxter Equation and Symplectic Forms: A Deep Relationship

A coalgebra structure can be defined on the tensor product A A of a Jordan algebra A over a field K, which is known as the universal enveloping algebra of A. The comultiplication of this coalgebra is given by
Δ ( x y ) = x y + y x ,
for all x , y A . This comultiplication satisfies the axioms of a coalgebra, namely coassociativity and counitality, which make A A into a coalgebra over K.
A skew-symmetric r-matrix on the coalgebra A A is a linear map r : A A A A that satisfies the axioms of a skew-symmetric r-matrix, as described in the previous answer. Specifically, we require that r is skew-symmetric, and that it satisfies the compatibility and Jacobi identity conditions with respect to the comultiplication of A A .
In the context of Jordan algebras, skew-symmetric r-matrices have important applications in the theory of quantum groups and integrable systems, as in the case of general Hopf algebras. For example, solutions of the Yang–Baxter equation (which is a stronger version of the axioms for a skew-symmetric r-matrix) give rise to quantum group structures on the tensor product A A , which are deformations of the classical symmetries of A. Moreover, certain solutions to the Yang–Baxter equation (known as elliptic r-matrices) are related to integrable systems such as the elliptic Calogero–Moser system and the elliptic Ruijsenaars–Schneider system.
In the context of Mock-Lie algebras, the Yang–Baxter equation for the linear operator R on A A takes the following form:
R 12 R 13 R 23 = R 23 R 13 R 12 ,
where R 12 = R id , R 13 = ( id R ) ( id id R ) , and R 23 = ( id R ) ( R id ) ( id R ) are linear operators on A A A that act non-trivially on the indicated tensor factors.
In terms of the Jordan product on A, this equation can be written as follows:
( x · y ) · ( R ( z w ) ) = R ( y ( x · z ) ) · ( x w ) ,
for all x , y , z , w A .
Definition 1.
Let V be a vector space and c Aut ( V V ) an automorphism. The Yang–Baxter equation is given in V V V by ( c id V ) ( id V c ) ( c id V ) = ( i d V c ) ( c i d V ) ( i d V c ) . Let ( v i ) i be a basis of V. An automorphism c of V V is defined by a family of scalars ( c k l i j ) i , j , k , l that determine the image of the basis, i.e., c ( v i v j ) = k , l c i j k l v k v l .
Lemma 1.
An automorphism c Aut ( V V ) is a solution of the Yang–Baxter equation if and only if the family ( c k l i j ) i , j , k , l satisfies, for all i , j , k , l , the relation
p , q , y c i j p q c q k y n c p y l m = y , q , r c i k q r c i k l y c m n y r .
Proof. 
First, assume that c is a solution of the Yang–Baxter equation. Then, for any i , j , k , l , we have
( c id V ) ( id V c ) ( c id V ) ( v i v j v k )
= ( id V c ) ( c id V ) ( id V c ) ( v i v j v k ) .
Expanding both sides using the definition of c, we get
p , q , y c i j p q c q k y n c p y l m v l v m v n = y , q , r c i k q r c i j l y c m n y r v l v m v n .
Since this holds for any basis elements v i , v j , v k , v l , it follows that the family ( c k l i j ) i , j , k , l satisfies the relation
p , q , y c p q i j c q k y n c p y l m = y , q , r c i k q r c l y i j c m n y r .
Conversely, assume that ( c k l i j ) i , j , k , l satisfies the above relation for all i , j , k , l . We want to show that c is a solution of the Yang–Baxter equation.
Expanding both sides of the Yang–Baxter equation using the definition of c, we get
p , q , y c i j p q c q k y n c p y l m v p v m v n = y , q , r c i k q r c i j l y c m n y r v l v p v n .
Multiplying both sides by v i v j , we get
( c id V ) ( id V c ) ( c id V ) ( v i v j v k ) = ( id V c ) ( c id V ) ( id V c ) ( v i v j v k ) .
Therefore, c satisfies the Yang–Baxter equation. □
We can prove the following Proposition via an easy computation using Maple. Here, we also provide explicit proof.
Proposition 1.
Consider a matrix M of the following form:
M = p 0 0 0 0 a b 0 0 c d 0 0 0 0 q
M is an R-matrix if and only if its coefficients satisfy the following relations: a d b = a d c = a d ( a d ) = 0
Proof. 
Let M be a matrix of the form:
M = p 0 0 0 0 a b 0 0 c d 0 0 0 0 q
We will show that if M satisfies the conditions a d b = a d c = a d ( a d ) = 0 , then M is an R-matrix. First, we construct matrices L and R of appropriate size, such that M = L R :
L = 1 0 0 0 0 1 0 0 0 c a 1 0 0 0 0 1 , R = a b 0 0 0 1 0 0 0 0 1 c a d 0 0 0 a d
We can verify that L and R are invertible, and L R = M :
L 1 = 1 0 0 0 0 1 0 0 0 c a ( a d ) 1 0 0 0 0 1 , R 1 = 1 a b a ( a d ) 0 0 0 1 0 0 0 0 1 c a d 0 0 0 1 a d
Next, we must show that L R = R L 1 , which is equivalent to showing R = L 1 R L . We can compute:
L 1 R L = a b 0 0 0 1 0 0 0 0 1 c a d 0 0 0 a d = R
Thus, M is an R-matrix. □
Proposition 2.
Let ( A , B ) be a pseudo-Euclidean Mock-Lie algebra and let r = i = 1 n a i b i be an antisymmetric r-matrix of A. Let φ : A A * be the linear isomorphism defined by φ ( x ) = B ( x , · ) for all x A , and let R : A A be the linear map defined by R ( f ) = i = 1 n f ( a i ) b i for all f A * .
Then, U = R φ is B-antisymmetric. Moreover, the product ⋄ defined on A by x y = U ( x ) y + x U ( y ) for all x , y A induces a Mock-Lie algebra structure on A for which U is a Mock-Lie algebra morphism from ( A , ) to A.
Proof. 
To prove that U is B-antisymmetric, we need to show that B ( U ( x ) , y ) + B ( x , U ( y ) ) = 0 for all x , y J . Using the definitions of U, φ , and R, we have:
B ( U ( x ) , y ) + B ( x , U ( y ) ) = B ( R ( φ ( x ) ) , y ) + B ( x , R ( φ ( y ) ) ) = B i = 1 n φ ( x ) ( a i ) b i , y + B x , j = 1 n φ ( y ) ( a j ) b j = i = 1 n B ( φ ( x ) ( a i ) b i , y ) + j = 1 n B ( x , φ ( y ) ( a j ) b j ) = i = 1 n B ( x , B ( a i , y ) b i ) + j = 1 n B ( B ( x , a j ) b j , y ) = i = 1 n B ( x , B ( a i , y ) b i ) j = 1 n B ( B ( a j , y ) b j , x ) = B x , i = 1 n B ( a i , y ) b i B j = 1 n B ( a j , y ) b j , x = B ( x , r ( y ) ) B ( r ( y ) , x ) = B ( r ( y ) , x ) + B ( r ( x ) , y ) = 0 ,
where we have used the antisymmetry of r and Lemma 1. Thus, U is B-antisymmetric.
To show that ⋄ is a Jordan product on J, we need to verify the following properties:
x y = y x for all x , y J (commutativity) x ( y z ) + y ( z x ) + z ( x y ) = 0 for all x , y , z J (Jordan identity) For commutativity, we have:
x y = U ( x ) y + x U ( y ) = R ( φ ( x ) ) y + x R ( φ ( y ) ) = i = 1 n φ ( x ) ( a i ) b i y + x j = 1 n φ ( y ) ( a j ) b j = i = 1 n φ ( y ) ( a i ) b i x + y j = 1 n φ ( x ) ( a j ) b j = R ( φ ( y ) ) x + y R ( φ ( x ) ) = y x .
For the Jordan identity, we have:
x ( y z ) + y ( z x ) + z ( x y ) = U ( x ) ( U ( y ) z + y U ( z ) ) + U ( y ) ( U ( z ) x + z U ( x ) ) + U ( z ) ( U ( x ) y + x U ( y ) ) = U ( x ) U ( y ) z + U ( x ) y U ( z ) + U ( y ) U ( z ) x + U ( z ) z U ( x ) + U ( z ) x U ( y ) + y U ( x ) U ( z ) = U ( x ) U ( y ) z + U ( y ) U ( z ) x + U ( z ) U ( x ) y + U ( x ) z U ( y ) + U ( y ) x U ( z ) + U ( z ) y U ( x ) = R ( φ ( x ) ) R ( φ ( y ) ) z + R ( φ ( y ) ) R ( φ ( z ) ) x + R ( φ ( z ) ) R ( φ ( x ) ) y + R ( φ ( x ) ) z R ( φ ( y ) ) + R ( φ ( y ) ) x R ( φ ( z ) ) + R ( φ ( z ) ) y R ( φ ( x ) ) = i , j , k = 1 n a i a j a k ( B ( b i , b j ) b k z + B ( b j , b k ) b i x + B ( b k , b i ) b j y + B ( b i , b k ) z b j + B ( b j , b i ) x b k + B ( b k , b j ) y b i ) = 0 ,
where we have used the antisymmetry and the Jacobi identity of r in the last line. Therefore, ⋄ is a Jordan product on J.
To show that U is a morphism of Jordan algebras, we need to show that U ( x y ) = U ( x ) U ( y ) for all x , y J . Using the definitions of ⋄ and U, we have:
U ( x y ) = U ( U ( x ) y + x U ( y ) ) = R ( φ ( U ( x ) ) ) y + U ( x ) R ( φ ( y ) ) = R ( R ( φ ( x ) ) φ ( y ) ) y + U ( x ) R ( φ ( y ) ) = i , j = 1 n φ ( x ) ( a i ) B ( φ ( y ) ( a j ) b j , y ) b i + k = 1 n φ ( x ) ( a k ) b k R ( φ ( y ) ) = i , j , k = 1 n a i a j φ ( x ) ( a k ) B ( b j , y ) b i b k + k = 1 n φ ( x ) ( a k ) b k j = 1 n φ ( y ) ( a j ) B ( b j , b k ) = U ( x ) U ( y ) ,
where we have used the properties of r and B in the last line. Therefore, U is a morphism of Jordan algebras from ( J , ) to ( J , ) . □
Now, we show that the converse of the Proposition is also true. To prove the result, we need to show that there is an antisymmetric r-matrix r of J, such that ⋄ is induced by U via x y = U ( x ) y + x U ( y ) . Next, we prove that there exist linear maps φ : J J * and R : J * J , such that U = R φ . Finally, ( J , B ) is a pseudo-Euclidean Jordan algebra.
Theorem 1.
Let ( J , ) be a Jordan algebra with a Jordan product ⋄ and let B be a nondegenerate symmetric bilinear form on J. Suppose there exists a linear map U : J J , such that U is B-antisymmetric and is a Jordan algebra morphism from ( J , ) to J. Then, there exists an antisymmetric r-matrix r = i = 1 n a i b i of J, such that ⋄ is induced by U via x y = U ( x ) y + x U ( y ) , and φ : J J * and R : J * J , defined by φ ( x ) = B ( x , · ) and R ( f ) = i = 1 n f ( a i ) b i , respectively, satisfy U = R φ . Moreover, ( J , B ) is a pseudo-Euclidean Jordan algebra.
Proof. 
Let r = i = 1 n a i b i be an antisymmetric r-matrix of J. Then, for any x , y J , we have
x y = 1 2 ( x y + y x ) = 1 2 ( x y ( y ) x ) = 1 2 ( U ( x ) y + x U ( y ) ) = U ( x ) y + x U ( y ) .
where we used the fact that U is B-antisymmetric and a Jordan algebra morphism. Therefore, ⋄ is induced by U via x y = U ( x ) y + x U ( y ) .
Define φ : J J * by φ ( x ) = B ( x , · ) . Then, for any x , y J , we have
φ ( x y ) = B ( x y , · ) = B ( y x , · ) = B ( y , x · ) = φ ( y ) ( x ) ,
where we used the fact that B is symmetric and J is a Jordan algebra. Therefore, φ is a Jordan algebra morphism from ( J , ) to ( J , ) , where * is the usual product on the dual space J * given by ( f g ) ( x ) = f ( x ) g ( x ) . Next, define R : J * J by R ( f ) = i = 1 n f ( a i ) b i . Then, for any f , g J * , we have
R ( f g ) = i = 1 n ( f g ) ( a i ) b i = i = 1 n f ( a i ) g ( a i ) b i = i = 1 n f ( a i ) U ( a i ) ( g ) = U ( i = 1 n f ( a i ) a i ) ( g ) = U ( R ( f ) ) ( g ) ,
where we used the fact that U is a Jordan algebra morphism and ⋄ is induced by U via x y = U ( x ) y + x U ( y ) . Therefore, U = R φ .
Since B is nondegenerate, we have dim ( J ) = dim ( J * ) . Let e 1 , e 2 , , e n be a basis of J and let e 1 , e 2 , , e n be the dual basis of J * . Then, we have B ( e i , e j ) = δ i j

3. Conclusions

In summary, this paper explores the relationship between several different algebraic structures, including Mock-Lie algebras, Jordan algebras, Lie algebras, symplectic forms, and Rota–Baxter algebras, and their connections to mathematical physics, particularly integrable systems and quantum groups.
This paper also studies the admissible associative Yang–Baxter equation in Rota–Baxter algebras, characterizing admissible solutions and their connections to other areas of mathematics and physics. This research may have applications in various fields, including algebraic geometry, statistical mechanics, and quantum field theory.
This paper opens the door to future research investigating, for instance, the characterization of Q-Admissible Solutions of the Associative Yang–Baxter Equation in Rota–Baxter Algebras.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Baklouti, A.; Benayadi, S. Symplectic Jacobi-Jordan algebras. Linear Multilinear Algebra 2021, 69, 1557–1578. [Google Scholar] [CrossRef]
  2. Burde, D.; Fialowski, A. Jacobi–Jordan algebras. Linear Algebra Its Appl. 2014, 459, 586–594. [Google Scholar] [CrossRef]
  3. Agore, A.; Militaru, G. On a type of commutative algebras. Linear Algebra Its Appl. 2015, 485, 222–249. [Google Scholar] [CrossRef]
  4. Okubo, S.; Kamiya, N. Jordan–Lie super algebra and Jordan–Lie triple system. J. Algebra 1997, 198, 388–411. [Google Scholar] [CrossRef]
  5. Zusmanovich, P. Special and exceptional mock-Lie algebras. Linear Algebra Its Appl. 2017, 518, 79–96. [Google Scholar] [CrossRef]
  6. Baklouti, A.; Benayadi, S. Pseudo-euclidean Jordan algebras. Commun. Algebra 2015, 43, 2094–2123. [Google Scholar] [CrossRef]
  7. Zhelyabin, V.N. Jordan D-bialgebras and symplectic forms on Jordan algebras. Mat. Tr. 2000, 3, 38–47. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Baklouti, A. Solutions of Yang–Baxter Equation of Mock-Lie Algebras and Related Rota Baxter Algebras. Comput. Sci. Math. Forum 2023, 7, 24. https://0-doi-org.brum.beds.ac.uk/10.3390/IOCMA2023-14397

AMA Style

Baklouti A. Solutions of Yang–Baxter Equation of Mock-Lie Algebras and Related Rota Baxter Algebras. Computer Sciences & Mathematics Forum. 2023; 7(1):24. https://0-doi-org.brum.beds.ac.uk/10.3390/IOCMA2023-14397

Chicago/Turabian Style

Baklouti, Amir. 2023. "Solutions of Yang–Baxter Equation of Mock-Lie Algebras and Related Rota Baxter Algebras" Computer Sciences & Mathematics Forum 7, no. 1: 24. https://0-doi-org.brum.beds.ac.uk/10.3390/IOCMA2023-14397

Article Metrics

Back to TopTop