[论文解读] 3d Mirror Symmetry and Quantum $K$-theory of Hypertoric Varieties

Andrey Smirnov, Zijun Zhou|arXiv (Cornell University)|May 29, 2020

Algebraic Geometry and Number Theory参考文献 54被引用 15

一句话总结

该论文通过量子K-理论建立了对超辛流形的3维镜像对称性，证明了在交换Kähler参数与等变参数并取相反极化时，镜像对偶的q-差分方程彼此等价。利用顶点函数与椭圆稳定锥，表明镜像顶点函数通过椭圆稳定锥构造相互关联，从而在K-理论拟映射框架下实现了3维镜像对称性的数学实现。

ABSTRACT

Following the idea of Aganagic--Okounkov \cite{AOelliptic}, we study vertex functions for hypertoric varieties, defined by $K$-theoretic counting of quasimaps from $\mathbb{P}^1$. We prove the 3d mirror symmetry statement that the two sets of $q$-difference equations of a 3d hypertoric mirror pairs are equivalent to each other, with Kähler and equivariant parameters exchanged, and the opposite choice of polarization. Vertex functions of a 3d mirror pair, as solutions to the $q$-difference equations, satisfying particular asymptotic conditions, are related by the elliptic stable envelopes. Various notions of quantum $K$-theory for hypertoric varieties are also discussed.

研究动机与目标

• 在量子K-理论框架下建立超辛流形的3维镜像对称性。
• 在参数交换与相反极化下，通过椭圆稳定锥关联镜像对偶的顶点函数。
• 证明镜像对偶的q-差分方程在Kähler参数与等变参数互换下等价。
• 澄清在超辛设定下PSZ量子K-理论与除子性量子K-理论之间的关系。
• 通过K-理论中的拟映射计数，为瞬子划分函数与3维全纯块提供数学实现。

提出的方法

• 通过从P^1到超辛流形的拟映射的K-理论计数，构造基础顶点函数与截断顶点函数。
• 在PSZ量子K-理论框架下，利用粘合算子与截断算子推导顶点函数的q-差分方程。
• 应用椭圆稳定锥理论，在参数对偶下关联镜像对偶的顶点函数。
• 使用局部化技术，以等变参数表示基础顶点函数及其渐近行为。
• 采用变量替换κ_vtx，将顶点函数的渐近极限与椭圆函数及q-Pochhammer符号关联。
• 应用q-二项式公式计算渐近极限，推导出镜像对称性陈述。

实验结果

研究问题

• RQ1 在参数交换与相反极化下，3维超辛镜像对偶的q-差分方程如何关联？
• RQ2 在量子K-理论中，镜像对偶的顶点函数之间存在何种精确关系？
• RQ3 椭圆稳定锥如何在镜像超辛流形的顶点函数之间传递对偶性？
• RQ4 顶点函数的渐近极限在建立镜像对称性中起何种作用？
• RQ5 在超辛设定下，PSZ量子K-理论与除子性量子K-理论之间关系如何？

主要发现

• 在交换Kähler参数与等变参数并取相反极化时，3维超辛镜像对偶的q-差分方程彼此等价。
• 镜像对偶的顶点函数通过椭圆稳定锥关联，其中一个顶点函数的渐近极限在参数对偶下与镜像顶点函数匹配。
• 基础顶点函数的渐近极限可表示为椭圆Pochhammer符号的比值乘积，其形式与镜像顶点函数一致。
• 通过q-二项式恒等式与Pochhammer符号渐近性质，显式计算了顶点函数在α(p) → 0时的渐近行为。
• 在q-差分方程与顶点函数层面验证了镜像对称性陈述，确认了在量子K-理论框架下的对偶性。
• 该构造通过K-理论中的拟映射计数，为3维全息块与瞬子划分函数提供了数学实现。