[论文解读] Non-rationality of a three-dimensional Fano variety of index 2 and degree 1

Михаил Михайлович Гриненко|ArXiv.org|Apr 22, 2003

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文证明了三维光滑法诺三叉簇（Fano threefold）在指标2、次数1的情形——即韦罗内塞曲面的双重锥面——是非有理的，并且仅存在两种森田纤维化结构：其自身以及一个关于 ℙ¹ 的二维族纤维化，其纤维为次数1的德拉姆贝表面。证明使用极大奇异点方法与加权爆破，排除了超极大奇异点的存在，从而确立了其双有理自同构群与自同构群一致，并且不存在任何锥曲线丛结构。

ABSTRACT

We describe the set of Mori structures for a Fano 3-fold of index 2 and degree 1 (the double cone over the Veronese surface). In partiular, it is proved that such a Fano variety is not rational, the group of birational automorphisms coincides with the group of biregular automorphisms, and there are no structures of conic bundle.

研究动机与目标

• 对与光滑三叉簇 U（指标2、次数1）双有理等价的所有森田纤维化结构进行分类。
• 通过排除锥曲线丛结构与超极大奇异点的存在，证明 U 是非有理的。
• 证明 U 的双有理自同构群与自同构群相等，意味着不存在非平凡的双有理自同态。
• 通过确定全部森田结构集合，完成此类法诺三叉簇的双有理分类。

提出的方法

• 应用极大奇异点方法分析 U 上的线性系统，重点关注位于曲线与点上的奇异点。
• 使用类型为 (1,1,N)（其中 2≤N≤5）的加权爆破，分析族 P 中节点与尖点曲线上的奇异点。
• 研究沿曲线 C ∈ P 的爆破 U_C → U，该爆破诱导出 U_C → ℙ¹ 的德拉姆贝表面（次数1）纤维化。
• 分析爆破空间 U_C 上线性系统的严格提升，以排除在奇异点上的超极大奇异点。
• 利用萨基索夫程序与双有理等价关系，将 U 与其他森田纤维化进行比较。
• 借助川下与先前工作的结果，简化对分歧度与奇异点的分析。

实验结果

研究问题

• RQ1 与光滑法诺三叉簇（指标2、次数1）双有理等价的所有可能森田纤维化结构有哪些？
• RQ2 该三叉簇是否可能具有锥曲线丛结构？或者其本身是否为非有理的？
• RQ3 U 上的线性系统中是否存在超极大奇异点？若存在，能否被排除？
• RQ4 U 的双有理自同构群是否与自同构群一致？
• RQ5 U 在森田范畴中的全部双有理模型集合是什么？

主要发现

• 与 U 双有理等价的森田纤维化结构仅有两类：其自身，以及对 C ∈ P 的二维族纤维化 U_C → ℙ¹。
• 该簇 U 是非有理的，因为它既不存在双有理映射到 ℙ³，也不存在锥曲线丛结构。
• 双有理自同构群 Bir(U) 同构于自同构群 Aut(U)，且为阶为 2 的有限群。
• 所有不含固定分量的线性系统在点上（包括 P 中曲线的奇异点）均无超极大奇异点。
• 沿曲线 C ∈ P 的爆破 U_C → U 诱导出次数1的德拉姆贝表面的森田纤维化，且不存在超出此族的其他双有理模型。
• 森田结构分类是完整的：MS(U) 恰好包含两类——U 本身，以及 U_C → ℙ¹ 纤维化的族。