[论文解读] Permutation-equivariant quantum K-theory V. Toric $q$-hypergeometric functions

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

Algebraic Geometry and Number Theory参考文献 7被引用 11

一句话总结

本文证明了在 toric 流形、向量丛及超丛上，排列对称的量子 K-理论由来自 $S^1$-等变 Floer 理论和 $D_q$-模结构的 $q$-超几何函数所控制。通过不动点局部化方法，证明了这些函数代表了 K-理论 Gromov-Witten 不变量，将上同调镜像公式推广至 K-理论设定。

ABSTRACT

We first retell in the K-theoretic context the heuristics of $S^1$-equivariant Floer theory on loop spaces which gives rise to $D_q$-module structures, and in the case of toric manifolds, vector bundles, or super-bundles to their explicit $q$-hypergeometric solutions. Then, using the fixed point localization technique developed in Parts II--IV, we prove that these $q$-hypergeometric solutions represent K-theoretic Gromov-Witten invariants.

研究动机与目标

• 将 $S^1$-等变 Floer 理论框架拓展至使用 $D_q$-模结构的量子 K-理论。
• 在 toric 流形和向量丛上构造 K-理论 Gromov-Witten 不变量的显式 $q$-超几何解。
• 通过不动点局部化证明，这些 $q$-超几何函数编码了排列对称的量子 K-理论不变量。
• 将上同调镜像公式推广至 toric 丛与超丛的 K-理论设定。

提出的方法

• 通过在环路空间上引入 $D_q$-模结构，将 $S^1$-等变 Floer 理论适配至 K-理论。
• 在可缩环路的万有覆叠 $\widetilde{L_0X}$ 上定义作用泛函 $H_i$ 和闭 2-形式 $\Omega_i$。
• 推导出 $q$-差分算子 $Q_i$ 与乘法算子 $p_i = \Omega_i + zH_i$ 之间的对易关系，从而构造出 $D_q$-模代数。
• 在 toric 流形上使用不动点局部化计算 $I$-函数的留数并验证递推关系。
• 利用 $T^N$-等变陈根 $U_j$ 和 $V_a$ 构造丛 $E$ 与超丛 $\Pi E$ 的 $q$-超几何 $I$-函数。
• 验证 $ (1 - q)I_X $、$ (1 - q)I_E $ 与 $ (1 - q)I_{\Pi E} $ 是对称化量子 K-理论中大 J-函数的取值。

实验结果

研究问题

• RQ1 如何将 $S^1$-等变 Floer 理论适配以在量子 K-理论中构造 $D_q$-模结构？
• RQ2 在 toric 流形上，K-理论 Gromov-Witten 不变量的 $q$-超几何解的精确形式是什么？
• RQ3 不动点局部化技术如何验证 $q$-超几何 $I$-函数代表了量子 K-理论不变量？
• RQ4 toric 丛与超丛的 K-理论镜像公式在上同调镜像公式中的类比形式是什么？
• RQ5 在 $q = \lambda^{-1/m}$ 处 $I_X(q)$ 的留数如何编码关于模空间虚拟切空间的信息？

主要发现

• 证明了 $q$-超几何函数 $I_X(q)$ 在排列对称的 toric 流形 $X$ 的量子 K-理论中代表大 J-函数，且 $ (1 - q)I_X(q) $ 属于对称化理论。
• 在简单极点 $q = \lambda^{-1/m}$ 处 $I_X(q)$ 的留数满足由不动点局部化导出的递推关系，与 $m$-重覆盖的 1-维轨道处虚拟法丛的欧拉类一致。
• 对于 toric 丛 $E = \bigoplus_{a=1}^L V_a$，$I$-函数 $I_E(q)$ 是包含 $U_j(P)$ 与 $V_a(P)$ 的 $q$-超几何级数，且 $ (1 - q)I_E(q) $ 给出了对称化量子 K-理论中大 J-函数的取值。
• 对于超丛 $\Pi E$，$I$-函数 $I_{\Pi E}(q)$ 以分子与分母中相反的乘积顺序类似构造，且 $ (1 - q)I_{\Pi E}(q) $ 同样代表大 J-函数的取值。
• 在留数公式中出现的欧拉类 $C_{\alpha\beta}(m)$ 与 $T^N$-等变的 $\overline{\mathcal{M}}_{0,2}(X, md_{\alpha\beta})$ 在从 $\alpha$ 到 $\beta$ 的 1-维轨道的 $m$-重覆盖处的虚拟余切空间的欧拉类一致，确认了局部化计算的正确性。
• $I$-函数在 $\lambda$-代数 $\mathbb{Z}[\Lambda^{\pm 1}][[Q]]$ 上定义，确保其取值在标记点置换下保持不变，与对称化量子 K-理论一致。