[论文解读] Descendents on local curves: Stationary theory

Rahul Pandharipande, Aaron Pixton|arXiv (Cornell University)|Sep 6, 2011

Algebraic Geometry and Number Theory参考文献 24被引用 6

一句话总结

本论文为局部曲线稳定对理论中具有 torus-等变插入的驻定下拉类建立了约化规则，通过因子分解和局部化方法证明了有理性和函数方程。利用稳定对顶点和 Hilbert 模丛的量子微分方程，精确计算了关键级数 $\mathsf{Z}^\mathsf{cap}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$，得到了包含 MacMahon 函数和 $q$ 的有理生成函数的闭合表达式。该方法使得在等变 3-fold 几何中有效计算驻定下拉类不变量成为可能。

ABSTRACT

The stable pairs theory of local curves in 3-folds (equivariant with respect to the scaling 2-torus) is studied with stationary descendent insertions. Reduction rules are found to lower descendents when higher than the degree. Factorization then yields a simple proof of rationality in the stationary case and a proof of the functional equation related to inverting q. The method yields an effective determination of stationary descendent integrals. Particular descendent series in the cap geometry play a special role and are calculated exactly using the stable pairs vertex and an analysis of the solution of the quantum differential equation for the Hilbert scheme of points of the plane.

研究动机与目标

• 为局部曲线稳定对理论中具有 $T$-等变插入的驻定下拉类 $\tau_k(\mathsf{p})$ 建立约化规则。
• 通过因子分解和局部化方法，证明驻定下拉类不变量生成函数的有理性。
• 利用稳定对顶点和点集 Hilbert 模丛的量子微分方程解，精确计算关键级数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$。
• 通过导出的有理结构，建立在 $q \to -q$ 反演下的函数方程。
• 将该方法推广至包含多个插入项 $\tau_{m_i}([0])$ 的更广不变量族，并推导出包含组合系数的闭合公式。

提出的方法

• 推导出 $k > d$ 时 $\tau_k(\mathsf{p})$ 的约化规则，将其表示为 $\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$ 的通用多项式，系数属于 $\mathbb{Q}(s_1,s_2)$，从而实现对高阶下拉类的有效约化。
• 利用相对条件的因子分解和已知的无插入项理论的有理性，证明完整生成函数的有理性。
• 应用局部化技术计算关键不变量 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$，结合等变留数和稳定对顶点。
• 分析 $\mathrm{Hilb}^d(\mathbb{C}^2)$ 的量子微分方程解，以确定生成函数的结构。
• 利用组合恒等式简化 $A_r + B_r$ 的贡献和，证明对所有 $1 \leq r \leq d$ 有 $A_r + B_r = \frac{1}{d!}$，从而得到闭合表达式。
• 将该方法推广至多个插入项 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$，得到涉及系数 $C_r(m_1,\dots,m_k)$ 的公式，该系数通过子集和与周期轨道计数定义。

实验结果

研究问题

• RQ1 在局部曲线的稳定对理论中，是否可将 $k > d$ 的高阶下拉类 $\tau_k(\mathsf{p})$ 约化为 $\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p})$ 的组合？
• RQ2 局部曲线的驻定理论是否表现出在 $q \to -q$ 反演下的有理性和函数方程？若是，其原因是什么？
• RQ3 生成函数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ 的精确值如何用已知的特殊函数表示？
• RQ4 该方法能否推广至包含多个驻定插入项 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$ 的不变量计算？
• RQ5 对于 $d > 1$，Donaldson-Thomas 与稳定对生成函数是否相等？在 $d=1$ 时它们有何不同？

主要发现

• 对于 $k > d$，约化规则 $\tau_k(\mathsf{p}) \mapsto f_{k,d}(\tau_1(\mathsf{p}), \dots, \tau_d(\mathsf{p}))$ 成立，其中 $f_{k,d}$ 是 $\mathbb{Q}(s_1,s_2)[x_1,\dots,x_d]$ 中的通用多项式，从而可有效计算高阶下拉类。
• 生成函数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ 精确计算为 $\frac{1}{2 \cdot d!} \sum_{r=1}^d \frac{1 + (-q)^r}{1 - (-q)^r}$，证明了其在 $q$ 上的有理性和在 $q \to -q$ 下的函数方程。
• 该级数 $\mathsf{Z}^{\mathsf{cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ 在 $q$ 上为有理函数，系数属于 $\mathbb{Q}(s_1,s_2)$，且通过恒等式 $A_r + B_r = \frac{1}{d!}$ 验证了函数方程。
• 对于多个插入项 $\tau_{m_1}([0])\cdots\tau_{m_k}([0])$，生成函数为 $\frac{q^d}{m_1!\cdots m_k!} \left(\frac{s_1+s_2}{s_1 s_2}\right) \frac{1}{2} \sum_{r=1}^d C_r(m_1,\dots,m_k) \frac{1 + (-q)^r}{1 - (-q)^r}$，其中 $C_r$ 通过组合子集和定义。
• 归一化的 Donaldson-Thomas 生成函数 $\mathsf{Z}^{\mathsf{DT,cap}}_{d,(d)}(\tau_d(\mathsf{p}))^{\mathbf{T}}$ 在 $d > 1$ 时等于稳定对版本，但在 $d = 1$ 时相差一个包含 $q \frac{d}{dq} \log M(-q)$ 的加法项，其中 $M(q)$ 为 MacMahon 函数。
• 通过递推关系证明了恒等式 $\sum_{r=1}^d C_r(m_1,\dots,m_k) = \sum_{f \text{ 有且仅有一个周期轨道}} \prod_{i=1}^k m_{f(i)}$，从而确认了系数的组合结构。