[论文解读] Families of rationally connected varieties

Tom Graber, Joe Harris+1 more|ArXiv.org|Sep 27, 2001

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

一句话总结

本文证明了，若一个代数簇到复数域上曲线的光滑射影态射的通纤维是有理连通的，则该态射存在截面，从而证实了Kollár、Miyaoka和Mori的猜想。关键结果表明，定义在曲线函数域上的有理连通簇具有有理点，这推广了Tsen定理，并意味着有理连通性在具有有理连通纤维的纤维化下保持不变。

ABSTRACT

We prove that a one-parameter family of rationally connected varieties (over an algebraically closed field of characteristic 0) always has a section.

研究动机与目标

• 证明一个光滑射影态射 $ f: X \to B $，若其通纤维为有理连通，则存在截面，从而证实Kollár、Miyaoka和Mori的猜想。
• 证明任何定义在复数域上曲线的函数域上的有理连通簇都具有有理点，从而推广Tsen定理。
• 证明有理连通性在纤维化下保持不变：若一个态射的底簇和通纤维均为有理连通，则全空间也是有理连通。
• 提供一个基础性结果，支持代数几何中关于有理连通性和双有理可约性的猜想性数值判别准则。

提出的方法

• 使用形变理论和稳定映射理论分析簇上一族有理曲线。
• 通过专门化和形变技术将问题约化到 $ B = \mathbb{P}^1 $ 的情形。
• 通过在有理曲线分支覆盖的稳定映射模空间中提升弧来构造截面。
• 应用极大有理连通（mrc）纤维化来分析一般簇及其有理曲线的结构。
• 利用mrc商的性质：非双有理可约簇的mrc商不是双有理可约，该结论由主定理导出。
• 对一个几何例子进行显式分析，涉及 $ \mathbb{P}^1 \times \mathbb{P}^1 $ 的爆破，其中存在双次为(1,2)的曲线通过某点且具有竖直切线，以说明有理曲线极限的行为。

实验结果

研究问题

• RQ1 每个定义在复数域上曲线的函数域上的有理连通簇是否都具有有理点？
• RQ2 有理连通性是否在具有有理连通纤维和底簇的纤维化下保持不变？
• RQ3 一个簇的极大有理连通纤维化是否可用于推导出其底簇的非双有理可约性？
• RQ4 若存在 $ m > 0 $ 使得 $ H^0(X, (\Omega^1_X)^{\otimes m}) \neq 0 $，是否可刻画非有理连通性？
• RQ5 猜想1.5（通过 canonical bundle 上同调 $ H^0(K_X^m) = 0 $ 判定双有理可约性）是否蕴含猜想1.6（通过 cotangent bundle 上同调 $ H^0((\Omega^1_X)^{\otimes m}) = 0 $ 判定有理连通性）？

主要发现

• 主定理证明了，任意光滑射影态射 $ f: X \to B $，若其通纤维为有理连通，且 $ B $ 为光滑射影曲线，则该态射存在截面。
• 该结果意味着定义在曲线上函数域上的有理连通簇具有有理点，从而推广了Tsen定理。
• 证明了若 $ Y $ 及支配态射 $ f: X \to Y $ 的通纤维均为有理连通，则 $ X $ 也是有理连通。
• 一个簇 $ X $ 的极大有理连通纤维化的底簇 $ Z $ 不是双有理可约，该结论由主定理及mrc纤维化的性质导出。
• 本文证明了，对光滑射影簇而言，猜想1.5（通过 $ H^0(K_X^m) = 0 $ 判定双有理可约性）蕴含猜想1.6（通过 $ H^0((\Omega^1_X)^{\otimes m}) = 0 $ 判定有理连通性）。
• 一个显式例子涉及 $ \mathbb{P}^1 \times \mathbb{P}^1 $ 的爆破上的曲线，表明有理曲线的极限可能变得 reducible，其分量对应于不同的专门化类型，从而说明了稳定映射模空间的行为。