[论文解读] Stability conditions on Kuznetsov components

Arend Bayer, Martí Lahoz+2 more|arXiv (Cornell University)|Mar 31, 2017

Homotopy and Cohomology in Algebraic Topology被引用 9

一句话总结

该论文在特征为零或足够大的代数闭域上，建立了法诺三复形与立方四复形的库任科夫分量上的布里奇兰稳定性条件的存在性。通过一种通用方法从半正交分解诱导 t-结构与稳定性条件，作者证明了库任科夫分量 $Σu(X)$ 具备布里奇兰稳定性条件，从而为通过导出范畴等价与稳定对象模空间，提供了立方四复形的托里奇定理的新证明。

ABSTRACT

We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of the Torelli theorem for cubic fourfolds by Huybrechts and Rennemo.

研究动机与目标

• 建立法诺三复形与立方四复形的库任科夫分量 $Σu(X)$ 上布里奇兰稳定性条件的存在性。
• 发展一种通用方法，用于从三角范畴的半正交分量诱导 t-结构与稳定性条件。
• 将该方法应用于法诺三复形（Picard 滞度为一）与特征不为 2 的立方四复形，证明其 $Σu(X)$ 上稳定性条件的存在性。
• 通过导出范畴等价与稳定对象模空间，提供立方四复形托里奇定理的新变体证明。

提出的方法

• 开发了一种通用构造方法，用于从三角范畴中例外系的右正交补中诱导 t-结构与稳定性条件。
• 该方法依赖于倾斜与布里奇兰稳定性技术，并结合半正交分解的结构。
• 作者通过分析其已知的半正交分解并利用例外系的存在性，将该方法应用于法诺三复形。
• 对于立方四复形，该方法应用于分解 $σδ^b(X) = \langleΣu(X), ϵ_X, ϵ_X(H), ϵ_X(2H)\rangle$，其中 $Σu(X)$ 是一个 K3 类范畴。
• 该构造涉及验证支撑性质，以及存在具有适当哈拉尔-纳拉辛汉与若尔当-霍尔德滤子的有界 t-结构的中心。
• 附录中，该方法被用于重新证明立方四复形的托里奇定理，表明 cohomology 上的霍奇同构可上提为 $Σu(X)$ 与 $Σu(Y)$ 之间的导出等价，从而诱导出稳定对象模空间的同构。

实验结果

研究问题

• RQ1 在任意特征为零或足够大的代数闭域上，Picard 滞度为一的法诺三复形的库任科夫分量 $Σu(X)$ 是否 admits 布里奇兰稳定性条件？
• RQ2 当基域的特征不为 2 时，立方四复形的库任科夫分量上是否可构造布里奇兰稳定性条件？
• RQ3 如何系统地从代数簇的导出范畴诱导半正交分量上的稳定性条件？
• RQ4 库任科夫分量 $Σu(X)$ 上稳定性条件的存在性在多大程度上能对稳定对象模空间施加几何控制？
• RQ5 能否通过导出范畴等价与库任科夫分量中稳定对象的模空间，重新证明立方四复形的托里奇定理？

主要发现

• 在特征为零或足够大的代数闭域上，任意 Picard 滞度为一的法诺三复形的库任科夫分量 $Σu(X)$ 均 admits 布里奇兰稳定性条件。
• 在特征不为 2 的域上，立方四复形的库任科夫分量 $Σu(X)$ 也 admits 布里奇兰稳定性条件。
• 在 $Σu(X)$ 上存在稳定性条件，使得可构造在导出等价下保持不变的稳定对象模空间。
• 诱导半正交分量上稳定性条件的方法具有一般性，适用于任何具有半正交分解的三角范畴。
• 附录中，通过证明 $H^4_{ prim}(X,\mathbb{Z})$ 上的霍奇同构可上提为 $Σu(X)$ 与 $Σu(Y)$ 之间的导出等价，从而诱导出同构 $X \cong Y$，提供了立方四复形托里奇定理的新证明。
• 该证明依赖于：固定类的 $Σu(X)$ 中稳定对象模空间与 $Σu(Y)$ 中的模空间同构，且该同构由导出等价诱导，从而得出 $X \cong Y$。