[论文解读] 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)$——作为量子可积系统中的统一框架。它提供了一种通用方法，从经典Lax算子构造对易的哈密顿量，建立了与几何朗兰兹对应的关系，并将量子谱曲线与基沃-萨莫洛维奇方程及巴克斯的Q算子联系起来，通过分离变量和$G$-主丛方法，为谱分析提供了新途径。

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 $-形变以及朗兰兹对应更高维的推广。

提出的方法

• 量子谱曲线定义为$\det(L(z) - \partial_z)$，其中$ L(z) $为Lax算子，$ \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方程的解在特定水平取值下为有理函数。