[論文レビュー] Universal G-oper and Gaudin eigenproblem

A. Chervov, Дмитрий Валерьевич Талалаев|arXiv (Cornell University)|Sep 1, 2004

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

ひとこと要約

本稿は、$\frak{gl}_n$ の場合に、量子Gaudinハミルトニアンの固有値とモノドロミーのない $G$-オーヴァーの間の普遍的対応を確立し、$U(\frak{gl}_n)^{\bigotimes N}$ の係数をもつ $u$ に関する微分作用素として『普遍的 $G$-オーヴァー』を構成する。ここで、Gaudinハミルトニアンの固有値が、モノドロミーのないスカラー $G$-オーヴァーを提示する。

ABSTRACT

This paper is devoted to the eigenvalue problem for the quantum Gaudin system. We prove the universal correspondence between eigenvalues of Gaudin Hamiltonians and the so-called G-opers without monodromy in general gl(n) case modulo a hypothesys on the analytic properties of the solution of a KZ-type equation. Firstly we explore the quantum analog of the characteristic polynomial which is a differential operator in a variable $u$ with the coefficients in U(gl(n))^{\otimes N}. We will call it "universal G-oper". It is constructed by the formula "Det"(L(u)-\partial_u) where L(u) is the quantum Lax operator for the Gaudin model and "Det" is appropriate definition of the determinant. The coefficients of this differential operator are quantum Gaudin Hamiltonians obtained by one of the authors (D.T. hep-th/0404153). We establish the correspondence between eigenvalues and $G$-opers as follows: taking eigen-values of the Gaudin's hamiltonians on the joint eigen-vector in the tensor product of finite-dimensional representation of gl(n) and substituting them into the universal G-oper we obtain the scalar differential operator (scalar G-oper) which conjecturally does not have monodromy. We strongly believe that our quantization of the Gaudin model coincides with quantization obtained from the center of universal enveloping algebra on the critical level and that our scalar G-oper coincides with the G-oper obtained by the geometric Langlands correspondence, hence it provides very simple and explicit map (Langlands correspondence) from Hitchin D-modules to G-opers in the case of rational base curves. It seems to be easy to generalize the constructions to the case of other semisimple Lie algebras and models like XYZ.

研究の動機と目的

• 量子Gaudinハミルトニアンの固有値とモノドロミーのない $G$-オーヴァーとの間の直接的対応を確立すること。
• 量子ラックス作用素と行列式に類似した構成を用いて、$u$ に関する微分作用素として普遍的 $G$-オーヴァーを構成すること。
• Gaudinモデルの量子可積分性を $G$-オーヴァーを通じて幾何的ラングランズ対応に結びつけること。
• ヒチンD加群から $G$-オーヴァーへの明示的かつ計算可能な写像を提供すること。
• XXZ やXYZなどの他のLie代数やモデルへ、類似した量子化則を用いてフレームワークを一般化すること。

提案手法

• 量子ラックス作用素 $L(u) = \sum_{i=1}^N \frac{\Phi_i}{u - z_i}$ を $\mathrm{Mat}_{n\times n} \otimes U(\frak{gl}_n)^{\otimes N}$ において定義する。
• 普遍的 $G$-オーヴァーを $\mathrm{Det}(L(u) - \partial_u)$ として構成する。ここで $\mathrm{Det}$ は非可換な設定への行列式の適切な一般化である。
• $A_n$ を用いた反対称化により、普遍的 $G$-オーヴァーから量子ハミルトニアン $QI_i(u)$ を抽出する。
• Gaudinハミルトニアンの固有値を普遍的 $G$-オーヴァーに代入し、スカラー微分作用素を得る。
• 得られたスカラー $G$-オーヴァーがモノドロミーを持たないことを予想し、幾何的ラングランズ対応に結びつける。
• スペクトルパラメータと作用素の量子化則を変更することで、他のLie代数やモデル（例：XXZ, XYZ）への一般化を提案する。

実験結果

リサーチクエスチョン

• RQ1 量子Gaudinハミルトニアンの固有値は、普遍的微分作用素を通じてモノドロミーのない $G$-オーヴァーへ写像可能か？
• RQ2 固有値を普遍的 $G$-オーヴァーに代入して得られるスカラー $G$-オーヴァーは、幾何的ラングランズ対応から得られる $G$-オーヴァーと一致するか？
• RQ3 提案された普遍的 $G$-オーヴァーの構成は、臨界レベルにおける $\widehat{\frak{gl}_n}$ の普遍包あらわし代数の中心と同値か？
• RQ4 分離変数におけるバクスター方程式は、Gaudinモデルにおけるスカラー $G$-オーヴァーとして実現可能か？
• RQ5 普遍的 $G$-オーヴァーの枠組みは、高極点を持つラックス作用素やXYZなどの他の可積分モデルへ拡張可能か？

主な発見

• 普遍的 $G$-オーヴァーは $\mathrm{Det}(L(u) - \partial_u)$ として構成され、$U(\frak{gl}_n)^{\otimes N}$ の係数をもつ $u$ に関する微分作用素であり、古典的固有多項式を一般化する。
• Gaudinハミルトニアン $QI_i(u)$ の固有値を普遍的 $G$-オーヴァーに代入すると、モノドロミーを持たないと予想されるスカラー微分作用素が得られる。
• この構成により、量子Gaudinハミルトニアンから $G$-オーヴァーへの明示的かつ計算可能な写像が得られ、臨界レベルにおける $\widehat{\frak{gl}_n}$ の中心とは異なり、非明示的である点と対照的である。
• 固有値代入により得られるスカラー $G$-オーヴァーは、ヒチンD加群から生じる $G$-オーヴァーと一致すると予想される。
• 本手法により、有理曲線の場合に幾何的ラングランズ対応が $G$-オーヴァーを通じて直接実現可能であり、対応への新しい計算的ルートを提供する。
• スペクトルパラメータと量子化則を変更することで、他のLie代数やモデル（例：XXZ, XYZ）への一般化が提案され、特異な場合におけるストークス行列を介してモノドロミー性質が保存されると予想される。