[論文レビュー] Quantum spectral curves, quantum integrable systems and the geometric Langlands correspondence

A. Chervov, Dmitry V. Talalaev|ArXiv.org|Apr 19, 2006

Advanced Algebra and Geometry参考文献 66被引用数 74

ひとこと要約

本稿では、量子可積分系の統一的枠組みとして、量子特徴多項式 $\det(L(z) - \partial_z)$ として定義される「量子スペクトル曲線」を導入する。この曲線は、古典的ラクス作用素から可換なハミルトニアンを構成する普遍的な手続きを提供し、幾何学的ラングランズ対応と関係を確立するとともに、クニジン＝サモロフチキン方程式およびバクスターのQ作用素と結びつける。これにより、変数分離法を用いたスペクトル解析の新しい手法が得られる。

ABSTRACT

The spectral curve is the key ingredient in the modern theory of classical integrable systems. We develop a construction of the ``quantum spectral curve'' and argue that it takes the analogous structural and unifying role on the quantum level also. In the simplest, but essential case the ``quantum spectral curve'' is given by the formula "det"(L(z)-dz) [Talalaev04] (hep-th/0404153). As an easy application of our constructions we obtain the following: quite a universal receipt to define quantum commuting hamiltonians from the classical ones, in particular an explicit description of a maximal commutative subalgebra in U(gl(n)[t])/t^N and in U(\g[t^{-1}])\otimes U(t\g[t]); its relation with the center on the of the affine algebra; an explicit formula for the center generators and a conjecture on W-algebra generators; a receipt to obtain the q-deformation of these results; the simple and explicit construction of the Langlands correspondence; the relation between the ``quantum spectral curve'' and the Knizhnik-Zamolodchikov equation; new generalizations of the KZ-equation; the conjecture on rationality of the solutions of the KZ-equation for special values of level. In the simplest cases we observe the coincidence of the ``quantum spectral curve'' and the so-called Baxter equation. Connection with the KZ-equation offers a new powerful way to construct the Baxter's Q-operator.

研究の動機と目的

• 量子スペクトル曲線を、可積分系における古典的スペクトル曲線と類似する統一的構造として確立すること。
• 古典的可積分モデルから可換ハミルトニアンを構成する普遍的な量子化手順を提供すること。
• 量子スペクトル曲線と、$\mathbb{C}$ 上の臨界レベルにおける幾何的ラングランズ対応との直接的な関係を示すこと。
• クニジン＝サモロフチキン方程式を用いてバクスター方程式を一般化し、Q作用素を構成すること。
• フレームワークを$q$-変形およびラングランズ対応の高次元一般化に拡張すること。

提案手法

• 量子スペクトル曲線は、$L(z)$ をラクス作用素、$\partial_z$ を微分作用素として、$\det(L(z) - \partial_z)$ として定義され、古典的スペクトル曲線を一般化する。
• この構成により、可換な係数を持つ微分作用素が得られ、$U(\mathfrak{gl}_n[t])/t^N$ および $U(\mathfrak{gl}_n[t^{-1}]) \otimes U(t\mathfrak{gl}_n[t])$ における最大可換部分代数を生成する。
• AKS型の議論を用いて、構成された可換部分代数を $U_{\text{crit}}(\widehat{\mathfrak{gl}}_n)$ の中心と関連付ける。
• 量子スペクトル曲線が、普遍的$G$-オーバーおよび普遍的バクスター方程式と同型であることが示され、変数分離法によるスペクトル解析が可能になる。
• クニジン＝サモロフチキン（KZ）方程式との関係は、KZ系から量子特徴多項式を導出し、Q作用素の新しい構成を生じさせることで確立される。
• D-接続および$G$-オーバーを用いて、フレームワークは$q$-変形および高次元ラングランズ対応へと拡張される。

実験結果

リサーチクエスチョン

• RQ1 量子可積分系を統一的に扱うために、古典的スペクトル曲線の量子版をどのように定義できるか？
• RQ2 量子スペクトル曲線と $U_{\text{crit}}(\widehat{\mathfrak{gl}}_n)$ の中心との正確な関係は何か？
• RQ3 量子スペクトル曲線を用いてバクスターQ作用素を構成し、KZ方程式を用いてスペクトル問題を解くことは可能か？
• RQ4 量子スペクトル曲線は、特に臨界レベルにおいて、幾何的ラングランズ対応とどのように関係するか？
• RQ5 量子スペクトル曲線は、$q$-変形および可積分系の高次元一般化において果たす役割は何か？

主な発見

• 量子スペクトル曲線 $\det(L(z) - \partial_z)$ は、$U(\mathfrak{gl}_n[t])/t^N$ および $U(\mathfrak{gl}_n[t^{-1}]) \otimes U(t\mathfrak{gl}_n[t])$ において最大可換部分代数を生成する。
• AKS型の議論により、構成された可換部分代数は、$U_{\text{crit}}(\widehat{\mathfrak{gl}}_n)$ の中心と同型であることが示された。
• $U_{\text{crit}}(\widehat{\mathfrak{gl}}_n)$ の中心の明示的生成子が得られ、$W$-代数の生成子に関する予想が提示された。
• 量子スペクトル曲線は、普遍的バクスター方程式と一致し、バクスター方程式の一般構成およびQ作用素の新しい構成法を提供する。
• 量子スペクトル曲線は、クニジン＝サモロフチキン方程式と同値であることが示され、スペクトル問題を解く新しいアプローチが可能になる。
• KZ方程式の解が、特別なレベルの値において有理関数であるという予想が、量子スペクトル曲線の構造に基づいて提示された。