[论文解读] Derived categories of coherent sheaves

Alexey Bondal, Dmitri Olegovich Orlov|arXiv (Cornell University)|Jun 27, 2002

Algebraic structures and combinatorial models参考文献 13被引用 210

一句话总结

该论文证明了具有丰沛 canonical 或 anticanonical 线丛的光滑射影簇由其凝聚层的导出范畴唯一确定，即导出等价蕴含同构。论文提出了一类用于导出范畴之间全纯函子的判定准则，并为二次曲面的完全交与爆破构造了半正交分解，揭示了其与非交换几何及 Koszul 对偶性的深层联系。

ABSTRACT

We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.

研究动机与目标

• 确定当光滑射影簇的凝聚层导出范畴彼此等价时，其是否同构。
• 基于点的结构层正交性，提出导出范畴之间全纯函子的判定准则。
• 描述导出范畴在爆破、翻转与 flop 等双有理变换下的行为。
• 推广导出 McKay 对应，并探索非交换奇点消除。
• 利用 Koszul 对偶与非交换代数，建立二次曲面完全交的半正交分解。

提出的方法

• 利用 Serre 自同态与分次范畴结构，从导出范畴重构几何数据（点、线丛、拓扑）。
• 应用半正交分解概念，将爆破的导出范畴分解为与原簇及爆破中心同构的分量。
• 运用 Koszul 对偶，将 $m$ 个二次曲面的完全交的导出范畴与 $\mathbb{P}(U)$ 上非交换代数层的导出范畴关联。
• 对二次曲面的完全交，构造从 $\mathcal{D}^b(\text{coh}(\mathcal{B}))$ 到 $\mathcal{D}^b(X)$ 的全纯嵌入函子。
• 分析广义 Clifford 代数 $B$ 的中心，并证明当 $n$ 为奇数时，其给出 $\mathbb{P}(U)$ 上的分歧双覆盖 $Y$，且 $\mathcal{B}'$ 为 $Y$ 上的 Azumaya 代数。
• 利用代数闭域上 Brauer 群的平凡性，证明在特定情形下 $\mathcal{D}^b(\text{coh}(\mathcal{B}'))$ 与 $\mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$ 等价。

实验结果

研究问题

• RQ1 若两个具有丰沛 canonical 或 anticanonical 线丛的光滑射影簇的凝聚层导出范畴等价，则它们何时同构？
• RQ2 何种条件可确保两个凝聚层导出范畴之间的函子为全纯函子？
• RQ3 导出范畴在爆破及其他双有理变换（如翻转与 flop）下如何变化？
• RQ4 能否通过非交换代数结构描述二次曲面完全交的导出范畴？
• RQ5 Koszul 对偶与非交换几何在描述完全交导出范畴中起何作用？

主要发现

• 具有丰沛 canonical 或 anticanonical 线丛的光滑射影簇由其凝聚层导出范畴唯一确定。
• 对于此类簇，$\mathcal{D}^b(X)$ 的精确自同构群是 $X$ 的自同构群、Picard 群与平移的半直积。
• 对光滑簇 $X$ 沿光滑中心 $Y$ 的爆破，存在半正交分解 $\mathcal{D}^b(X) = \langle \mathcal{D}^b(Y), \mathcal{D}^b(X) \rangle$，其分量分别同构于 $\mathcal{D}^b(Y)$ 与 $\mathcal{D}^b(X)$。
• 在 $\mathbb{P}^{n-1}$ 中，若 $2m < n$，$m$ 个二次曲面的完全交存在半正交分解 $\mathcal{D}^b(X) = \langle \mathcal{O}_X(-n+2m+1), \ldots, \mathcal{O}_X, \mathcal{D}^b(\text{coh}(\mathcal{B})) \rangle$。
• 当 $2m = n$ 时，完全交的导出范畴与非交换代数 $\mathcal{B}$ 的凝聚层导出范畴等价，即 $\mathcal{D}^b(X) \simeq \mathcal{D}^b(\text{coh}(\mathcal{B}))$。
• 当 $n$ 为奇数时，代数 $\mathcal{B}$ 的中心给出 $\mathbb{P}(U)$ 上的分歧双覆盖 $Y$，且 $\mathcal{B}'$ 为 $Y$ 上的 Azumaya 代数，由于 Brauer 群平凡，有 $\mathcal{D}^b(\text{coh}(\mathcal{B}')) \simeq \mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$。