[论文解读] Categorical wall-crossing formula for Donaldson-Thomas theory on the resolved conifold

Yukinobu Toda|arXiv (Cornell University)|Sep 15, 2021

Algebraic structures and combinatorial models参考文献 67被引用 5

一句话总结

该论文在解析的锥面的唐纳森-托马斯理论中，首次建立了非简单墙穿跃的范畴化墙穿跃公式，通过范畴化 Hall 乘积与 Kn"orrer 周期性，将范畴化 Pandharipande-Thomas 不变量分解为点上的矩阵因子化，从而范畴化了数值 PT 不变量的乘积展开式。该结果实现了该空间上 PT 不变量生成函数公式的完整范畴化。

ABSTRACT

We prove wall-crossing formula for categorical Donaldson-Thomas invariants on the resolved conifold, which categorifies Nagao-Nakajima wall-crossing formula for numerical DT invariants on it. The categorified Hall products are used to describe the wall-crossing formula as semiorthogonal decompositions. A successive application of categorical wall-crossing formula yields semiorthogonal decompositions of categorical Pandharipande-Thomas stable pair invariants on the resolved conifold, which categorify the product expansion formula of the generating series of numerical PT invariants on it.

研究动机与目标

• 证明解析锥面的唐纳森-托马斯不变量的范畴化墙穿跃公式，以范畴化 Nagao-Nakajima 的数值 DT 不变量墙穿跃公式。
• 将范畴化 DT 理论扩展至非简单墙穿跃情形，处理非紧致 Calabi-Yau 3-fold 中的非简单墙穿跃。
• 通过迭代应用范畴化墙穿跃公式，获得范畴化 PT 不变量的半正交分解。
• 通过矩阵因子化的导出范畴，范畴化解析锥面上数值 PT 不变量生成函数的乘积展开式。

提出的方法

• 利用 Pädurariu 引入的带有势函数的 quiver 的范畴化 Hall 乘积，将墙穿跃描述为半正交分解。
• 应用 Kn"orrer 周期性，将解析锥面上的局部墙穿跃图与带势函数的 d-临界 Grassmannian 翻转联系起来。
• 通过光滑概形 $M$ 上的正则函数 $w$，对模空间 $P_n(X,\beta)$ 的全局临界点集进行描述，使得 $\mathcal{DT}(P_n(X,\beta)) = \mathrm{MF}(M,w)$。
• 利用 $G$-等变变量替换和 $G$-等变 Morse 引理，将势函数 $w$ 简化为二次型加高阶项，从而实现分解。
• 应用 Nakayama 引理与理想包含关系，简化临界点集结构，并在整个变换过程中保持 $G$-不变性。
• 构造形式完备化的 $G$-等变同构，以实现所需的变量替换，确保与导出范畴结构兼容。

实验结果

研究问题

• RQ1 能否在范畴化唐纳森-托马斯理论中为非简单墙穿跃建立范畴化墙穿跃公式？
• RQ2 范畴化 Hall 乘积形式化方法如何应用于解析锥面背景下非简单墙穿跃的解决？
• RQ3 是否可以将解析锥面上的范畴化 PT 不变量分解为点上矩阵因子化的半正交族？
• RQ4 解析锥面上数值 PT 不变量的生成函数是否可通过矩阵因子化的导出范畴实现完全范畴化？

主要发现

• 该论文证明了解析锥面的范畴化墙穿跃公式，范畴化了 Nagao-Nakajima 的数值 DT 不变量墙穿跃公式。
• 对范畴化墙穿跃公式进行连续应用，可得到范畴化 PT 不变量的半正交分解，其由 $a_{n,\beta}$ 个 $\mathrm{MF}(\mathrm{Spec}\,\mathbb{C}, 0)$ 构成，即点上的矩阵因子化范畴。
• 数值 $a_{n,\beta}$ 由满足 $\sum m \cdot l(m) = n$ 与 $\sum m \cdot l(m) = \beta$ 的整数分拆 $l$ 的和给出，与生成函数乘积展开中的系数一致。
• 该结果首次实现了范畴化 DT 理论中非简单墙穿跃的范畴化墙穿跃公式，扩展了以往仅限于简单墙穿跃情形的结果。
• 通过 $G$-等变变量替换将势函数简化为二次型，从而实现 Morse 引理与 Kn"orrer 周期性的应用，完成范畴化。
• 矩阵因子化导出范畴 $\mathrm{MF}(M,w)$ 通过其周期循环同调的欧拉示性数恢复了数值 PT 不变量 $P_{n,\beta}$，确认了范畴化过程。