[论文解读] Birational models of del Pezzo fibrations

Михаил Михайлович Гриненко|ArXiv.org|Sep 27, 2002

Advanced Topics in Algebra被引用 5

一句话总结

本文对三叉中的 del Pezzo 纤维丛的双有理模型进行分类，重点关注在 $\mathbb{P}^1$ 上的 Mori 纤维丛，其纤维的次数为 1、2 和 3。研究证明，一个指标为 2 的双重空间具有唯一的非奇异 Mori 纤维丛结构，以及次数为 2 和 1 的纤维丛，并证明所有此类结构均可通过 genus 1 且次数为 2 的曲线的爆破、翻转和收缩构造得到。

ABSTRACT

This is a preliminary version of the paper for the Lecture Notes Series.

研究动机与目标

• 对给定三叉中 del Pezzo 纤维丛的所有双有理模型进行分类，特别关注负 K"odaira 维数的簇。
• 确定指标为 2 的双重空间上所有 Mori 结构（即双有理等价于 Mori 纤维丛的模型）的完整集合。
• 确立曲线爆破、翻转和收缩在构造与分类这些纤维丛模型中的作用。
• 研究所有此类纤维丛结构是否均可通过 $\mathbb{P}^3$ 中 genus 1 且次数为 2 的曲线的几何构造实现。
• 验证一个猜想：指标为 2 的双重空间上所有 Mori 结构均可实现为次数为 1 或 2 的 del Pezzo 曲面的纤维丛，或为 Fano 簇本身。

提出的方法

• 通过在指标为 2 的双重空间中爆破 genus 1 且次数为 2 的曲线，构造 Mori 纤维丛，从而在 $\mathbb{P}^1$ 上得到非奇异纤维丛。
• 应用 Sarkisov 程序，将 Mori 纤维丛之间的双有理映射分解为基本链，使用翻转和除子性收缩。
• 使用结构集 $(a, n_1, n_2)$ 对纤维丛进行分类：对于次数为 2 的纤维丛，$(a, n_1, n_2) = (0, 0, 1)$；对于次数为 1 的纤维丛，$(-1, 1, 2)$。
• 在爆破一条直线后，对第二条直线的严格提升进行翻转，将次数为 2 的纤维丛转化为三次曲面上的次数为 3 的纤维丛。
• 分析法丛和线性系统如 $|H - 2F|$ 与 $|-K_V - 2F|$，以识别例外集和收缩映射。
• 通过收缩一个同构于 $\mathbb{P}^1 \times \mathbb{P}^1$ 或二次锥面的除子，构造逆映射，从而恢复具有 du Val 奇点的原始 Fano 簇。

实验结果

研究问题

• RQ1 哪些是与给定指标为 2 的双重空间双有理等价的所有可能 Mori 纤维丛结构？
• RQ2 在 $\mathbb{P}^3$ 中爆破 genus 1 且次数为 2 的曲线如何导致次数为 2 和 1 的 del Pezzo 纤维丛？
• RQ3 Sarkisov 程序是否能完全分解同一簇上不同 Mori 纤维丛之间的双有理映射？
• RQ4 结构集 $(a, n_1, n_2)$ 在对 $\mathbb{P}^1$ 上的 del Pezzo 纤维丛进行分类中起什么作用？
• RQ5 在指标为 2 的双重空间上，非奇异 Mori 纤维丛结构在基上双正则同构意义下是否唯一？

主要发现

• 指标为 2 的双重空间在 $\mathbb{P}^1$ 上具有唯一的非奇异 Mori 纤维丛结构，其纤维次数为 2。
• 对非奇异 genus 1 且次数为 2 的曲线进行爆破，可得到结构集为 $(0, 0, 1)$ 的非奇异 Mori 纤维丛，其纤维次数为 2。
• 具有节点或尖点的奇异但不可约 genus 1 且次数为 2 的曲线，同样可产生结构集相同的 Gorenstein Mori 纤维丛，其纤维次数为 2。
• 先爆破一条直线，再对第二条直线的严格提升进行翻转，可得到三次曲面上的 Mori 纤维丛，该纤维丛与交换爆破顺序所得到的纤维丛同构。
• 结构集 $(-1, 1, 2)$ 对应于通过从次数为 2 的纤维丛经翻转和收缩得到的次数为 1 的纤维丛，其结果为具有 du Val 奇点的 Fano 簇。
• 根据猜想，指标为 2 的双重空间上所有 Mori 结构包括：Fano 簇本身、次数为 2 的纤维丛，以及一个二维族的次数为 1 的纤维丛，其中次数为 2 的非奇异纤维丛是其双有理等价类中唯一的非奇异模型。