[論文レビュー] XXZ Bethe states as highest weight vectors of the $sl_2$ loop algebra at roots of unity

Tetsuo Deguchi|arXiv (Cornell University)|Dec 10, 2002

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

この論文は、根の単位における正規のXXZベーテ状態が、$sl_2$ループ代数の最高重みベクトルであることを証明している。すべての$k \in \mathbb{Z}$に対して正のルート生成子$\bar{x}_k^+$が消えることを示し、$N=2$の場合はCartan生成子$\bar{h}_k$の固有ベクトルでもある。この研究は、XXZモデルの簡約性が古典的ドリンフェルト多項式と関連することを支持しており、$L,R$ が$N$で割り切れる場合、次元が$2^{(L-2R)/N}$に一致する。これは、根の単位におけるスペクトルの簡約性の背後にある深い代数的構造を確立する。

ABSTRACT

We prove some part of the conjecture that regular Bethe ansatz eigenvectors of the XXZ spin chain at roots of unity are highest weight vectors of the $sl_2$ loop algebra. Here $q$ is related to the XXZ anisotropic coupling $Δ$ by $Δ=(q+q^{-1})/2$, and it is given by a root of unity, $q^{2N}=1$, for a positive integer $N$. We show that regular XXZ Bethe states are annihilated by the generators ${\bar x}_k^{+}$'s, for any $N$. We discuss, for some particular cases of N=2, that regular XXZ Bethe states are eigenvectors of the generators of the Cartan subalgebra, ${\bar h}_k$'s. Here the loop algebra $U(L(sl_2))$ is generated by ${\bar x}_k^{\pm}$ and ${\bar h}_k$ for $k \in {\bf Z}$, which are the classical analogues of the Drinfeld generators of the quantum loop algebra $U_q(L(sl_2))$. A representation of $U(L(sl_2))$ is called highest weight if it is generated by a vector $Ω$ which is annihilated by the generators ${\bar x}_k^{+}$'s and such that $Ω$ is an eigenvector of the ${\bar h}_k$'s. We also discuss the classical analogue of the Drinfeld polynomial which characterizes the irreducible finite-dimensional highest weight representation of $U(L(sl_2))$.

研究の動機と目的

• 正規のXXZベーテアンザッツ固有状態と根の単位における$sl_2$ループ代数の最高重み表現との間の関係を確立すること。
• 正規ベーテ状態が$sl_2$ループ代数の正のルート生成子$\bar{x}_k^+$をすべて消すという予想を検証すること。
• $N=2$の場合に、正規ベーテ状態がCartan生成子$\bar{h}_k$の固有ベクトルであるかどうかを調査し、最高重み構造を確認すること。
• ドリンフェルト多項式の古典的類似を計算し、その次数を不可約表現の次元に関連付けること。

提案手法

• 有限の急速度を持つ正規ベーテ状態を構成するために代数的ベーテアンザッツを用いる。
• 生成子$\bar{x}_k^\pm$および$\bar{h}_k$（$k \in \mathbb{Z}$）によって定義される、$sl_2$ループ代数の古典的ドリンフェルト実現を適用する。
• 交換関係$[\bar{h}_1, \bar{x}_k^+] = 2\bar{x}_{k+1}^+$の再帰的適用により、すべての$k$に対して$\bar{x}_k^+ |R\rangle = 0$を示す。
• $N=2$の場合、真空状態と正規化技術を用いて$\bar{h}_k$のベーテ状態への作用を計算する。
• 生成子$\bar{h}_k$の固有値$\bar{d}_k^\pm$を用いて、ドリンフェルト多項式の古典的類似を導出する。$\sum \bar{d}_k u^k = -u P'(u)/P(u)$の関係を用いる。
• 多項式の次数と表現の次元の関係$\dim \mathcal{V} = 2^{\deg P}$を用い、多項式の次数を$2^{(L-2R)/N}$に一致させる。

実験結果

リサーチクエスチョン

• RQ1 正規のXXZベーテ状態が、任意の$N$に対して、$sl_2$ループ代数のすべての正のルート生成子$\bar{x}_k^+$を消すか？
• RQ2 $N=2$の場合、正規のXXZベーテ状態はCartan生成子$\bar{h}_k$の固有ベクトルか？
• RQ3 ドリンフェルト多項式の古典的類似が、正規ベーテ状態によって生成される不可約表現の次元を正しく予測するか？
• RQ4 正規ベーテ状態が$L$スピンに$R$個の下スピンを持つ場合、$L$と$R$ が$N$で割り切れるとき、その多重項の次元は$2^{(L-2R)/N}$か？
• RQ5 特定の例（$L=6$, $N=3$）に対して、古典的ドリンフェルト多項式を明示的に計算でき、整合的な簡約性を示せるか？

主な発見

• 正規のXXZベーテ状態は、任意の$N$に対して、$sl_2$ループ代数のすべての$\bar{x}_k^+$生成子を消す。これは最高重み表現の第一条件を確認する。
• $N=2$の場合、正規ベーテ状態はCartan生成子$\bar{h}_k$の固有ベクトルであり、最高重み構造の第二条件を満たす。
• 生成子$\bar{h}_k$の固有値$\bar{d}_k^\pm$を用いて、ドリンフェルト多項式の古典的類似が導出され、$P(u)$は$\sum \bar{d}_k u^k = -u P'(u)/P(u)$を満たす。
• $L=6$, $N=3$の場合、ドリンフェルト多項式は$P(u) = (1 - a_1 u)(1 - a_2 u)$（$a_{1,2} = 10 \pm 3\sqrt{11}$）であり、次数2の多項式となり、次元は$2^2 = 4$となる。
• $L$スピンに$R$個の下スピンを持つ正規ベーテ状態が生成する多重項の次元は、$L$と$R$ が$N$で割り切れるとき$2^{(L-2R)/N}$となる。これは八重量モデルにおける既知の簡約性と一致する。
• この手法により、$L=2R$のとき$S^{\pm(N)} B_1 \cdots B_R |0\rangle = 0$が成り立つことが確認され、根の単位における高次生成子の消滅を支持する。