[论文解读] Trisecant Flops, their associated K3 surfaces and the rationality of some Fano fourfolds

Francesco G. Russo, Giovanni Staglianò|arXiv (Cornell University)|Sep 3, 2019

Algebraic Geometry and Number Theory参考文献 34被引用 6

一句话总结

本文建立了一套新的 Mori 理论框架，通过三重截面翻转及其相关的 K3 曲面，证明了四次三复立体的有理性。它通过在一般四次三复立体中构造一个度数为 9、亏格为 2 且有五个节点的曲面，以及一个 8-secant 扭曲三次曲线的线性系，首次解决了 Kuznetsov 对 $d=42$ 的猜想，提供了首个明确的双有理模型，将有理性与 $χ_{42}$ 除子中的非极小 K3 曲面联系起来。

ABSTRACT

We provide a new construction of rationality for cubic fourfolds via Mori's theory and the minimal model program. As an application, we present the solution of the Kuznetsov's conjecture for $d=42$ (the first open case). Our methods also show an explicit connection between the rationality of cubic fourfolds belonging to the first four admissible families $\mathcal C_d$, with $d=14,26,38$, and $42$ and some birational models of minimal K3 surfaces of degree $d$ contained in well known rational Fano fourfolds.

研究动机与目标

• 提供一种新的 Mori 理论方法，用于构造四次三复立体的有理性，超越现有方法。
• 解决 Kuznetsov 猜想中 $d=42$ 的情形，即在允许族 $\mathcal{C}_d$ 中的首个开放情形。
• 阐明四次三复立体有理性与度数为 $d$ 的 K3 曲面双有理模型之间的几何联系。
• 通过小收缩与翻转解释已知有理性构造的双有理结构。
• 证明有理性映射的基点纯量通过极小模型程序技术与显式 K3 曲面相对应。

提出的方法

• 利用 Mori 理论与极小模型程序，分析四次三复立体中曲面 $S_d \subset \mathbb{P}^5$ 的三重截面直线所引发的小收缩。
• 通过分析在 $X' = \mathrm{Bl}_{S_d}X$ 的爆破上，例外曲面 $T'$ 的法丛分裂情况，构造一个三重截面翻转 $\tau: X' \dasharrow W'$。
• 采用计算机辅助方法处理高次截面曲线与基点纯量几何的复杂性。
• 依赖于 $S_d$ 上存在 $(3e-1)$-secant 有理曲线族（度数为 $e$）的事实，以定义到有理四复立体的双有理映射。
• 利用 $K_{X'}$ 在三重截面直线严格提升上的消失性，确保小收缩为翻转。
• 通过几何关联条件，建立逆映射基点与度数为 $d$ 的非极小 K3 曲面之间的对应关系。

实验结果

研究问题

• RQ1 如何利用双有理几何与 K3 曲面对应关系，建立 $χ_{42}$ 中四次三复立体的有理性？
• RQ2 三重截面翻转在解决四次三复立体有理性映射基点纯量中的作用是什么？
• RQ3 从四次三复立体到有理四复立体的双有理映射，如何与 Hassett–Kuznetsov 框架中的关联 K3 曲面相关联？
• RQ4 在已知有理性构造中，逆映射的基点能否被几何地解释为 K3 曲面？
• RQ5 在一般四次三复立体中，支撑 8–secant 扭曲三次曲线线性系的曲面 $S_{42}$ 的精确几何结构是什么？

主要发现

• 本文证明了 $χ_{42}$ 中每个四次三复立体都是有理的，首次解决了 Kuznetsov 猜想的首个开放情形。
• 在一般四次三复立体 $X \subset \mathbb{P}^5$ 中，构造了一个度数为 9、亏格为 2 且有五个节点的曲面 $S_{42}$，其上存在一个 8–secant 扭曲三次曲线的线性系。
• 三重截面翻转构造提供了一个双有理因子化，几何地实现了到有理参数空间的逆映射，其基点为度数 42、截面亏格 22 的非极小 K3 曲面。
• 该方法将先前构造中难以处理的基点纯量解释为显式 K3 曲面，消除了早期方法中的模糊性。
• 本文建立了 $χ_d$ 中 $d=14,26,38,42$ 有理性与有理 Fano 四复立体中度数为 $d$ 的 K3 曲面双有理模型之间的确切联系。
• 本文确认，$χ_{42}$ 中四次三复立体所关联的 K3 曲面为度数 25、截面亏格 17 的非极小 K3 曲面，通过 $χ^{10}$ 中由 21 个二次曲面截得的线性系统嵌入。