[论文解读] Nonexistence of semiorthogonal decompositions and sections of the canonical bundle

Kotaro Kawatani, Shinnosuke Okawa|arXiv (Cornell University)|Aug 4, 2015

Algebraic Geometry and Number Theory参考文献 34被引用 15

一句话总结

本文证明了光滑射影概代数簇的导出范畴的半正交分解（SOD）受到其 canonical 线丛全局截面的强约束。若 canonical 线丛的基点纯量集包含于 canonical 线丛为平凡的区域中，则不存在非平凡的 SOD。该结果推广了此前对曲线的研究，并扩展至高维极小代数簇，包括 Kodaira 维数为 0、1 和 2 的曲面，以及扭曲导出范畴。

ABSTRACT

For any admissible subcategory of the bounded derived category of coherent sheaves on a smooth proper variety, we prove that sections of the canonical bundle impose a strong constraint on the supports of the objects of the subcategory or its semiorthogonal complement. We also show that admissible subcategories are rigid under the actions of topologically trivial autoequivalences. As applications of these results, we prove that the derived category of various minimal varieties in the sense of the minimal model program admit no non-trivial semiorthogonal decompositions, generalizing the result for curves due to the second author to higher dimensions. The case of minimal surfaces is further investigated in detail.

研究动机与目标

• 理解具有非负 Kodaira 维数的光滑射影概代数簇的导出范畴中半正交分解（SOD）的结构。
• 建立由 canonical 线丛的基点纯量集引发的 SOD 的几何约束。
• 证明在拓扑平凡自等价（如与 Pic⁰(X/k) 中线丛张量）作用下 SOD 的刚性。
• 将结果推广至 Brauer 对的扭曲导出范畴。
• 证明对多种极小代数簇（包括一般型曲面与双椭圆曲面）不存在非平凡 SOD。

提出的方法

• 将完整 canonical 线丛系统的基点纯量集 Bs |ωX| 作为关键几何不变量，用以约束 SOD 分量中对象的支集。
• 应用 Serre 对偶性与导出范畴技巧，证明若 ωX 在 Bs |ωX| 的邻域上为平凡，则不存在非平凡 SOD。
• 证明 SOD 在 Pic⁰(X/k) 中线丛张量作用下的刚性，表明此类自等价保持分解结构。
• 通过 Azumaya 代数与 Čech 上链构造 Brauer 类，将导出范畴的标准结果适配至扭曲层。
• 利用基变换定理与上同调消去性，分析族中上同调群的结构。
• 通过验证关键引理（如 Serre 对偶性、生成类）在扭曲情形下仍成立，将结果推广至上同调 Brauer 对 (X, α)。

实验结果

研究问题

• RQ1 在何种 canonical 线丛条件下，光滑射影概代数簇的导出范畴不允许可非平凡半正交分解？
• RQ2 canonical 线丛的全局截面如何约束 SOD 分量中对象的支集？
• RQ3 SOD 在拓扑平凡自等价（如与 Pic⁰(X/k) 中线丛张量）下能保持到何种程度？
• RQ4 SOD 非存在性结果能否推广至 Brauer 对的扭曲导出范畴？
• RQ5 Kodaira 维数为 0、1 和 2 的极小曲面的导出范畴具有何种精确结构？

主要发现

• 若 canonical 线丛的基点纯量集包含于 ωX 为平凡的区域中，则导出范畴不允许可非平凡半正交分解。
• 任何具有有限基点纯量集的光滑射影概代数簇（即 |ωX| 的基点纯量集有限），其导出范畴不允许可非平凡 SOD。
• 对任意光滑射影概代数簇满足 [ωX] ∈ Pic⁰(X/k)，其导出范畴不允许可 SOD。
• 双椭圆曲面与阿贝尔簇的积的导出范畴不允许可 SOD。
• 对一般型曲面，若 dim H⁰(X, ωX) > 1 且满足某条件 (*)，其导出范畴不允许可 SOD。
• 结果可推广至光滑射影 Brauer 对 (X, α) 的扭曲导出范畴 D(X, α)，只要 ωX 在 Bs |KX| 的邻域上为平凡。