[论文解读] D-equivalence and K-equivalence

Yūjirō Kawamata|ArXiv.org|May 27, 2002

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

一句话总结

本文研究了关于光滑射影簇的D-等价性（相干层的导出范畴等价）与K-等价性（在共同的解析上具有同构的canonical除子的双有理等价）是否一致的猜想。通过傅里叶- Mukai变换与canonical覆盖堆栈，证明了对一般型的簇，D-等价性蕴含K-等价性；并利用其canonical堆栈，为具有Q-因子终端奇点的3- folds 建立了导出等价性，为D = K猜想提供了强有力证据。

ABSTRACT

Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$. They are called {\it $D$-equivalent} if their derived categories of bounded complexes of coherent sheaves are equivalent as triangulated categories, while {\it $K$-equivalent} if they are birationally equivalent and the pull-backs of their canonical divisors to a common resolution coincide. We expect that the two equivalences coincide at least for birationally equivalent varieties. We shall provide a partial answer to the above problem in this paper.

研究动机与目标

• 研究光滑射影簇之间D-等价性与K-等价性是否一致的猜想。
• 建立导出范畴等价蕴含具有同构canonical除子的双有理等价的条件。
• 通过canonical覆盖堆栈将Bondal-Orlov定理推广至高维簇及奇点情形。
• 在特定几何假设下，通过证明双向蕴含关系，为D = K猜想提供部分解法。

提出的方法

• 使用傅里叶- Mukai积分函子来表示相干层导出范畴之间的等价性。
• 应用Orlov的表示性定理，表明任意精确等价均可由乘积簇的导出范畴中的核对象实现。
• 利用canonical覆盖堆栈处理奇点簇，特别是Q-因子终端3- folds。
• 通过局部自由层构造全局解析，并利用高阶直接像的消去定理，确保导出函子的相容性。
• 利用Galois覆盖的等变导出范畴，将堆栈的导出范畴与原簇的导出范畴关联起来。
• 运用生成类与高阶Hom空间的消去概念，验证函子等价性。

实验结果

研究问题

• RQ1 对于一般型的光滑射影簇，D-等价性是否蕴含K-等价性？
• RQ2 D = K猜想能否推广至奇点簇，特别是具有终端奇点的3- folds？
• RQ3 在何种条件下，导出等价性蕴含具有同构canonical除子的双有理等价性？
• RQ4 在K-等价性下，canonical覆盖堆栈的导出范畴是否与原簇的导出范畴等价？
• RQ5 canonical堆栈的导出等价性是否蕴含原簇的导出等价性？

主要发现

• 对一般型或反canonical线丛为一般型的光滑射影簇，D-等价性蕴含K-等价性。
• 对光滑射影曲面，D-等价的簇在同构意义下至多有有限多个；若X包含一条(−1)-曲线且不是相对极小的椭圆有理曲面，则任意D-等价的Y必同构于X。
• 对具有Q-因子终端奇点的3- folds，K-等价性蕴含其canonical覆盖堆栈的导出等价性。
• 通过Galois覆盖的等变导出范畴，建立了canonical堆栈之间导出范畴的等价性。
• 堆栈导出范畴的等价性无法下移至奇点簇的通常导出范畴。
• canonical覆盖堆栈构造使得D-等价性结果可推广至经典理论失效的奇点簇。