Abstract:The purpose of this paper is to clarify the relations between various constructions of solutions of the Yang-Baxter equation from Leibniz algebras, racks, 3-Leibniz algebras, 3-racks, linear racks, trilinear racks, and give new constructions of solutions of the Yang-Baxter equation. First we show that a 3-Leibniz algebra naturally gives rise to a 3-rack on the underlying vector space, which generalizes Kinyon's construction of racks from Leibniz algebras. Then we show that a trilinear rack naturally gives rise to a linear rack. Combined with Lebed's construction of solutions of the Yang-Baxter equation from linear racks, our results give an intrinsic explanation of Abramov and Zappala's construction of solutions of the Yang-Baxter equation from trilinear racks. Next we show that a 3-Leibniz algebra gives rise to a trilinear rack, which generalizes Abramov and Zappala's construction from 3-Lie algebras. Finally, we construct solutions of the Yang-Baxter equation using central extensions of 3-Leibniz algebras and Leibniz algebras. In particular, given a 3-Leibniz algebra, there are two different approaches to construct solutions of the Yang-Baxter equation, namely either consider the central extension of the Leibniz algebra on the fundamental objects, or consider the Leibniz algebra on the fundamental objects of the central extension of the 3-Leibniz algebra. We also show that there is a homomorphism between the corresponding solutions.
What problem does this paper attempt to address?
This paper attempts to solve the following key problems:
1. **The relationship between 3 - Leibniz algebras and 3 - racks**
Can a 3 - rack be naturally constructed from a 3 - Leibniz algebra? This can be regarded as a generalization of Kinyon's result, that is, the method of constructing a rack from a Leibniz algebra.
2. **The relationship between trilinear racks and linear racks**
Does a construction method from trilinear racks to linear racks exist? If it exists, can this construction explain the method of constructing solutions to the Yang - Baxter equation proposed by Abramov and Zappala in [1] through trilinear racks?
3. **The relationship between 3 - Leibniz algebras and solutions to the Yang - Baxter equation**
Can 3 - Leibniz algebras directly give solutions to the Yang - Baxter equation? If so, how can these solutions be constructed through methods such as central extensions?
4. **The homomorphism relationship between different methods**
Do different construction methods (for example, through Leibniz algebras or 3 - Leibniz algebras) lead to different solutions to the Yang - Baxter equation? If there are differences, does a homomorphism relationship exist between these solutions?
---
### Specific problem analysis
#### 1. **The relationship between 3 - Leibniz algebras and 3 - racks**
The paper proves that any finite - dimensional 3 - Leibniz algebra \((L, [\cdot, \cdot, \cdot]_L)\) can naturally induce a 3 - rack \((L, T)\), where \(T(x, y, z)=\exp(\text{ad}_R^{y, z})(x)\). Here \(\text{ad}_R^{y, z}\) is a derivation, defined as \(\text{ad}_R^{y, z}(x)=[x, y, z]_L\).
#### 2. **The relationship between trilinear racks and linear racks**
The paper shows that any trilinear rack \((C, T)\) can induce a linear rack \((C\otimes C, \triangleright_T)\), where \((u\otimes v)\triangleright_T(m\otimes n)=T(u, m(1), n(1))\otimes T(v, m(2), n(2))\). This result explains the method proposed by Abramov and Zappala in [1].
#### 3. **The relationship between 3 - Leibniz algebras and solutions to the Yang - Baxter equation**
The paper shows, through the method of central extensions, how to construct solutions to the Yang - Baxter equation from 3 - Leibniz algebras. Specifically, given a 3 - Leibniz algebra \(L\), two ways can be used to construct central Leibniz algebras, and then different solutions to the Yang - Baxter equation can be obtained.
#### 4. **The homomorphism relationship between different methods**
The paper proves that a homomorphism relationship exists between solutions to the Yang - Baxter equation constructed by different methods. For example, for two racks \((L\times L, \triangleright_T)\) and \((L\otimes L, \triangleright)\) induced by 3 - Leibniz algebras, there exists a rack homomorphism \(\varphi: L\times L\rightarrow L\otimes L\), and this homomorphism preserves the structure of solutions to the Yang - Baxter equation.
---
### Summary
The core objective of this paper is to clarify various methods from Leibniz algebras, racks, 3 -