[论文解读] 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 Ansatz 方程解与旗丛 $G/B_{-}$ 上点之间的几何对应关系，表明解与 ind-旗簇的开稠密子集之间存在双射，且通过在复射影直线上的对等（opers）与 Weyl 群轨道相关联。该工作通过仿射 Kac-Moody 代数在临界水平的中心，将量子可积性与几何 Langlands 对偶性联系起来。

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 Ansatz 方程解的几何实现。
• 通过 Langlands 对偶对等，将 Gaudin 哈密顿算符的谱与 ind-旗丛 $G/B_{-}$ 的几何联系起来。
• 证明 Bethe Ansatz 方程的解与 $G/B_{-}$ 中 $B_{-}$-轨道的开稠密子集中的点之间存在双射，且由 Weyl 群元素参数化。
• 证明关联联络在无穷远处的留数等于 $y( ilde{\rho} + ilde{\nu}) - \tilde{\rho}$，从而将表示论与几何数据联系起来。

提出的方法

• 使用仿射 Kac-Moody 代数 $\widehat{\mathfrak{g}}$ 的完备泛包络代数在临界水平的中心，其被识别为 $^{L}G$-对等在 $\mathbb{P}^1$ 上的函数。
• 应用 Feigin-Frenkel 同构，将 Gaudin 哈密顿算符与对等联系起来，使用 Langlands 对偶群 $^{L}G$。
• 通过顶点算符 $f(w_j)$ 作用于最高权态 $|0\rangle$ 构造 Bethe 向量，当满足 Bethe 方程时形成特征向量。
• 通过无穷远处联络的留数，建立 Bethe Ansatz 方程解与 $G/B_{-}$ 中点之间的双射。
• 通过 Weyl 群元素长度的归纳法，证明 $B_{-}yB_{-}$ 中的解对应于留数 $y(\tilde{\lambda}_{\infty} + \tilde{\rho}) - \tilde{\rho}$。
• 分析 Schubert 单元与 $SL_2^{(i)}$-轨道的结构，证明 $G/B_{-}$ 中所有点均可通过有限步达到，且与引理 5.6 保持一致。

实验结果

研究问题

• RQ1 Gaudin 模型的 Bethe Ansatz 方程解如何通过几何方式参数化？
• RQ2 Gaudin 哈密顿算符的谱与旗丛 $G/B_{-}$ 的几何之间存在何种精确对应关系？
• RQ3 无穷远处联络的留数如何与一个极大权的 Weyl 群轨道相关联？
• RQ4 所有 Bethe Ansatz 方程的解是否可自然地识别为 $G/B_{-}$ 的开稠密子集？
• RQ5 $^{L}G$-对等在 $\mathbb{P}^1$ 上在将 Gaudin 哈密顿算符实现为微分算符中起什么作用？

主要发现

• 对于固定的 $G$-对等 $\phi$，Bethe Ansatz 方程的解与 ind-旗丛 $G/B_{-}$ 的开稠密子集之间存在自然双射。
• 对应于 $B_{-}$-轨道 $B_{-}yB_{-}$ 的解在无穷远处的留数为 $y(\tilde{\lambda}_{\infty} + \tilde{\rho}) - \tilde{\rho}$，其中 $\tilde{\lambda}_{\infty}$ 是一个极大积分共权。
• 单点 $B_{-}$-轨道 $B_{-}$ 对应于无 Bethe 根的平凡解，当 $\tilde{\lambda}_{\infty} = \sum_{k=1}^N \tilde{\lambda}_k$ 时。
• 通过 Weyl 群元素长度的归纳法，证明 $G/B_{-}$ 中所有 $B_{-}$-轨道均可作为解的轨迹实现，且留数在 Weyl 反射下一致变换。
• 当 $B_{-}$-轨道 $B_{-}$ 不在开集 $(G/B_{-})_{\phi}$ 中时，通过 $SL_2^{(i)}$-轨道推进构造，确保所有点均可在有限步内达到。
• 留数条件确保与引理 5.6 一致，要求对所有单根 $\alpha_i$ 有 $\langle \alpha_i, \check{\mu}_{\infty} \rangle \geq 0$，这恰好在解位于具有极大权留数的 $B_{-}$-轨道中时成立。