Height arguments toward the dynamical Mordell-Lang problem in arbitrary characteristic

技術的概要：任意の標数における動的モルデイル・ラング問題への高さ論的アプローチ

問題提起
本論文は、算術力学における中心的な問題である動的モルデイル・ラング（DML）予想を取り扱っている。この予想は、多様体 $X$ の有理自己写像 $f$ と、よく定義された軌道を持つ点 $x$ に対して、帰還集合 $\{n \in \mathbb{N} \mid f^n(x) \in V\}$（ここで $V$ は閉部分多様体）が、有限個の算術級数の和集合であると主張する。この「0-DML」予想は、標数 0 において特定のケース（例えば、エタール自己準同型や $\mathbb{A}^2$ の自己準同型）で成り立つが、正の標数 $p > 0$ では成立しない。正の標数において、帰還集合は複雑な構造を示す可能性があり、これら集合の形式を特徴づけることを目指す「pDML」問題へと至る。Corvaja、Ghioca、Scanlon、Zannier [6] による先行研究および著者ら [37] による研究は、特定の系の帰還集合が「p-正規」または「広義の p-正規」集合であることを確立した。しかし、正の標数における任意の自己準同型に対する帰還集合の一般的な構造は、依然としてほとんど不明であり、以前予想されていたよりもさらに複雑である可能性がある。

手法
著者らは、任意の標数における DML 問題を調査するために高さ論的アプローチを採用している。核心的な戦略は、点の軌道が異なる直線束に対して示す高さの増大の「速度」を 2 つ識別することである。軌道が部分多様体を無限回交差する場合、これらの異なる直線束を通じて計算された高さの増大率は互いに整合的でなければならない。著者らは、特定の力学的条件の下では、これらの増大率が整合しないことを示し、交差が有限であることを強制している。

主要な技術的道具は以下の通りである：

1. コホモロジー的リヤプノフ乗数（$\mu_i(f)$）： 第一著者 [29, 35] によって導入されたこれらは、力学次数の比（$\lambda_i(f)/\lambda_{i-1}(f)$）として定義される。これらは数値類群上の引き戻し写像の固有値として機能する。著者らは、これらの乗数が 1 のべき根（具体的には、集合 $\text{Root} = \{a^{1/n} \mid a, n \in \mathbb{Z}^+\}$ に属さない）であるという条件を利用して、異なる増大率を生成する。
2. ガロア共役： 高さ論に必要な第二の直線束を構成するために、著者らはコホモロジー的リヤプノフ乗数のガロア共役を利用する。$\mu_i(f) \notin \text{Root}$ という仮定は、$|\mu| \neq |\mu'|$ となる共役 $\mu'$ が存在することを保証し、増大速度の必要な差異を生み出す。
3. アルバネーズ写像： 一般的な射影多様体に対して、著者らはアルバネーズ写像を用いて、問題を極端なケース（ピカール数が自明な場合、または多様体がアーベル多様体である場合）に帰着させる。
4. モリワキの高さ： 主要な証明は、 Weil 高さを用いて正の標数で行われているが、著者らは Weil 高さの機構を、算術関数体に対してノロコット性質を満たすモリワキの高さの機構 [22] に置き換えることで、これらの議論が標数 0 にも拡張可能であると指摘している。

主要な貢献と結果

1. 稠密な軌道に対する帰還集合の有限性（定理 1.1）：
   著者らは、射影多様体 $X$ の全射自己準同型 $f$ に対して、すべての $i$ についてコホモロジー的リヤプノフ乗数 $\mu_i(f)$ が $\text{Root}$ に属さない場合、任意の閉部分曲線 $C$ への稠密な軌道の帰還集合が有限であることを証明する。この結果は、曲面におけるコホモロジー的双曲的自己同型 [34] に関する先行研究を、任意の次元および多様体に一般化するものである。

   • 系 1.3： これは、乗数の集合が区間 $[1, \deg(f)]$ と空集合で交わる場合（コホモロジー的双曲的自己同型や増幅された自己同型を含む）に拡張される。

2. 分裂自己準同型と積系（定理 1.8）：
   本論文は、積空間 $X \times C$ の分裂自己準同型に関する結果を確立する。$f: X \to X$ および $g: C \to C$ が全射自己準同型であり、$g$ の次数が $f$ の第一力学次数を超え（$\deg(g) > \lambda_1(f)$）、かつ $(X, f)$ がタイプ $\epsilon$（ここで $\epsilon \in \{0, 1, 2\}$）の DML 性質を満たすならば、積系 $(X \times C, f \times g)$ もタイプ $\epsilon$ の DML 性質を満たす。

   • 機構： 条件 $\deg(g) > \lambda_1(f)$ は、「速い」因子（$C$）と「遅い」因子（$X$）を生み出す。高さ論的アプローチは、速い因子における軌道成分が予周期的であることを強制し、問題をより遅い因子に帰着させる。
   • 系 1.9： 異なる次数を持つ曲線の積に適用すると、因子の次数が厳密に増加し（最初のものが 1 である場合）、系が DML2 性質（広義の p-正規集合）を満たすことが示唆される。

3. 反例と帰還集合の複雑性（第 5 節）：
   著者らは、高さ論的アプローチがすべての系に適用できないことを示す。具体的には、エントロピーが 0 の場合や、int-増幅された自己準同型（増大の点で「等方的」である）である場合である。

   • 命題 1.12： 彼らは、DML1 性質を満たさないエントロピー 0 の線形トーラスの自己同型を構成する。これは、アフィン多様体に関する Ghioca [9] による予想を否定するものである。
   • 例 5.5 および 5.6： 著者らは、帰還集合が「広義の p-正規集合」よりも著しく複雑になり得ることを示す、直感的かつ厳密な例を提供する。具体的には、多項式 - 指数方程式の系に対する解を含む帰還集合を構成し、$\{p^{m_1} + p^{m_2} + p^{m_1+m_2}\}$ のような集合を得る。これらは以前定義された p-正規集合の範囲外にある。

意義と主張
本論文は、以下の点において正の標数における DML 問題の理解を進展させると主張している：

• 適切な高さの機構を用いることで、任意の標数で機能する統合された高さベースのアプローチを提供すること。
• 非根リヤプノフ乗数を持つ動的系（広範なクラス）において帰還集合が有限であることを特定し、曲面から高次元への既知の結果を拡張すること。
• 分裂動的系とその因子間の構造的関係を明確にし、次数の差異が帰還集合の複雑性をどのように制御するかを示すこと。
• 正の標数における帰還集合が「広義の p-正規」構造によって制限されるという支配的な直感に挑戦すること。著者らは明示的に、彼らの例が帰還集合が「非常に複雑であること、かつて専門家が想像したよりも複雑であること」を示すことを述べており、これはトーラスのエントロピー 0 の自己準同型であっても同様である。

著者らは、pDML 問題の全範囲については謙虚であり、トーラスの自己準同型のケースは困難なディオファントス方程式を解くことに等しいこと [6]、そして彼らの反例は半線形集合や方程式の系を含む洗練された予想（質問 5.9）の必要性を示唆することを指摘している。彼らは一般的な pDML 問題を解決したと主張するのではなく、高さ論的アプローチが成功する境界と、問題が前例のない複雑性を示す境界を明確に描き出している。