Yang-baxter Systems, Algebra Factorizations and Braided Categories

The Yang-Baxter equation first appeared in a paper by the Nobel laureate, C. Witten were awarded Fields Medals for their work related to the Yang-Baxter equation. After a short review on this equation and the Yang-Baxter systems, we consider the problem of constructing algebra factorizations from Yang-Baxter systems. Our sketch of proof uses braided categories. Other problems are also proposed.


Introduction
The Yang-Baxter equation first appeared in a paper by the Nobel laureate, C.N. Yang, and in R.J. Baxter's work.At the 1990 International Mathematics Congress, Vladimir Drinfeld, Vaughan F. R. Jones and Edward Witten were awarded Fields Medals for their work related to the Yang-Baxter equation.
This equation plays a crucial role in many areas of mathematics, physics and computer science.Many scientists have used the axioms of various algebraic structures or computer calculations in order to produce solutions for it, but the full classification of its solutions remains an open problem.
The interest in the Yang-Baxter equation is also motivated by its many applications and interpretations.As an example of categorical interpretation, let us consider the following extension for the duality between finite dimensional algebras and coalgebras to the category of finite dimensional Yang-Baxter structures (from [8] and, also, [4]).That duality can be illustrated by the following diagram: The previous duality extension resembles the duality extension from [9].Furthermore, the extension of the duality between finite dimensional algebras and coalgebras could lead to further developments of the current paper.
The next section provides a mathematical background on Yang-Baxter systems, and Section 3 contains the main problems and results.

Preliminaries
We work over the field k, and all the unadorned tensor products are tensor products over k.The identity map on a k-vector space V is denoted by I = I V .All the algebras considered are k-algebras, and they are associative and with a unity; the product in a k-algebra A is denoted by µ : A ⊗ A → A, while the unit map is denoted by ι : k → A.

For any vector spaces
is called a Yang-Baxter operator (or, simply, a YB operator) if it satisfies the equation: Equation ( 1) is usually called the braid equation.It is a well-known fact that the operator R satisfies (1) if and only if R • τ V,V satisfies the quantum Yang-Baxter equation: , then for all non-zero r, s ∈ k, the linear map: is a Yang-Baxter operator.This construction played an important role in the construction of Yang-Baxter systems from algebra factorizations (see [16]).
Yang-Baxter systems were introduced in [17], as a spectral-parameter independent generalization of quantum Yang-Baxter equations related to non-ultralocal integrable systems, previously studied in [18].
Yang-Baxter systems are conveniently defined in terms of Yang-Baxter commutators.Consider three vector spaces, V, V , V , and three linear maps, R : In terms of a Yang-Baxter commutator, the quantum Yang-Baxter Equation ( 2) is expressed simply as [R, R, R] = 0.
Definition 2.3 Let V and V be vector spaces.A system of linear maps, is called a WXZ-system, or a Yang-Baxter system, provided the following equations are satisfied: The next remark plays an important role in this paper.
Remark 2.4 Given a WXZ-system as in Definition 2.3, one can construct a Yang-Baxter operator on V = V ⊕ V , provided the maps W, X, Z are invertible.This is a special case of a gluing procedure described in ( [19], (Theorem 2.7)) (cf.[19], (Example 2.11) Then, the linear map: given by: R is a Yang-Baxter operator.
Definition 2.5 An algebra A is said to be entwined with an algebra B if there exists a linear map φ : B ⊗ A → A ⊗ B satisfying the following four conditions: (1) φ The map φ is known as an algebra factorization map, and the triple (A, B) φ is called an algebra factorization.

Algebra Factorizations, Yang-Baxter Systems and Braided Categories
On the tensor algebra, T (V ), we consider the following product: for: Although the invertibility of R is not essential for the following theorem, we assume that R is invertible in order to give a proof for it using braided categories.
Theorem 3.1 Starting with a WXZ-system as in Definition 2.3 and Remark 2.4, using the above notations and denoting by (ii) There exists an algebra factorization, φ : Proof.A direct proof was presented in [20].Another approach to this problem could be via braided algebras, and this was done in the revision of [20].Now, we would like to prove it using the properties of a braided category.We start by proving (ii).We use Remark 2.4 in order to obtain a new Yang-Baxter operator defined over V = V ⊕ V , which will generate the braiding of a monoidal category.
The objects of this category are: The morphisms of this category are endomorphisms of V and their tensor products.Now: R = R ⊕ U R : V ⊗ V → V ⊗ V can be extended to a braiding.The restrictions of the braiding generated by R to subspaces of the form: imply that φ is an algebra factorization.The proof of part (ii) includes the proof for part (i).
Remark 3.2 From the previous theorem, T R (V )⊗T R (V ) has an algebra structure associated with that algebra factorization.It is an open problem to study the relation between that structure and , extends naturally to T(V).This can be done using the fact that any x ∈ V ⊗n can be thought of as a sum of products of n elements from V and requesting that The fact that R is invertible is essential here.The associativity of µ implies ∆(xy) = ∆(x)∆(y) ∀x, y ∈ T (V ).
Remark 3.4 From the previous theorem, Remarks 3.2 and 3.3 and the assumption that U is invertible, it follows that T R (V ) ⊗ T R (V ) inherits a bialgebra structure.This can be done in the same spirit as Remark 3.3.(The invertibility of U is a key ingredient.)This new bialgebra structure is different from any kind of bicrossed product of bialgebras presented in Section IX.2 of [21].