[论文解读] Derived categories of small toric Calabi-Yau 3-folds and counting invariants

Kentaro Nagao|arXiv (Cornell University)|Sep 17, 2008

Algebraic structures and combinatorial models参考文献 31被引用 45

一句话总结

本文通过小 Crepant 修复的仿射 toric Calabi-Yau 3-流形上的广义不变量生成函数的墙交叉公式，利用此类修复与带超势的 quiver 之间的导出等价性，建立了 Donaldson-Thomas、Pandharipande-Thomas 和非交换 Donaldson-Thomas 不变量之间的精确关系。关键结果是通过墙交叉现象，将这三类不变量联系起来，其显式公式源自 Ext-代数结构与锥形情况下的 MacMahon 函数。

ABSTRACT

We first construct a derived equivalence between a small crepant resolution of an affine toric Calabi-Yau 3-fold and a certain quiver with a superpotential. Under this derived equivalence we establish a wall-crossing formula for the generating function of the counting invariants of perverse coherent systems. As an application we provide certain equations on Donaldson-Thomas, Pandeharipande-Thomas and Szendroi's invariants. Finally, we show that moduli spaces associated with a quiver given by successive mutations are realized as the moduli spaces associated the original quiver by changing the stability conditions.

研究动机与目标

• 建立小 Crepant 修复的仿射 toric Calabi-Yau 3-流形上广义不变量生成函数的墙交叉公式。
• 将墙交叉框架从锥形情况推广至对应于小 toric Calabi-Yau 3-流形的一般梯形格点多边形（高度为1）。
• 通过导出范畴与稳定性参数，推导出 Donaldson-Thomas、Pandharipande-Thomas 与非交换 Donaldson-Thomas 不变量之间的显式方程。
• 证明广义不变量模空间的欧拉特征生成函数满足由稳定对象自扩张数据控制的墙交叉公式。

提出的方法

• 利用 toric 几何中的 Tilting Bundle，建立小 Crepant 修复的仿射 toric Calabi-Yau 3-流形与带超势的 quiver 之间的导出等价性。
• 通过带超势的 quiver 表示的模空间描述，识别典范丛与 Tilting Bundle，并计算自同态代数。
• 分析稳定性参数的房间结构，其中墙对应于仿射 A 型根系的虚根。
• 在量子环面代数中应用因子分解性质，通过在 $ q=1 $ 处作用 $ A^{Z}_{l_{ u}}(q^{e_0}x_{f e}) A^{Z}_{l_{ u}}(x_{f e})^{-1} $，关联不同房间的生成函数。
• 利用 $ B_E $ 代数（即 $ \mathrm{Ext}^1(E,E) $ 的关系来自超势）计算每面墙的贡献，并在 $ q=1 $ 处求值 $ f(t)|_{q=1} $，以获得墙交叉因子。
• 借助 [KS] 与 [MNOP06] 的结果，将虚墙的生成函数识别为 MacMahon 函数 $ M(-t)^{e(Y)} $，从而与 DT-PT 对应关系相联系。

实验结果

研究问题

• RQ1 在小 toric Calabi-Yau 3-流形的稳定性参数空间中，广义不变量生成函数在墙之间的行为如何？
• RQ2 在此背景下，墙交叉现象的精确数学结构是什么？它与 quiver 表示及超势有何关联？
• RQ3 是否可以在一般小 toric Calabi-Yau 3-流形设置下，从墙交叉公式推导出 DT-PT 对应关系？
• RQ4 稳定对象在墙上的自扩张结构如何决定墙交叉贡献？
• RQ5 量子环面代数与因子分解性质在编码墙交叉行为中起到何种作用？

主要发现

• 在小 Crepant 修复的仿射 toric Calabi-Yau 3-流形上，广义不变量模空间的欧拉特征生成函数的墙交叉公式得以建立。
• 墙交叉贡献由生成函数 $ f(t) $ 决定，该函数计数循环 $ B_E $-模，其中 $ B_E $ 是由超势关系定义的 $ \mathrm{Ext}^1(E,E) $ 代数。
• 当 $ \mathrm{ext}^1(E,E) = 0 $ 时，墙交叉因子为 $ 1 + t $，对应于平凡自扩张的情形。
• 当 $ \mathrm{ext}^1(E,E) = 1 $ 时，因子变为 $ (1 - t)^{-1} $，反映了非平凡的形变理论。
• 对于对应于 $ \mathcal{O}_y $-层的虚墙，贡献为 $ M(-t)^{e(Y)} $，即 MacMahon 函数的 $ e(Y) $ 次幂，从而确认了 DT-PT 对应关系。
• 量子环面代数中的公式 $ \prod^\rightarrow_k A^{Z^+}_{l_k} = A^Z_{l_\infty} \cdot \left( \prod^\leftarrow_k A^{Z^-}_{l_k} \right) \cdot A^Z_{l_\infty}^{-1} $ 编码了墙交叉结构，其中 $ A^Z_{l_\infty}(q^{e_0}t) A^Z_{l_\infty}(t)^{-1} \big|_{q=1} = f(t)^{e_0} $ 给出了关键贡献。