Quantum Quasigroups and the Quantum Yang–baxter Equation

Quantum quasigroups are algebraic structures providing a general self-dual framework for the nonassociative extension of Hopf algebra techniques. They also have one-sided analogues, which are not self-dual. The paper presents a survey of recent work on these structures, showing how they furnish various solutions to the quantum Yang–Baxter equation.


Introduction
The self-dual concept of a quantum quasigroup offers a far-reaching unification of Hopf algebras (along with their non-associative extensions, e.g., [1][2][3][4]) and quasigroups [5].Consider a bimagma (A, ∇, ∆), an object of a strict symmetric monoidal category V with V-morphisms giving a magma structure or multiplication ∇ : A ⊗ A → A, and a comagma structure or comultiplication ∆ : A → A ⊗ A, such that ∆ is a magma homomorphism.(The latter bimagma condition is equivalent to its dual: ∇ is a comagma homomorphism.)A bimagma (A, ∇, ∆) is a quantum quasigroup if two dual morphisms are invertible in V: the left composite ("G" for "Gauche") and the right composite (" " for "Droite").The qualifiers "left" and "right" refer to the side of the tensor product on which the comultiplications appear.Quantum quasigroups also have one-sided analogues [6].A left quantum quasigroup just requires the invertibility of the left composite.Dually, a right quantum quasigroup requires the invertibility of the right composite.The present work surveys some connections between these structures and the quantum Yang-Baxter equation (QYBE): 12  (1) [7] (Section 2.2C).The QYBE applies to an endomorphism R : A ⊗ A → A ⊗ A of the tensor square of an object A in a symmetric, monoidal category.For a given integer n > 1, the notation R ij , for 1 ≤ i < j ≤ n, means applying R to the i-th and j-th factors in the n-th tensor power of A.
Since the left and right composite morphisms are endomorphisms of tensor squares, it is natural to seek conditions under which they satisfy the QYBE.Then, as observed by B.B. Venkov working in the category of sets with Cartesian products [8] (Section 9), the QYBE corresponds to various distributivity conditions involving magma multiplications ∇ : A ⊗ A → A appearing in the left and right composites along with diagonal or setlike comultiplications.While such classical distributivity conditions receive due consideration in this survey, the main novelty lies in the combination with more general comultiplications to obtain a much broader palette of QYBE solutions, corresponding to the bialgebraic concept of quantum distributivity as recently introduced in [9,10].It should also be noted (compare Remark 3) that distinct quantum quasigroups may furnish identical solutions to the QYBE.
In other words, a classification of quantum quasigroups that exhibit quantum distributivity will be finer than a classification of the QYBE solutions that they provide.The broad layout of the paper is as follows.The second section mainly covers background material about magmas and quasigroups, including some relations between the classical and quantum concepts of a quasigroup (Section 2.4), and classical concepts of idempotence and distributivity (Section 2.5), including a brief dictionary of the relevant knot theory terminology (Remark 2).The third section introduces the bialgebraic or "quantum" versions of idempotence (Section 3.1), distributivity (Section 3.2), and Albert's notion of isotopy (Section 3.3), in particular showing how quantum distributivity is transferred under bimagma isotopy (Theorem 4).The final section of the paper then presents various QYBE solutions obtained using quantum quasigroup techniques from one of the subtlest structures in quasigroup theory, commutative Moufang loops.While most of the QYBE solutions appearing in the paper are explicitly given in the symmetric monoidal category of sets under the Cartesian product, they may be transferred easily to categories of modules under the tensor product by application of the free module functor-compare [11] (III, Ex. 3.6.3;IV, Proposition 2.4.8(d)).
For concepts and conventions that are not otherwise discussed in this paper, readers are referred to [11].We use algebraic notation, placing functions to the right of their arguments, or as superfixes.This enables compositions to be read in natural order from left to right.These conventions serve to control the profusion of brackets that all too easily arise in nonassociative structures.Since the comultiplications featured in this paper are not necessarily coassociative, the adapted version of Sweedler notation is used (without any implication that the image of a is of tensor rank 1) in concrete symmetric monoidal categories.Note that in this notation, coassociativity takes the form Under coassociativity, the usual Sweedler notation is recovered for example by taking the superfixes LL < LR < R or L < RL < RR in lexicographic order as suffices 1 < 2 < 3 (which are sometimes encased in parentheses).

Magmas
Classically, a magma (Q, •) is a set Q carrying a binary multiplication operation.The operation is generally written as • or otherwise indicated by simple juxtaposition of the two arguments, with • binding less strongly than juxtaposition (The older term groupoid [12] (p. 1) is now best reserved for categories with invertible morphisms).Thus ∇ : Q ⊗ Q → Q; x ⊗ y → x • y is a magma in the symmetric, monoidal category of sets under the Cartesian product, writing x ⊗ y in place of the usual ordered pair notation (x, y).The magma τ∇ : Q ⊗ Q → Q; x ⊗ y → y • x is described as the opposite of the magma (Q, ∇) or (Q, •).Here and elsewhere, the twist morphism of the symmetric, monoidal category in question is written as τ : A ⊗ A → A ⊗ A, for example concretely implemented as x ⊗ y → y ⊗ x.
For a set Q, the transformation monoid Q Q is the monoid of self-maps from Q to Q. Now for an element q of a magma (Q, * ), define the left multiplication L * (q) or and right multiplication R Specifying or is then equivalent (by Currying) to specification of the magma structure.In particular, using the algebraic convention for composition of maps, the associativity of a magma is equivalent to R being a magma homomorphism.

Combinatorial and Equational Quasigroups
Quasigroups may be defined combinatorially or equationally.Combinatorially, a quasigroup (Q, •) is defined as a magma with the property that any two of the arguments x, y, z in the equation x • y = z determine the third uniquely.A loop is defined as a quasigroup Q having an element 1, the identity element, satisfying 1 Under the equational definition, a quasigroup (Q, •, /, \) is a set Q carrying binary operations of multiplication, right division / and left division \, which together satisfy the following identities: Note that (SL) gives the surjectivity of the left multiplication L(x) : Q → Q, while (IL) expresses its injectivity.The other two identities are their mirror images (chiral duals).
When an abelian group is considered as a combinatorial quasigroup under subtraction, the addition operation is the right division, while subtraction becomes the left division.If x and y are elements of a group (Q, •), the left division is given by x\y = x −1 y, with x/y = xy −1 as right division.More generally, these equations hold in a diassociative loop, where the subloop generated by each pair of elements is associative, and thus forms a group.The loop S 7 of unit octonions is diassociative, but not associative [13] (Section 1.7).

Equational and Combinatorial One-Sided Quasigroups
Using an equational definition, a left quasigroup (Q, •, \) is a set Q equipped with a multiplication and left division satisfying the identities (SL) and (IL) of Equation (6).Dually, a right quasigroup (Q, •, /) is a set Q equipped with a multiplication and right division satisfying the identities (SR) and (IR) of Equation (6).A left loop is a left quasigroup with an identity element.Dually, a right loop is a right quasigroup with an identity element.
Combinatorially, a left quasigroup (Q, •) is a set Q with a multiplication such that in the equation a • x = b, specification of a and b determines x uniquely.In equational terms, the unique solution is x = a\b.The combinatorial definition of right quasigroups is dual.If Q is a set, the right projection product xy = y yields a left quasigroup structure on Q, while the left projection product xy = x yields a right quasigroup structure.
The following algebraic observations are often useful.In particular, they underlie simple conceptual proofs of results (such as Proposition 1 below) that otherwise require more complicated computational or syntactical proofs.Proof.Claims (a) and (b) are immediate from the definitions.Claim (c) will be proved and the claim (d) is dual.For elements x and z of P, one has z = (z/x) • x by (SR).Thus,

Quasigroups and Quantum Quasigroups
This paragraph summarizes some connections between quasigroups and quantum quasigroups.The symbol is often used to denote a singleton set, in its role as a terminal object of categories of sets and functions.
The chiral dual is as follows.
Corollary 2. Given a right quasigroup (A, •, /) equipped with an endomorphism L and automorphism R, define ∇ : A ⊗ A → A; a ⊗ b → ab as a multiplication and ∆ : A → A ⊗ A; a → a L ⊗ a R as a comultiplication.Then, (A, ∇, ∆) is a right quantum quasigroup in (Set, ×, ).

Remark 1.
As observed at the end of Section 2.1, the "global" magma homomorphism property for the map R of Equation (5) corresponds to associativity of the magma in question.On the other hand, the "local" magma homomorphism property for each individual value R(x) corresponds to right distributivity as in Definition 1e.
(c): For elements x, y of Q, one has since R(x) −1 is an automorphism of (Q, •).Right multiplication of the extremes of Equation ( 7) by x then yields the right repetitiveness.

Quantum Idempotence, Distributivity, and Isotopy
Idempotence, (self-)distributivity, and isotopy are standard concepts for magmas in the monoidal category of sets and Cartesian products.It is convenient to describe them as classical concepts (compare the heading of Section 2.5), as their extensions to quantum concepts in bimagmas provide key tools for the identification of solutions to the QYBE in one-or two-sided quantum quasigroups.
commutes in V, then the bimagma is said to satisfy the condition of quantum idempotence.
and ∇ : a ⊗ b → a/b.
(b) The bimagma (A, ∇, ∆) is quantum right distributive if LR = RL and the identity is satisfied.

Quantum Homotopy and Isotopy
To begin, recall some classical definitions.

Definition 4. Consider magma structures
(a) A homotopy (in the classical sense) is defined as a triple of V-morphisms f , g, h : commutes.(See [13] (Section 1.2) for the case of quasigroups in the category of sets.)(b) The classical homotopy ( 14) is an isotopy (in the classical sense) if f , g, h are V-isomorphisms.(See [17] (Section 11) for the concept in a category of vector spaces, and [18] (Section 4) for quasigroups in the category of sets.)(c) A classical isotopy ( f , g, h) : Remark 4. Note that a classical homotopy (14) becomes a magma homomorphism if f = g = h.Definition 5. Let (V, ⊗, 1) be a symmetric monoidal category.Let (A i , ∇ i ) be a magma in (V, ⊗, 1), for i = 1, 2. Consider a pair (h, φ) consisting of V-morphisms h : commutes in V. (b) The magma homotopy ( 16) is said to be a magma isotopy if h and φ are V-isomorphisms.

S S S S S S S S S S S S S S S
commutes in V. Here, the superfix ⊗r is used for the r-th tensor power of an object or morphism in V.The lower part of the decagon diagram is called the nonagon diagram or enneagon diagram.
Remark 6.The commuting of the upper triangle within the decagon diagram means that the pair (1 A , φ) is a principal magma isotopy.
For the following, compare [9] (Proposition 5.5), which used a dual convention for labeling the domain and codomain of an isotopy.Proposition 6. Suppose that (Q, ∇ i , ∆ i : x → xL i ⊗ xR i ), for i = 1, 2, are bimagmas in (Set, ×, ), with permutations f : Q → Q and g : Q → Q.Then, the validity of the equations whose components f , g are commuting automorphisms of (Q, ∇ 2 ); (e) The equations L 1 g 2 = gL 2 and R 1 f g = gR 2 hold.
The conditions of Proposition 7 and Corollary 8 are simplified and unified for quantum quasigroups in the symmetric monoidal category of finite sets and Cartesian products.
) are quantum quasigroups on an object Q of (FinSet, ×, ) for i = 1, 2, such that the following conditions are satisfied: (a) The comultiplication components L i and R i commute for i = 1, 2; whose components f , g are commuting automorphisms of (Q, ∇ 1 ).
Remark 11. (a) If the distributive quasigroup (Q, ∇ 2 ) in Theorem 6 is not commutative, choose an element e which does not commute with each element of Q.Then, the quantum quasigroup (Q, ∇ 1 , ∆ 1 ) will not be cocommutative.This immediately distinguishes it from the cocommutative quantum quasigroups (A, ∇, ∆) that are provided by Theorem 5, even though those quantum quasigroups also have a commutative Moufang loop multiplication.These automorphisms of Q ⊗ Q give two distinct solutions of the QYBE in (Set, ×, ).

Theorem 2 .
Consider the symmetric, monoidal category (FinSet, ×, ) of finite sets under the Cartesian product: (a) Left quantum quasigroups in (FinSet, ×, ) are equivalent to triples (A, L, R) that consist of a left quasigroup A with an automorphism L and endomorphism R [6].(b) Right quantum quasigroups in (FinSet, ×, ) are equivalent to triples (A, L, R) that consist of a right quasigroup A with an endomorphism L and automorphism R [6].(c) Quantum quasigroups in (FinSet, ×, ) are equivalent to triples (A, L, R) consisting of a quasigroup A equipped with automorphisms L and R [5].Corollary 1. [6] Given a left quasigroup (A, •, \) equipped with an automorphism L and endomorphism R, define ∇ : A ⊗ A → A; a ⊗ b → ab as a multiplication and ∆ : A

2. 5 .
Some Classical Concepts Definition 1.Let (Q, •) be a magma: (a) The magma is idempotent if xx = x for all x in Q. (b) The magma is left repetitive if xy = (xx)y for all x, y in Q, i.e., if the monogenic submagmas of Q are contained entirely within kernel classes of the map L of Equation (4).(c) The magma is right repetitive if yx = y(xx) for all x, y in Q, i.e., if the monogenic submagmas of Q are contained entirely within kernel classes of the map R of Equation (5).(d) The magma is left (self-)distributive if x(yz) = (xy)(xz) for all x, y, z in Q, i.e., if each left multiplication Equation (2) is a magma endomorphism.(e) The magma is right (self-)distributive if (zy)x = (zx)(yx) for all x, y, z in Q, i.e., if each right multiplication Equation (3) is a magma endomorphism.(f) The magma is (self-)distributive if it is right and left distributive.

Proposition 1 .
Let (Q, •, /) be a right quasigroup, with opposite division x%y = y/x: (a) If the magma (Q, •) is right distributive, then so is the magma (Q, /).(b) If the magma (Q, •) is right distributive, then the magma (Q, %) is left distributive.(c) If the magma (Q, •) is right distributive, then it is right repetitive.

Definition 3 .Remark 3 .
Suppose that (A, ∇, ∆) is a bimagma in a symmetric, monoidal category:(a) The bimagma (A, ∇, ∆) is said to satisfy the condition of quantum left distributivity if the left composite G of (A, ∇, ∆) satisfies the quantum Yang-Baxter equation (1). (b) The bimagma (A, ∇, ∆) is said to satisfy the condition of quantum right distributivity if the right composite of (A, ∇, ∆) satisfies the quantum Yang-Baxter equation (1).(c) The bimagma (A, ∇, ∆) is said to satisfy the condition of quantum distributivity if it has both the left and right quantum distributivity properties.The following result records B.B. Venkov's motivating observation[8] (Section 9) quoted in the introduction.Proposition 4. [10] (Proposition 6.2) Let (A, ∇) be a magma in the category of sets with the Cartesian product.Define ∆ : A → A ⊗ A; a → a ⊗ a: (a) The bimagma (A, ∇, ∆) is quantum left distributive if and only if the magma (A, ∇) is left distributive.(b) The bimagma (A, ∇, ∆) is quantum right distributive if and only if the magma (A, ∇) is right distributive.It is noteworthy that the distinct right quantum quasigroups (A, ∇, ∆ 2,1 ) and (A, ∇, ∆) appearing in the proof of Proposition 3 have identical right composites.By Proposition 4, this common right composite solves the QYBE.Thus, a classification of quantum right distributive right quantum quasigroups would be finer than a classification of the QYBE solutions that they provide.Corollary 5. [10] (Corollary 6.3) Suppose that (A, ∇, ∆) is a nontrivial left quantum distributive left quantum quasigroup, or right quantum distributive right quantum quasigroup, within the category (Set, ×, ):

Remark 5 .
(a) The concepts of Definition 4 provide instances of those of Definition 5.

Remark 8 .
Consider the context of Proposition 9: (a) If A is nontrivial, say with non-identity element a, then a∆