[論文レビュー] Bethe Equation at q=0, Moebius Inversion Formula, and Weight Multiplicities: II. X_n case

Atsuo Kuniba, Tomoki Nakanishi|ArXiv.org|Aug 6, 2000

Algebraic structures and combinatorial models参考文献 15被引用数 11

ひとこと要約

本稿は、量子アフィン代数 $U_q(X_n^{(1)})$ のキリロフ＝レシティヒキン（KR）モジュールのテンソル積の重み多重度と、$q=0$ ベーテアンザッツ方程式の解との間の関係を確立する。$Q$-システムの再帰とモービウス反転を用いて、べき級数の係数を通じて重み多重度の公式を導出し、これはKRモジュールの特性関数に対応すると予想される。主な結果は、$Q$-級数の微分を用いて自明表現の特性関数を行列式で表す公式であり、代数的組合せ論と量子可積分系を結ぶ。

ABSTRACT

We study a family of power series characterized by a system of recursion relations (Q-system) with a certain convergence property. We show that the coefficients of the series are expressed by the numbers which formally count the off-diagonal solutions of the U_q(X^{(1)}_n) Bethe equation at q=0. The series are conjectured to be the X_n-character of a certain family of irreducible finite-dimensional U_q(X^{(1)}_n) -modules which we call the KR (Kirillov-Reshetikhin) modules. Under the above conjecture, these coefficients give a formula of the weight multiplicities of the tensor products of the KR modules, which is also interpreted as the formal completeness of the XXZ-type Bethe vectors.

研究の動機と目的

• $q=0$ における $U_q(X_n^{(1)})$ のキリロフ＝レシティヒキン（KR）モジュールのテンソル積の重み多重度に対する公式を確立すること。
• $Q$-システム再帰で定義されるべき級数族の係数が、$U_q(X_n^{(1)})$ の $q=0$ ベーテ方程式の非対角解を数えるものであると結び付けること。
• これらの級数がKRモジュールの $X_n$-特性関数であると予想し、テンソル積の特性関数公式を提供すること。

提案手法

• 形式的変数 $y_a = e^{-\alpha_a}$ を用いたべき級数 $Q_m^{(a)}(y)$ に対する再帰的関係（$Q$-システム）を導出し、収束性により係数が正しく定義されることを保証する。
• $Q$-システムにモービウス反転を適用し、$q=0$ ベーテ方程式の非対角解を数える係数を抽出する。
• $y$-級数から $x$-級数（基本ウェイトの指数関数）への変換 $x = x(y)$ を定義し、$X_n$-特性関数の研究を可能にする。
• $Q_1^{(a)}(x)$ の偏微分を含む行列式公式 $K^0(x) = \det(\partial Q_1^{(a)}/\partial x_b)$ を用いて、自明表現の特性関数を表現する。
• もし $Q_1^{(a)}(x)$ が $\mathcal{W}$-不変であれば、この行列式が $\prod_{\alpha \in \Delta_+} (1 - e^{-\alpha})$、つまりウェイル分母に等しくなることを証明する。
• $\tilde{Q}$-級数の収束性と極限処理を活用し、$\tilde{K}^0(y)$ と $\tilde{Q}_1^{(a)}(y)^{-1}$ の関係を $l \to \infty$ の極限で結ぶ。

実験結果

リサーチクエスチョン

• RQ1 Q-システムべき級数の係数は、$U_q(X_n^{(1)})$ ベーテ方程式の $q=0$ における非対角解を数えるものと解釈できるか？
• RQ2 Q-システムの $q=0$ ベーテアンザッツデータを用いて、$U_q(X_n^{(1)})$-KRモジュールのテンソル積における重み多重度の閉形式公式は存在するか？
• RQ3 Q-システム再帰が、$\mathcal{W}$-不変性のもとでウェイル分母と一致するKRモジュールの特性関数公式を導くか？
• RQ4 モービウス反転公式は、$q=0$ における極限で $Q$-システムから多重度情報を抽出するために用いられるか？
• RQ5 Q-級数、ベーテアンザッツ、および自明表現の特性関数を結ぶ正確な代数的構造は何か？

主な発見

• $Q_m^{(a)}(y)$ の係数は、$U_q(X_n^{(1)})$ ベーテ方程式の $q=0$ における非対角解を数えるものであると予想され、組合せ論的解釈が与えられる。
• $Q_m^{(a)}(y)$ の級数は、キリロフ＝レシティヒキンモジュール $W_m^{(a)}$ の $X_n$-特性関数であると予想され、係数がテンソル積における重み多重度を与える。
• $Q_1^{(a)}(x)$ が $\mathcal{W}$-不変であれば、行列式公式 $K^0(x) = \det(\partial Q_1^{(a)}/\partial x_b)$ が $\prod_{\alpha \in \Delta_+} (1 - e^{-\alpha})$ に等しくなることが示され、ウェイル分母と結びつく。
• 収束性（Q̃-II）のおかげで、極限 $\lim_{l\to\infty} \tilde{R}^\nu(y) = (\tilde{Q}_1^{(a)}(y))^{-1}$ が成り立ち、システムの漸近的挙動が正当化される。
• 変換 $U_a(y) = y_a \prod_b \tilde{Q}_1^{(b)}(y)^{-(\alpha_a|\alpha_b)t_b}$ を用いることで、ヤコビアン行列式を介して特性関数公式が導出可能である。
• 最終的な特性関数公式 $K^0(x) = \det(\partial Q_1^{(a)}/\partial x_b)$ は $\mathcal{W}$-不変性のもとで証明され、重み多重度を計算する新しい手法が提供される。