[論文レビュー] q-Opers, QQ-Systems, and Bethe Ansatz

Edward Frenkel, Peter Koroteev+2 more|arXiv (Cornell University)|Feb 18, 2020

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、非退化なバーティ・アンザッツ方程式の解と正則特異点をもつ$(G,q)$-オペル（$q$-微分作用素）との間の一対一対応を確立し、ODE/IM対応の$q$-変形版を提供する。主な結果として、単純根系をもつリー群$G$に対して、これらの方程式は$U_q\widehat{\mathfrak{g}}$-に基づくXXZ模型に対応し、非単純根系をもつ$G$に対しては、Langlands双対$U_q{}^L\widehat{\mathfrak{g}}$模型に対応する。また、$QQ$-システムと$TQ$-関係は、幾何的データから自然に導かれる。

ABSTRACT

We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondence between the spectra of a quantum integrable model (IM) and classical geometric objects ($q$-differential equations). If $\mathfrak{g}$ is simply-laced, the Bethe Ansatz equations we obtain coincide with the equations that appear in the quantum integrable model of XXZ-type associated to the quantum affine algebra $U_q \widehat{\mathfrak{g}}$. However, if $\mathfrak{g}$ is non-simply laced, then these equations correspond to a different integrable model, associated to $U_q {}^L\widehat{\mathfrak{g}}$ where $^L\widehat{\mathfrak{g}}$ is the Langlands dual (twisted) affine algebra. A key element in this $q$DE/IM correspondence is the $QQ$-system that has appeared previously in the study of the ODE/IM correspondence and the Grothendieck ring of the category ${\mathcal O}$ of the relevant quantum affine algebra.

研究の動機と目的

• $q$-オペルとミウラ変換を用いて、ODE/IM対応を$q$-変形された設定に一般化すること。
• バーティ・アンザッツ方程式の解と幾何的対象（特に正則特異点をもつ$(G,q)$-オペル）との間の対応を確立すること。
• $QQ$-システムが量子可積分模型と古典的微分方程式を結ぶ役割を明確にすること。
• $q$-オペルと量子アフィン代数との正確な対応関係を、単純根系と非単純根系のケースに分けて特定すること。
• $q$-オペルの標準座標が一般化されたバーテキシング$TQ$-関係にどのように関連するかを提示する予想を提示・支持すること。

提案手法

• $G$を単連結な単純な複素リー群とするとき、古典的オペルを$q$-差分設定に一般化した$(G,q)$-オペルおよびミウラ-$(G,q)$-オペルの概念を導入する。
• $Z$-捩れ$q$-オペルを定義し、ミウラ変換を用いて$q$-オペルとプレュッカー座標を関連づけ、$QQ$-システムの幾何的実現を可能にする。
• $q$-接続とゲージ同値を用いて、$(G,q)$-オペルの空間上に標準座標系$(T_1(z), \dots, T_r(z))$を構成する。
• 非退化なバーティ・アンザッツ方程式の解と非退化なミウラ-プレュッカー$(G,q)$-オペルとの間の一対一対応を証明する。
• $q$-ミウラ変換から一般化されたバーテキシング$TQ$-関係を導出し、$\mathrm{SL}(2)$の場合に$q$-オペル座標表現と同等であることを示す。
• $G$が単純根系である場合、任意の非退化な$Z$-捩れミウラ-プレュッカー$(G,q)$-オペルの標準座標$T_j(z)$が、ドリンフェルト多項式$\Lambda_i(z)$と一般化$Q$-多項式$Q^i_+(z)$を用いた一般化$TQ$-関係で与えられるとの予想を提示する。

実験結果

リサーチクエスチョン

• RQ1 ODE/IM対応を、$q$-オペルを用いてどのように$q$-変形された設定に一般化できるか？
• RQ2 バーティ・アンザッツ方程式の解と$q$-微分設定における幾何的対象との正確な対応関係は何か？
• RQ3 $QQ$-システムと$TQ$-関係は、$q$-オペルとミウラ変換の構造からどのように導かれるか？
• RQ4 単純根系と非単純根系のリー群に対して、$q$-変形された対応にどのような差が生じるか？
• RQ5 $q$-ミウラ変換は、量子アフィン表現の$q$-キャラクタリスティクスをどの程度まで符号化しているか？

主な発見

• 非退化なバーティ・アンザッツ方程式の解と非退化なミウラ-プレュッカー$(G,q)$-オペルとの間の一対一対応が確立され、量子可積分模型のスペクトルの幾何的実現が得られる。
• $\mathfrak{g}$が単純根系である場合、$(G,q)$-オペルから導かれるバーティ・アンザッツ方程式は、$U_q\widehat{\mathfrak{g}}$-に基づくXXZ模型のそれと一致する。
• $\mathfrak{g}$が非単純根系である場合、方程式はLanglands双対$U_q{}^L\widehat{\mathfrak{g}}$模型に対応し、量子側に双対性が現れる。
• $(G,q)$-オペルの標準座標$T_j(z)$は$Q^i_+(z)$と$\Lambda_i(z)$を用いて表現され、この表現は$\mathrm{SL}(2)$の場合に一般化されたバーテキシング$TQ$-関係と一致する。
• $q$-ミウラ変換の類似が、$U_q'\widehat{\mathfrak{sl}}_2$の基本表現の$q$-キャラクタリスティクス公式と一致することが示され、幾何と表現論が結びつけられる。
• $G$が単純根系である場合、任意の非退化な$Z$-捩れミウラ-プレュッカー$(G,q)$-オペルの標準座標$T_j(z)$が、$Q^i_+(z)$と$\Lambda_i(z)$を入力として一般化$TQ$-関係で与えられるとの予想を提示する。