[论文解读] Donaldson-Thomas theory of A_n x P^1

Davesh Maulik, Alexei Oblomkov|ArXiv.org|Feb 20, 2008

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

一句话总结

本文通过将除子算符用作用于 Fock 空间的仿射代数 $\widehat{\mathfrak{gl}}(n+1)$ 表示，为 $\mathcal{A}_n \times \mathbb{P}^1$ 的相对 Donaldson-Thomas 理论提供了完整的解决方案。在非退化性猜想下，证明了 GW/DT 对应关系，并将 DT 环识别为 $\mathcal{A}_n$ 上点的 Hilbert 模间小量子上同调，为该相对 DT 理论提供了完整的代数结构。

ABSTRACT

We study the relative Donaldson-Thomas theory of A_n x P^1, where A_n is the surface resolution of a type A_n singularity. The action of divisor operators in the theory is expressed in terms of operators of the affine algebra \hat{gl}(n+1) on Fock space. Assuming a nondegeneracy conjecture, this gives a complete solution for the theory. The results complete the comparison of this theory with the Gromov-Witten theory of A_n x P^1 and the quantum cohomology of the Hilbert scheme of points on A_n.

研究动机与目标

• 为纤维化于 $\mathbb{P}^1$ 的三倍空间 $\mathcal{A}_n \times \mathbb{P}^1$（其中 $\mathcal{A}_n$ 为 $A_n$ 奇点的解析）提供相对 Donaldson-Thomas 理论的完整代数描述。
• 通过 $\widehat{\mathfrak{gl}}(n+1)$ 代数在 Fock 空间上的作用，表达 DT 理论中除子算符的作用。
• 在前期工作的基础上，建立该相对理论的 Gromov-Witten/Donaldson-Thomas 对应关系。
• 在非退化性猜想下，证明 $H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$ 的 DT 环形变与小量子上同调环一致。
• 通过退化与 TQFT 形式化方法，将该框架推广至更高亏格曲线上的 $\mathcal{A}_n$-丛。

提出的方法

• 通过在 $X = \mathcal{A}_n \times \mathbb{P}^1$ 上理想层模空间的 $T$-不动点集上进行留数积分，利用等变 DT 不变量来构建理论，其中沿 $\mathbb{P}^1$ 的纤维施加了相对条件。
• 利用橡胶几何与相对模空间 $I_\chi(X/S, (\beta,m))$，定义了在 $\mathcal{A}_n$ 上点的 Hilbert 模中有边界条件的不变量。
• 通过 $\widehat{\mathfrak{gl}}(n+1)$ 的 Fock 空间表示中的算符，编码除子算符的作用，其显式公式由曲面的几何结构与 $T$-作用导出。
• 为确保算符 $M_D$ 与 $M_{(1,\omega_i)}$ 的联合特征空间为一维，假设了非退化性猜想，从而实现 DT 环的完整重构。
• 通过退化技术与三点多函数比较，证明了 GW/DT 对应关系，关键在于两个理论中除子算符的一致性。
• 通过结合 $\mathcal{A}_n \times \mathbb{P}^1$ 的相对 DT 理论与 $X(0,-1)$ 上的已知结果，在 Calabi-Yau 特化下，将结果推广至更高亏格曲线上的 $\mathcal{A}_n$-丛。

实验结果

研究问题

• RQ1 如何利用代数结构完全计算 $\mathcal{A}_n \times \mathbb{P}^1$ 的相对 Donaldson-Thomas 理论？
• RQ2 在 $\mathcal{A}_n \times \mathbb{P}^1$ 的 DT 理论中，除子算符的精确作用是什么？它与表示理论有何关联？
• RQ3 在非退化性猜想下，$H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$ 的 DT 环形变是否与小量子上同调环一致？
• RQ4 该相对 DT 理论的 GW/DT 对应关系是否成立？其在 $\mathbb{P}^1$ 基空间退化时的行为如何？
• RQ5 如何通过退化与 TQFT 方法，将该框架推广至更高亏格曲线上的 $\mathcal{A}_n$-丛？

主要发现

• 在非退化性猜想下，$\mathcal{A}_n \times \mathbb{P}^1$ 的相对 DT 分区函数完全由 $\widehat{\mathfrak{gl}}(n+1)$ 算符在 Fock 空间上的作用决定。
• 证明了除子算符 $M_D$ 与 $M_{(1,\omega_i)}$ 的联合谱具有互异的本征值，支持其联合特征空间为一维的猜想。
• 在非退化性猜想下，$H_T^*(\mathrm{Hilb}(\mathcal{A}_n), \mathbb{Q})$ 的 DT 环形变由除子类生成，且同构于小量子上同调环。
• 该理论的 GW/DT 对应关系成立：在变量替换 $-q = e^{iu}$ 后，DT 理论中的三点多函数与 Gromov-Witten 理论中的三点多函数一致，原因在于除子算符在两个理论中一致。
• 对于 $k > 3$ 个相对纤维的情况，通过将 $\mathbb{P}^1$ 退化为有理曲线链，将对应关系约化为 $k=3$ 的情形，同时保持 GW/DT 的匹配性。
• 通过结合 $\mathcal{A}_n \times \mathbb{P}^1$ 的相对 DT 理论与已知的 $X(0,-1)$ 结果，利用退化公式与增强的 TQFT 形式化方法，将该框架推广至更高亏格曲线上的 $\mathcal{A}_n$-丛。