[论文解读] The local Donaldson-Thomas theory of curves

Andreĭ Okounkov, Rahul Pandharipande|arXiv (Cornell University)|Dec 26, 2005

Algebraic Geometry and Number Theory参考文献 15被引用 5

一句话总结

本文通过局部化与退化技术解决了曲线的局部唐纳森-托马斯理论，证明了形如 $N \to C$ 的局部卡拉比-丘3流形（其中 $N$ 是曲线 $C$ 上的秩2丛）的格罗莫夫-威滕/唐纳森-托马斯对偶性。关键结果是显式计算了1腿等变顶点，该结果作为特例恢复了戈帕库马尔-马里诺-法瓦公式，并建立了与 $\mathbb{C}^2$ 上点的希尔伯特概形的量子上同调对偶。该解依赖于虚拟局部化、橡胶微分几何与控制橡胶几何下下拉类的算子 $\mathsf{S}$ 的微分方程。

ABSTRACT

The local Donaldson-Thomas theory of curves is solved by localization and degeneration methods. The results complete a triangle of equivalences relating Gromov-Witten theory, Donaldson-Thomas theory, and the quantum cohomology of the Hilbert scheme of points of the plane. The quantum differential equation of the Hilbert scheme of points of the plane has a natural interpretation in the local Donaldson-Thomas theory of curves. The solution determines the 1-legged equivariant vertex.

研究动机与目标

• 建立局部曲线理论的格罗莫夫-威滕/唐纳森-托马斯对偶性，即对于3流形 $N \to C$，其中 $N$ 是非奇异曲线 $C$ 上的秩2丛。
• 显式计算1腿等变唐纳森-托马斯顶点，该结果推广了戈帕库马尔-马里诺-法瓦公式。
• 完成格罗莫夫-威滕理论、唐纳森-托马斯理论与 $\mathbb{C}^2$ 上点的希尔伯特概形的量子上同调之间的等价关系三角形。
• 为非环状的局部3流形几何提供相对唐纳森-托马斯理论的基础计算。

提出的方法

• 使用等变虚拟局部化技术，通过在理想层模空间的 $T$-不动点集上积分来计算分划函数 $\mathsf{Z}(N)_d$。
• 应用退化技术将问题简化为更简单的几何结构，特别是橡胶几何与相对不变量。
• 通过橡胶下拉类的矩阵元在 Fock 空间上构造算子 $\mathsf{S}$，其由线性微分方程 $q \frac{d}{dq} \mathsf{S} = \mathsf{M} \mathsf{S} - \mathsf{S} \mathsf{M}(0)$ 控制。
• 使用橡胶微分几何与拓扑递归关系，将无穷远处的下拉类与顶点贡献及边权重联系起来。
• 在范畴 $2\mathbf{Cob}^{L_1,L_2}$ 上采用 TQFT（拓扑量子场论）框架，以组织不同层级上的不变量。
• 通过 $\mathsf{S}$ 的逆与固定点基下的线性方程组，推导1腿顶点的不动点公式。

实验结果

研究问题

• RQ1 如何对形如 $N \to C$ 的3流形（其中 $N$ 是曲线 $C$ 上的秩2丛）的局部唐纳森-托马斯理论进行显式计算？
• RQ2 1腿等变唐纳森-托马斯顶点的精确形式是什么？它与戈帕库马尔-马里诺-法瓦公式等已知公式有何关系？
• RQ3 局部理论的不变量如何与 $\mathbb{C}^2$ 上点的希尔伯特概形的量子上同调相关联？
• RQ4 能否通过局部化与退化技术在非环状局部3流形上建立格罗莫夫-威滕/唐纳森-托马斯对偶性？
• RQ5 控制橡胶下拉类生成函数的微分方程是什么？如何求解该方程以恢复顶点不变量？

主要发现

• 1腿等变顶点通过涉及算子 $\mathsf{S}$ 的逆的不动点公式显式计算得出，该算子满足微分方程 $q \frac{d}{dq} \mathsf{S} = \mathsf{M} \mathsf{S} - \mathsf{S} \mathsf{M}(0)$。
• 算子 $\mathsf{S}$ 的矩阵元表示为唐纳森-托马斯橡胶系列的比值：$\langle \mu | \mathsf{S} | \nu \rangle_{\mathcal{F}} = q^{-d} \frac{\langle \mu | \frac{1}{1 - \psi_\infty} | \nu \rangle^\sim}{\langle \emptyset | \frac{1}{1 - \psi_\infty} | \emptyset \rangle^\sim}$。
• 对 $\mathsf{S}$ 的微分方程的解表明，当 $q$ 不是单位根时，$\mathsf{S}$ 可逆，从而保证了不动点系统的相容性。
• 1腿顶点的计算在限制于卡拉比-丘几何时，作为特例恢复了戈帕库马尔-马里诺-法瓦公式。
• 分划函数 $\mathsf{Z}(N)_d$ 完全由理想层模空间中 $T$-不动点集上的虚拟局部化公式确定。
• 通过格罗莫夫-威滕与唐纳森-托马斯不变量各自的分划函数与量子上同调结构的等价性，建立了局部曲线的格罗莫夫-威滕/唐纳森-托马斯对偶性。