[论文解读] Derived $\Theta$-stratifications and the $D$-equivalence conjecture

Daniel Halpern-Leistner|arXiv (Cornell University)|Oct 2, 2020

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

一句话总结

该论文通过导出 $Θ$-分层和具有自对偶余切复形的导出栈的局部结构定理，证明了与 K3 表面上 Gieseker 半稳定层模空间双有理等价的射影 Calabi-Yau 流形的 D-等价猜想。其通过 Bridgeland 稳定性条件的变化和 GIT 商的“魔法窗口”定理建立了导出等价性。

ABSTRACT

The theory of $\\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic stack. Using derived algebraic geometry, we develop a structure theory, which is a refinement of the theory of local cohomology, for the derived category of quasi-coherent complexes on an algebraic stack equipped with a $\\Theta$-stratification. We then apply this to the $D$-equivalence conjecture, which predicts that birationally equivalent Calabi-Yau manifolds have equivalent derived categories of coherent sheaves. We prove that any two projective Calabi-Yau manifolds that are birationally equivalent to a smooth moduli space of Gieseker semistable coherent sheaves on a $K3$ surface have equivalent derived categories. This establishes the first known case of the $D$-equivalence conjecture for a birational equivalence class in dimension greater than three.

研究动机与目标

• 证明维度大于三的双有理等价射影 Calabi-Yau 流形的 D-等价猜想。
• 通过导出代数几何，为配备 $Θ$-分层的代数栈上的拟相干复形发展导出结构理论。
• 通过 Luna 切片定理和良好模空间，建立 K3 表面上 Bridgeland 半稳定复形模栈的局部模型。
• 通过稳定性条件的变化和 GIT 商的“魔法窗口”定理，构造导出等价性。
• 将 D-等价猜想扩展至扭曲层的模空间和更一般的 2-Calabi-Yau $dg$-范畴。

提出的方法

• 发展了一套导出 $Θ$-分层框架，将 Harder-Narasimhan-Shatz 分层推广至任意代数栈。
• 引入了具有自对偶余切复形的导出栈的局部结构定理，其模型基于 GIT 商的变化。
• 应用 Halpern-Leistner（2016）的“魔法窗口”定理，在 GIT 商变化的局部模型中构造导出等价性。
• 利用光滑下降和涉及对偶复形与余切复形行列式之间的典范同构，建立平凡化。
• 利用 Calabi-Yau 流形的极小模型程序，将问题约化为 Bridgeland 半稳定复形的模空间。
• 通过光滑态射之间同构的相容性，在经典截断上构造了典范线丛的处处非零截面。

实验结果

研究问题

• RQ1 能否在维度大于三的情况下证明双有理等价 Calabi-Yau 流形的 D-等价猜想？
• RQ2 导出 $Θ$-分层如何改进代数栈上导出范畴的局部上同调与结构理论？
• RQ3 K3 表面上 Bridgeland 半稳定复形模栈的局部几何模型是什么？
• RQ4 在导出设定下，能否通过稳定性条件的变化构造导出等价性？
• RQ5 在何种条件下，良好模空间的变化会在光滑簇之间诱导导出等价性？

主要发现

• 对于任意两个与 K3 表面上 Gieseker 半稳定凝聚层的光滑模空间双有理等价的射影 Calabi-Yau 流形，D-等价猜想成立。
• 导出范畴等价性通过“魔法窗口”定理实现的 GIT 商变化的局部模型得以建立。
• 典范同构 $ϵ_{f}^{-1}$ 提供了相对典范线丛的平凡化，从而在经典截断上诱导出处处非零截面。
• 通过光滑下降和光滑态射之间同构的相容性，实现了 $H_0(ω_{ω}^{ullet})$ 上全局处处非零截面的构造。
• 局部结构定理适用于任意具有自对偶余切复形和良好模空间的导出栈，可推广至 2-Calabi-Yau $dg$-范畴。
• 结果可扩展至扭曲凝聚层的模空间，并首次为某一生理性等价类中维度 >3 的情形提供了 D-等价猜想的已知证明。