[论文解读] Semiorthogonal decompositions of stable pair moduli spaces via d-critical flips

Yukinobu Toda|arXiv (Cornell University)|May 1, 2018

Algebraic Geometry and Number Theory参考文献 26被引用 10

一句话总结

本文通过在导出代数几何中的 d-临界翻转，建立了在具有不可约曲线类的卡拉比-丘 3-流形上的帕因德里帕兰德-托马斯（PT）稳定对模空间的半正交分解（SOD）。在模空间非奇异的假设下，证明了 PT 模空间上凝聚层导出范畴的完整 SOD，对 PT 不变量的墙穿跃公式进行了范畴化，并提供了邦达尔-奥罗洛夫与川松 D/K 等价猜想的 d-临界类比。

ABSTRACT

We show the existence of semiorthogonal decompositions (SOD) of Pandharipande-Thomas (PT) stable pair moduli spaces on Calabi-Yau 3-folds with irreducible curve classes, assuming relevant moduli spaces are non-singular. The above result is motivated by categorifications of wall-crossing formula of PT invariants in the derived category, and also a d-critical analogue of Bondal-Orlov, Kawamata's D/K equivalence conjecture. We also give SOD of stable pair moduli spaces on K3 surfaces, which categorifies Kawai-Yoshioka's formula proving Katz-Klemm-Vafa formula for PT invariants on K3 surfaces with irreducible curve classes.

研究动机与目标

• 建立在具有不可约曲线类的卡拉比-丘 3-流形上的 PT 稳定对模空间的半正交分解（SOD）
• 通过导出范畴等价与 SOD 对 PT 不变量的墙穿跃公式进行范畴化
• 在凝聚层导出范畴的背景下，提供邦达尔-奥罗洛夫与川松 D/K 等价猜想的 d-临界类比
• 将 SOD 结果推广至 K3 曲面及非紧致卡拉比-丘 3-流形，包括相对 Hilbert 模空间与曲线的对称积

提出的方法

• 利用 d-临界双有理几何，特别是 d-临界简单翻转，分析 PT 模空间的导出范畴
• 应用导出因子化范畴与傅里叶-穆卡伊函子的框架，构建模空间导出范畴之间的全忠实嵌入
• 在卡拉比-丘 3-流形的导出范畴中使用墙穿跃图，通过映射 π⁺ 与 π⁻ 关联稳定对模空间
• 利用墙穿跃图的纤维积结构，定义傅里叶-穆卡伊函子的核，并构造 SOD
• 依赖于模空间上 π⁺-ample 线丛的存在性，通过与线丛张量定义函子 Υⁱ_P
• 应用 d-临界几何的结果，包括 d-临界翻转理论与对称性障碍理论的结构，以确保在非奇异假设下 SOD 的有效性

实验结果

研究问题

• RQ1 在具有不可约曲线类的卡拉比-丘 3-流形上，PT 稳定对模空间的导出范畴是否允许半正交分解？
• RQ2 PT 不变量的墙穿跃公式能否通过导出范畴等价与 SOD 实现范畴化？
• RQ3 在稳定对模空间的背景下，是否存在邦达尔-奥罗洛夫与川松 D/K 等价猜想的 d-临界类比？
• RQ4 此类 SOD 对 K3 曲面或局部卡拉比-丘 3-流形上的对称积曲线与相对 Hilbert 模空间有何影响？

主要发现

• 当 $U_n(X,\beta)$ 非奇异时，具有不可约曲线类 $\beta$ 的卡拉比-丘 3-流形上 PT 模空间 $P_n(X,\beta)$ 的导出范畴允许半正交分解
• SOD 的形式为 $D^b(P_n(X,\beta)) = \langle \mathrm{Im} \Upsilon_P^{-n+1}, \ldots, \mathrm{Im} \Upsilon_P^0, \mathrm{Im} \Phi_P \rangle$，其中 $\Phi_P$ 是全忠实的傅里叶-穆卡伊函子，$\Upsilon_P^i$ 是通过拉回与 ample 线丛张量定义的全忠实函子
• SOD 对墙穿跃公式 $P_{n,\beta} - P_{-n,\beta} = (-1)^{n-1} n N_{n,\beta}$ 实现了范畴化，通过取 Hochschild 同调的欧拉示性数验证
• 当 $X = \mathrm{Tot}_S(K_S)$ 且 $-K_S \cdot \beta > 0$ 时，SOD 适用于在 $S$ 上完整线性系统上的全族曲线的相对点 Hilbert 模空间，从而实现 Hilbert 模空间的导出分解
• 当 $X = \mathrm{Tot}_C(L_1 \oplus L_2)$ 且 $L_1 \otimes L_2 \cong \omega_C$ 时，SOD 给出 $D^b(C^{[n+g-1]}) = \langle D^b(J_C), \ldots, D^b(J_C) \text{ (n 次)}, D^b(C^{[-n+g-1]}) \rangle$，这是关于曲线对称积的新结果
• SOD 结构在基变换至 $C \times J_C$ 下保持不变，且模空间与纤维积之间的同构与 d-临界结构相容，确认了 d-临界翻转框架的有效性