Dynamical Mordell-Lang problem for automorphisms of surfaces in positive characteristic

Junyi Xie と She Yang による論文「Dynamical Mordell–Lang problem for automorphisms of surfaces in positive characteristic（正標数における曲面の自己同型に対する動的モルデル・ラング問題）」の詳細な技術的要約を以下に示す。

1. 問題の提示

本論文は、正標数（$p > 0$）の文脈における動的モルデル・ラング（DML）予想を取り扱っている。

• 予想: 体 $K$ 上の多様体 $X$ と自己準同型写像 $f$ に対して、「帰還集合」$S = \{n \in \mathbb{Z} \mid f^n(x) \in V(K)\}$（ここで $x \in X(K)$、$V \subseteq X$ は閉部分多様体）は、有限個の算術級数の和集合でなければならない。
• 課題: この予想は標数 0 では多くの場合（例えば、エタール自己準同型写像や $\mathbb{A}^2$ など）で成り立つが、正標数では成立しない。標数 $p$ において、帰還集合は $\{c_0 + c_1 \frac{q^m}{q-1} \mid m \in \mathbb{N}\}$（ここで $q$ は $p$ のべき乗）という形の集合を含むなど、はるかに複雑になり得る。
• 具体的な目標: 著者らは、正標数における射影曲面の自己同型写像に対する DML 問題を解決し、これらの帰還集合の正確な構造を特徴づけることを目指している。

2. 手法

著者らは、代数幾何学、力学系理論、および算術的高さ機構の組み合わせを採用している。証明の方針は、曲面の自己同型写像をその動的次数に基づいて分類し、各クラスに対して特定のツールを適用するというものである。

A. 自己同型写像の分類

著者らは、曲面 $X$ の自己同型写像 $f$ を、その動的次数 $\lambda_1(f)$ および大かつ nef な線形束 $L$ に対する交点数 $((f^n)^*L \cdot L)$ の増大に基づいて分類する：

1. 有界次数（楕円的）: 数列是有界である。
2. 放物的: $\lambda_1(f) = 1$ であるが、数列は有界ではない。
3. 双曲的: $\lambda_1(f) > 1$ である。

*注記: 場合 (i) と (iii) は既に文献で解決されている。本論文の中核的な貢献は、場合 (ii)：放物的自己同型写像の証明である。*

B. 主要なツール

1. Gizatullin の定理: 滑らかな射影曲面の任意の放物的自己同型写像は、あるファイバー束 $\pi: X \to C$（ここで $C$ は曲線）を保存するという重要な構造結果である。これにより、力学をファイバーごとに解析することが可能になる。
2. Weil 高さ機構: 著者らは点の「大きさ」を測定するために高さ関数を利用する。彼らは、放物的自己同型写像に対して、軌道の異なる成分が異なる多項式成長率で増大することを確立する。
   • 2 つの異なる成長速度（例えば、線形対二次、あるいは二次対四次）を見つけることで、軌道が特定の代数構造に閉じ込められていない限り、部分多様体との交わりが有限でなければならないことを証明できる。
3. アルバーネ写像の議論: アルバーネ写像が全射である曲面の場合、問題はアーベル多様体または楕円曲線上の自己同型写像の研究に帰着される。
4. アーベル曲面への帰着: アーベル曲面の場合の処理は、自己同型写像を平行移動と群自己同型写像に分解し、楕円曲線の特定の構造を利用することで明示的に行われる。

3. 主要な貢献と結果

主要定理（定理 1.1）

射影曲面 $X$、自己同型写像 $f$、閉部分多様体 $V$、および点 $x$ に対して、帰還集合 $S = \{n \in \mathbb{Z} \mid f^n(x) \in V(K)\}$ は以下のいずれかである：

• 有限個の算術級数の和集合。
• 加えて、$q$ が $p$ のべき乗であり、$c_0, c_1$ が $q-1 \mid c_0 + c_1$ を満たす整数であるような、有限個の集合 $\{c_0 + c_1 \frac{q^m}{q-1} \mid m \in \mathbb{N}\}$。
• 重要な条件: これらの「p-集合」（2 番目のタイプ）は、$f$ が有界次数である場合のみ現れる。$f$ が放物的または双曲的である場合、帰還集合は厳密に有限個の算術級数の和集合である。

定理 1.3（放物的の場合）

著者らは、$f$ が滑らかな射影曲面の放物的自己同型写像である場合、帰還集合は厳密に有限個の算術級数の和集合であり（「p-集合」は現れない）ことを証明する。

• 証明の方針: 彼らは Gizatullin のファイバー束 $\pi: X \to C$ を用いる。
  • 底曲線 $C$ の種数が 1 超の場合、軌道は稠密ではない。
  • $C$ が $\mathbb{P}^1$ または楕円曲線の場合、ファイバーに沿った点の成長と底曲線に沿った点の成長が、軌道が周期的でない限り、あるいは交わりが有限でない限り、無限の交わりと両立しないことを示す高さ関数を構成する。

系 1.2（高次元の場合）

この結果は、射影3 次元多様体のコホモロジー的双曲的自己同型写像に対して、閉部分曲線と交わる場合に拡張され、双曲性条件を通じて曲面の場合に問題を帰着させる。

定理 6.1（逆問題）

著者らは、実際にどのような集合が帰還集合として実現可能かを決定する。

• 軌道が稠密でない場合、その集合は有限個の算術級数の和集合である。
• 軌道が稠密な場合、その集合は有限個の算術級数の和集合に、上記の特定の「p-集合」を加えたものとなり得る。
• 彼らは、この形式のすべての集合が曲面の自己同型写像によって実現可能であることを証明し、分類が完全であることを示す。

4. 意義

1. 困難な場合の解決: 正標数における DML 問題は、「p-集合」の存在により極めて困難である。本論文は、力学系の基本的なクラスである曲面の自己同型写像に対して、この問題を完全に解決する。
2. 構造的洞察: 鋭い二項対立を確立する。「p-集合」（正標数に特有の異質な帰還集合）は、厳密に有界次数（楕円的）な力学と関連している。放物的および双曲的な力学においては、正標数の設定にもかかわらず、振る舞いは「古典的」な算術級数の構造に戻る。
3. 手法の進展: 本論文は、高さの議論をゼロエントロピー（放物的）系に成功裏に適応させた。通常、高さの議論は軌道を分離するために指数関数的成長（双曲的）を必要とする。著者らは、Gizatullin のファイバー束を活用して曲面の異なる方向に異なる多項式成長率を見出すことで、これを克服した。
4. 完全性: 逆問題を解決することで、著者らは帰還集合の分類が網羅的であることを示す。曲面の自己同型写像に対して、他の種類の集合は現れ得ない。

証明の流れの要約

1. 帰着: 滑らかな曲面に帰着し、$f$ を楕円的、放物的、または双曲的に分類する。
2. 既知の場合: 楕円的および双曲的の場合については既存の文献を引用する。
3. 放物的の場合（核心）:
   • Gizatullin の定理を適用してファイバー束 $\pi: X \to C$ を得る。
   • 底曲線 $C$ を解析する：
     • $g(C) > 1$ の場合、自明。
     • $g(C) = 0$ または $1$ の場合、高さ機構を使用する。
   • $X$ 上の高さ関数 $h_L$ と $C$ 上の高さ関数 $h_H$ を構成する。
   • $h_L(f^n(x))$ が二次（あるいは特定のアーベルの場合に四次）で増大するのに対し、$h_H(\pi(f^n(x)))$ が一次（あるいは二次）で増大することを示す。
   • ノロドット性質（有界な高さを持つ点の個数は有限）を用いて、軌道が特定の代数構造に閉じ込められていない限り（これは算術級数を意味する）、任意の部分多様体 $V$ との交わりが有限でなければならないことを証明する。
4. 逆: $\mathbb{P}^2$ および半アーベル多様体上の明示的な例を構成し、予測されたすべての形式が達成可能であることを示す。