[论文解读] On the unirationality of 3-fold conic bundles

Massimiliano Mella|arXiv (Cornell University)|Mar 27, 2014

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

一句话总结

本文通过一个涉及基曲面上有理曲线线性系统与判别曲线有界相交的几何准则，建立了三维锥丛的有理连通性的充分条件。关键结果证明：若基为 Hirzebruch 曲面或低次或奇异判别曲线的射影平面，则全空间是有理连通的，从而构造出无穷多组非有理但有理连通的三维流形。

ABSTRACT

A variety is unirational if it is dominated by a rational variety. A variety is rationally connected if two general points can be joined by a rational curve. This paper aims to show that the two notions can cooperate and, building on Graber-Harris-Starr celebrated result, it presents a unirationality statement for 3-fold conic bundles with "bounded" discriminant.

研究动机与目标

• 建立三维锥丛有理连通性的新准则，连接经典有理连通性与现代有理连通性理论。
• 通过提供适用于已知有理情形之外的有理连通性条件，扩展 Iskovskikh 关于锥丛有理性的猜想。
• 利用判别曲线的几何约束，构造无穷多组非有理但有理连通的三维流形。
• 通过形变理论与双有理几何技术，将有理连通性问题约化为曲面上有理曲线的问题。
• 证明：曲面上有理曲线空间中子簇的有理连通性，蕴含全三维流形的有理连通性。

提出的方法

• 使用 Enriques 准则与 Gounelas–Harris–Starr 定理，将三维流形的有理连通性约化为锥丛曲面上有理曲线空间中子簇的有理连通性。
• 应用双有理变换，将锥丛曲面替换为射影平面，从而将有理曲线问题转移至 $\mathbb{P}^2$ 上的线性系统。
• 利用 de Jonquières 变换，将相关有理曲线实现为 $\mathbb{P}^2$ 上的线性系统，证明其构成线性空间。
• 施加几何约束：基 $W$ 上存在无基点线性系统 $\Lambda$，满足 $\Lambda \cdot \Delta \leq 7$，以及非常 ample 线性系统 $\mathcal{M}$，满足 $\mathcal{M} \cdot \Lambda = 1$。
• 将问题约化为证明 $\mathrm{Rat}^n(S)$ 的某一子簇双有理同构于 $\mathrm{Rat}^n(\mathbb{P}^2)$ 中的线性空间，因此为有理且有理连通。
• 利用 $\mathbb{F}_e$ 和 $\mathbb{P}^2$ 上标准锥丛的结构，其中判别曲线满足 $\Delta \sim aC_0 + bF$ 或 $\deg \Delta \leq 8$，或 $\deg \Delta = 9$ 且 $\Delta$ 有奇点。

实验结果

研究问题

• RQ1 当基为 Hirzebruch 曲面或射影平面时，三维锥丛在何种条件下是有理连通的？
• RQ2 是否能通过判别曲线与有理线性系统的交数有界来刻画锥丛的有理连通性？
• RQ3 有理连通性技术在高维纤维化中可被多大程度地用于证明有理连通性？
• RQ4 是否存在无穷多组非有理但有理连通的三维流形，且可通过锥丛几何构造？
• RQ5 判别曲线的几何结构以及基曲面上特殊线性系统的存在性，如何影响全空间的有理连通性？

主要发现

• 主要定理表明：若 $T \to W$ 是标准三维锥丛，且基上存在无基点线性系统 $\Lambda$ 满足 $\Lambda \cdot \Delta \leq 7$，以及非常 ample 线性系统 $\mathcal{M}$ 满足 $\mathcal{M} \cdot \Lambda = 1$，则 $T$ 是有理连通的。
• 推论 1.2 表明：当 $W \cong \mathbb{F}_e$ 且 $\Delta \sim aC_0 + bF$ 满足 $a \leq 7$，或 $W \cong \mathbb{P}^2$ 且 $\deg \Delta \leq 8$，或 $\deg \Delta = 9$ 且 $\Delta$ 有奇点时，$T$ 是有理连通的。
• 推论 1.3 证明：当 $W \cong \mathbb{F}_e$ 且 $3 < a \leq 7$ 时，全空间 $T$ 是有理连通但非有理的，从而构造出无穷多组此类族。
• 证明将有理连通性约化为 $\mathrm{Rat}^n(S)$ 中子簇的有理连通性，该子簇通过 de Jonquières 变换被证明双有理同构于 $\mathrm{Rat}^n(\mathbb{P}^2)$ 中的线性空间。
• 经变换后的锥丛 $\pi_1$ 在 $\mathbb{F}_1$ 上的判别曲线满足 $\Delta_1 \sim aC_0 + bF$，其中 $a = \deg \Delta - \mathrm{mult}_z \Delta$，确认该界保持不变。
• 该构造产生了非有理但有理连通的三维流形，从而通过锥丛几何回答了一个长期存在的关于此类流形存在的问题。