[論文レビュー] Opers on the projective line, flag manifolds and Bethe Ansatz

Edward Frenkel|ArXiv.org|Aug 28, 2003

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

ひとこと要約

この論文は、GaudinモデルのBetheアンザッツ方程式の解と旗多様体 $G/B_{-}$ の点との間の幾何的対応を確立し、解がind旗多様体の開かつ稠密な部分集合に一対一対応することを示している。また、射影直線上のオペルを介して、留数がワイル群の軌道と関連づけられる。本研究は、アフィンKac-Moody代数の臨界レベル中心を通じて、量子可積分性と幾何的ラングランズ双対性を結びつける。

ABSTRACT

We consider the problem of diagonalization of the hamiltonians of the Gaudin model, which is a quantum chain model associated to a simple Lie algebra. The hamiltonians of this model act on the tensor product of finite-dimensional representations of this Lie algebra. We show that the eigenvalues of the Gaudin hamiltonians are encoded by the so-called "opers" on the projective line, associated to the Langlands dual Lie algebra. These opers have regular singularities at the marked points with prescribed residues and trivial monodromy representation. The Bethe Ansatz is a procedure to construct explicitly the eigenvectors of the generalized Gaudin hamiltonians. We show that each solution of the Bethe Ansatz equations defines what we call a "Miura oper" on the projective line. Moreover, we show that the space of Miura opers is a union of copies of the flag manifold (of the dual group), one for each oper. This allows us to prove that all solutions of the Bethe Ansatz equations, corresponding to a fixed oper, are in one-to-one correspondence with the points of an open dense subset of the flag manifold. The Bethe Ansatz equations can be written for an arbitrary Kac-Moody algebra, and we prove an analogue of the last result in this more general setting. For the Lie algebras of types A,B,C similar results were obtained by other methods by I.Scherbak and A.Varchenko and by E.Mukhin and A.Varchenko.

研究の動機と目的

• GaudinモデルのBetheアンザッツ方程式の解を旗多様体とオペルを用いて幾何的に実現すること。
• ラングランズ双対群 $^{L}G$ を用いたオペルを通じて、Gaudinハミルトニアンのスペクトルとind旗多様体 $G/B_{-}$ の幾何を結びつけること。
• Betheアンザッツ方程式の解が、$B_{-}$-軌道の開かつ稠密な部分集合に一対一対応することを示すこと。ここで、各軌道はワイル群の元によってパラメータ化される。
• 無限遠点における関連接続の留数が $y( ilde{ ho} + ilde{ u}) - ilde{ ho}$ に一致することを示し、表現論的データと幾何的データを結びつけること。

提案手法

• アフィンKac-Moody代数 $\widehat{\mathfrak{g}}$ の完備普遍包あらわし代数の臨界レベル中心を用い、$\mathbb{P}^1$ 上の $^{L}G$-オペル上の関数と同一視する。
• Feigin-Frenkel同型を用いてGaudinハミルトニアンとオペルを関連づけ、ラングランズ双対群 $^{L}G$ を用いる。
• 最高重量ベクトル $|0\rangle$ 上に頂点演算子 $f(w_j)$ を作用させることでBetheベクトルを構成し、Bethe方程式が満たされた場合に固有ベクトルが得られることを示す。
• 無限遠点における接続の留数を用いて、Betheアンザッツ方程式の解と $G/B_{-}$ の点との間の双対性を確立する。
• ワイル群の元の長さに関する帰納法を用い、$B_{-}yB_{-}$ 内の解が留数 $y(\tilde{\lambda}_{\infty} + \tilde{\rho}) - \tilde{\rho}$ を持つことを示す。
• シューベルト胞体と $SL_2^{(i)}$-軌道の構造を解析し、$G/B_{-}$ のすべての点が有限ステップで到達可能であり、Lemma 5.6 と整合的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 GaudinモデルのBetheアンザッツ方程式の解は、どのように幾何的にパラメータ化されるか？
• RQ2 Gaudinハミルトニアンのスペクトルと旗多様体 $G/B_{-}$ の幾何との間の正確な対応関係は何か？
• RQ3 無限遠点における接続の留数は、ドミナントコワイトのワイル群軌道とどのように関係するか？
• RQ4 Betheアンザッツ方程式のすべての解の集合は、自然に $G/B_{-}$ の開かつ稠密な部分集合と同一視できるか？
• RQ5 $^{L}G$-オペルは、$\mathbb{P}^1$ 上でGaudinハミルトニアンを微分作用素として実現するために果たす役割は何か？

主な発見

• 固定された $G$-オペル $\phi$ に対して、Betheアンザッツ方程式の解とind旗多様体 $G/B_{-}$ の開かつ稠密な部分集合との間に自然な双対性が存在する。
• $B_{-}$-軌道 $B_{-}yB_{-}$ に対応する解は、無限遠点で留数 $y(\tilde{\lambda}_{\infty} + \tilde{\rho}) - \tilde{\rho}$ を持つ。ここで $\tilde{\lambda}_{\infty}$ はドミナント整数コワイトである。
• 1点の $B_{-}$-軌道 $B_{-}$ は、Bethe根が存在しない自明な解に対応し、$\tilde{\lambda}_{\infty} = \sum_{k=1}^N \tilde{\lambda}_k$ のときである。
• ワイル群の元の長さに関する帰納法により、$G/B_{-}$ 内のすべての $B_{-}$-軌道が解の集合として実現され、ワイル反射による留数の変換が一貫的に保たれる。
• $B_{-}$-軌道 $B_{-}$ が開集合 $(G/B_{-})_{\phi}$ の外にある場合、$SL_2^{(i)}$-軌道を介して構成が行われ、すべての点が有限ステップで到達可能である。
• 留数条件によりLemma 5.6と整合的であり、すべての単純根 $\alpha_i$ に対して $\langle \alpha_i, \check{\mu}_{\infty} \rangle \geq 0$ が成り立つ。これは、解がドミナント留数を持つ $B_{-}$-軌道上にある場合に限り満たされる。