[论文解读] Permutation-equivariant quantum K-theory IV. $D_q$-modules

Alexander Givental|arXiv (Cornell University)|Sep 2, 2015

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

本文证明了点的置换等变量子K理论在新型$q$-差分算子作用下保持不变，从而通过阿代尔条件完全刻画了大$\mathcal{J}$-函数。关键结果表明，通过该算子作用与阿代尔结构，射影空间上的$q$-超几何函数代表了射影空间上量子K-理论的Gromov-Witten不变量。

ABSTRACT

In Part II, we saw how genus-0 permutation-equivariant quantum K-theory of a manifold with isolated fixed points of a torus action can be reduced via fixed point localization to permutation-equivariant quantum K-theory of the point. In Part III, we gave a complete description of genus-0 permutation-equivariant quantum K-theory of the point by means of adelic characterization. Here we apply the adelic characterization to introduce the action on this theory of a certain group of $q$-difference operators. This action will enable us to prove that toric $q$-hypergeometric functions represent K-theoretic GW-invariants of toric manifolds.

研究动机与目标

• 将点的置换等变量子K理论的阿代尔刻画扩展至包含$q$-差分算子的作用。
• 证明点的大$\mathcal{J}$-函数的像在特定$q$-差分算子群作用下保持不变。
• 证明射影空间上的$q$-超几何级数作为射影空间上量子K理论中$\mathcal{J}$-函数的取值。
• 通过不动点局部化与$\mathcal{D}_q$-模结构，为$q$-超几何函数在对称化量子K理论中提供几何实现。
• 将框架推广至射影丛与超丛，表明超几何级数中非零洛朗多项式部分对应于非平凡的$S_n$-不变Gromov-Witten不变量。

提出的方法

• 使用点的大$\mathcal{J}$-函数的阿代尔刻画，通过单位根$\zeta$处$q=\zeta^{-1}$与$\zeta=1$处的洛朗级数展开定义，并引入阿德姆操作$\Psi^m$的条件。
• 在$q-1$的形式幂级数空间上引入$\mathcal{D}_q$-模结构，其中$q$-差分算子通过$q^{Q\partial_Q}$作用，并证明虚假锥面$\mathcal{L}^{\text{fake}}$在此类算子作用下保持不变。
• 构造广义$q$-差分算子$e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$，证明其保持点的量子K理论的完整$\mathcal{L}$-锥面。
• 利用$\mathcal{L}$在这些算子作用下的不变性，证明$q$-超几何级数（如$I_E$与$I_{\Pi E}$）代表了置换等变量子K理论中大$\mathcal{J}$-函数的取值。
• 通过不动点局部化与$\mathcal{D}_q$-模结构，将$\mathcal{J}$-函数与射影簇上层上同调不变量的上推联系起来。
• 将结果推广至射影丛与超丛$\Pi E$，表明超几何级数中非零洛朗多项式部分对应于非平凡的$S_n$-不变Gromov-Witten不变量。

实验结果

研究问题

• RQ1 如何利用阿代尔条件与$q$-差分算子刻画点的置换等变量子K理论？
• RQ2 $q$-差分算子在量子K理论的大$\mathcal{J}$-函数上的作用是什么？其是否保持解锥面？
• RQ3 射影空间上的$q$-超几何函数能否作为射影空间上量子K理论中$\mathcal{J}$-函数的取值？
• RQ4 在对称化量子K理论中，$q$-超几何级数中非零洛朗多项式部分如何与$S_n$-不变Gromov-Witten不变量相关联？
• RQ5 $\mathcal{D}_q$-模结构在确保解锥面在算子流下不变中起什么作用？

主要发现

• 点的大$\mathcal{J}$-函数的像$\mathcal{L}$在$q$-差分算子$e^{\sum_{k>0} \lambda^k \Psi^k(D(1-q^{kQ\partial_Q}, q^{\pm 1}))/k(1-q^k)}$作用下保持不变，揭示了置换等变量子K理论中的新对称性。
• 射影空间上的$q$-超几何函数如$I_E = (1-q)\sum_{d>0} Q^d \frac{(1-\lambda P^{-1}q^{-1})^2 \cdots (1-\lambda P^{-1}q^{1-d})^2}{(1-Pq)^2 \cdots (1-Pq^d)^2}$代表了射影丛$E \to \mathbb{C}P^1$的量子K理论中大$\mathcal{J}$-函数的取值。
• 在非等变极限$\lambda = 1$下，级数$I_E$简化为$(1-q)\sum_{d>0} \frac{Q^d}{P^{2d-2} q^{d(d-1)} (1-Pq^d)^2}$，该表达式捕捉了卡拉比-丘3-流形中法丛为$\mathcal{O}(-1)\oplus\mathcal{O}(-1)$的有理曲线的局部Gromov-Witten不变量。
• 当$X = \mathbb{C}P^N$且$E = \bigoplus_{j=1}^M \mathcal{O}(l_j)$时，$q$-超几何级数$I_{\Pi E} = (1-q)\sum_{d\geq 0} \frac{Q^d}{\prod_{j=0}^N \prod_{r=1}^d (1-P\Lambda_j^{-1}q^r)} \prod_{j=1}^M \frac{\prod_{r=-\infty}^{l_j d} (1-\lambda P^{l_j} q^r)}{\prod_{r=-\infty}^0 (1-\lambda P^{l_j} q^r)}$代表了$\Pi E$的量子K理论中大$\mathcal{J}$-函数的取值，当$\sum l_j^2 > N+1$时输入$\mathbf{t}$非平凡。
• 在非等变极限$\Lambda_j = 1, \lambda = 1$下，级数$I_{\Pi E}$变为$(1-q)\sum_{d\geq 0} Q^d \frac{\prod_{j=1}^M \prod_{r=1}^{l_j d} (1-P^{l_j} q^r)}{\prod_{r=1}^d (1-Pq^r)^{N+1}}$，该表达式代表了$\mathbb{C}P^N$中余维数为$M$的完备交$Y$的小$\mathcal{J}$-函数，其中$P$满足$(1-P)^{N+1-M} = 0$。
• 当$\sum l_j^2 \leq N+1$时，$I_{\Pi E}$的洛朗多项式部分消失，因此$\mathcal{J}$-函数的输入$\mathbf{t}$为零，该级数代表了$Y$上普通量子K理论的小$\mathcal{J}$-函数，与[5]中的先前结果一致，但现通过不动点局部化与$\mathcal{D}_q$-模不变性推导得出。