[论文解读] Gaudin model and opers

Edward Frenkel|ArXiv.org|Jul 30, 2004

Algebraic structures and combinatorial models参考文献 12被引用 12

一句话总结

本文建立了由高阶 Gaudin 哈密顿量和中心元生成的 Gaudin 代数的谱与 $^L G$-对乘子在 $\mathbb{P}^1$ 上的几何对应关系，其在标记点 $z_1, \ldots, z_N$ 和 $\infty$ 处具有正则奇点。通过仿射 Kac-Moody 代数在临界水平的 Wakimoto 模块和表示理论，本文将 Gaudin 模型的本征值与 Miura 对乘子联系起来，从而将 Bethe Ansatz 与 Langlands 对偶群 $^L\mathfrak{g}$ 的旗流形联系起来。

ABSTRACT

This is a review of our previous works (some of them joint with B. Feigin and N. Reshetikhin) on the Gaudin model and opers. We define a commutative subalgebra in the tensor power of the universal enveloping algebra of a simple Lie algebra g. This algebra includes the hamiltonians of the Gaudin model, hence we call it the Gaudin algebra. It is constructed as a quotient of the center of the completed enveloping algebra of the affine Kac-Moody algebra g^ at the critical level. We identify the spectrum of the Gaudin algebra with the space of opers associated to the Langlands dual Lie algebra of g on the projective line with regular singularities at the marked points. Next, we recall the construction of the eigenvectors of the Gaudin algebra using the Wakimoto modules over g^ of critical level. The Wakimoto modules are naturally parameterized by Miura opers (or, equivalently, Cartan connections), and the action of the center on them is given by the Miura transformation. This allows us to relate solutions of the Bethe Ansatz equations to Miura opers and ultimately to the flag varieties associated to the Langlands dual Lie algebra of g.

研究动机与目标

• 识别 Gaudin 代数 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 的谱，即 $U(\mathfrak{g})^{\otimes N}$ 中由 Gaudin 哈密顿量和中心元生成的交换子代数。
• 通过 $\mathbb{P}^1$ 上具有正则奇点的对乘子，实现 Gaudin 代数谱的几何化。
• 将 Bethe Ansatz 解与 Miura 对乘子以及 Langlands 对偶李代数 $^L\mathfrak{g}$ 的旗流形联系起来。
• 在有限维表示中，提出 $^L G$-对乘子与 Gaudin 代数谱之间存在自然双射的猜想。
• 概述一种受几何 Langlands 对应启发的方法，通过 $G$-丛模堆栈上的 Hecke 特征层来证明该猜想。

提出的方法

• 将 Gaudin 代数 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 构造为仿射 Kac-Moody 代数 $\widehat{\mathfrak{g}}$ 在临界水平的完备泛包络代数中心的商代数。
• 将 $U(\mathfrak{g})^{\otimes N}$ 实现为 $\widehat{\mathfrak{g}}$ 在 $\mathbb{P}^1$ 上诱导模的余不变量，从而从 $\widehat{\mathfrak{g}}$ 的中心到 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 构造出满射。
• 利用 $\widehat{\mathfrak{g}}$ 在临界水平的 Wakimoto 模块，其自然地由 Miura 对乘子（或 Cartan 联结）参数化，以构造 Gaudin 代数的本征向量。
• 应用 Miura 变换，将 $\widehat{\mathfrak{g}}$ 的中心在 Wakimoto 模块上的作用与 $\mathbb{P}^1$ 上的对乘子联系起来，从而将本征值识别为具有正则奇点的 $^L G$-对乘子。
• 利用余不变量的几何结构和临界水平顶点代数的中心，将 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 的谱与 $\mathbb{P}^1$ 上在 $z_1, \ldots, z_N, \infty$ 处具有正则奇点的 $^L G$-对乘子空间相等同。
• 提出一种证明策略：通过几何 Langlands 对应，将每个 $^L G$-对乘子关联到一个 Hecke 特征层，并证明其在 $G$-丛模堆栈的开部分上非零，从而推出非零本征向量的存在性。

实验结果

研究问题

• RQ1 Gaudin 代数 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 的谱是什么？该代数是 $U(\mathfrak{g})^{\otimes N}$ 中由 Gaudin 哈密顿量和中心元生成的交换子代数。
• RQ2 Gaudin 哈密顿量的本征值如何与 $\mathbb{P}^1$ 上的几何对象（如对乘子）相关联？
• RQ3 Bethe Ansatz 解能否通过 Miura 对乘子和 Langlands 对偶群 $^L\mathfrak{g}$ 的旗流形进行几何解释？
• RQ4 在有限维表示中，$^L G$-对乘子与 Gaudin 代数谱之间是否存在自然双射？
• RQ5 能否通过几何 Langlands 方法，利用 $G$-丛模堆栈上的 Hecke 特征层，证明 Bethe 向量的非零性？

主要发现

• Gaudin 代数 $\mathcal{Z}_{(z_i)}(\mathfrak{g})$ 的谱通过 $\widehat{\mathfrak{g}}$ 在临界水平的完备泛包络代数中心被自然地等同于在 $z_1, \ldots, z_N$ 和 $\infty$ 处具有正则奇点的 $^L G$-对乘子空间。
• 通过 $\widehat{\mathfrak{g}}$ 在临界水平的 Wakimoto 模块构造了 Gaudin 代数的本征向量，这些模块由 Miura 对乘子参数化。
• $\widehat{\mathfrak{g}}$ 的中心在 Wakimoto 模块上的作用通过 Miura 变换实现，从而将本征值与 $\mathbb{P}^1$ 上的对乘子联系起来。
• Gaudin 代数的谱被几何实现为 $\operatorname{Op}_{^L G}(\mathbb{P}^1)_{(z_i),\infty; (\lambda_i), \lambda_\infty}$，即具有指定正则奇点和单值性数据的 $^L G$-对乘子空间。
• 在 $V_{(\lambda_i), \lambda_\infty}^G$ 中，提出了 $^L G$-对乘子与 Gaudin 代数谱之间存在双射的猜想，并通过 $G$-丛模堆栈上 Hecke 特征层的非零性，提出一种受几何 Langlands 启发的证明策略。
• 本征向量（包括 Bethe 向量）的非零性与模堆栈 $\operatorname{Bun}_G(\mathbb{P}^1)$ 上相关 $D$-模的非零性相关联，暗示了该猜想的几何证明。