[論文レビュー] Trigonometric solutions of the associative Yang-Baxter equation

Travis Schedler|ArXiv.org|Dec 18, 2002

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

ひとこと要約

この論文は、行列代数 $\ mathrm{Mat}_n$ における結合的ヤン・バクスター方程式（AYBE）の三角関数的解を分類し、それらが $q - q^{-1}$ でスケーリングされた量子ヤン・バクスター方程式の解（GGS解）として生じることを示している。また、特別なクラスのベラビン＝ドラジン triples（「結合的」と呼ばれるもの）に限って、上昇が存在することを示している。この上昇は、循環置換条件を介して古典的 $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$ 上での結合的ヤン・バクスター方程式（AYBE）の三角関数的解を分類すること。
• 古典的ヤン・バクスター方程式（CYBE）の古典的 $r$-行列解が 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)$ がスペクトルパラメータ付きの CYBE とユニタリティ条件の解であることが特定され、AYBE と古典的 $r$-行列が結びつけられる。
• 分類は、古典的 $r$-行列を組合せ的に分類するベルビン＝ドラジン三つ組に依存し、AYBE への上昇可能性の必要十分条件として「結合的 BD 三つ組」の概念を導入している。
• 行列係数 $t'_{ij}$ に対する AYBE からの方程式系を導出し、それらが $t'_{ij} = \pm \frac{1}{2}$ を満たし、集合 $\{1,\dots,n\}$ 上に循環置換 $\tilde{T}$ を誘導することを示している。
• AYBE 解 $r(u,v)$ が存在するための必要十分条件は、関連する古典的 $r$-行列が特定の条件（式 (3.2) に符号化）を満たすことであると証明している。
• 射影作用素とトレースレス行列の分解を用いて AYBE を $s_0 \in \mathfrak{h}_0 \wedge \mathfrak{h}_0$ の条件に還元し、(3.1) と (3.2) の条件が同値であることを示している。

実験結果

リサーチクエスチョン

• RQ1 非退化な古典的ヤン・バクスター方程式の解は、すべてスペクトルパラメータ付き AYBE に上昇可能か？
• RQ2 ベルビン＝ドラジン三つ組にどのような組合せ的条件が、古典的 $r$-行列が AYBE に結合的上昇可能であるかを保証するか？
• RQ3 三角関数的場合において、量子ヤン・バクスター方程式の解と結合的ヤン・バクスター方程式の解はどのように関係するか？
• RQ4 古典的 $r$-行列の結合的上昇が、$q - q^{-1}$ の因子を除いて量子上昇と一致する条件は何か？
• RQ5 古典的 $r$-行列の反対称的対角成分について、AYBE に上昇可能な選択肢は有限個か？

主な発見

• 行列代数 $\ mathrm{Mat}_n$ 上の AYBE の三角関数的解は、すべて $q - q^{-1}$ で割った量子ヤン・バクスター方程式の解（GGS 解）に一致する。ここで $q = e^\hbar$ である。
• 古典的 $r$-行列の結合的上昇が存在するのは、対応するベルビン＝ドラジン三つ組が「結合的」である場合に限る。これは、写像 $T: \Gamma_1 \to \Gamma_2$ が集合 $\{1,\dots,n\}$ 上の循環置換 $\tilde{T}$ に上昇可能であることを意味する。
• 各結合的 BD 三つ組に対して、上昇可能な解をもたらす反対称的対角成分の選択肢は、スカラー倍 $1\otimes A + A\otimes 1$ を除いて有限個に限られる。
• ローラン展開 $r(u,v) = \frac{1\otimes 1}{u} + r_0(v) + \cdots$ を持つ AYBE 解 $r(u,v)$ が存在するのは、$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}$ を満たすときである。
• 上昇可能性の条件は、行列 $s_0$ が $[(e_i - e_{\tilde{T}(i)}) \otimes 1]s_0 = \frac{1}{2}[(e_i + e_{\tilde{T}(i)}) \otimes 1]P'$ を満たすような循環置換 $\tilde{T}$ の存在と同値である。ここで $P'$ はトレースレス対角行列への射影である。
• 論文は [Pol00] で提起された、非退化な古典的 $r$-行列に対して結合的上昇が常に存在するかという疑問に否定的に答え、このような上昇は解の真の部分クラスに限ることを示している。