[Paper Review] Trigonometric solutions of the associative Yang-Baxter equation

Travis Schedler|ArXiv.org|Dec 18, 2002

Advanced Topics in Algebra5 references3 citations

TL;DR

This paper classifies trigonometric solutions of the associative Yang-Baxter equation (AYBE) for matrix algebras $\mathrm{Mat}_n$, showing they arise as quantum Yang-Baxter solutions (GGS solutions) scaled by $q - q^{-1}$, with liftings existing only for a special subclass of Belavin-Drinfeld triples—those termed 'associative'—where the classical $r$-matrix lifts to an associative solution via a cyclic permutation condition. The key result is a complete characterization of when such liftings exist, linking AYBE to both classical and quantum bialgebras through combinatorial data.

ABSTRACT

We classify trigonometric solutions to the associative Yang-Baxter equation (AYBE) for A = Mat_n, the associative algebra of n-by-n matrices. The AYBE was first presented in a 2000 article by Marcelo Aguiar and also independently by Alexandre Polishchuk. Trigonometric AYBE solutions limit to solutions of the classical Yang-Baxter equation. We find that such solutions of the AYBE are equal to special solutions of the quantum Yang-Baxter equation (QYBE) classified by Gerstenhaber, Giaquinto, and Schack (GGS), divided by a factor of q - q^{-1}, where q is the deformation parameter q = exp(h). In other words, when it exists, the associative lift of the classical r-matrix coincides with the quantum lift up to a factor. We give explicit conditions under which the associative lift exists, in terms of the combinatorial classification of classical r-matrices through Belavin-Drinfeld triples. The results of this paper illustrate nontrivial connections between the AYBE and both classical (Lie) and quantum bialgebras.

Motivation & Objective

• To classify trigonometric solutions of the associative Yang-Baxter equation (AYBE) over $\mathrm{Mat}_n$.
• To determine under what conditions a classical $r$-matrix solution of the classical Yang-Baxter equation (CYBE) can be lifted to a solution of the AYBE.
• To clarify the relationship between the associative Yang-Baxter equation and both quantum and classical bialgebras via the classification of solutions.
• To resolve a question posed in [Pol00] regarding the existence of associative lifts for nondegenerate classical $r$-matrices.

Proposed method

• The paper uses the spectral parameter formulation of the AYBE, analyzing solutions $r(u,v)$ with Laurent expansion $r(u,v) = \frac{1\otimes 1}{u} + r_0(v) + ur_1(v) + \cdots$ near $u=0$.
• It identifies $r_0(v)$ as a solution of the CYBE with spectral parameter and unitarity condition, linking the AYBE to classical r-matrices.
• The classification relies on Belavin-Drinfeld triples, which combinatorially classify classical $r$-matrices, and introduces the notion of 'associative BD triples' as a necessary and sufficient condition for AYBE liftability.
• The method involves deriving a system of equations for matrix coefficients $t'_{ij}$ from the AYBE, showing they satisfy $t'_{ij} = \pm \frac{1}{2}$ and induce a cyclic permutation $\tilde{T}$ on indices $\{1,\dots,n\}$.
• It proves that the AYBE solution $r(u,v)$ exists if and only if the associated classical $r$-matrix satisfies a specific condition involving the cyclic permutation $\tilde{T}$, encoded in equation (3.2).
• The proof uses projection operators and traceless matrix decompositions to reduce the AYBE to conditions on $s_0 \in \mathfrak{h}_0 \wedge \mathfrak{h}_0$, showing equivalence between the conditions (3.1) and (3.2).

Experimental results

Research questions

• RQ1 Can every nondegenerate solution of the classical Yang-Baxter equation be lifted to a solution of the associative Yang-Baxter equation with a spectral parameter?
• RQ2 What combinatorial conditions on Belavin-Drinfeld triples ensure that a classical $r$-matrix admits an associative lift to the AYBE?
• RQ3 How does the quantum Yang-Baxter equation solution relate to the associative Yang-Baxter equation solution in the trigonometric case?
• RQ4 Under what conditions does the associative lift of a classical $r$-matrix coincide with the quantum lift up to a factor of $q - q^{-1}$?
• RQ5 Is there a finite number of choices for the skew-symmetric diagonal component of a classical $r$-matrix that allow liftability to the AYBE?

Key findings

• Trigonometric solutions of the AYBE over $\mathrm{Mat}_n$ are precisely the quantum Yang-Baxter equation solutions (GGS solutions) divided by $q - q^{-1}$, where $q = e^\hbar$.
• The associative lift of a classical $r$-matrix exists if and only if the corresponding Belavin-Drinfeld triple is 'associative', meaning the associated map $T: \Gamma_1 \to \Gamma_2$ lifts to a cyclic permutation $\tilde{T}$ of $\{1,\dots,n\}$.
• For each associative BD triple, only finitely many choices of the skew-symmetric diagonal component of the classical $r$-matrix yield a liftable solution, up to scalar multiples of the form $1\otimes A + A\otimes 1$.
• The AYBE solution $r(u,v)$ with Laurent expansion $r(u,v) = \frac{1\otimes 1}{u} + r_0(v) + \cdots$ exists if and only if $r_0(v)$ is of the form $\frac{\tilde{r} + e^v \tilde{r}^{21}}{1 - e^v}$ for a constant solution $\tilde{r}$ of the CYBE satisfying $\tilde{r} + \tilde{r}^{21} = \sum_{i,j} e_{ij} \otimes e_{ji}$.
• The condition for liftability is equivalent to the existence of a cyclic permutation $\tilde{T}$ such that the matrix $s_0$ satisfies $[(e_i - e_{\tilde{T}(i)}) \otimes 1]s_0 = \frac{1}{2}[(e_i + e_{\tilde{T}(i)}) \otimes 1]P'$, where $P'$ is the projection to traceless diagonal matrices.
• The paper resolves negatively the question in [Pol00] regarding the existence of an associative lift for every nondegenerate classical $r$-matrix, showing such lifts exist only for a proper subclass of solutions.