[论文解读] Semiorthogonal decomposition for algebraic varieties

Alexey Bondal, Dmitri Olegovich Orlov|ArXiv.org|Jun 19, 1995

Algebraic structures and combinatorial models参考文献 6被引用 377

一句话总结

本文为光滑代数簇上 coherent sheaf 的导出范畴之间的全忠实函子建立了一个判别准则，将其应用于两个偶数维二次曲面交的导出范畴，推导出其半正交分解，并证明了具有 ample 或 anti-ample canonical bundle 的光滑射影簇由其 coherent sheaf 的导出范畴唯一确定。主要贡献为一个重构定理，以及对 flop 下导出等价性的证据。

ABSTRACT

A criterion for a functor between derived categories of coherent sheaves to be full and faithful is given. A semiorthogonal decomposition for the derived category of coherent sheaves on the intersection of two even dimensional quadrics is obtained. The behaviour of derived categories with respect to birational transformations is investigated. A theorem about reconstruction of a variety from the derived category of coherent sheaves is proved.

研究动机与目标

• 建立一个函子 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ 在 coherent sheaf 的导出范畴之间全忠实的判别准则。
• 描述两个偶数维二次曲面交的导出范畴的半正交分解。
• 研究导出范畴在双有理变换（特别是翻转和 flop）下的行为。
• 证明具有 ample 或 anti-ample canonical bundle 的光滑射影簇由其 coherent sheaf 的导出范畴唯一确定。
• 刻画 canonical 或 anticanonical bundle 为 ample 时，导出范畴的自同构群的结构。

提出的方法

• 通过函子在 skyscraper sheaves 及其平移下的作用，引入一个判别全忠实性的准则。
• 通过 $X \times M$ 上的核 $E$ 构造函子 $\Phi_E$，公式为 $\Phi_E(\mathcal{F}) = \pi_*(E \otimes p^*\mathcal{F})$，其中 $p$ 和 $\pi$ 是从 $X \times M$ 到相应因子的投影。
• 将该准则应用于 $X$ 为两个偶数维二次曲面交的情形，识别出一个全子范畴，其等价于 $D^b_{coh}(C)$，其中 $C$ 是相关联的超椭圆曲线。
• 证明 $D^b_{coh}(X)$ 中 $D^b_{coh}(C)$ 的正交补 admits 一个 exceptional collection of line bundles。
• 利用导出范畴框架分析双有理映射，特别是 flop，证明对于某些翻转，$D^b_{coh}(X^+)$ 可全忠实嵌入 $D^b_{coh}(X)$。
• 通过识别范畴结构（canonical ring 与点对象 $\mathcal{O}_x$ 的集合）重构该簇，证明重构定理：该簇可唯一恢复至同构。

实验结果

研究问题

• RQ1 在何种条件下，coherent sheaf 的导出范畴之间的函子是全忠实的？
• RQ2 两个偶数维二次曲面交的导出范畴能否被分解为更简单的组成部分？
• RQ3 导出范畴在如翻转和 flop 等双有理变换下如何变化？
• RQ4 一个光滑射影簇在多大程度上由其 coherent sheaf 的导出范畴唯一确定？
• RQ5 当 canonical 或 anticanonical bundle 为 ample 时，$D^b_{coh}(X)$ 的自同构群结构如何？

主要发现

• 函子 $\Phi_E: D^b_{coh}(M) \to D^b_{coh}(X)$ 全忠实当且仅当其在 skyscraper sheaves 及其平移的像之间的 $\operatorname{Hom}$-空间上诱导同构。
• 当 $X$ 为两个偶数维二次曲面的光滑交时，存在半正交分解 $D^b_{coh}(X) = \langle D^b_{coh}(C), \mathcal{O}_X, \mathcal{O}_X(1), \dots, \mathcal{O}_X(n-1) \rangle$，其中 $C$ 为关联的超椭圆曲线。
• 二次曲面交的导出范畴 admits 全忠实嵌入 $D^b_{coh}(C)$，且其正交补由一个 exceptional collection of line bundles 生成。
• 在 $X$ 与 $X^+$ 之间的 flop 中，存在全忠实嵌入 $D^b_{coh}(X^+) \hookrightarrow D^b_{coh}(X)$，支持了二者导出范畴等价的猜想。
• 若 $X$ 为具有 ample 或 anti-ample canonical bundle 的光滑射影簇，则任何满足 $D^b_{coh}(X) \simeq D^b_{coh}(X')$ 的簇 $X'$ 必同构于 $X$，从而证明了导出重构定理。
• 对于此类 $X$，$D^b_{coh}(X)$ 的精确自同构群由簇的自同构、与线丛的张量积以及平移（translation）生成。