[论文解读] Log Crepant Birational Maps and Derived Categories

Yūjirō Kawamata|ArXiv.org|Nov 10, 2003

Algebraic Geometry and Number Theory参考文献 6被引用 71

一句话总结

本文通过在具有$$\mathbb{Q}$-除子的代数簇对之间引入对数卡坦森双有理映射，将 Kawamata 的导出范畴猜想推广到对数情形。当两个此类对通过公共解析实现对数卡坦森双有理变换时，其关联的 Deligne-Mumford 群胚上的凝聚层导出范畴是等价的。关键结果证明了具有标准系数除子的 торic 代数簇满足导出等价性，从而推广了 McKay 对应关系。

ABSTRACT

We extend the conjecture on the derived equivalence and K-equivalence to the logarithmic case and prove it in the toric case.

研究动机与目标

• 将导出范畴等价性猜想推广至具有$$\mathbb{Q}$-除子的对数终端对。
• 通过 Deligne-Mumford 群胚构建框架，以处理导出范畴理论中的奇点。
• 证明对数卡坦森双有理映射诱导出与对 $(X,B)$ 和 $(Y,C)$ 关联的堆栈之间的导出等价性。
• 从关联于堆栈的凝聚层导出范畴中恢复双有理不变量并重构代数簇。
• 将结果与非交换几何及模空间理论解释相联系。

提出的方法

• 定义满足局部光滑覆盖条件 (*) 的对 $(X,B)$，其中 $\mathbb{Q}$-除子满足：对某个有限拟射态射 $\pi:U\to X$，有 $\pi^*(K_X + B) = K_U$。
• 通过纤维积构造的 étale 群胚，从此类对构造关联的 Deligne-Mumford 堆栈 $\mathcal{X}$ 和 $\mathcal{Y}$。
• 提出猜想 2.2：若存在从公共 $W$ 出发的合适双有理态射 $\mu$ 和 $\nu$，使得 $\mu^*(K_X + B) = \nu^*(K_Y + C)$，则有 $D^b(\text{Coh}(\mathcal{X})) \cong D^b(\text{Coh}(\mathcal{Y}))$。
• 证明：在曲面上，对数终端对满足条件 (*)，且在相同条件下为对数卡坦森。
• 利用 toric 几何，并通过分解为翻转与除子收缩，验证了该猜想在 toric 情形下的成立。
• 通过拉回与上推构造傅里叶-穆卡伊函子，建立等价性，并利用 Serre 函子与生成类，将其与非交换环联系起来。

实验结果

研究问题

• RQ1 在何种条件下，具有$$\mathbb{Q}$-除子的双有理等价代数簇对，其关联堆栈上的凝聚层导出范畴是等价的？
• RQ2 对数卡坦森不变量能否从关联于对数对的堆栈的导出范畴中恢复？
• RQ3 对于具有标准系数除子的 toric 对，其关联堆栈的导出范畴在对数卡坦森双有理映射下是否保持不变？
• RQ4 堆栈的导出范畴如何与非交换几何相关联，特别是通过生成对象的自同态环？
• RQ5 堆栈的导出范畴是否与由其生成类构造的非交换环上的模的导出范畴等价？

主要发现

• 猜想 2.2 在 toric 代数簇上已得证明：若 $f: X \dashrightarrow Y$ 是一个 toric 合理双有理映射，且满足 $g^*(K_X + B) = h^*(K_Y + C)$，则通过傅里叶-穆卡伊函子有 $D^b(\text{Coh}(\mathcal{Y})) \cong D^b(\text{Coh}(\mathcal{X}))$。
• 导出范畴可恢复关键的双有理不变量，如对数卡坦森除子，且可从堆栈上凝聚层范畴重构代数簇本身。
• 在曲面上，一对 $(X,B)$ 满足条件 (*) 当且仅当其为对数终端，从而在二维情形下实现了完全刻画。
• 即使映射本身不是态射，只要在公共解析下对数卡坦森除子被保持，导出范畴的等价性依然成立。
• 堆栈 $\mathcal{Y}$ 的导出范畴与一个非交换环 $A_Y$ 的模的导出范畴等价，其中 $A_Y$ 是作为生成对象自同态环构造的。
• 不同 $n$ 对应的函子图不交换，原因在于由不同可逆层定义的 Serre 函子不相容，表明该等价性无法直接提升为系统。