Unirationality is the same thing as Rational Connectedness in Characteristic Zero

技术摘要：特征零情况下的单有理性与有理连通性

问题陈述
本文探讨了代数几何中一个基本问题，即在特征为零的域 $k$ 上，光滑射影簇的单有理性（unirationality）与有理连通性（rational connectedness）之间的关系。虽然已知有理簇（rational varieties）是单有理的，且单有理簇是有理连通的（也是有理链连通的），但其逆向蕴含关系在历史上一直非常微妙。

• 单有理性定义为存在一个从 $\mathbb{P}^n_k$ 到 $Z$ 的生成有限且满的有理映射 $\mathbb{P}^n_k \dashrightarrow Z$。
• 有理连通性定义为存在一个从 $\mathbb{P}^1_k \times M$ 到 $Z$ 的满有理映射 $\mathbb{P}^1_k \times M \dashrightarrow Z$，使得诱导的映射在对（pairs）上是满的。
• 有理链连通性要求任意两点都可以由有理曲线链连接。

在特征为零的情况下，光滑的有理链连通簇是有理连通的。然而，问题在于是否每一个有理连通簇都是单有理的。先前的反例（如 Clemens-Griffiths 的光滑三次三维流形）表明，单有理性并不意味着有理性（即与 $\mathbb{P}^n$ 双有理）。本文旨在确定在光滑射影情形下，较弱的有理连通性条件是否等价于单有理性，这与更强的有理性条件是不同的。

方法论
作者采用了由 Campana、Kollár、Miyaoka 和 Mori 建立的极大有理连通（MRC）纤维化理论。核心策略是构造一个特定的中间簇，记作 $MU(X)$，以在簇$X$ 与其 MRC 商之间搭建桥梁。

1. **$MU(X)$的构造：** 本文证明了存在一个簇$MU(X)$，配备有有理映射$\pi: X \dashrightarrow MU(X)$和$\lambda: MU(X) \dashrightarrow MRC(X)$，并满足三个条件：

   • 复合映射 $\lambda \circ \pi$ 恢复了 MRC 纤维化 $\nu: X \dashrightarrow MRC(X)$。
   • $\pi$ 的极一般纤维是单有理的。
   • $\lambda$ 的极一般纤维是有理连通但非单有理的。

2. 归纳论证： 证明过程利用了对簇维数的归纳。作者建立，若 $X$ 是有理连通的，则 $MRC(X)$是一个点（具体为$\text{Spec}(k)$）。因此，$MU(X)$成为$\lambda$ 的极一般纤维。

   • 如果 $MU(X)$具有正维数，归纳假设（应用于低维有理连通簇）将意味着$MU(X)$ 是单有理的。
   • 然而，根据构造，$\lambda$ 的纤维不是单有理的。
   • 这种矛盾迫使 $MU(X)$必须是一个点，这意味着$\pi$的纤维（在此情况下为$X$ 本身）必须是单有理的。

3. 佐恩引理的应用： 为了确保存在一个“极大”的单有理纤维化，作者通过包含其函数域的方式对具有单有理纤维的有理映射集合进行排序。通过使用佐恩引理，作者证明了存在一个唯一的（在双有理等价意义下）极大元素，该元素即作为 $MU(X)$。

主要贡献与结果

• 等价定理： 主要结果（定理 9）证明了对于任何特征为零的域 $k$ 上的光滑射影簇 $X$，以下性质是等价的：
  1. $X$ 是单有理的。
  2. $X$ 是有理连通的。
  3. $X$ 是有理链连通的。
     注：此等价性专门针对单有理性与有理连通性之间的关系，这有别于有理性这一性质。本文承认，簇可以是单有理且有理连通的，但并非有理的（例如光滑三次三维流形）。
• 极大单有理纤维化的存在性： 本文确立了对于任何光滑射影簇 $X$，都存在唯一的（在双有理等价意义下）极大单有理纤维化 $\pi: X \dashrightarrow MU(X)$。
• 结构分解： 本文提供了一个将任何光滑射影簇 $X$ 分解为一系列纤维化的结构分解，其中“单有理部分”与“非单有理的有理连通部分”被分离出来。具体而言，它表明如果 MRC 商是平凡的，则该簇本身必须是单有理的。

意义与主张
本文声称解决了特征为零的特征下光滑射影簇的单有理性与有理连通性的等价性问题。作者指出，虽然有理连通性通常比单有理性更容易验证（例如通过存在非常自由的曲线），但这一结果确立了对于光滑射影簇而言，这两个概念是相同的。

这项工作依赖于 MRC 纤维化理论和特征为零时的一般光滑性。它明确区分了其结果与正特征情况（其中需要分离性条件）的区别，也区别于有理性问题（其中存在如三次三维流形之类的反例）。本文并不声称解决了有理性问题，而是澄清了单有理性与有理连通性之间的层级关系，表明在指定的语境下，后者蕴含前者。