[论文解读] Flops and Equivalences of derived Categories for Threefolds with only Gorenstein Singularities

Jiun-Cheng Chen|ArXiv.org|Feb 1, 2002

Algebraic Geometry and Number Theory被引用 29

一句话总结

本文证明了对于具有终端 Gorenstein 奇点的三倍体，其翻转收缩下的 perverse 点层模空间同构于翻转本身，且与之相关的 Fourier-Mukai 变换在有界导出范畴上诱导出等价关系。该结果将 Bridgeland 在光滑三倍体上的定理推广至奇异情形，通过四倍体光滑化构造与导出范畴技术，利用伴随函子与 Serre 对偶性证明等价性。

ABSTRACT

The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an equivalence between bounded derived categories.

研究动机与目标

• 将 Bridgeland 对光滑三倍体翻转的导出等价性结果推广至具有终端 Gorenstein 奇点的三倍体。
• 证明翻转收缩下 perverse 点层模空间同构于翻转本身。
• 建立与普遍 perverse 点层相关的 Fourier-Mukai 变换在奇异三倍体上的有界导出范畴等价性。
• 通过归约至局部与光滑四倍体构造，证明在奇异情形下导出范畴等价性得以保持。

提出的方法

• 将全局问题归约至基空间 $Y$ 的局部仿射覆盖，以局部分析导出范畴等价性。
• 通过非奇异四倍体的光滑化构造，将光滑情形下的技术转移至奇异三倍体设置。
• 应用 Fourier-Mukai 变换理论，其核由在模空间 $W$ 上平坦的普遍 perverse 理想层定义。
• 利用伴随函子，并通过证明复合 $\Phi \circ \Psi \cong \text{id}$ 与对角核 $\mathcal{O}_{\Delta_W}$ 的拟同构，证明全忠实性。
• 利用 Serre 对偶性与交点定理，证明核 $\mathcal{Q}$ 支撑于对角线上，从而推出 $W$ 为非奇异，且变换为等价。
• 依赖于 [BKR99] 与 [Br00] 的结果，特别是核对象 $\mathcal{Q}$ 及其上同调幅度，推导出导出等价性。

实验结果

研究问题

• RQ1 Bridgeland 对光滑三倍体翻转的导出等价性是否可推广至具有终端 Gorenstein 奇点的三倍体？
• RQ2 在奇异情形下，翻转收缩的 perverse 点层模空间是否同构于翻转本身？
• RQ3 与普遍 perverse 点层相关的 Fourier-Mukai 变换是否可在奇异三倍体上诱导出有界导出范畴等价？
• RQ4 如何将光滑情形下的技术适应于奇异情形下的导出等价性证明？

主要发现

• perverse 点层模空间 $W$ 具有终端 Gorenstein 奇点，推广了光滑情形下的非奇异结果。
• 由普遍 perverse 点层诱导的 Fourier-Mukai 变换 $\Psi: D^b(W) \to D^b(X)$ 是有界导出范畴的等价。
• 模空间 $W$ 同构于翻转 $X^+$，即 $W \cong X^+$，将 Bridgeland 的结果推广至奇异三倍体。
• 通过归约至局部仿射覆盖与四倍体光滑化构造，导出范畴等价性在奇异情形下得以保持。
• 变换的核 $\mathcal{Q}$ 与 $\mathcal{O}_{\Delta_W}$ 拟同构，通过伴随函子理论确认了等价性。
• 证明建立了 $\Phi \circ \Psi \cong \text{id}$，确认了全忠实性，并利用自然变换 $\varepsilon$ 表明核在对角线上为平凡。