[论文解读] Derived category of V_{12} Fano threefolds

Alexander Kuznetsov|ArXiv.org|Oct 1, 2003

Algebraic Geometry and Number Theory参考文献 4被引用 3

一句话总结

本文建立了 $V_{12}$ Fano 三流形的导出范畴的半正交分解 $\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{D}^b(C^\vee) \rangle$，证明非平凡分量等价于一个亏格 7 曲线 $C^\vee$ 的导出范畴。关键结果是，$X$ 上圆锥的 Fano 曲面同构于 $C^\vee$ 的对称平方，利用核函子和拉格朗日子簇中的正交截面实现。

ABSTRACT

A V_{12} Fano threefold is a smooth Fano threefold X of index 1 with Pic X = Z and (-K_X)^3=12. We show that the bounded derived category of coherent sheaves on any V_{12} threefold X admits a semiorthogonal decomposition consisting of two exceptional bundles and of the derived category of a curve of genus 7. As an application we show that the Fano surface of X (the surface parameterizing conics on X) is canonically isomorphic to the symmetric square of the associated genus 7 curve.

研究动机与目标

• 建立 $V_{12}$ Fano 三流形的导出范畴的半正交分解。
• 在分解中将正交分量 $\mathcal{A}_X$ 识别为与曲线导出范畴等价。
• 证明 $X$ 上圆锥的 Fano 曲面同构于曲线 $C^\vee$ 的对称平方。
• 利用拉格朗日子簇中的核函子与正交截面，构造并验证导出等价性。

提出的方法

• 利用 $X$ 嵌入拉格朗日子簇 $\mathbb{P}^9$ 中的连通分支 $\mathsf{LGr}_+(V)$，其中 $X = \mathsf{LGr}_+(V) \cap \mathbb{P}^8$。
• 在 $\mathcal{D}^b(X)$ 中构造一个例外对 $(\mathcal{U}_+, \mathcal{O}_X)$，从而导出半正交分解 $\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{A}_X \rangle$。
• 将 $\mathcal{A}_X$ 识别为正交子范畴 $^\perp\langle \mathcal{U}_+, \mathcal{O}_X \rangle$。
• 利用 $X$ 上稳定秩 2 向量丛的全族（$c_1=1$，$c_2=5$）定义一个核函子 $\Phi_{\mathcal{E}_1}: \mathcal{D}^b(C^\vee) \to \mathcal{D}^b(X)$。
• 证明 $\Phi_{\mathcal{E}_1}$ 是全忠实的，且其像位于 $\mathcal{A}_X$ 中，并通过限制到超平面截面与粘合论证证明其本质满射。
• 利用 $K3$ 表面上模空间的同构性以及 $S$ 上核函子的等价性，推导出 $\Phi_{\mathcal{E}_1}$ 是到 $\mathcal{A}_X$ 的等价。

实验结果

研究问题

• RQ1 什么是 $V_{12}$ Fano 三流形的导出范畴的结构？
• RQ2 正交分量 $\mathcal{A}_X$ 如何与 $X$ 的代数几何不变量相关联？
• RQ3 是否 $X$ 上圆锥的 Fano 曲面同构于某条曲线的对称幂？
• RQ4 能否通过曲线的半正交分解描述 $X$ 的导出范畴？
• RQ5 正交截面 $C^\vee$ 在 $X$ 的导出范畴中起什么作用？

主要发现

• 一个 $V_{12}$ Fano 三流形的导出范畴 admits 半正交分解 $\mathcal{D}^b(X) = \langle \mathcal{U}_+, \mathcal{O}_X, \mathcal{D}^b(C^\vee) \rangle$，其中 $C^\vee$ 是一条亏格 7 的光滑曲线。
• 正交分量 $\mathcal{A}_X$ 等价于 $\mathcal{D}^b(C^\vee)$，建立了导出等价性。
• $X$ 上圆锥的 Fano 曲面同构于亏格 7 曲线 $C^\vee$ 的对称平方 $S^2C^\vee$。
• 核函子 $\Phi_{\mathcal{E}_1}: \mathcal{D}^b(C^\vee) \to \mathcal{D}^b(X)$ 是全忠实的，并诱导出到 $\mathcal{A}_X$ 的等价，其左伴随 $\Phi_{\mathcal{E}_1}^!$ 将圆锥的结构层映射为 $C^\vee$ 上长度为 2 的子概形。
• $\Phi_{\mathcal{E}_1}^!$ 同构于 $C^\vee$ 上长度为 2 的子概形的结构层，且诱导映射 $F_X \to S^2C^\vee$ 是同构。
• 曲线 $C^\vee$ 作为对偶射影空间中的正交截面 $\mathsf{LGr}_-(V) \cap \mathbb{P}^6$ 出现，且同构于 $X$ 上稳定秩 2 向量丛（$c_1=1$，$c_2=5$）的模空间。