[論文レビュー] Principal $\hat{sl}(3)$ subspaces and quantum Toda Hamiltonian

Boris Feigin, Evgeny Feigin+3 more|ArXiv.org|Jul 11, 2007

Algebraic structures and combinatorial models参考文献 19被引用数 5

ひとこと要約

本稿は、新しい生成関数 $J_{d_1,d_2}(z_1,z_2)$ を用いて、主 $˂{ m rak{sl}}_{3}$ の部分空間に対するボソン的特徴関数を確立し、$U_v(rak{sl}_3)$ におけるホイットAKERベクトルと関連づけ、係数 $I_{d_1,d_2}(z_1,z_2)$ が量子トーダハミルトニアンの再帰関係を満たすことを証明する。主な貢献は、[FS1] における予想を裏付ける、主部分空間 $V^k$ の新しいフェルミオン的型の特徴関数の公式である。

ABSTRACT

We study a class of representations of the Lie algebra of Laurent polynomials with values in the nilpotent subalgebra of sl(3). We derive Weyl-type (bosonic) character formulas for these representations. We establish a connection between the bosonic formulas and the Whittaker vector in the Verma module for the quantum group $U_v sl(3)$. We also obtain a fermionic formula for an eigenfunction of the sl(3) quantum Toda Hamiltonian.

研究の動機と目的

• レベル-$k$ の $\widehat{\mathfrak{sl}}_3$ の真空表現の主部分空間 $V^k$ の新しい特徴関数公式を導出すること。
• ボソン的特徴関数公式と量子群 $U_v(\mathfrak{sl}_3)$ におけるホイットAKERベクトルとの間の関係を確立すること。
• 生成関数の係数 $I_{d_1,d_2}(z_1,z_2)$ が $\mathfrak{sl}_3$ 量子トーダハミルトニアンの固有関数であることを示すこと。
• 再帰関係とフェルミオン的表現を用いた組合せ的証明により、特徴関数公式を提示すること。
• $\mathfrak{sl}_n$ へのフェルミオン的公式の一般化を予想し、$\mathfrak{sl}_n$ 量子トーダハミルトニアンの固有関数の係数として提示すること。

提案手法

• 生成関数 $J_{d_1,d_2}(z_1,z_2)$ を用いて、$I_{d_1,d_2}(z_1,z_2)$ と無限大の $q$-ポッホハマー記号を介して定義される、$V^k$ の新しいボソン的特徴関数公式を導出する。
• $I_{d_1,d_2}(z_1,z_2)$ が再帰式 (1.4) を満たし、固有関数方程式 (1.3) を通じて量子トーダハミルトニアン $\widehat{H}$ と関連づけられることを確立する。
• $q = v^2$, $z_1 = q^{\lambda_1 - \lambda_2 + 1}$, $z_2 = q^{\lambda_2 - \lambda_3 + 1}$ の同一視を用いて、ホイットAKERベクトルの内積を $I_{d_1,d_2}(z_1,z_2)$ に結びつける。
• 明示的なホイットAKERベクトル $\omega_{d_1,d_2,n}$ 及びその双対 $\bar{\omega}_{d_1,d_2,n}$ を構成し、$I_{d_1,d_2,n}(z_1,z_2) = (\omega_{d_1,d_2,n}, \bar{\omega}_{d_1,d_2,n})$ が成り立つことを示す。
• $I_{d_1,d_2}(z_1,z_2) = \sum_{n=0}^{\min(d_1,d_2)} I_{d_1,d_2,n}(z_1,z_2)$ を証明し、フェルミオン的分解を確認する。
• 直接計算とトーダ再帰の解の一意性を用いて、ホイットAKERベクトルと $I_{d_1,d_2}$ 関数の間の関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 生成関数のアプローチを用いて、主 $\widehat{\mathfrak{sl}}_3$ の部分空間 $V^k$ の新しいボソン的特徴関数公式を導出可能か？
• RQ2 生成関数の係数 $I_{d_1,d_2}(z_1,z_2)$ は、量子トーダハミルトニアンとどのように関連しているか？
• RQ3 $U_v(\mathfrak{sl}_3)$ におけるホイットAKERベクトルと $V^k$ の特徴関数公式との間の明確な関係は何か？
• RQ4 ホイットAKERベクトルの内積から、$I_{d_1,d_2}(z_1,z_2)$ のフェルミオン的公式を導出可能か？
• RQ5 $I_{d_1,d_2}(z_1,z_2)$ のフェルミオン的構造は、$\mathfrak{sl}_n$ に一般化可能か？その場合、係数は $\mathfrak{sl}_n$ 量子トーダハミルトニアンの固有関数の係数として現れるか？

主な発見

• 本稿は、主部分空間 $V^k$ の特徴関数に対する予想された公式 (1.2) を証明し、$\mathrm{ch}V^k$ が $d_1,d_2 \geq 0$ の和として $z_1^{kd_1}z_2^{kd_2}q^{k(d_1^2 + d_2^2 - d_1d_2)}J_{d_1,d_2}(z_1q^{2d_1 - d_2}, z_2q^{2d_2 - d_1})$ の形に表されることを示した。
• $I_{d_1,d_2}(z_1,z_2)$ が再帰式 (1.4) を満たすことが示され、$\mathfrak{sl}_3$ 量子トーダハミルトニアンの固有関数の係数としての役割が裏付けられた。
• ホイットAKERベクトル $\omega_{d_1,d_2,n}$ 及びその双対 $\bar{\omega}_{d_1,d_2,n}$ の内積が $I_{d_1,d_2,n}(z_1,z_2)$ に等しくなることが確認され、量子群表現論とトーダ系との間の直接的な関連が確立された。
• 全関数 $I_{d_1,d_2}(z_1,z_2)$ は $\sum_{n=0}^{\min(d_1,d_2)} I_{d_1,d_2,n}(z_1,z_2)$ に分解され、係数のフェルミオン的型の公式が得られた。
• 再帰関係と明示的なホイットAKERベクトルの構成を用いた組合せ的証明により、[FS1] における予想が確認された。
• 著者らは、$I_{d_1,d_2}(z_1,z_2)$ のフェルミオン的構造が $\mathfrak{sl}_n$ に一般化可能であり、その係数が $\mathfrak{sl}_n$ 量子トーダハミルトニアンの固有関数の係数として現れると予想している。