[论文解读] q-Opers, QQ-Systems, and Bethe Ansatz

Edward Frenkel, Peter Koroteev+2 more|arXiv (Cornell University)|Feb 18, 2020

Algebraic structures and combinatorial models被引用 4

一句话总结

本文建立了Bethe Ansatz方程的非退化解与$(G,q)$-主丛——具有正则奇点的$q$-微分算子——之间的一一对应关系，提供了ODE/IM对应关系的$q$-形变版本。关键结果表明，对于单连通的李群$G$，这些方程与基于$U_q\widehat{\mathfrak{g}}$的XXZ模型方程一致；而对于非单连通的$G$，它们对应于Langlands对偶的$U_q{}^L\widehat{\mathfrak{g}}$模型，且$QQ$-系统与$TQ$-关系自然地从几何数据中导出。

ABSTRACT

We introduce the notions of $(G,q)$-opers and Miura $(G,q)$-opers, where $G$ is a simply-connected complex simple Lie group, and prove some general results about their structure. We then establish a one-to-one correspondence between the set of $(G,q)$-opers of a certain kind and the set of nondegenerate solutions of a system of Bethe Ansatz equations. This may be viewed as a $q$DE/IM correspondence between the spectra of a quantum integrable model (IM) and classical geometric objects ($q$-differential equations). If $\mathfrak{g}$ is simply-laced, the Bethe Ansatz equations we obtain coincide with the equations that appear in the quantum integrable model of XXZ-type associated to the quantum affine algebra $U_q \widehat{\mathfrak{g}}$. However, if $\mathfrak{g}$ is non-simply laced, then these equations correspond to a different integrable model, associated to $U_q {}^L\widehat{\mathfrak{g}}$ where $^L\widehat{\mathfrak{g}}$ is the Langlands dual (twisted) affine algebra. A key element in this $q$DE/IM correspondence is the $QQ$-system that has appeared previously in the study of the ODE/IM correspondence and the Grothendieck ring of the category ${\mathcal O}$ of the relevant quantum affine algebra.

研究动机与目标

• 将ODE/IM对应关系推广到使用$q$-主丛与Miura变换的$q$-形变设定中。
• 在几何对象——具体而言，具有正则奇点的$(G,q)$-主丛——与Bethe Ansatz方程解之间建立一一对应关系。
• 阐明$QQ$-系统在连接量子可积模型与经典微分方程中的作用。
• 精确确定$q$-主丛与量子仿射代数之间的对应关系，区分单连通与非单连通情形。
• 提出并支持一个猜想，即$q$-主丛的规范坐标与广义Baxter $TQ$-关系之间存在联系。

提出的方法

• 为一个 simply connected simple complex Lie group $G$ 引入$(G,q)$-主丛与Miura-$(G,q)$-主丛的概念，将经典主丛推广到$q$-差分设定。
• 定义$Z$-扭变$q$-主丛，并利用Miura变换将$q$-主丛与Plücker坐标联系起来，从而实现$QQ$-系统的几何实现。
• 利用$q$-联络与规范等价性，在$(G,q)$-主丛空间上构造一组规范坐标系$(T_1(z), \dots, T_r(z))$。
• 证明Bethe Ansatz方程的非退化解与非退化Miura-Plücker $(G,q)$-主丛之间存在一一对应关系。
• 从$q$-Miura变换推导广义Baxter $TQ$-关系，并在$\mathrm{SL}(2)$情形下证明其与$q$-主丛坐标表达式的等价性。
• 提出猜想：对于单连通$G$，$q$-主丛的规范坐标$T_j(z)$由广义$TQ$-关系给出，其中输入为Drinfeld多项式$\Lambda_i(z)$与广义$Q$-多项式$Q^i_+(z)$。

实验结果

研究问题

• RQ1 如何利用$q$-主丛将ODE/IM对应关系推广到$q$-形变设定？
• RQ2 Bethe Ansatz方程的解与$q$-微分设定下的几何对象之间的确切对应关系是什么？
• RQ3 如何从$q$-主丛与Miura变换的结构中导出$QQ$-系统与$TQ$-关系？
• RQ4 单连通与非单连通李群的$q$-形变对应关系有何区别？
• RQ5 $q$-Miura变换在多大程度上编码了量子仿射表示的$q$-特征？

主要发现

• 建立了Bethe Ansatz方程的非退化解与非退化Miura-Plücker $(G,q)$-主丛之间的一一对应关系，为量子可积模型的谱提供了几何实现。
• 对于单连通的$\mathfrak{g}$，由$(G,q)$-主丛导出的Bethe Ansatz方程与基于$U_q\widehat{\mathfrak{g}}$的XXZ模型方程一致。
• 对于非单连通的$\mathfrak{g}$，方程对应于Langlands对偶的$U_q{}^L\widehat{\mathfrak{g}}$模型，表明量子侧存在对偶性。
• $(G,q)$-主丛的规范坐标$T_j(z)$以$Q^i_+(z)$与$\Lambda_i(z)$表示，且在$\mathrm{SL}(2)$情形下与广义Baxter $TQ$-关系一致。
• $q$-Miura变换的类比被证明与$U_q'\widehat{\mathfrak{sl}}_2$的基本表示的$q$-特征公式一致，从而将几何与表示理论联系起来。
• 提出一个猜想：对于单连通$G$，任意非退化的$Z$-扭变Miura-Plücker $(G,q)$-主丛的规范坐标$T_j(z)$由广义$TQ$-关系给出，其中输入为$Q^i_+(z)$与$\Lambda_i(z)$。