[论文解读] Capped vertex with descendants for zero dimensional $A_{\infty}$ quiver varieties

Hunter Dinkins, Andrey Smirnov|arXiv (Cornell University)|May 26, 2020

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

一句话总结

该论文利用麦克唐纳差分算子，为零维 $A_\infty$ quiver 变体中的带后代插入的截断顶点函数建立了组合公式。它表明，所得 $q$-差分方程的单值性与辛对偶变体的椭圆 $R$-矩阵一致，并证明了截断顶点函数在所有稳定性锥中均为有理函数且与锥的选择无关，其显式表达式以基灵参数和格罗滕迪克根表示。

ABSTRACT

In this paper, we study the capped vertex functions associated to certain zero-dimensional type-$A$ Nakajima quiver varieties. The insertion of descendants into the vertex functions can be expressed by the Macdonald operators, which leads to explicit combinatorial formulas for the capped vertex functions. We determine the monodromy of the vertex functions and show that it coincides with the elliptic R-matrix of symplectic dual variety. We apply our results to give the vertex functions and the characters of the tautological bundles on the quiver varieties formed from arbitrary stability conditions.

研究动机与目标

• 推导零维 $A_\infty$ quiver 变体中带后代插入的截断顶点函数的显式组合公式。
• 证明后代插入可通过麦克唐纳差分算子作用于未截断顶点函数来实现。
• 确定控制顶点函数的 $q$-差分方程的单值性，并将其与辛对偶变体的椭圆 $R$-矩阵匹配。
• 将顶点函数的计算推广至任意稳定性条件下的 quiver 变体，证明其有理性和锥无关性。

提出的方法

• 未截断顶点函数 $\textbf{V}_{\lambda}(\boldsymbol{z})$ 表示为对 Young 图 $\lambda$ 中方框的无限乘积，涉及基灵参数 $z_\square$ 和形变参数 $\hbar$。
• 后代插入通过麦克唐纳差分算子 $T(\tau)$ 实现，其作用于未截断顶点函数，得到带后代修正的版本 $\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$。
• 截断顶点函数 $\hat{\textbf{V}}^{(\tau)}_{\lambda}(\boldsymbol{z})$ 定义为后代顶点函数与未扭结版本的比值，以确保在零度时的归一化。
• 计算了 $q$-差分方程的单值性，并证明其与辛对偶变体的椭圆 $R$-矩阵一致，为锥无关性提供了证据。
• 截断顶点函数的零度项被识别为 $\tau(\boldsymbol{x}_{\mathfrak{C}})$，其表示为对所有方框 $\square$ 的 $\hbar^{m_{\mathfrak{C}}(\square)}$ 的乘积，依赖于稳定性锥 $\mathfrak{C}$。
• 通过证明其展开式是 $\boldsymbol{z}$ 的幂级数且系数属于 $\mathbb{Q}(q,\hbar)$，证明了截断顶点函数在所有锥中均为有理函数。

实验结果

研究问题

• RQ1 如何系统地计算零维 $A_\infty$ quiver 变体中顶点函数的后代插入？
• RQ2 麦克唐纳差分算子在 $K$-理论顶点函数中实现后代插入时起什么作用？
• RQ3 顶点函数的 $q$-差分方程的单值性是否与辛对偶变体的椭圆 $R$-矩阵一致？
• RQ4 截断顶点函数是否独立于基灵模空间中的稳定性条件选择？
• RQ5 截断顶点函数的零度项如何用格罗滕迪克根和稳定性锥数据表示？

主要发现

• 带后代 $\tau_{n,r} = \bigwedge^r \mathcal{V}_n$ 的截断顶点函数由一个有理函数给出，其涉及 Young 图中子集的乘积，显式依赖于 $\hbar$、$z_\square$ 和 $\zeta_\square$。
• 麦克唐纳差分算子 $T(\tau)$ 作用于未截断顶点函数 $\textbf{V}_{\lambda}(\boldsymbol{z})$，可得到带后代插入的顶点函数 $\textbf{V}^{(\tau)}_{\lambda}(\boldsymbol{z})$，从而实现了完整的组合实现。
• 顶点函数的 $q$-差分方程的单值性与辛对偶变体的椭圆 $R$-矩阵一致（相差一个常数因子），证实了深层对偶性。
• 截断顶点函数在 $\boldsymbol{z}$、$q$ 和 $\hbar$ 上为有理函数，其系数属于 $\mathbb{Q}(q,\hbar)$，且其零度项为 $\tau(\boldsymbol{x}_{\mathfrak{C}})$，等于 $\tau(\{\hbar^{m_{\mathfrak{C}}(\square)}\})$。
• 截断顶点函数与稳定性锥 $\mathfrak{C}$ 无关，即对任意两个锥 $\mathfrak{C}_1, \mathfrak{C}_2$，有 $\hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_1}(\boldsymbol{z}) = \hat{\textbf{V}}^{(\tau)}_{\lambda,\mathfrak{C}_2}(\boldsymbol{z})$。
• 零度系数 $\tau(\boldsymbol{x}_{\mathfrak{C}})$ 通过令 $z_\square$ 的极限 $w \to 0$ 计算得出，对应于 $\zeta_\square / \zeta_{\square'} \to 0$ 和 $z_{\square'} \to \infty$ 的行为，其仅依赖于锥 $\mathfrak{C}$。