[论文解读] Orbifold quantum cohomology of the symmetric product of A_r

Wan Keng Cheong|ArXiv.org|Oct 5, 2009

Algebraic Geometry and Number Theory参考文献 11被引用 3

一句话总结

本文计算了对称积堆栈 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的等变轨道量子上同调，表明除子算子由单部分双赫尔维茨数决定。在非退化猜想下，本文建立了 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的量子上同调与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 之间的完整同构，证实了赤壁解析猜想，并完成了与 $\mathcal{A}_r \times \mathbb{P}^1$ 相对格罗莫夫-威滕理论的四面体等价关系。关键结果是通过组合赫尔维茨数，给出了三点多扩展格罗莫夫-威滕不变量的显式闭式表达。

ABSTRACT

Let A_r be the minimal resolution of the cyclic quotient singularity C^2/Z_{r+1}. We study the equivariant quantum cohomology ring of the n-fold symmetric product stack [Sym^n(A_r)] of A_r. We calculate the operators of quantum multiplication by divisor classes. Under the assumption of the nonderogatory conjecture, these operators completely determine the ring structure, which provides an affirmative answer to the Crepant Resolution Conjecture on [Sym^n(A_r)] and Hilb^n(A_r). More strikingly, this allows us to complete a tetrahedron of equivalences relating the Gromov-Witten theories of [Sym^n(A_r)]/Hilb^n(A_r) and the relative Gromov-Witten/Donaldson-Thomas theories of A_r x P^1.

研究动机与目标

• 计算 $[\mathrm{Sym}^n(\mathcal{A}_r)]$，即 $A_r$ 曲面奇点的最小解析的对称积堆栈的等变轨道量子上同调环。
• 在非退化猜想下，建立 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的量子上同调与 $\mathrm{Hilb}^n(\mathcal{A}_r)$（即 $\mathcal{A}_r$ 上 $n$ 个点的希尔伯特概形）之间的精确同构。
• 完成一个四面体等价关系，将 $[\mathrm{Sym}^n(\mathcal{A}_r)]$、$\mathrm{Hilb}^n(\mathcal{A}_r)$ 以及 $\mathcal{A}_r \times \mathbb{P}^1$ 的相对格罗莫夫-威滕/唐纳森-托马斯理论的格罗莫夫-威滕理论联系起来。

提出的方法

• 利用模空间上扭曲稳定映射的局部化技术，计算 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的两点扩展格罗莫夫-威滕不变量。
• 通过虚拟局部化和固定点贡献，将量子乘法中除子类的计算约化为有理曲线的分支覆盖计数。
• 采用单部分双赫尔维茨数——通过 Goulden-Jackson-Vakil 公式显式计算——作为编码量子乘积结构的关键组合不变量。
• 应用非退化猜想，确保除子算子完全决定轨道量子乘积。
• 构造一个线性同构 $L$，在 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的陈-阮上同调与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 的上同调之间，保持次数、庞加莱配对以及除子的量子乘积。
• 利用扩展格罗莫夫-威滕不变量上的递归 WD VV 型关系，证明同构 $L$ 保持所有多点函数，从而确认了赤壁解析猜想。

实验结果

研究问题

• RQ1 能否使用组合不变量完全计算 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的轨道量子上同调？
• RQ2 在量子乘积结构在线性同构下保持的前提下，赤壁解析猜想是否对 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 和 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 成立？
• RQ3 是否存在 $[\mathrm{Sym}^n(\mathcal{A}_r)]$、$\mathrm{Hilb}^n(\mathcal{A}_r)$ 与 $\mathcal{A}_r \times \mathbb{P}^1$ 的相对格罗莫夫-威滕理论之间的完全等价关系？
• RQ4 能否用已知的组合对象（如赫尔维茨数）表达 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的两点扩展不变量？
• RQ5 变量替换 $q = -e^{iu}$ 是否诱导出 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 之间保持量子乘积与庞加莱配对的规范同构？

主要发现

• 两点扩展格罗莫夫-威滕不变量由等变轨道庞加莱配对与单部分双赫尔维茨数完全决定，后者具有显式闭式公式。
• 在变量替换 $q = -e^{iu}$ 下，$[\mathrm{Sym}^n(\mathcal{A}_r)]$ 上除子类的量子乘法算子被完全计算，并显示与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 上的算子一致。
• 存在一个线性同构 $L$，连接 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的等变陈-阮上同调与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 的等变上同调，保持次数、庞加莱配对以及除子的量子乘积。
• 赤壁解析猜想在 $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 与 $\mathrm{Hilb}^n(\mathcal{A}_r)$ 上成立：所有扩展多点函数在 $L$ 下保持不变，其中 $q = -e^{iu}$ 是关键变换。
• $[\mathrm{Sym}^n(\mathcal{A}_r)]$ 的量子上同调被证明与 $\mathcal{A}_r \times \mathbb{P}^1$ 的相对格罗莫夫-威滕理论等价，暗示了更深层的几何联系。
• 完整的四面体等价关系得以完成：$[\mathrm{Sym}^n(\mathcal{A}_r)]$-GW、$\mathrm{Hilb}^n(\mathcal{A}_r)$-GW 以及 $\mathcal{A}_r \times \mathbb{P}^1$ 的相对不变量在 $L$ 与变量替换 $q = -e^{iu}$ 下全部同构。