[论文解读] A Chevalley formula for the equivariant quantum K-theory of cominuscule varieties

Anders Skovsted Buch, Pierre–Emmanuel Chaput+2 more|arXiv (Cornell University)|Apr 26, 2016

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

一句话总结

本文为对丛小旗流形的等变量子K-理论建立了类型统一的Chevalley公式，提供了一种通过在广义Young图上进行方块添加/移除来计算除子类乘法的组合规则。关键结果证明，此类乘法可完全确定等变量子K-理论环的结构，通过Molev-Sagan方程和Gromov-Witten不变量的几何实现，证实了Gorbounov与Korff在格拉斯曼流形上的一个猜想。

ABSTRACT

We prove a type-uniform Chevalley formula for multiplication with divisor classes in the equivariant quantum $K$-theory ring of any cominuscule flag variety $G/P$. We also prove that multiplication with divisor classes determines the equivariant quantum $K$-theory of arbitrary flag varieties. These results prove a conjecture of Gorbounov and Korff concerning the equivariant quantum $K$-theory of Grassmannians of Lie type A.

研究动机与目标

• 为丛小旗流形的等变量子K-理论环中除子类的乘法建立统一的Chevalley公式。
• 证明该乘法规则可完全确定任意旗流形的等变量子K-理论环的完整结构。
• 证实Gorbounov与Korff关于其代数$qh^*(\text{Gr}(m,n))$与格拉斯曼流形的等变量子K-理论之间同构的猜想。
• 通过投影Gromov-Witten簇，为丛小旗流形背景下Lenart-Postnikov的Chevalley公式提供几何证明。

提出的方法

• 通过投影Gromov-Witten簇，利用量子-经典对应关系推导出Chevalley公式，将量子项表示为线性算子作用于经典项的像。
• 应用Molev-Sagan方程，将等变量子K-理论环中的Schubert结构常数表征为幂级数环$\Gamma\llbracket q\rrbracket$上的线性方程组的解。
• 通过矩阵形式$AD = b$证明解的唯一性，通过将其与经典上同调结构常数关联，证明系数矩阵$\overline{A}$（设量子参数为零）的行列式非零。
• 通过分析通过相对Schubert簇的有理曲线闭包，为丛小旗流形建立Chevalley公式的几何证明。
• 应用重构定理和$K$-理论$J$-函数计算Gromov-Witten不变量，利用丛小旗空间的“量子等于经典”原理。
• 证明Molev-Sagan方程组的解恰好对应于$\operatorname{QK}_T(X)$的Schubert结构常数，从而通过基${\mathcal{O}^u}$的对应关系证明环同构。

实验结果

研究问题

• RQ1 能否为所有丛小旗流形的等变量子K-理论建立一个与李型无关的统一Chevalley公式？
• RQ2 在任意旗流形上，$\operatorname{QK}_T(X)$中除子类的乘法是否能完全确定等变量子K-理论环的完整结构？
• RQ3 Gorbounov与Korff构造的代数$qh^*(\operatorname{Gr}(m,n))$是否同构于格拉斯曼流形的等变量子K-理论环$\operatorname{QK}_T(\operatorname{Gr}(m,n))$？
• RQ4 能否通过投影Gromov-Witten簇，在丛小旗设定下对等变$K$-理论的Lenart-Postnikov Chevalley公式给出几何重证？

主要发现

• 为所有丛小旗流形证明了类型统一的Chevalley公式，通过广义Young图上的方块添加/移除规则表达Schubert类与除子类乘积。
• $\operatorname{QK}_T(X)$在任意旗流形$X$上的Schubert结构常数完全由与除子类的乘法决定，意味着可从有限个Gromov-Witten不变量有限计算。
• 在$\Gamma\llbracket q\rrbracket$上，Molev-Sagan方程组有唯一解，且该解恰好对应于$\operatorname{QK}_T(X)$的Schubert结构常数，从而通过基${\mathcal{O}^u}$证明了环同构。
• 证实了Gorbounov与Korff的猜想：代数$qh^*(\operatorname{Gr}(m,n))$同构于$\operatorname{QK}_T(\operatorname{Gr}(m,n))$，其Chevalley公式与Schubert结构常数完全匹配。
• 为丛小旗情形下的Lenart-Postnikov Chevalley公式提供了另一种几何证明，该证明在极小权流形上统一成立，并通过专门论证扩展至拉格朗日格拉斯曼流形与奇数维二次曲面。
• 建立了$\operatorname{QK}_T(\operatorname{Gr}(m,n))$的表示式与Giambelli公式，其有效性源于与$qh^*(\operatorname{Gr}(m,n))$的同构关系，以及量子上同调与$K$-理论中已知的结构定理。