[論文レビュー] Heisenberg Double and Pentagon Relation

Rinat Kashaev|arXiv (Cornell University)|Mar 14, 1995

Advanced Topics in Algebra被引用数 25

ひとこと要約

本稿は、ヘイゼンベルク双対を定数ペンタゴン関係の解を構成するための枠組みとして確立し、ヘイゼンベルク双対における標準的要素が定数ペンタゴン関係を満たすことを示している。さらに、ヤン＝バクスターベクトル方程式の解を生成する上で中心的な役割を果たすドリンフェルド双対が、2つのヘイゼンベルク双対のテンソル積内の部分代数として実現可能であることを示し、ペンタゴン解からヤン＝バクスターベクトル方程式の解を構成する手法を提供している。

ABSTRACT

It is shown that the Heisenberg double has a canonical element, satisfying the pentagon relation. From a given invertible constant solution to the pentagon relation one can restore the structure of the underlying algebras. Drinfeld double can be realized as a subalgebra in the tensor square of the Heisenberg double. This enables one to write down solutions to the Yang-Baxter relation in terms of solutions to the pentagon relation.

研究の動機と目的

• 定数ペンタゴン関係の自然な代数的設定としてヘイゼンベルク双対を確立すること。
• ヤン＝バクスターベクトル方程式の解を生成するドリンフェルド双対が、2つのヘイゼンベルク双対のテンソル積内に埋め込まれることを示すこと。
• 可逆なペンタゴン方程式の解から双対のbialgebraを体系的に構成すること。
• Borel部分代数 $U_q(sl(2))$ の文脈において、ペンタゴン関係を用いて量子ディログリチング関数の一般化を達成すること。

提案手法

• 双代数 ${\cal A}$ から導かれる乗法およびコ乗法の関係を用いて、生成元 $\{e^\alpha, e_\alpha\}$ からなる結合的代数 $H({\cal A})$ としてヘイゼンベルク双対 $H({\cal A})$ を定義する。
• 標準的要素 $S = e_\alpha \otimes e^\alpha$ がペンタゴン関係 $S_{12}S_{13}S_{23} = S_{23}S_{12}$ を満たすことを証明する。
• ペンタゴン関係の可逆解 $S$ を用いて、行列方程式に含まれる $F$ と $G$ を介して、双対の2つの双代数 $\cal B$ と $\cal B^*$ を再構成する。
• $S$-行列の成分を含むトレース公式を用いて双代数の構造定数を導出する：$m_{\alpha\beta}^\gamma = \mathrm{tr}_1(G_{1,\alpha}G_{1,\beta}G_1^\gamma)$ および $\mu^{\alpha\beta}_\gamma = \mathrm{tr}_1(F_1^\alpha F_1^\beta F_{1,\gamma})$。
• テンソル積構成を用いて、ドリンフェルド双対を $H({\cal A}) \otimes \tilde{H}({\cal A})$ 内の部分代数として実現する。
• 具体例への適用：群代数、多項式代数 $\mathbb{C}[x]$、および $U_q(sl(2))$ のBorel部分代数。ペンタゴン関係の明示的実現および一般化された量子ディログリチング恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 量子代数の文脈において、ヘイゼンベルク双対はペンタゴン方程式とどのように関係しているか？
• RQ2 2つのヘイゼンベルク双対のテンソル積からドリンフェルド双対を再構成できるか？
• RQ3 標準的要素 $S = e_\alpha \otimes e^\alpha$ は、ペンタゴン関係を満たす上で果たす役割は何か？
• RQ4 ペンタゴン方程式の解は、整合的な構造定数を持つ双対の双代数をどのように生成するか？
• RQ5 一般化された量子ディログリチング恒等式と $U_q(sl(2))$ におけるペンタゴン関係の関係は何か？

主な発見

• ヘイゼンベルク双対における標準的要素 $S = e_\alpha \otimes e^\alpha$ は定数ペンタゴン関係 $S_{12}S_{13}S_{23} = S_{23}S_{12}$ を満たし、ヘイゼンベルク双対とペンタゴン方程式の間の根本的な関係を確立している。
• 任意のペンタゴン関係の可逆解 $S$ に対して、次元が $\mathrm{dim}(\cal B) = \mathrm{rank}(P_{12}S_{12})^{t_1}$ で与えられる、双 associative かつ co-associative な双対の双代数 $\cal B$ と $\cal B^*$ が構成可能である。
• ドリンフェルド双対 $D({\cal A})$ は $H({\cal A}) \otimes \tilde{H}({\cal A})$ 内の部分代数として実現可能であり、ペンタゴン解からヤン＝バクスターベクトル方程式の解を構成する新しい手法を提供している。
• $|q|<1$ の場合、$U_q(sl(2))$ のBorel部分代数において、標準的要素は $S = \exp(H \otimes \overline{H})(E \otimes F; q)_\infty^{-1}$ であり、ペンタゴン関係から一般化された量子ディログリチング恒等式が得られる。
• 演算子 $U = E_2F_3$、$V = E_1F_2$ に対して、$W = UV - qVU$ が中心的であるとき、恒等式 $(U;q)_\infty([U,V]/(1-q);q)_\infty(V;q)_\infty = (V;q)_\infty(U;q)_\infty$ が成り立つ。$W=0$ のとき、これは既知の量子ディログリチング恒等式に還元される。
• トレース公式 $m_{\alpha\beta}^\gamma = \mathrm{tr}_1(G_{1,\alpha}G_{1,\beta}G_1^\gamma)$ および $\mu^{\alpha\beta}_\gamma = \mathrm{tr}_1(F_1^\alpha F_1^\beta F_{1,\gamma})$ を用いた構成法により、$S$-行列データから構造定数を体系的に抽出する手法が提供されている。