論文要約：アフィン曲線と射影曲線の直積に対する分岐自己写像の動的モレル・ラング予想

論文タイトル: DYNAMICAL MORDELL–LANG CONJECTURE FOR SPLIT SELF-MAPS OF AFFINE CURVE TIMES PROJECTIVE CURVE
著者: Junyi Xie, She Yang, Aoyang Zheng
概要: 本論文は、有理数体 $\mathbb{Q}$ 上のアフィン曲線と射影曲線の直積に対して定義された分岐自己写像（split self-maps）の対において、動的モレル・ラング予想（DML 予想）が成り立つことを証明したものである。

以下に、問題設定、手法、主要な貢献、結果、および意義について詳細な技術的まとめを記述する。

---

1. 問題設定 (Problem)

動的モレル・ラング予想 (DML Conjecture)

代数幾何学と数論的力学系における中心的な未解決問題の一つである DML 予想は、Ghioca と Tucker によって提唱された。

• 設定: $K$ を標数 0 の体、$X$ を $K$ 上の準射影多様体、$f: X \to X$ を自己写像、$V$ を $X$ の閉部分多様体とする。
• 主張: 任意の点 $x \in X(K)$ に対して、その軌道が $V$ に戻る集合（return set）
  $$\{n \in \mathbb{N} \mid f^n(x) \in V(K)\}$$
  は、有限個の算術級数の和集合（finite union of arithmetic progressions）である。

本研究の対象

既存の研究では、$X$ がアフィン平面 $\mathbb{A}^2$ の場合や、$f$ がエタール（étale）な場合などは解決されている。
本研究は、「アフィン曲線 $X$ と射影曲線 $Y$ の直積 $X \times Y$」および、その上の「分岐自己写像 $f \times g$」（$f: X \to X, g: Y \to Y$）に焦点を当てている。特に、主要なケースは $\mathbb{A}^1 \times \mathbb{P}^1$ である。

---

2. 手法と証明の概要 (Methodology)

証明は、主に Proposition 1.2（$\mathbb{A}^1 \times \mathbb{P}^1$ の場合）の証明を中核とし、それを一般の曲線への拡張（Theorem 1.1）へと展開する構成となっている。

2.1 主要な仮定と簡約

• 次数の仮定: $\deg(f) = \deg(g) = d > 1$ であると仮定する（次数が 1 の場合は自明または既知の結果に帰着）。
• 多項式への共役性の排除: $g$ の任意の反復（iterate）が多項式写像に共役でない場合を扱う。もし共役であれば、$\mathbb{A}^2$ 上の写像として既知の結果（Xie [Xie17]）に帰着される。
• 軌道の性質: 初期点 $(x_0, y_0)$ が $f, g$ に対して非予期期（non-preperiodic）であり、曲線 $C$ が垂直または水平なファイバーでない場合、軌道と $C$ の共通部分が有限であることを示す。

2.2 局所高さと極限挙動の分析

証明の鍵は、局所高さ（local height）と極限速度の比較にある。

1. アフィン座標の発散:

   • 補題 2.2 により、$x_0$ が非予期期点であれば、ある素点 $v$ において $|f^n(x_0)|_v$ が $d^n$ のオーダーで発散する（$\log |f^n(x_0)|_v \sim c d^n$）ことが示される。
   • つまり、アフィン座標 $x$ は「最大速度」で無限遠へ向かう。

2. 射影座標の挙動:

   • 射影直線 $\mathbb{P}^1$ 上の写像 $g$ に対して、非予期期軌道が特定の点に「最大速度」で収束することはできないという事実（Lemma 2.1, [Sil93]）を利用する。
   • 具体的には、$g$ が多項式に共役でない場合、$g$ に例外点（exceptional point）が存在しない。したがって、$g^n(y_0)$ が任意の点 $p$ に $d^n$ のオーダーで収束することはない。

3. 矛盾の導出:

   • 軌道が曲線 $C$ に無限に多く戻ることを仮定する。
   • 曲線 $C$ の定義式を $x$ の次数で整理し、$x \to \infty$ の極限を考察する。
   • $x$ が無限遠へ発散する速度が非常に速いため、$C$ の定義式を満たすためには、射影座標 $y$ が $C$ の無限遠点での交点（$b_1, \dots, b_k$）のいずれかに極めて速く収束しなければならない。
   • しかし、前述の Lemma 2.1 により、$g$ の軌道がそのような速度で収束することは不可能である。
   • この矛盾により、軌道と $C$ の共通部分が有限であることが示される。

2.3 一般化 (Theorem 1.1 & Corollary 1.3)

• 種数による場合分け: 曲線の種数（genus）が 0, 1, 2 以上の場合に分けて議論を行う。
  • 種数 $>1$: 写像の反復が恒等写像になるため自明。
  • 種数 $=1$: エタール写像となり、既知の結果（[BGT10]）で解決。
  • 種数 $=0$: $\mathbb{P}^1$ から有限点集合を除いたものとして扱え、$\mathbb{A}^1 \times \mathbb{P}^1$ の結果（Proposition 1.2）に帰着される。
• DML(1) 性質の保存: 曲線 $C$ に対して DML 予想が成り立つ（DML(1) 性質）という仮定の下で、直積 $X \times Y$ においても DML(1) 性質が保たれることを示す（Corollary 1.3）。

---

3. 主要な結果 (Key Results)

定理 1.1 (Theorem 1.1)

$\mathbb{Q}$ 上のアフィン曲線 $X$ と射影曲線 $Y$、およびそれぞれの自己写像 $f, g$ に対して、直積写像 $f \times g$ に関する DML 予想は成り立つ。

命題 1.2 (Proposition 1.2)

$\mathbb{Q}$ 上の写像 $f: \mathbb{A}^1 \to \mathbb{A}^1$ と $g: \mathbb{P}^1 \to \mathbb{P}^1$ に対して、$(\mathbb{A}^1 \times \mathbb{P}^1, f \times g)$ に対する DML 予想は成り立つ。

• これが本論文の核心的な技術的貢献であり、他のケースはこの命題への帰着によって解決される。

系 1.3 (Corollary 1.3)

$X, Y$ がそれぞれ DML(1) 性質を満たす場合、その直積 $X \times Y$ も DML(1) 性質を満たす。

---

4. 意義と貢献 (Significance)

1. DML 予想の適用範囲の拡大:
   従来の結果は主にアフィン空間やエタール写像に限定されていたが、本論文は「アフィン曲線 $\times$ 射影曲線」という、異なる幾何的性質を持つ多様体の直積に対して DML 予想を初めて証明した。これは、力学系の軌道と代数多様体の交点に関する理解を深める重要な進展である。

2. 局所高数の精密な制御:
   証明において、アフィン座標の発散速度と射影座標の収束速度の「非整合性」を局所高さの理論を用いて厳密に定式化し、矛盾を導出した手法は、今後の類似の問題（異なる次元や異なる種類の多様体の直積）に対するアプローチの指針となる。

3. 例外点の扱い:
   射影直線上の写像が「多項式に共役でない」場合、例外点を持たないという性質を巧みに利用し、軌道の収束速度に制限を課すことで証明を完結させている。この議論は、力学系における例外点の役割を再確認するものでもある。

4. 今後の展望:
   本結果は、より一般的な多様体（高次元多様体や非分岐写像）への DML 予想の拡張への道筋を示唆している。特に、曲線の種数による分類と、その写像の性質（エタール性、多項式性など）を組み合わせた議論手法は、今後の研究において重要な枠組みを提供する。

---

結論:
Junyi Xie らは、有理数体上のアフィン曲線と射影曲線の直積における分岐自己写像に対して、動的モレル・ラング予想を肯定的に解決した。その核心は、異なる幾何的構造（アフィンと射影）を持つ座標の軌道挙動の速度差を局所高さを用いて解析し、軌道が曲線に無限に重なることを不可能にする点にある。この結果は、数論的力学系の分野における重要なマイルストーンである。