[论文解读] Derived categories of cubic and V14 threefolds

Alexander Kuznetsov|ArXiv.org|Mar 4, 2003

Algebraic Geometry and Number Theory参考文献 12被引用 36

一句话总结

本文建立了三次三复形与 $V_{14}$ Fano 三复形的导出范畴中非平凡分量之间的导出等价性，表明与 $X$ 关联的范畴 $\mathcal{A}_X$ 是一个双有理不变量。该等价性源于连接例外丛与瞬子丛的投影化之间的几何翻转，推广了在 $V_{22}$ 三复形中观察到的构造，并暗示了 Fano 几何中导出不变量的更广泛框架。

ABSTRACT

We show that the projectivization of the exceptional rank 2 vector bundle on an arbitrary smooth V14 Fano threefold after a certain natural flop turns into the projectivization of an instanton vector bundle on a smooth cubic threefold. And vice versa, starting from a smooth cubic threefold with an instanton vector bundle of charge 2 on it we reconstruct V14 threefold. Relying on the geometric properties of the above correspondence we prove that the orthogonals to the exceptional pairs in the bounded derived categories of coherent sheaves on a smooth V14 threefold and on the corresponding cubic threefold are equivalent as triangulated categories.

研究动机与目标

• 建立 $V_{14}$ 与三次三复形之间导出范畴等价性的目标，扩展已知的双有理对应关系。
• 证明范畴 $\mathcal{A}_X$ 是 $X$ 的双有理不变量，与双有理模型的选择无关。
• 证明 $X$ 与 $Y$ 的导出范畴结构由一个例外对及其正交分量的导出等价性所控制。
• 提供一种几何机制——通过投影化丛之间的翻转——以实现这种导出等价性。

提出的方法

• 构建一个投影丛 $\mathbb{P}_Y(\mathcal{E})$ 与 $\mathbb{P}_X(\mathcal{U})$ 的图示，分别在 $Y$ 与 $X$ 上定义，并通过一个翻转 $\theta$ 连接。
• 利用 $X$ 上的 $\mathcal{U}$ 是例外丛，$Y$ 上的 $\mathcal{E}$ 是电荷为 2 的瞬子丛的事实。
• 证明图示中的映射 $\psi$ 与 $\phi$ 是小的双有理收缩，映射到一个在 $\mathbb{P}^5$ 中的奇异四次超曲面 $Q$。
• 通过翻转 $\theta$ 及其关联的傅里叶-穆凯伊变换，构造三角范畴 $\mathcal{A}_X \simeq \mathcal{A}_Y$ 的等价性。
• 证明 $V_{14}$ 三复形的模堆栈同构于带有电荷为 2 的瞬子丛的三次三复形的模堆栈。
• 使用上同调计算与塞尔对偶性，验证定义瞬子丛的消去条件，并计算扭上同调的贝蒂数。

实验结果

研究问题

• RQ1 是否存在 $V_{14}$ 与三次三复形的导出范畴中非平凡分量之间的导出范畴等价性？
• RQ2 一个 $V_{14}$ 三复形的导出范畴能否检测其双有理类，且该不变量在双有理变换下是否保持不变？
• RQ3 在 $\mathbb{P}_Y(\mathcal{E})$ 与 $\mathbb{P}_X(\mathcal{U})$ 之间的几何翻转是否诱导出 $\mathcal{A}_X$ 与 $\mathcal{A}_Y$ 之间的三角等价性？
• RQ4 能否从范畴 $\mathcal{A}_Y$ 重构三次三复形的线的法诺曲面？
• RQ5 范畴 $\mathcal{A}_Y$ 是否足以恢复三次三复形 $Y$ 的同构类？

主要发现

• 导出范畴 $\mathcal{D}^b(X)$ 与 $\mathcal{D}^b(Y)$ 允许半正交分解，分别具有例外对 $({\mathcal{O}}_X, {\mathcal{U}}^*)$ 与 $({\mathcal{O}}_Y, {\mathcal{O}}_Y(1))$。
• 正交分量 $\mathcal{A}_X$ 与 $\mathcal{A}_Y$ 作为三角范畴是等价的，即 $\mathcal{A}_X \simeq \mathcal{A}_Y$。
• 该等价性通过图示 (*) 中的翻转 $\theta = \phi^{-1} \circ \psi$ 关联的傅里叶-穆凯伊变换显式构造。
• $\mathcal{A}_X$ 是 $X$ 的双有理不变量，即对双有理的 $X_1, X_2$，有 $\mathcal{A}_{X_1} \simeq \mathcal{A}_{X_2}$。
• 在 $\mathcal{A}_Y$ 中由 $Y$ 的线的法诺曲面参数化的对象族，提示 $\mathcal{A}_Y$ 可能决定 $Y$ 的中间雅可比簇，从而通过托里奇定理决定其同构类。
• 在 $X$ 上的 theta-丛 $E$ 对应于 $Y$ 上电荷为 2 的瞬子丛 $E(-1)$，且该对应关系是模堆栈的同构。