Unirationality is the same thing as Rational Connectedness in Characteristic Zero

技術的要約：標数ゼロにおける一有理性と有理連結性

問題提起
本論文は、標数ゼロの体 $k$ 上の滑らかな射影多様体における、一有理性（unirationality）と有理連結性（rational connectedness）の関係に関する代数幾何学の根本的な問いを扱っている。有理多様体は一有理的であり、一有理的多様体は有理連結的（かつ有理鎖連結的）であることは確立されているが、その逆の含意については歴史的に微妙な問題であった。

• 一有理性は、$\mathbb{P}^n_k \dashrightarrow Z$ への生成的に有限で優なる有理写像の存在として定義される。
• 有理連結性は、ペアに対する誘導写像が優であるような、$\mathbb{P}^1_k \times M \dashrightarrow Z$ への優なる有理写像の存在として定義される。
• 有理鎖連結性は、任意の2点が有理曲線の鎖によって結ばれることを要求する。

標数ゼロにおいて、滑らかな有理鎖連結多様体は有理連結的である。しかし、すべての有理連結多様体が一有理的であるかどうかという問いが残されている。先行する反例（クレメンス・グリフィスによる滑らかな3次体）は、一有理性が有理性（$\mathbb{P}^n$ と双有理であること）を意味しないことを示した。本論文は、より強い条件である有理性とは区別された上で、より弱い条件である有理連結性が一有理性と等価であるかどうかを明らかにすることを目的としている。

手法
著者は、カンパーナ、コーラー、ミヤオカ、およびモリによって確立された最大有理連結（MRC）ファイブレーションの理論を用いる。核心となる戦略は、多様体 $X$ とそのMRC商との間の溝を埋めるための、特定の中間多様体 $MU(X)$ を構築することである。

1. **$MU(X)$の構成:** 本論文は、以下の3つの条件を満たす有理写像$\pi: X \dashrightarrow MU(X)$および$\lambda: MU(X) \dashrightarrow MRC(X)$を備えた多様体$MU(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$ は有理鎖連結的である。
     注：この同値性は、有理性（例えば3次体のような反例が存在する）とは区別された、一有理性と有理連結性の関係に特化したものである。
• 最大一有理的ファイブレーションの存在: 本論文は、任意の滑らかな射影多様体 $X$ に対して、最大の一有理的ファイブレーション $\pi: X \dashrightarrow MU(X)$ の存在と一意性（双有理同値を除いて）を確立している。
• 構造的分解: 本論文は、任意の滑らかな射影多様体 $X$ を、ファイブレーションの列へと分解する構造的分解を提供している。具体的には、「一有理的部分」が「非一有理的な有理連結的部分」から分離されることを示している。特に、MRC 商が自明である場合、多様体自体が一有理的であることを示している。

意義と主張
本論文は、標数ゼロの滑らかな射影多様体における一有理性と有理連結性の同値を解決したと主張している。著者は、有理連結性（例えば非常に自由な曲線の存在によるもの）は一有理性よりも検証しやすいことが多いが、この結果は、指定された文脈において両概念が同一であることを確立していると述べている。

この研究は、MRC ファイブレーションの仕組みと、標数ゼロにおける生成的な滑らかさに依拠している。著者は、これは（分離条件が必要となる）正標数の場合とは明確に区別されるものであり、また有理性の問題とも区別されることを明記している（3次体のような反例が存在するため）。本論文は有理性の問題を解決しようとするものではなく、一有理性と有理連結性の間の階層関係を明確にし、指定された文脈において後者が前者を内包することを示している。