[论文解读] Permutation-equivariant quantum K-theory VIII. Explicit reconstruction

Alexander Givental|arXiv (Cornell University)|Oct 21, 2015

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

一句话总结

本文通过证明过载拉格朗日锥面在排列对称的亏格0量子K-理论中关于由 $q$-差分算子生成的大量对称性保持不变，建立了该锥面的显式重构公式。利用锥面上单个点——即对 toric $X$ 的 $q$-超几何级数——通过诺维科夫变量中 $\mathcal{D}_q$-模生成的流，实现了整个锥面及其一族横截空间的重构，从而可完全计算 toric 流形及其相关空间的所有亏格0 K-理论 Gromov-Witten 不变量。

ABSTRACT

In Part VII, we proved that the range of the big J-function in permutation-equivariant genus-0 quantum K-theory is an overruled cone, and gave its adelic characterization. Here we show that the ruling spaces are D_q-modules in Novikov's variables, and moreover, that the whole cone is invariant under a large group of symmetries defined in terms of q-difference operators. We employ this for the explicit reconstruction of the cone from one point on it, and apply the result to toric target spaces, when such a point is given by the q-hypergeometric function.

研究动机与目标

• 证明在排列对称的亏格0量子K-理论中，过载拉格朗日锥面 $\mathcal{L}_X$ 关于由 $q$-差分算子生成的大量对称性保持不变。
• 建立一种显式重构整个锥面 $\mathcal{L}_X$ 的方法，仅依赖于其上一个点，利用诺维科夫变量中 $\mathcal{D}_q$-模结构。
• 证明所有 toric $X$ 的亏格0 K-理论 Gromov-Witten 不变量（包括普通、混合及排列对称情形）均可从一个取值于 $K^0(X)$ 的 $q$-超几何级数中重构。
• 将显式重构框架从非对称情形推广至完整的排列对称设置，利用阿代尔特征化与 $q$-差分对称性。

提出的方法

• 利用虚假量子K-理论锥面 $\mathcal{L}^{\text{fake}}$ 的阿代尔特征化，将过载锥面 $\mathcal{L}_X$ 的性质转化为在单位根 $\zeta$ 处 $q = 1/\zeta$ 的洛朗级数展开条件。
• 通过证明其在量子上同调中除子方程导出的 $q$-差分算子作用下不变，证明 $\mathcal{L}_X$ 的横截空间是 $\mathcal{D}_q$-模。
• 使用参数 $\epsilon_a \in \Lambda_+$ 的 $q$-超几何级数构造锥面 $\mathcal{L}_{t(\epsilon)}$ 上的一族点 $I(\epsilon)$，确保其与横截空间横截。
• 应用由 $\mathcal{D}_q$-算子生成的可交换流 $e^{\epsilon D/(1-q)}$，在每个锥面 $\mathcal{L}_t$ 上生成新点，其中 $\tau_a$ 与 $c_a(q)$ 作为独立变量。
• 利用隐函数定理与 $d=0$ 极限，证明当 $K^0(X) = K^0(X)_{\text{pr}}$ 时，整个锥面 $\mathcal{L}_t$ 可从单个初始点重构。
• 将重构方法应用于 toric $X$，其中初始点由镜像对称的 $q$-超几何函数给出，从而得到 $\mathcal{L}_t$ 的完整参数表达式。

实验结果

研究问题

• RQ1 能否利用对称性结构，从锥面上单个点重构排列对称量子K-理论中的整个过载拉格朗日锥面 $\mathcal{L}_X$？
• RQ2 量子上同调中的除子方程如何在量子K-理论的 $q$-差分算子对称性中体现？
• RQ3 诺维科夫变量中 $\mathcal{D}_q$-模在从初始数据点生成整个锥面的过程中起何种精确作用？
• RQ4 $q$-超几何函数在多大程度上可作为重构 toric 量子K-理论中所有亏格0不变量的通用初始数据点？
• RQ5 如何通过 $\mathcal{L}_X$ 的阿代尔特征化，实现保持所有横截空间锥面结构的流的构造？

主要发现

• 在排列对称的亏格0量子K-理论中，过载拉格朗日锥面 $\mathcal{L}_X$ 关于诺维科夫变量中 $q$-差分算子生成的流保持不变，即 $\mathcal{L}_t$ 在映射 $\mathbf{f} \mapsto e^{\epsilon D(Q,Pq^{Q\partial_Q},q)/(1-q)}\mathbf{f}$ 下不变，其中 $D \in \mathcal{D}_q$。
• 每个 $\mathcal{L}_X$ 的横截空间都是 $\mathcal{D}_q$-模，且整个锥面 $\mathcal{L}_X$ 可通过 $\mathcal{D}_q$-生成的流与 $c_a(q)$-系数的乘法，从单个点 $I(\epsilon)$ 重构。
• 对于 toric $X$，初始点 $I(\epsilon)$ 由与 $X$ 镜像对称的 $q$-超几何级数给出，从而实现 $\mathcal{L}_t$ 的完整参数重构，如 $\mathbb{C}P^N$ 的例子所示。
• 当 $K^0(X) = K^0(X)_{\text{pr}}$ 时，由于横截性与隐函数定理，每个 $t$ 的整个锥面 $\mathcal{L}_t$ 均可从单个初始点 $I(\epsilon)$ 重构。
• 所有亏格0 K-理论 Gromov-Witten 不变量——包括排列对称、普通或混合情形——均可从一个取值于 $K^0(X)$ 的诺维科夫变量中 $q$-超几何级数，以几何上明确的形式完全计算。
• 该重构框架推广了先前在非对称量子K-理论与量子上同调中的结果，通过统一的 $q$-差分对称机制，将 toric、toral bundle 与完全交空间的处理统一起来。