[论文解读] Birational Geometry of 3-fold Mori Fibre Spaces

Gavin Brown, Alessio Corti+1 more|ArXiv.org|Jul 22, 2003

Algebraic Geometry and Number Theory参考文献 24被引用 38

一句话总结

本文系统研究了3- fold Mori 纤维空间的双有理几何，重点关注 ℙ² 上的标准二次包络和 ℙ¹ 上的稳定 dP₃ 纤维空间。通过显式构造和 Sarkisov 链，本文对形变族进行了分类，计算了 Mori 锥与移动除子，并建立了双有理刚性的判别准则，关键结果总结于表1和表2以及图1，为这些空间的地理学提供了基础性指南。

ABSTRACT

We study the geography and birational geometry of 3-fold conic bundles over P^2 and cubic del Pezzo fibrations over P^1. We discuss many explicit examples and raise several open questions. This paper was submitted to the proceedings of the "Fano conference" held in Torino in October 2002.

研究动机与目标

• 启动对严格3- fold Mori 纤维空间的系统性地理学研究，特别是 ℙ² 上的标准二次包络和 ℙ¹ 上的稳定 dP₃ 纤维空间。
• 对这些代数簇的形变族与离散不变量进行分类，旨在提供其双有理几何的全面指南。
• 通过分析 Mfs 的可塑性来研究双有理刚性，并确定当所有平方双有理 Mfs 的集合仅含一个元素时的情形。
• 开发显式计算工具——如在射影丛中的方程和2-射线游戏移动——以研究秩-2情形下的 Mori 锥与移动锥。
• 测试并完善刚性判别准则，特别是 K² 条件，并探索刚性与非刚性例子之间的边界。

提出的方法

• 通过将标准二次包络嵌入秩-3向量丛的射影化中，构造 ℙ² 上的二次包络，并写出显式方程，包括度数为7的判别曲线方程。
• 将 dP₃ 纤维空间分析为有理柱面 ℱ(0,a,b,c) 上线性系统 |3M + nL| 的成员，确定稳定纤维化的不变量 a,b,c,n。
• 使用2-射线游戏技术计算 X 上除子的 Mori 锥与移动锥，在秩-2情形下，两个锥均为二维。
• 通过显式双有理变换追踪 Sarkisov 链，包括翻转、翻转与除子性收缩，通常由基底柱面的移动诱导。
• 使用加权爆破与变量替换（如 u³x′, u²y′ 等）测试稳定性，并通过条件(∗)的失效检测非刚性情形，例如在 u⁶ 整除性测试中。
• 应用 K² 条件：若 K² 不在 Mori 锥的内部，则3- fold Mfs 为刚性，通过显式周期计算验证该条件。

实验结果

研究问题

• RQ1 在 ℙ² 上的标准二次包络中，哪些形变族存在？它们能否通过判别曲线的度数与不变量显式参数化？
• RQ2 在 ℱ(0,a,b,c) 上线性系统 |3M + nL| 的一般成员中，柱面不变量 (a,b,c,n) 的必要与充分条件是什么，以保证产生稳定 dP₃ 纤维空间？
• RQ3 当一个3- fold Mori 纤维空间不具有双有理刚性时，其失效条件为何？此类情形下会生成哪些显式 Sarkisov 链？
• RQ4 X 上的2-射线游戏与移动锥结构如何与 Sarkisov 链的存在性及类型相关联？
• RQ5 在何种条件下，dP₃ 纤维空间满足或不满足条件(∗)，这如何影响其可塑性与双有理几何？

主要发现

• 对于判别曲线度数为7的 ℙ² 上的二次包络，恰好存在4个形变族，且均通过 ℙ² 上秩-3丛中的方程显式构造。
• 当 X ⊂ ℱ(0,a,b,c) 满足条件(∗)时，dP₃ 纤维空间上的2-射线游戏遵循柱面结构，若游戏以坏链结束，则产生一个 Sarkisov 链。
• 一个特殊的 dP₃ 纤维空间 X ∈ |3M - 4L| ⊂ ℱ(0,2,2,4)，其多项式系数满足特定条件，被证明是非刚性的，且与 ℙ² 上的二次包络存在一个 Sarkisov 链。
• 纤维空间 X ∈ |3M - 4L| ⊂ ℱ(0,2,2,4) 在点 (0,1;0,0,0,1) 处具有 cD₄ 奇点，经加权爆破后，其与 ℙ² 上具有单个 Eckardt 点的 dP₃ 纤维空间为平方双有理等价。
• 链序列中的反翻转被显式描述为三个 ℙ(1,3) 在一点处相交的集合，对应于 ℙ(1,1,3) 中的方程 g₃(y,z)=0，该反翻转在表2中记为 (1,1,-1,-1,-3)。
• 除子性收缩 X′ → Y′ 为极小的，且 Y′ 是 Altınok 的 codimension 3 Fano 3- folds 列表中的 No. 6，从而确认了该链的有效性，并为该 Fano 三空间提供了新的实现。