[论文解读] On Q-Fano threefolds of Fano index 2

Yuri Prokhorov, Miles Reid|arXiv (Cornell University)|Mar 5, 2012

Algebraic Geometry and Number Theory参考文献 13被引用 9

一句话总结

该论文对 Fano 指数为 2 且非 Cartier 的 $Χ$-Fano 三复形进行了分类，证明了对于满足 $-K_X = 2A$ 的 Weil 除子 $A$，线性系统 $|A|$ 的维数至多为 4。唯一满足 $∝|A| = 4$ 的情形源自一个通过从一个二次曲面三复形出发的 Sarkisov 链构造出的单个不可约族，从而得到一个拟光滑的 $χ$-Fano 三复形，其 $χ$-类群满足 $≃≃X \simeq \mathbb{Z} \cdot A$，且亏格 $g(X) \leq 16$。该结果完成了对具有 $χ$-Fano 指数 2 且非 Cartier $K_X$ 的此类三复形的分类。该结果确认了亏格的精确上界，并识别出一个唯一的例外族。

ABSTRACT

We show that, for a Q-Fano threefold X of Fano index 2, the inequality dim |-1/2K_X| <= 4 holds with a single well understood family of varieties having dim |-1/2K_X| = 4.

研究动机与目标

• 对具有非 Cartier canonical divisor 且 $χ$-Fano 指数 $q_{\mathbb{Q}}(X) = 2$ 的 $χ$-Fano 三复形进行分类。
• 确定满足 $-K_X = 2A$ 的 Weil 除子 $A$ 所对应的线性系统 $|A|$ 的最大可能维数。
• 识别是否存在此类三复形满足 $∝|A| > 4$，若存在，则对例外情形进行分类。
• 通过几何链接与未投影技巧，构建并表征唯一满足 $∝|A| = 4$ 的 $χ$-Fano 三复形不可约族。
• 证明此类三复形的亏格 $g(X)$ 上界为 16。

提出的方法

• 通过在 $\frac{1}{r}(2,a,r-a)$ 奇点处进行 Kawamata 爆破以启动 Sarkisov 链，从而得到一个纤维空间或一个 $χ$-Fano 三复形（其 $q \geq 3$）。
• 分析基于 $|A|$ 的维数进行分情况讨论，假设 $∝|A| \geq 4$ 可导致可处理的分类。
• 主要例子的构造涉及对二次曲面三复形 $Q \subset \mathbb{P}^4$ 的切超平面截面 $E_0$ 上的五次曲线 $\Gamma_5$ 进行形式爆破，随后将双有理变换的像收缩为一个 $\frac{1}{3}(1,2,2)$ 点。
• 该三复形通过从 Pfaffian 代数集 $\overline{X} \subset \mathbb{P}(1^5,2^2)$ 的未投影构造得到，其由一个 $6 \times 6$ 的 Pfaffian 矩阵定义，各元素的次数为 1,2,2,2,2,2，且包含一个 $\mathbb{P}(1,2,2)$ 子概形。
• 第二种构造方法使用一个 $\mathrm{Jerry}\,12$ 矩阵（次数为 1,2,2,2,2,2）在 $\mathbb{P}(1^4,2^2,3)$ 中定义一个 codimension 3 的代数集 $Y'$，在特殊化为包含一个 $\mathbb{P}^2$ 后，该代数集可未投影为所需的 $X$。
• 第三种构造方法通过从一个由 $\mathrm{Jerry}\,12$ 定义的代数集 $\overline{X}$ 中未投影出一个 $\mathbb{P}(1,2,2)$，最终的未投影方程通过 Kustin–Miller 复形技巧推导得出。

实验结果

研究问题

• RQ1 在 $χ$-Fano 指数为 2 且非 Cartier $K_X$ 的 $χ$-Fano 三复形中，满足 $-K_X = 2A$ 的 Weil 除子 $A$ 所对应的线性系统 $|A|$ 的最大可能维数是多少？
• RQ2 在这些条件下，是否存在满足 $∝|A| = 4$ 的 $χ$-Fano 三复形？若存在，它在形变下是否唯一？
• RQ3 此类三复形能否通过几何链接（特别是通过 Kawamata 爆破启动的 Sarkisov 链）构造？
• RQ4 此类三复形的亏格 $g(X)$ 是什么？是否存在上界？
• RQ5 唯一例外情形能否通过多种几何方式实现，例如通过未投影或形式爆破？

主要发现

• 在任意 $χ$-Fano 指数为 2 且非 Cartier $K_X$ 的 $χ$-Fano 三复形中，满足 $-K_X = 2A$ 的 Weil 除子 $A$ 所对应的线性系统 $|A|$ 的维数至多为 4。
• 唯一满足 $∝|A| = 4$ 的情形源自一个唯一的不可约族，该族通过从一个二次曲面三复形出发的 Sarkisov 链唯一构造而成。
• 此类三复形的亏格 $g(X)$ 上界为 16，且仅在例外情形下可能取等。
• 例外三复形的类群满足 $\operatorname{Cl}X \simeq \mathbb{Z} \cdot A$，且 $K_X$ 不是 Cartier。
• 该三复形存在三种不同的几何构造方式：(1) 形式爆破与收缩，(2) 从 Pfaffian 代数集 $\overline{X} \subset \mathbb{P}(1^5,2^2)$ 的未投影，(3) 从一个由 $\mathrm{Jerry}\,12$ 定义的代数集 $Y' \subset \mathbb{P}(1^4,2^2,3)$ 的未投影。
• 最终未投影方程 $x_0 z$ 通过 Kustin–Miller 复形技巧推导得出，但尚无已知的闭式简化形式。