[Paper Review] Non-unitary set-theoretical solutions to the Quantum Yang-Baxter Equation

Alexandre Soloviev|ArXiv.org|Mar 28, 2000

Advanced Topics in AlgebraMathematics22 citations

TL;DR

This paper develops a comprehensive theory of non-unitary, nondegenerate set-theoretical solutions to the Quantum Yang-Baxter Equation (QYBE), generalizing prior work by Etingof, Schedler, and Soloviev. It introduces structure groups and derived groups for such solutions, establishes a group-theoretical characterization of nondegenerate solutions (Theorem 2.7), and provides a combinatorial criterion for injective solutions (Theorem 2.9). The key contribution is a classification of injective affine solutions via representations of a noncommutative algebra generated by invertible elements satisfying a quadratic relation.

ABSTRACT

We develop a theory of non-unitary set-theoretical solutions to the Quantum Yang-Baxter equation. Our results generalize those obtained by Etingof, Schedler and the author. We remark that some of our constructions are similar to constructions obtained by Lu, Yan and Zhu.

Motivation & Objective

• To generalize the theory of nondegenerate set-theoretical solutions to the Quantum Yang-Baxter Equation beyond the unitary case.
• To remove the unitarity condition in the group-theoretical characterization of nondegenerate solutions.
• To introduce and study injective solutions as a generalization of involutive solutions, particularly for affine solutions.
• To provide a classification of injective affine solutions on abelian groups using algebraic structures.

Proposed method

• Define the structure group $ G_X $ and derived structure group $ A_X $ from a bijective map $ S: X \times X \to X \times X $, using relations derived from $ S(x,y) = (g_x(y), f_y(x)) $.
• Introduce nondegeneracy via bijectivity of $ g_x $ and $ f_y $, and define injective solutions via a combinatorial condition on the derived solution.
• Use the twisted braid group action to characterize braided sets and relate them to the QYBE via the condition $ S_{1}S_{2}S_{1} = S_{2}S_{1}S_{2} $.
• Construct affine solutions as maps $ S(x,y) = (ax + by + z, cx + dy + t) $, and derive conditions on coefficients ensuring the QYBE is satisfied.
• Characterize injective affine solutions via the linear part $ S^* $ and a shift parameter $ k $, showing injectivity holds iff $ k = 0 $ and $ S^* $ is injective.
• Classify injective affine solutions by realizing them as representations of the algebra generated by invertible elements $ p, q, z $ with $ pq = qp $ and $ z^2 - z(p+q) + pq = 0 $.

Experimental results

Research questions

• RQ1 Can the unitarity condition in the group-theoretical characterization of nondegenerate set-theoretical solutions to the QYBE be removed?
• RQ2 What is the group-theoretical structure of general nondegenerate set-theoretical solutions, and how does it differ from the unitary case?
• RQ3 What is the combinatorial criterion for injective nondegenerate solutions to the QYBE?
• RQ4 How can injective affine solutions on abelian groups be classified in terms of algebraic structures?
• RQ5 What is the rank of a finite-index abelian subgroup in the structure group of a finite nondegenerate solution, and when is it maximal?

Key findings

• The structure group of a finite nondegenerate solution always contains a finite-index abelian subgroup, and its rank is at most $ N $, with equality if and only if the solution is unitary (Theorem 2.10).
• Injective nondegenerate solutions are characterized by a combinatorial criterion involving the derived solution (Theorem 2.9), generalizing the involutive case.
• Injective affine solutions on an abelian group correspond exactly to representations of the algebra generated by invertible elements $ p, q, z $ satisfying $ pq = qp $ and $ z^2 - z(p+q) + pq = 0 $, with $ z $ acting as a root of a quadratic equation.
• For a given injective linear solution $ S^* $, injective affine solutions are in one-to-one correspondence with elements $ z \in X $, with the translation parameter $ t $ determined by $ t = -c(1-a)^{-1}z $.
• The derived solution of an affine solution $ S $ coincides with that of its linear part $ S^* $ if and only if the shift parameter $ k = 0 $, which is necessary and sufficient for injectivity.
• Affine solutions are injective if and only if their linear part is injective and the shift parameter $ k = 0 $, as shown in Theorem 3.3(ii).