論文「A counting argument for the geometric Bombieri–Lang conjecture on ramified covers of abelian varieties」の技術的サマリー

1. 問題設定と背景

本論文は、関数体上の幾何学的ボンビエリ・ラン（Bombieri–Lang）予想について、アーベル多様体への有限射を持つ射影多様体に対して証明を与えることを目的としています。

• ボンビエリ・ラン予想: 一般型（general type）の多様体上の有理点集合は、その「特殊集合（special set）」の内部に Zariski 稠密に含まれない、あるいは特殊集合の補集合は有限集合である、という予想です。これは、数論的なモーデル予想（Faltings による証明）の高次元版・関数体版と見なされます。
• 既存の結果:
  • Xie と Yuan は、$X$ がアーベル多様体 $A$ への有限射 $f: X \to A$ を持つ場合を研究しました。
  • しかし、彼らの結果は以下のいずれかの強い仮定を必要としていました：
    1. $X$ が双曲的（hyperbolic）であること（すなわち、特殊集合が空である）。
    2. $A$ の $K/k$-トレース（Chow のトレース）が自明（0）であること。
• 本論文の課題: これらの仮定（双曲性およびトレースの自明性）を一切課さず、一般の有限被覆（分岐被覆を含む）に対して予想を証明することです。特に、非自明なトレースが存在する場合に生じる本質的な困難を克服することが核心です。

2. 主要な結果

定理 1.1（主定理）:
標数 0 の代数閉体 $k$ 上の有限生成体 $K$ を考え、$X$ を $K$ 上の射影多様体とし、$A$ を $K$ 上のアーベル多様体とする。$f: X \to A$ が有限射であるとき、$X$ の特殊集合 $Sp(X)$の補集合$(X \setminus Sp(X))(K)$に含まれる有理点は、有限個の定数多様体（$k$上で定義された多様体$T_i$の$k$-点から来る点）の像に含まれる。

具体的には、$Z$ を $(X \setminus Sp(X))(K)$ の Zariski 閉包とし、$Z$ の既約成分をすべて含む有限個の閉部分多様体 $\{Z_1, \dots, Z_r\}$ が存在し、それぞれの正規化 $Z_i'$ が $k$ 上の多様体 $T_i$ から $K$ への基底変換 $T_i \times_k K$ と同型であり、かつ $(X \setminus Sp(X))(K)$ はこれらの $T_i(k)$ の像に含まれることを示します。

系 1.2:
この結果は、$X$ が一般型であり、かつ $A$ が $k$ 上で定義されていない場合、$X(K)$ が $X$ 内で Zariski 稠密にならないことを示します。また、$A$ のトレースが自明な場合、$(X \setminus Sp(X))(K)$ は有限集合となります。

定理 1.3（最大 Albanese 次元の場合）:
$X$ が一般型で最大 Albanese 次元を持ち、$X(K)$ が Zariski 稠密であれば、$X$ の正規化は $k$ 上の多様体 $T$ の基底変換 $T_K$ に双有理同型であり、その Albanese 多様体は $k$ 上で定義されます。

3. 手法と鍵となるアイデア

既存の Xie-Yuan の戦略（全曲線の構成と位置制御）を踏襲しつつ、**新しい「数え上げ論法（counting argument）」**を導入することで、非双曲的・非自明トレースのケースを処理しています。

3.1 基本的な戦略

1. 背理法: 有理点列 $\{x_n\}$ の高さが無限大に発散すると仮定します。
2. 全曲線の構成: 高さが発散する点列から、Brody 補題や再パラメータ化を用いて、極限として「線形全曲線（linear entire curve）」を構成します。
3. 矛盾の導出: 構成された全曲線が、ある代数多様体（分岐因子や特殊集合）と「過剰に」接する（tangency）ことを示し、Nevanlinna 理論の第二主定理に矛盾させることで背理法を完結させます。

3.2 鍵となる「数え上げ論法」

従来の Xie-Yuan の手法は、全曲線が特殊集合 $Sp(X)$ と交差する位置を調べるものでしたが、本論文では分岐因子（ramification divisor）$R$ に焦点を当てます。

• 接性の観察: 点 $x \in X$ が分岐因子 $R$ 上にある場合、その像 $f(x)$ は $A \times T$ 上の分岐像 $D$ において、接ベクトルが $D$ の接空間に含まれる（接する）性質を持ちます（Proposition 1.7）。
• 数え上げ: 高さが発散する点列 $\{x_n\}$ は、正の次数を持つ因子 $R$ と「多くの点」で交差します。接性の性質により、これは像 $\{f(x_n)\}$ が $D$ と「多くの点で接する」ことを意味します。
• 極限への移行: 極限として得られる全曲線は、$D$ の特定のファイバー上で「過剰な数」の点で $D$ と接することになります。
• 矛盾: アーベル多様体上の線形全曲線が、それを含まない既約因子と「過剰に」接することは、Yamanoi の第二主定理（Theorem 3.6）によって矛盾することが示されます。

4. 技術的困難と解決策

非双曲的・非自明トレースのケースでは、以下の 3 つの技術的困難が生じます。これらを解決するために、代数幾何と Nevanlinna 理論の高度な道具が用いられました。

4.1 困難 1: 極限ファイバーの非既約性（Non-reducedness）

• 問題: 極限点 $t_\infty$ におけるファイバー $(D_{\text{red}})_{t_\infty}$ が既約（reduced）でない場合、接性の議論が自明化してしまいます。
• 解決: Lemma 3.7（Key Lemma）を証明しました。これは、ファイバーが非既約であっても、その近傍の既約ファイバーの接束の極限は、極限ファイバーの既約部分の接空間に含まれることを示すものです。これにより、極限全曲線が $(D_{\text{red}})_{t_\infty}$ の既約部分と接することを保証します。

4.2 困難 2: $D$ の全ファイバーへの包含（Non-flatness）

• 問題: $D$ が全ファイバー $A \times \{t_\infty\}$ を含む場合、接性の議論が成立しません。
• 解決: 弱半安定化定理（weak semistable reduction）（[AK00]）を用いて、$T$ の有限被覆 $T' \to T$ と $X$ の双有理変形 $X' \to X \times_T T'$ を構成し、すべてのファイバーが既約になるようにしました。これにより、分岐因子が $T'$ に対して「水平的」になり、全ファイバーを含むことを排除できます。

4.3 困難 3: 特異点による問題（Singularities）

• 問題: $X$ が特異点を持つ場合、分岐因子 $R$ が $\mathbb{Q}$-Cartier divisor とならず、交点数の定義や推定が困難になります。
• 解決: 標準モデル（canonical model） $X_{\text{can}}$ を用います。$X$ が有理曲線を持たない場合、Hacon-McKernan の拡張定理により、$X_{\text{can}}$ から $X$ への双有理射が存在し、$K_{X_{\text{can}}}$ は ample かつ $\mathbb{Q}$-Cartier となります。これにより、交点数の推定を特異点のない（あるいは mild な特異点を持つ）モデル上で実行可能にしました。

5. 意義と貢献

1. 予想の完全解決: アーベル多様体への有限射を持つ多様体に対して、幾何学的ボンビエリ・ラン予想を、双曲性やトレースの自明性といった制限なしに証明しました。
2. 手法の革新: 特殊集合の位置制御に依存せず、分岐因子の正性（positivity）と接性の数え上げに基づく新しい証明戦略を確立しました。この手法は、Xie-Yuan の結果の新しい証明も提供します。
3. 技術的融合: 代数幾何（標準モデル、半安定化、フラット化）と複素解析・Nevanlinna 理論（全曲線の極限、第二主定理、接束の極限挙動）を深く融合させた点に大きな学術的価値があります。
4. 応用可能性: 関数体上の有理点の分布に関する研究において、非自明なトレースを持つ場合の扱い方を確立したことで、より広範な多様体クラスへの拡張の道を開いています。

本論文は、現代の数論幾何学における重要な進展であり、特に高次元のディオファントス幾何における「特殊集合」の構造理解を深めるものと言えます。