[論文レビュー] Serre Relations in the Superintegrable Model

Helen Au-Yang, Jacques H. H. Perk|arXiv (Cornell University)|Oct 22, 2012

Algebraic structures and combinatorial models参考文献 10被引用数 4

ひとこと要約

本稿は、$Q \neq 0$ セクターにおける超可積分的 $\tau_2^{}$ モデルにおいて、Lusztigの高次量子Serre関係式を用い、$U_q(\widehat{{\mathfrak{sl}}_2})$ の代数的構造を通じてモデルの生成子へ写像することで、量子ループ代数 $L({\mathfrak{sl}}_2)$ のSerre関係式を証明する。主な結果は、チャーラルポッツ模型の枠組みにおける長年の予想を完全に代数的に裏付けるものである。

ABSTRACT

We derive the Serre relations for the generators of the quantum loop algebra L(sl_2) of the superintegrable tau_2 model in Q not 0 sectors, thus proving a fundamental conjecture in an earlier paper on the superintegrable chiral Potts model.

研究の動機と目的

• 超可積分的チャーラルポッツ模型の $Q \neq 0$ セクターについて、先行研究で提起されたSerre関係式を証明すること。
• $Q \neq 0$ 固有空間に於いて、量子ループ代数 $L({\mathfrak{sl}}_2)$ の構造を確立すること。これは、従来 $Q = 0$ の場合にのみ成り立つ結果を拡張するものである。
• $U_q(\widehat{{\mathfrak{sl}}_2})$ 量子群の枠組みと $\tau_2$ モデルの物理的生成子との間のギャップを埋めること。
• 超可積分的チャーラルポッツ模型の可積分性および表現論的構造に対する、基底状態を超える厳密な代数的基盤を提供すること。

提案手法

• $\mbox{\mycal e}_j$, $\mbox{\mycal f}_j$ という物理的モデルの生成子を、$\mathbf{Z}_j$ と $q = \omega^{1/2}$ を含む関係式を介して $U_q(\widehat{{\mathfrak{sl}}_2})$ 生成子へ写像する。
• $q^{2N} = 1$ の場合に於けるLusztigの高次量子Serre関係式を、循環的状況に適応させる。この際、$q$-整数と交互和を用いて定義される関数 $f_{n,m}$ を用いる。
• Serre関係式を、モデルの演算子 $\mathbf{B}_\pm$, $\mathbf{C}_\pm$ 及びそれらの正規化版 $\mathbf{B}^{(n)}_\pm$, $\mathbf{C}^{(n)}_\pm$ の言語に書き直す。この際、$[n]_q!$ および $[n]!$ の階乗を用いる。
• $\mathbf{A}_L = \prod_{i=1}^L \mathbf{Z}_i$ を含む演算子恒等式を導出し、異なるサイトにおける $\mathbf{B}_\pm$, $\mathbf{C}_\pm$ 間の関係を確立する。
• Yang–Baxter関係式およびスター・トライアングル関係式の再帰的適用により、特に $Q$-セクター分解を通じて、特定の状態におけるSerre関係式の検証を行う。
• 明示的な演算子展開とキャンセルを用いて、三重括弧 $[[[\mathbf{x}^+_{0,Q}, \mathbf{x}^-_{1,Q}], \mathbf{x}^-_{1,Q}], \mathbf{x}^-_{1,Q}]$ 及び $[[[\mathbf{x}^-_{1,Q}, \mathbf{x}^+_{0,Q}], \mathbf{x}^+_{0,Q}], \mathbf{x}^+_{0,Q}]$ の消滅を証明する。

実験結果

リサーチクエスチョン

• RQ1 [17] で提起された、超可積分的 $\tau_2$ モデルの $Q \neq 0$ セクターにおけるSerre関係式は、代数的に成立するか？
• RQ2 Lusztigのフレームワークから得られる高次量子Serre関係式は、$\tau_2$ モデルの非標準的生成子に適応可能か？
• RQ3 スピン-$\frac{1}{2}$ と循環的表現を結合する $\mathbf{B}_\pm$ 及び $\mathbf{C}_\pm$ 演算子は、どのようにして量子ループ代数関係を満たすか？
• RQ4 $Q$-量子数は、量子ループ代数が $r = (N-1)L/N$ 個の単純な $\mathfrak{sl}_2$ 部分代数に分解する際、果たす役割は何か？
• RQ5 双対状態 $|\bar{\Omega}\rangle$ における双対代数のSerre関係式も成立するか？また、$|\Omega\rangle$ におけるものと比べてどう異なるか？

主な発見

• 超可積分的 $\tau_2$ モデルの $Q \neq 0$ セクターにおいて、Serre関係式 $[[[\mathbf{x}^+_{0,Q}, \mathbf{x}^-_{1,Q}], \mathbf{x}^-_{1,Q}], \mathbf{x}^-_{1,Q}] = 0$ 及び $[[[\mathbf{x}^-_{1,Q}, \mathbf{x}^+_{0,Q}], \mathbf{x}^+_{0,Q}], \mathbf{x}^+_{0,Q}] = 0$ が厳密に証明された。
• 証明は、$q$-階乗を用いて $\mathbf{B}_\pm^{(n)}$ 及び $\mathbf{C}_\pm^{(n)}$ で生成子を表現することに依存し、$[n]_q! = q^{-\frac{1}{2}n(n-1)}[n]!$ の恒等式を用いて、循環的 $q$-整数と関連付ける。
• 明示的な演算子展開により、$\mathbf{B}_1^{(N+Q)}$, $\mathbf{C}_0^{(N+Q)}$ 及びそれらの積を含む項のキャンセルによって、三重括弧が消えることが示された。これは、恒等式 (48)、(50)、(54) によって裏付けられている。
• これらの関係は、$|\Omega\rangle$ セクターだけでなく、双対 $|\bar{\Omega}\rangle$ セクターに対しても検証された。ここで $\bar{\mathbf{x}}^{-}_{0,Q} = \mathbf{B}_L^{(N+Q)}\mathbf{C}_{L-1}^{(Q)}$ および $\bar{\mathbf{x}}^{+}_{-1,Q} = \mathbf{B}_L^{(Q)}\mathbf{C}_{L-1}^{(N+Q)}$ であり、同じく三重括弧が消える。
• $Q = 0$ の場合は特別な場合として回復され、二つの部分代数が一つの $L({\mathfrak{sl}}_2)$ 代数に統合され、基底状態における既知の構造と整合的である。
• 本研究により、$Q \neq 0$ 固有空間が量子ループ代数構造を支持することが確認され、超可積分的チャーラルポッツ模型理論における根本的予想が裏付けられた。