Retract rational varieties are uniformly retract rational

技術的要約：「リトラクト有理多様体は一様リトラクト有理である」

問題提起
本論文は、代数多様体の理論における、有理多様体およびリトラクト有理多様体の局所構造に関する根本的な問いを扱っている。具体的には、「リトラクト有理（retract rational）」であるという性質が「一様リトラクト有理（uniform retract rational）」であることを意味するかどうかを調査している。

• リトラクト有理性（Retract Rationality）: 無限体 $K$ 上の代数多様体 $X$ が、ある稠密なザリスキー開集合 $V \subset X$、自然数 $m$、ザリスキ一開集合 $U \subset K^m$、および $V$ 上の恒等写像として作用する合成写像 $V \to U \to V$ の正則写像が存在する場合、その $X$ はリトラクト有理である。
• 一様リトラクト有理性（Uniform Retract Rationality）: $X$ が一様リトラクト有理であるとは、$X$ のすべての点 $x$ に対して、先述のリトラクション条件を満たすザリスキー開近傍 $V$（必ずしも大域的な意味での稠密である必要はないが、$x$ に局所的なもの）が存在することを指す。

中心となる問い（Question 1.7）は、「すべての非特異なリトラクト有理代数多様体は、一様リトラクト有理か？」というものである。

この探究は、グロモフの「楕円性（ellipticity）」というより広い文脈から動機付けられている。グロモフは、強いホモトピーおよび近似的特徴を暗示する性質である「代数的楕円性（algebraic ellipticity）」を複素非特異多様体に対して導入した。一様有理性は代数的楕円性を導くことが知られていたが、すべての非特異な有理複素射影多様体が代数的楕円的であるかどうかは未解決の問題であった（Question 1.3）。一様リトラクト有理性に関する問いへの肯定的な回答は、Observation 1.6 が（複素数の場合）一様リトラクト有理性が代数的楕円性を導くことを確立していることから、この問題の部分的な解決を与えることになる。

手法
証明は、局所代数幾何学、可換環論、および多項式写像の操作の組み合わせに基づいている。核心となる戦略は、局所的な有理写像を正則な芽（regular germs）へと拡張することである。

1. 写像の局所的拡張（Proposition 3.1）: 決定的な技術的ツールは、もし有理写像 $F: K^n \dashrightarrow Y$ が部分多様体 $X \subset K^n$ 上の点 $x_0$ で正則であれば、 $F$ と $x_0$ 近傍の $X$ 上で一致する正則な芽 $G: (K^n, x_0) \to Y$ が存在する、と主張する Proposition 3.1 である。
2. 拡張の構成: Proposition 3.1 の証明には Proposition 2.2 が用いられる。この命題は、以下の性質を持つ特定の多項式写像 $\sigma: X \times K^{n-m} \to K^n$ （ここで $m = \dim X$）を構成する：
   • 第2変数がゼロのとき、$X$ 上で恒等写像として作用する。
   • 基点における微分が同型写像である。
   • 誘導される局所環の準同型が、有理写像の分母によって生成される特定のイデアルに関して全射である。
     この構成により、著者は $X$ 上で定義された有理写像を、局所的に周囲の空間 $K^n$ 上の正則写像へと持ち上げることが可能になる。
3. 生成性の議論: $\sigma$ の構成は、グラスマン多様体上の次元計算を用いる Lemma 2.3 に依存しており、これにより、関連するイデアルの零点集合が原点のみで交わることを保証する一般的な線形部分空間を確保している。これにより、拡張が機能するために必要な横断性と代数的独立性が保証される。
4. Lemma 2.4 の適用: この補題は、有理関数の正則性が写像の小さな摂動の下で保存されることを保証し、積空間上で構成された芽から周囲の空間へと戻るプロセスを可能にする。

主要な貢献と結果
本論文の主要な結果は Theorem 1.8 である：

無限体 $K$ 上の非特異なリトラクト有理代数多様体 $X$ を考える。このとき、$X$ は一様リトラクト有理である。

証明は、任意の点 $x_0 \in X$ を取ることから始まる。$X$ はリトラクト有理であるため、大域的な開集合とリトラクションが存在する。著者は、リトラクション写像 $r: U \to V$ （ここで $V \subset X$）を、周囲の空間上の有理写像へと拡張する。Proposition 3.1 を用いて、周囲の空間の $x_0$ の近傍で定義され、$x_0$ 近傍の $X$ 上で恒等写像に制限される正則な芽 $G$ を構成する。この芽は、一様リトラクト有理性に求められる局所的なリトラクションを実質的に提供する。

系と意義
本論文は、Corollary 1.9 を直接的な帰結として導いている：

非特異な有理複素射影多様体は、代数的楕円的である。

意義の主張:

• 特定の問いの解決: 本論文は Question 1.7 に対し、非特異な多様体については局所的な性質（一様性）が全域的な性質（リトラクト有理性）に従うことを確立することで、肯定的な回答を与えている。
• グロモフの問いへの部分的な回答: Theorem 1.8 と Observation 1.6 を組み合わせることで、すべての非特異な有理複素射影多様体が代数的楕円的であることを確認している。これにより、有理多様体のクラスにおける Question 1.3 の第2部が解決された。
• 階層関係の明確化: 本結果は、既約非特異複素射影多様体の性質の階層関係を明確にしている：
  $$\text{一様有理 (Uniformly Rational)} \implies \text{有理 (Rational)} \implies \text{リトラクト有理 (Retract Rational)} \implies \text{一様リトラクト有理 (Uniformly Retract Rational)} \implies \text{代数的楕円的 (Algebraically Elliptic)}$$
  論文内では、逆の包含関係は一般には成立しないことが指摘されている（楕円的であるが有理的またはリトラクト有理ではない例を引用）。

本論文は Question 1.3 全体を解決したと主張しているわけではなく（有理的なものに限らず、すべての非特異な多様体についてではない）、また新しい実験的な応用を提案しているわけでもない。その貢献は純粋に理論的であり、代数的拡張の手法を用いてリトラクト有理性と一様リトラクト有理性の間の溝を埋めることにある。