[论文解读] Equivalences of derived categories of sheaves on quasi-projective schemes

Matthew R. Ballard|ArXiv.org|May 19, 2009

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

一句话总结

本文将奥尔洛夫（Orlov）关于导出等价性的表示定理推广至域上拟射影概族，证明任意此类概族上有界凝聚层导出范畴之间的精确等价，均可由其积的导出范畴中唯一核的傅里叶-穆凯伊变换实现。该结果在较弱的上同调条件下，将奥尔洛夫原始关于光滑射影簇的工作推广至更一般的拟射影情形。

ABSTRACT

We extend Orlov's result on representability of equivalences to schemes projective over a field. We also investigate the quasi-projective case.

研究动机与目标

• 将奥尔洛夫关于导出等价性的表示结果，从光滑射影簇推广至拟射影概族。
• 研究拟射影概族之间的导出等价性是否由积分变换（傅里叶-穆凯伊核）诱导。
• 建立导出范畴等价性蕴含积概族导出范畴中核对象存在的条件。
• 探讨伴随函子与完美性在精确函子表示性中的作用。
• 弥合奇异或非射影情形下导出等价性与几何核构造之间的鸿沟。

提出的方法

• 利用文献[1]中关于导出范畴与伴随函子的结果，分析拟相干层导出范畴之间精确函子的结构。
• 应用三角范畴上复叠的卷积理论，从函子重构核。
• 利用完美复叠之间函子的左、右伴随存在性，确保其可由积上的复叠表示。
• 运用对偶性与伴随技术，尤其在局部有限对偶性背景下，证明函子与其对偶之间的同构。
• 应用伪伴随与自然变换的概念，表明函子之间的同构可提升为它们核的同构。
• 通过卷积与截断技术证明核的唯一性，表明诱导同构变换的两个核必为拟同构。

实验结果

研究问题

• RQ1 在何种条件下，拟射影概族之间的导出等价性可由积概族导出范畴中的核表示？
• RQ2 奥尔洛夫关于光滑射影簇的表示结果能否在不假设光滑性的情况下推广至拟射影概族？
• RQ3 若拟射影概族上完美复叠之间的函子存在伴随函子，是否意味着该函子同构于某个积分变换？
• RQ4 丰沛线丛的上同调行为如何影响拟射影概族上导出函子的表示性？
• RQ5 拟射影概族之间导出等价性的核是否在拟同构意义下唯一？

主要发现

• 对于域 $ k $ 上的拟射影概族 $ X $ 和 $ Y $，若至少一个具有在大次幂上具有平凡高阶上同调的丰沛线丛，则任意精确等价 $ F: D^b_{\text{coh}}(X) \to D^b_{\text{coh}}(Y) $ 同构于某个 $ E \in D^b_{\text{coh}}(X \times Y) $ 的积分变换 $ \Phi_E $。
• 对于域上射影概族，任意具有左、右伴随的全满忠实精确函子 $ F: D_{\text{perf}}(X) \to D_{\text{perf}}(Y) $，同构于唯一 $ E \in D^b_{\text{coh}}(X \times Y) $ 的积分变换 $ \Phi_E $ 的限制。
• 诱导等价的核 $ E $ 在拟同构意义下唯一，此结论通过由生成元构造的复叠的卷积与截断论证得出。
• 函子 $ F $ 与 $ \Phi_E $ 之间的自然同构可通过伴随与对偶性提升，确保核由函子唯一确定。
• 当 $ X $ 与 $ Y $ 为射影概族时，伴随函子的存在性确保积分变换核 $ E $ 存在，并在完美复叠层面上表示等价性。
• 通过局部有限对偶性将结果推广至有界凝聚层导出范畴，表明此时仍有 $ F \cong \Phi_E|_{D^b_{\text{coh}}(X)} $ 成立。