[论文解读] Trigonometric solutions of the associative Yang-Baxter equation

Travis Schedler|ArXiv.org|Dec 18, 2002

Advanced Topics in Algebra参考文献 5被引用 3

一句话总结

本文对矩阵代数 $\mathrm{Mat}_n$ 上的关联杨- Baxter 方程（AYBE）的三角函数解进行了分类，表明这些解可表示为量子杨- Baxter 解（GGS 解）除以 $q - q^{-1}$，且仅当 Belavin-Drinfeld 三元组属于特殊子类——即所谓的‘关联’三元组时，此类提升才存在。在该类中，经典 $r$-矩阵通过循环置换条件可提升为关联解。主要结果是对此类提升存在的完整刻画，通过组合数据将 AYBE 与经典及量子双代数联系起来。

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.

研究动机与目标

• 对 $\mathrm{Mat}_n$ 上的关联杨- Baxter 方程（AYBE）的三角函数解进行分类。
• 确定经典 $r$-矩阵解（满足经典杨- Baxter 方程，CYBE）在何种条件下可被提升为 AYBE 的解。
• 通过解的分类，阐明 AYBE 与量子及经典双代数之间的关系。
• 解决 [Pol00] 中提出的问题：即非退化经典 $r$-矩阵是否存在关联提升。

提出的方法

• 本文采用 AYBE 的谱参数形式，分析在 $u=0$ 附近具有洛朗展开 $r(u,v) = \frac{1\otimes 1}{u} + r_0(v) + ur_1(v) + \cdots$ 的解。
• 识别出 $r_0(v)$ 为带谱参数和单位性条件的经典 $r$-矩阵解，将 AYBE 与经典 $r$-矩阵联系起来。
• 分类依赖于 Belavin-Drinfeld 三元组，其以组合方式对经典 $r$-矩阵进行分类，并引入了‘关联 BD 三元组’的概念，作为 AYBE 可提升性的充要条件。
• 该方法涉及从 AYBE 导出矩阵系数 $t'_{ij}$ 的方程组，表明其满足 $t'_{ij} = \pm \frac{1}{2}$，并诱导出集合 $\{1,\dots,n\}$ 上的循环置换 $\tilde{T}$。
• 证明 AYBE 解 $r(u,v)$ 存在当且仅当其对应的经典 $r$-矩阵满足涉及循环置换 $\tilde{T}$ 的特定条件，该条件编码于公式 (3.2) 中。
• 证明使用投影算子和无迹矩阵分解，将 AYBE 约化为 $s_0 \in \mathfrak{h}_0 \wedge \mathfrak{h}_0$ 上的条件，证明条件 (3.1) 与 (3.2) 等价。

实验结果

研究问题

• RQ1 每个非退化经典杨- Baxter 方程的解是否都能被提升为带谱参数的关联杨- Baxter 方程的解？
• RQ2 Belavin-Drinfeld 三元组的何种组合条件可确保经典 $r$-矩阵可实现 AYBE 的关联提升？
• RQ3 在三角函数情形下，量子杨- Baxter 方程的解与关联杨- Baxter 方程的解之间有何关系？
• RQ4 在何种条件下，经典 $r$-矩阵的关联提升与量子提升在因子 $q - q^{-1}$ 下一致？
• RQ5 是否存在有限多个选择，使得经典 $r$-矩阵的斜对称对角分量允许提升至 AYBE？

主要发现

• 在 $\mathrm{Mat}_n$ 上，AYBE 的三角函数解恰好是量子杨- Baxter 方程解（GGS 解）除以 $q - q^{-1}$，其中 $q = e^\hbar$。
• 经典 $r$-矩阵的关联提升存在当且仅当对应的 Belavin-Drinfeld 三元组为‘关联’三元组，即关联映射 $T: \Gamma_1 \to \Gamma_2$ 可提升为集合 $\{1,\dots,n\}$ 上的循环置换 $\tilde{T}$。
• 对每个关联 BD 三元组，仅存在有限多个选择（在 $1\otimes A + A\otimes 1$ 的标量倍数下）使得经典 $r$-矩阵的斜对称对角分量可实现 AYBE 的提升。
• AYBE 解 $r(u,v)$ 具有洛朗展开 $r(u,v) = \frac{1\otimes 1}{u} + r_0(v) + \cdots$ 当且仅当 $r_0(v)$ 具有形式 $\frac{\tilde{r} + e^v \tilde{r}^{21}}{1 - e^v}$，其中 $\tilde{r}$ 是满足 $\tilde{r} + \tilde{r}^{21} = \sum_{i,j} e_{ij} \otimes e_{ji}$ 的 CYBE 的常数解。
• 可提升性的条件等价于存在一个循环置换 $\tilde{T}$，使得矩阵 $s_0$ 满足 $[(e_i - e_{\tilde{T}(i)}) \otimes 1]s_0 = \frac{1}{2}[(e_i + e_{\tilde{T}(i)}) \otimes 1]P'$，其中 $P'$ 是到无迹对角矩阵的投影算子。
• 本文否定性地解决了 [Pol00] 中关于所有非退化经典 $r$-矩阵是否均存在关联提升的问题，表明此类提升仅存在于解的一个真子类中。