[论文解读] Quantum K-theory on flag manifolds, finite-difference Toda lattices and quantum groups

Alexander Givental, Yuan-Pin Lee|ArXiv.org|Aug 15, 2001

Advanced Algebra and Geometry参考文献 11被引用 9

一句话总结

本文通过quivariant Euler特征类在quasimap空间上的线丛，建立了旗流形上的量子K-理论与有限差分Toda算子之间的对应关系。证明了编码这些不变量的生成函数是有限差分Toda算子的本征函数，从而为A_r型旗流形提供了Kim的量子Toda对应关系的K-理论类比。

ABSTRACT

We conjecture that appropriate K-theoretic Gromov-Witten invariants of complex flag manifolds G/B are governed by finite-difference versions of Toda systems constructed in terms of the Langlands-dual quantized universal enveloping algebras U_q(g'). The conjecture is proved in the case of classical flag manifolds of the series A. The proof is based on a refinement of the famous Atiyah-Hirzebruch argument for rigidity of arithmetical genus applied to hyperquot-scheme compactifications of spaces of rational curves in the flag manifolds.

研究动机与目标

• 通过quasimap空间建立旗流形上量子K-理论与可积系统之间的对应关系。
• 计算quasimap空间的光滑化上线丛的G-等变Euler特征类。
• 证明这些不变量的生成函数是有限差分Toda算子的本征函数。
• 为A_r型旗流形提供Kim的量子Toda对应关系的K-理论类比。
• 提出对任意半单李群的推广，并与量子群表示理论建立联系。

提出的方法

• 作者将quasimap空间$QM_d$定义为在Plücker嵌入下，从$\mathbb{C}P^1$到旗流形$X$的度数$d$映射的闭包。
• 他们构造了一个生成函数$\mathcal{G}(Q,z,q,\Lambda)$，编码光滑化$\tilde{QM}_d$上线丛$P^z$的G-等变全纯Euler特征类。
• 利用等变Riemann-Roch-Hirzebruch定理，通过等变Chern示性类和Todd类表达$\chi_G(V)$。
• 他们引入了涉及变量$t_i$上的平移与乘法算子的有限差分Toda算子$\hat{H}_{Q,q}$。
• 他们证明变换后的生成函数$G(Q,Q')$满足$\hat{H}_{Q',q} G = (\Lambda_0 + \cdots + \Lambda_r) G$。
• 他们通过Langlands对偶量子群$U_q\mathfrak{g}'$的无穷维表示中的矩阵元，从表示论角度解释该结果。

实验结果

研究问题

• RQ1 quasimap空间上线丛的等变Euler特征类如何与可积系统相关联？
• RQ2 量子K-理论不变量的生成函数能否被表征为有限差分Toda算子的本征函数？
• RQ3 量子群与Whittaker向量在将这些不变量实现为矩阵元中的作用是什么？
• RQ4 Toda算子的度数展开如何恢复量子Toda哈密顿量？
• RQ5 该对应关系在A_r型旗流形之外的推广程度如何？

主要发现

• 证明了生成函数$\mathcal{G}(Q,z,q,\Lambda)$是交换的有限差分Toda算子的公共本征函数，将Kim的结果推广到了K-理论设置。
• 函数$G(Q,Q') = \mathcal{G}(Q, (\ln Q' - \ln Q)/\ln q, q, \Lambda)$满足$\hat{H}_{Q',q} G = (\Lambda_0 + \cdots + \Lambda_r) G$，从而证明了主要定理。
• 在$\hbar$展开中，Toda算子$\hat{H}$在$\hbar^1$和$\hbar^2$阶次恢复了量子Toda哈密顿量，确认了其物理诠释。
• 本征函数性质在光滑化下保持稳定，意味着结果与$QM_d$奇点的解析选择无关。
• 该生成函数被解释为Langlands对偶量子群$U_q\mathfrak{g}'$的无穷维表示中的矩阵元，将几何与量子群表示理论联系起来。
• 该构造暗示了在临界水平下，环群的半无限上同调与quasimap空间几何之间存在深刻联系。