[论文解读] Symplectic Duality of $T^*Gr(k,n)$

Hunter Dinkins|arXiv (Cornell University)|Aug 12, 2020

Advanced Algebra and Geometry参考文献 21被引用 10

一句话总结

该论文通过证明其顶点函数——量子图变体几何中的关键枚举不变量——在适当的参数识别和归一化下，其余切丛 $T^*\mathrm{Gr}(k,n)$ 与其对偶之间满足辛对偶性，从而建立了 $T^*\mathrm{Gr}(k,n)$ 与其对偶之间的辛对偶性。利用作用于麦克唐纳多项式上的 $q$-差分算子，作者推导出一个 $q$-塞伯格型积分的组合求值公式，验证了此设定下 3d 镜像对称的核心预测。

ABSTRACT

In this paper, we explore a consequence of symplectic duality (also known as 3d mirror symmetry) in the setting of enumerative geometry. The theory of quasimaps allows one to associate hypergeometric functions called vertex functions to quiver varieties. In this paper, we prove a formula which relates the vertex functions of $T^*Gr(k,n)$ and its symplectic dual. In the course of the proof, we study a family of $q$-difference operators which act diagonally on Macdonald polynomials. Our results may be interpreted from a combinatorial perspective as providing an evaluation formula for a $q$-Selberg type integral.

研究动机与目标

• 验证在 $T^*\mathrm{Gr}(k,n)$ 的枚举几何背景下，辛对偶性（3d 镜像对称）的关键预测。
• 在参数对偶下，建立 $T^*\mathrm{Gr}(k,n)$ 与其辛对偶 $X^!$ 的顶点函数之间的精确对应关系。
• 利用 $q$-差分算子与麦克唐纳多项式，发展一个组合框架，以计算顶点函数并关联对偶流形之间的关系。
• 提供对偶空间上量子 $q$-差分方程等价性的明确实现，包含显式的归一化与参数匹配。

提出的方法

• 通过涉及麦克唐纳多项式与 $q$-差分算子的积分表示，表达 $T^*\mathrm{Gr}(k,n)$ 的顶点函数。
• 引入一族与麦克唐纳算子对易的 $q$-差分算子，其在麦克唐纳多项式上对角作用，并编码下拉插入项。
• 利用等变局部化方法与虚拟结构层 $K$-类上这些算子的作用，计算在‘最后一个’不动点处的顶点函数。
• 证明依赖于一个归一化映射 $\kappa$，其将对偶侧的度数参数 $\boldsymbol{z}$ 与等变参数互换，从而实现顶点函数的比较。
• 通过将对偶流形 $X^!$ 的顶点函数用原始顶点函数表示，利用 $D_d(\boldsymbol{a};q,\hbar)$ 的作用，推导出关键恒等式，进而得到组合求值公式。
• 最终结果通过证明：在应用 $\kappa$ 后，对偶侧变换后的顶点函数与原始顶点函数一致，利用 $q$-Pochhammer 符号与 $q$-超几何恒等式性质得出。

实验结果

研究问题

• RQ1 在适当的参数识别与归一化下，$T^*\mathrm{Gr}(k,n)$ 与其辛对偶 $X^!$ 的顶点函数是否一致？
• RQ2 麦克唐纳多项式上 $q$-差分算子的作用能否用于计算纳卡吉玛图变体中顶点函数的下拉插入项？
• RQ3 是否存在一个由 $T^*\mathrm{Gr}(k,n)$ 的顶点函数导出的 $q$-塞伯格型积分的组合求值公式？
• RQ4 在对偶空间 $X^!$ 上的‘最后一个’不动点处的顶点函数，是否与原始空间 $X$ 上对应不动点处的顶点函数在参数对偶下匹配？
• RQ5 对偶图变体的量子 $q$-差分方程之间有何关系？能否通过顶点函数比较来验证？

主要发现

• 在适当的归一化与参数交换后，证明了 $T^*\mathrm{Gr}(k,n)$ 与其辛对偶 $X^!$ 的顶点函数相等，验证了 3d 镜像对称的核心预测。
• 证明了 $T^*\mathrm{Gr}(k,n)$ 上‘最后一个’不动点处的顶点函数，在对偶映射 $\kappa$ 下与对偶流形 $X^!$ 的顶点函数相匹配。
• $q$-差分算子 $D_d(\boldsymbol{a};q,\hbar)$ 对顶点函数的作用，可重现下拉插入项的效果，其系数由 $q$-Pochhammer 比值给出。
• 该证明导出了一个 $q$-塞伯格型积分的新求值公式，表示为分拆上的求和，其系数包含 $\frac{(\hbar)_d}{(q)_d} P_{(d)}(q^{\mu_i}(\hbar/q)^{i-k}; q, \hbar)$。
• 归一化因子 $\kappa$ 将对偶顶点函数 $\widetilde{\mathbf{V}}^{!}_{p^!}(u,\boldsymbol{z})$ 映射为原始顶点函数 $\widetilde{\mathbf{V}}_p(\boldsymbol{a}, z)$，其中显式包含涉及 $\varphi$-函数的有理函数校正项。
• 结果证实，$X$ 与 $X^!$ 的 $q$-差分方程系统在参数对偶下等价，且顶点函数构成解空间的对偶基。