[论文解读] Quantum $K$-theory of toric varieties, level structures, and 3d mirror symmetry

Yongbin Ruan, Yaoxiong Wen+1 more|arXiv (Cornell University)|Nov 15, 2020

Algebraic structures and combinatorial models参考文献 23被引用 4

一句话总结

本文通过引入一种带有有效层级结构的新型 $K$-理论 $I$-函数，建立了关于 торических堆栈的 3d $υ=2$ 镜像对称性。证明了在交换 Kähler 参数与等变参数并反转量子参数 $q$ 的镜像映射下，镜像对的 $I$-函数相等，从而解决了 3d 物理中的一个猜想，并通过不动点局部化和 $q$-差分方程将量子 $K$-理论推广至 торические堆栈。

ABSTRACT

We introduce a new version of 3d mirror symmetry for toric stacks, inspired by a 3d $\mathcal{N} = 2$ abelian mirror symmetry construction in physics. Given some toric data, we introduce the $K$-theoretic $I$-function with effective level structure for the associated toric stack. When a particular stability condition is chosen, it restricts to the $I$-function for the particular toric GIT quotient. The mirror of a toric stack is defined by the Gale dual of the original toric data. We then proved the mirror conjecture that the $I$-functions of a mirror pair coincide, under the mirror map, which switches Kähler and equivariant parameters, and maps $q\mapsto q^{-1}$.

研究动机与目标

• 提出并证明一个关于 торических堆栈的 3d $υ=2$ 镜像对称性猜想，整合来自物理的有效的层级结构。
• 为整个 торический堆栈定义一个全局的 $K$-理论 $I$-函数，而非仅针对单个 GIT 商空间，以解决腔室依赖性问题。
• 建立一个交换 Kähler 参数与等变参数并反转 $q$ 的镜像映射，证明镜像对的 $I$-函数是等价的。
• 通过引入具有 $q$-差分方程结构的修正 $I$-函数，将量子 $K$-理论推广至 торические堆栈。
• 通过证明不动点贡献与腔室无关，解决 $I$-函数在不同腔室中不唯一的问题。

提出的方法

• 通过拟映射图模空间引入用于 торических堆栈的 $K$-理论 $I$-函数，其贡献集中在 $\mathbb{C}^*$-不动点处。
• 通过二次型 $\frac{1}{2}\sum_{j,l} \iota_{ij}\iota_{il}$ 定义有效层级结构，该形式编码了 3d $υ=2$ 物理中的层级结构。
• 构造一个修正的 $I$-函数 $\widetilde{I}^{\text{eff}}(\mathbf{p})$，其包含涉及 $\ln z_i \ln U_i|_{\mathbf{p}} / \ln q$ 的指数前因子，以处理渐近行为。
• 使用一个镜像映射 $\tau$，其交换 Kähler 参数与等变参数，并将 $q \mapsto q^{-1}$，将镜像对之间的 $I$-函数相互映射。
• 应用 $q$-二项式恒等式与渐近分析，证明 $\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ 与原始 $I$-函数的渐近形式一致。
• 利用 $q$-差分方程解的唯一性，得出镜像对的 $I$-函数在镜像映射下是等价的。

实验结果

研究问题

• RQ1 尽管不动点出现在多个腔室中， торических堆栈的 $K$-理论 $I$-函数在不同 GIT 腔室中是否保持不变？
• RQ2 能否为整个 торический堆栈定义一个全局 $I$-函数，统一所有腔室的贡献，并正确捕捉镜像对称性？
• RQ3 来自 3d $υ=2$ 物理的有效层级结构如何修改 $K$-理论 $I$-函数，并确保在参数对偶性下保持镜像对称性？
• RQ4 交换 Kähler 参数与等变参数并反转 $q$ 的精确镜像映射形式是什么？它是否保持 $I$-函数结构？
• RQ5 在应用镜像映射后，镜像 торических堆栈的 $I$-函数是否满足相同的 $q$-差分方程，从而暗示其等价性？

主要发现

• 对 $I$-函数的不动点贡献 $I_{\mathbf{p},\theta}$ 与 GIT 腔室 $\theta$ 无关，因此可为 торический堆栈定义全局 $I$-函数 $I^{\text{eff}}(\mathfrak{X}) = \sum_{\mathbf{p}} I^{\text{eff}}(\mathbf{p})$。
• 修正的 $I$-函数 $\widetilde{I}^{\text{eff}}(\mathbf{p})$ 包含指数前因子和 $q$-Pochhammer 符号，以处理渐近行为和 $U_i|_{\mathbf{p}} = q^{\mathbb{Z}}$ 处的极点，确保解析控制。
• 在镜像映射 $\tau$ 下，镜像 торических堆栈 $\mathfrak{X}^!$ 的 $I$-函数被变换，使得 $\tau(\widetilde{I}^{\text{eff}}(\mathbf{p}^!))$ 与原始 $I$-函数的渐近形式一致（仅相差一个前因子）。
• 证明镜像对的 $I$-函数满足相同的 $q$-差分方程，且由解的唯一性，它们在镜像映射下是等价的。
• 在镜像映射下，$I$-函数 $I^{\text{eff}}(\mathfrak{X})$ 保持不变，该映射交换 Kähler 与等变参数并发送 $q \mapsto q^{-1}$，从而证明了主要镜像猜想。
• 该构造通过处理整个堆栈而非单个 GIT 商空间，解决了 2d 镜像对称性中腔室依赖性的问题，并证明了带有有效层级结构的 торических堆栈的猜想。