[论文解读] Sheaves on P2 and generalized Appell functions

Jan Manschot|arXiv (Cornell University)|Jul 28, 2014

Advanced Numerical Analysis Techniques被引用 7

一句话总结

本文通过引入具有符号 $(n_+,n_-)$ 的广义 Appell 函数的新推广，推导出 $\mathbb{P}^2$ 上任意秩 $r$ 与陈类的半稳定层模空间的虚拟 Poincaré 多项式生成函数的闭式表达式。关键成果是一个统一框架，简化了 $r \geq 3$ 时的计算，并揭示了 $\mathcal{N}=4$ 顶点扭曲 Yang-Mills 理论中的更深层次模形式与算术结构。

ABSTRACT

A closed expression is given for the generating function of (virtual) Poincaré polynomials of moduli spaces of semi-stable sheaves on the projective plane $\mathbb{P}^2$ with arbitrary rank $r$ and Chern classes. This generating function is known to equal the partition function of topologically twisted gauge theory with $\mathcal{N}=4$ supersymmetry and gauge group $U(r)$, which localizes on the Hermitian Yang-Mills solutions of the gauge field. To classify and study the novel generating functions, the notion of Appell functions with signature $(n_+,n_-)$ is introduced. For $n_-=1$, these novel functions reduce to the known class of Appell functions with multiple variables or higher level.

研究动机与目标

• 推导出 $\mathbb{P}^2$ 上任意秩 $r$ 与陈类的半稳定层模空间的虚拟 Poincaré 多项式生成函数的闭式表达式。
• 将经典 Appell 函数推广为具有符号 $(n_+,n_-)$ 的新类 Appell 函数，以描述 $r \geq 3$ 时的这些生成函数。
• 统一并简化高秩层的拓扑不变量计算，克服基于不定 theta 函数与墙穿跃的先前方法的局限性。
• 建立一个框架，揭示 $\mathcal{N}=4$ 顶点扭曲 Yang-Mills 理论中生成函数的模形式与算术性质。

提出的方法

• 引入具有符号 $(n_+,n_-)$ 的广义 Appell 函数，以描述 $\mathbb{P}^2$ 上层的虚拟 Poincaré 多项式生成函数。
• 应用 Joyce 的墙穿跃公式于虚拟 Poincaré 多项式，以闭式推导出生成函数。
• 利用爆破公式与极化变换，关联不同稳定性条件下的不变量，确保对 $\wt{c}_1$ 选择的一致性。
• 通过框架隐式运用了轨形局部化与 Hall 代数技术，尽管未显式计算。
• 通过格点求和与模形式，显式推导出 $H_{3,c_1}(z,\tau;J_{1,0})$ 的表达式，其中 $H_1, H_2, H_3$ 作为基本构建块。
• 通过证明在 $\wt{c}_1 = \phi^*c_1 - kC$ 变换下结果不变，验证了不同极化选择下结果的一致性，确认了稳定性参数选择的独立性。

实验结果

研究问题

• RQ1 如何为 $\mathbb{P}^2$ 上任意秩 $r$ 与陈类的半稳定层，以闭式表达其虚拟 Poincaré 多项式生成函数？
• RQ2 何种 Appell 函数的推广能捕捉 $r \geq 3$ 时这些生成函数的结构？
• RQ3 这些生成函数的模形式与算术性质如何从广义 Appell 函数框架中显现？
• RQ4 这些生成函数能否在不同极化选择下一致计算？这对墙穿跃与模性意味着什么？
• RQ5 非全纯补全在这些函数的模性质中起什么作用？广义 Appell 函数框架如何澄清这一点？

主要发现

• 通过公式 (4.7) 与命题 4.1 推导出虚拟 Poincaré 多项式生成函数的闭式表达式，适用于 $\mathbb{P}^2$ 上任意秩 $r$ 与陈类。
• 对于秩 3，与 [32] 中的表达式相比，生成函数显著简化，从而加速了 $r > 3$ 时不变量的计算。
• 具有符号 $(n_+,n_-)$ 的广义 Appell 函数在 $n_- = 1$ 时退化为已知的多变量与高阶 Appell 函数，扩展了其适用范围。
• $H_{3,c_1}(z,\tau;J_{1,0})$ 被显式计算，并证明其在 $c_1 \to -c_1$ 与 $c_1 \to c_1 + k$（$k \in H^2(\Sigma_1, 3\mathbb{Z})$）下不变，确认了不同极化选择下的一致性。
• $H_{3,C+f}(z,\tau;J_{1,0})$ 在 $B_{3,0}(z,\tau)$ 为零的点处也为零，按阶次确认了分析一致性。
• $\Psi_{(1,1,1,1),(-2,2)}(z,\tau)$ 被表达为形式 (5.2) 的广义 Appell 函数，其中显式给出向量 $\boldsymbol{m}_i$、$\boldsymbol{u}$、$\boldsymbol{v}$ 与 $R = \frac{5}{2}$，证明了该框架在具体情形中的适用性。