[论文解读] Quantum cohomology of the Hilbert scheme of points in the plane

Andreĭ Okounkov, Rahul Pandharipande|ArXiv.org|Nov 9, 2004

Algebraic structures and combinatorial models参考文献 18被引用 17

一句话总结

本文确定了复平面上点的希尔伯特概形的等变量子上同调的环结构，表明除子类的量子乘法是一个非定常的量子Calogero-Sutherland多体系统的形变。关键结果通过变量替换 $ e^{iu} = -q $，在 $ \mathbb{C}^2 \times \mathbf{P}^1 $ 的格罗莫夫-威滕不变量与希尔伯特概形的三点不变量之间建立了精确对应，将量子上同调与可积系统及轨道的创痕解析联系起来。

ABSTRACT

We determine the ring structure of the equivariant quantum cohomology of the Hilbert scheme of points in the complex plane. The operator of quantum multiplication by the divisor class is a nonstationary deformation of the quantum Calogero-Sutherland many-body system. A relationship between the quantum cohomology of the Hilbert scheme and the Gromov-Witten/Donaldson-Thomas correspondence for local curves is proven.

研究动机与目标

• 确定 $ T $-等变量子上同调在 $ \mathbb{C}^2 $ 中 $ n $ 个点的希尔伯特概形上的完整环结构。
• 在希尔伯特概形的量子上同调与局部曲线的格罗莫夫-威滕/唐纳森-托马斯理论之间建立对应关系。
• 证明除子类的量子乘法算子是Calogero-Sutherland哈密顿量的非定常形变。
• 证明小量子上同调环在 $ \mathbb{Q}(q,t_1,t_2) $ 上由除子类生成。

提出的方法

• 使用 Fock 空间形式化表示量子上同调环，并定义除子类的量子乘法算子 $ \mathsf{M}_D $。
• 应用局部化技术计算三点函数，将贡献分解为断裂与未断裂映射。
• 通过 Ran 的结果约化虚拟类，并使用约化绝对理论处理模空间的奇点。
• 通过归纳法对 $ n $ 进行证明，利用固定定义域 $ C $ 和约化三点函数，验证 $ \mathsf{M}_D $ 的结构。
• 推导量子微分方程 $ q \frac{d}{dq} \psi = \mathsf{M}_D \psi $，表明在 $ q=0 $、$ q=\infty $ 和单位根处具有正则奇点，并在 $ t_1 \mapsto t_1 - 1 $ 下保持单值性。
• 通过变量替换 $ e^{iu} = -q $ 建立 GW/Hilbert 对应，使 $ \mathbb{C}^2 \times \mathbf{P}^1 $ 的划分函数与希尔伯特概形不变量相匹配。

实验结果

研究问题

• RQ1 复平面上 $ n $ 个点的希尔伯特概形的等变量子上同调环结构如何？
• RQ2 量子乘法算子 $ \mathsf{M}_D $ 的几何与代数意义是什么？
• RQ3 希尔伯特概形的量子上同调如何与 $ \mathbb{C}^2 \times \mathbf{P}^1 $ 的格罗莫夫-威滕理论相关联？
• RQ4 量子微分方程的单值性能否显式计算，并在等变参数平移下保持不变？
• RQ5 GW/Hilbert 对应关系是否可推广至等变情形，特别是与轨道的创痕解析的关系如何？

主要发现

• 除子类的量子乘法算子 $ \mathsf{M}_D $ 是量子Calogero-Sutherland多体系统的非定常形变。
• $ \operatorname{Hilb}_n $ 的小量子上同调环在 $ \mathbb{Q}(q,t_1,t_2) $ 上由除子类生成。
• 量子微分方程 $ q \frac{d}{dq} \psi = \mathsf{M}_D \psi $ 在 $ q=0 $、$ q=\infty $ 和单位根处具有正则奇点，且在 $ t_1 \mapsto t_1 - 1 $ 下单值性保持不变，其中 $ t_1 \neq r/s $ 且 $ 0 < r \leq s \leq n $。
• 在变量替换 $ e^{iu} = -q $ 后， $ \mathbb{C}^2 \times \mathbf{P}^1 $ 的约化格罗莫夫-威滕划分函数与希尔伯特概形的多点不变量匹配：$ \mathsf{GW}^{*}_{n} = (-1)^n \langle \lambda^1, \dots, \lambda^r \rangle^{\operatorname{Hilb}_n}_{\xi} $。
• $ \mathbb{C}^2 \times \mathbf{P}^1 $ 的格罗莫夫-威滕理论与希尔伯特概形不变量之间的对应关系对任意 $ r $-点不变量成立，且三点情形可通过对称性重构确定所有高阶不变量。
• 轨道 $ (\mathbb{C}^2)^n / S_n $ 的 $ T $-等变量子上同调与它的创痕解析 $ \operatorname{Hilb}_n $ 的等变量子上同调等价，提示了关于轨道量子上同调的 Ruan 猜想在等变情形下的推广。