On the height boundedness of periodic and preperiodic points of dominant rational self-maps on projective varieties

Each language version is independently generated for its own context, not a direct translation.

📜 論文のタイトル：

「魔法の機械で繰り返される数字の『高さ』が無限に伸びるのか？」
（原題：射影多様体上の支配的有理自己写像の周期点と非周期点の高さの有界性について）

🎯 この研究が解決しようとしたこと

数学者たちは、ある「魔法の機械（関数）」に数字を入れて、その結果をまた機械に通すことを無限に繰り返したとき、「特定の数字（周期点）」や「いつか同じ数字に戻る数字（非周期点）」が、ある一定の範囲（高さ）に収まるのか？ という疑問を持っていました。

「高さ（Height）」とは？
簡単に言うと、**「数字の複雑さ」**です。
- 例：「1/2」は簡単（高さ低）。「123456789/987654321」は複雑（高さ高）。
- 以前までの常識では、「この機械で繰り返すと、複雑な数字は出てこないはずだ（高さには限界がある）」という予想がありました。

🚨 発見その1：予想は「間違っていた」！

（第 2 章の内容）

著者たちは、3 次元の空間にある特別な「魔法の機械（ $f$ ）」を見つけました。
この機械は、入力された数字を加工して、また新しい数字を出力します。

従来の予想： 「この機械で繰り返すと、出てくる数字の『複雑さ（高さ）』は、ある限界を超えないはずだ。」
著者の発見： 「いいえ、限界はありません！」

🌟 例え話：
Imagine you have a machine that takes a number, does some math, and spits out a new number.
Imagine you have a machine that takes a number, does some math, and spits out a new number.

従来の予想：「この機械で何回も回すと、出てくる数字は『100 万円以下』の範囲に収まるはずだ。」
著者の発見：「実は、何回も回すと、数字の複雑さ（高さ）が無限に伸びていくのです！」

彼らは、3 次元の空間（ $A^3$ ）にある特定の機械を使って、**「複雑さが無限に大きくなる数字の列」を具体的に作り出しました。これは、数学界の大きな予想（Conjecture 1.1）に対する「反例（否定の証拠）」**です。

なぜこうなった？
この機械は、2 次元の「ヘノン写像（有名なカオスな機械）」と、もう一つの数字（ $z$ ）を組み合わせたものです。2 次元部分は規則的ですが、 $z$ の部分が「2 倍、3 倍…」と積み重なるように設計されており、その積み重ねが「複雑さ」を爆発的に増やしてしまったのです。

✅ 発見その2：でも、条件を変えれば「収まる」！

（第 3 章の内容）

「じゃあ、すべての機械で数字は無限に複雑になるのか？」というと、いいえです。

著者たちは、**「コホモロジー的に双曲的（Cohomologically Hyperbolic）」と呼ばれる、ある特別な性質を持った機械に焦点を当てました。
これは、「機械が数字を『広げる』力が、『縮める』力よりも圧倒的に強い」**ような、非常にバランスの取れた機械です。

新しい定理： 「もし機械が『広げる力』が圧倒的に強ければ、ある特定の範囲（開集合）内で繰り返される数字は、必ず『複雑さの限界』を超えない。」

🌟 例え話：

悪い機械（前の反例）： 数字を無限に膨らませる風船のような機械。
良い機械（今回の定理）： 数字を一定の広さの「箱」の中に押し込めようとする強力なバネが入った機械。
- この機械では、箱の中（特定の範囲）で数字を繰り返しても、数字が箱の外（無限の複雑さ）に飛び出すことはできません。

これは、**「ある条件下では、予想通り『高さには限界がある』」**というポジティブな結果です。

⚠️ 発見その3：「戻ってくる数字」はまた別問題

（第 4 章の内容）

ここまでは「周期点（同じ数字に戻る）」の話でしたが、「非周期点（一度は違う数字に行くが、いつか戻る）」はどうでしょうか？

著者たちは、「コホモロジー的に双曲的（良い機械）」であっても、「戻ってくる数字」の複雑さが無限に大きくなる例を見つけました。

状況： 機械は「良い機械（広げる力が強い）」ですが、**「逆方向（過去）」**に遡って数字を求めると、その数字の複雑さが無限に大きくなってしまいます。
意味： 「未来（繰り返す）」は安全でも、「過去（遡る）」は危険かもしれません。

🌟 例え話：

未来に向かって進むときは、数字は箱の中に収まっています（安全）。
しかし、**「過去に戻って、この数字はどこから来たのか？」**と逆算しようとすると、途方もなく複雑な数字が次々と現れてきます。

💡 まとめ：この論文は何を伝えている？

予想は崩れた： 「すべての機械で、繰り返される数字の複雑さは限界がある」という予想は、3 次元の特定の機械では間違っていた。
新しいルールが見つかった： しかし、**「広げる力が強い特別な機械」なら、ある範囲内では「複雑さに限界がある」**ことが証明された。
未解決の謎： 「過去に戻った数字」については、まだ「限界がある」とは言えないかもしれない。

🎓 一般の人へのメッセージ：
数学の世界でも、「いつもそうだろう」と思っていたことが、実は「例外がある」ことがわかったり、逆に「特別な条件を揃えれば、確かにそうなる」ことが証明されたりします。
この論文は、「数字の複雑さ（高さ）」という概念を使って、機械的な操作の限界と可能性を、より深く理解しようとした挑戦でした。

🗝️ キーワードの翻訳

Periodic points（周期点）： 機械を回すと、いつか元の数字に戻る数字。
Preperiodic points（非周期点）： 最初は違う数字に行くが、いつか周期点に入る数字。
Height（高さ）： 数字の「複雑さ」や「大きさ」を表す指標。
Cohomologically Hyperbolic（コホモロジー的に双曲的）： 機械が数字を「広げる」力が「縮める」力より圧倒的に強い、安定した状態の機械。
Counterexample（反例）： 予想を否定する具体的な例。

この研究は、数学の「ダイナミクス（力学）」分野において、**「何が安全で、何が危険か」**をより正確に描き出すための重要な一歩となりました。

Each language version is independently generated for its own context, not a direct translation.

1. 研究の背景と問題設定

背景:
数論的力学系において、代数多様体上の自己写像 $f$ に対する「前周期点（preperiodic points）」の集合が「高さ（height）」の観点から有界であるかどうかが重要なテーマです。

射影空間 $\mathbb{P}^N_{\mathbb{Q}}$ 上の非同型な全射正則写像の場合、前周期点の集合は高さ有界であることが知られています（これは標準的高さ関数 $\hat{h}_f$ の性質に起因します）。
しかし、アフィン空間 $\mathbb{A}^N_{\mathbb{Q}}$ 上の自己同型写像（automorphism）については、以下の予想 1.1が提唱されていました。

予想 1.1 (Matsuzawa-Wang 他):
$\mathbb{A}^N_{\mathbb{Q}}$ 上の自己同型写像 $f$ において、座標関数の最大次数が 2 以上である場合、 $f$ の孤立した周期点（isolated periodic points）の集合は高さ有界である。

本研究の目的:
この予想 1.1 の真偽の検証、およびより一般的な「コホモロジー的に双曲的（cohomologically hyperbolic）」な有理写像に対する高さ有界性の条件の解明です。

2. 主要な結果と貢献

この論文は、以下の 3 つの主要な結果を提供しています。

(1) 予想 1.1 に対する反例の構成（次元 3）

定理 1.3 (定理 2.1):
アフィン空間 $\mathbb{A}^3_{\mathbb{Q}}$ 上の自己同型写像 $f$ を以下のように定義する。
$f(x, y, z) = (y, x + y - y^3, 2z - y)$
この写像 $f$ について以下のことが成り立つ。

任意の $n \ge 1$ に対して、 $n$ -周期点の集合は有限である（したがって、すべての周期点は孤立している）。
しかし、 $f$ の周期点全体の集合は高さ有界ではない（高さの上限が存在しない）。

意義:
これは予想 1.1 が 3 次元以上では偽であることを示す最初の反例です。特に、この写像は「コホモロジー的に双曲的」ではないことが、高さの無界性の原因であることが示唆されます。

(2) コホモロジー的に双曲的写像における周期点の高さ有界性

定義 1.4: 射影多様体上の支配的有理写像 $f$ が「 $p$ -コホモロジー的に双曲的（ $p$ -cohomologically hyperbolic）」であるとは、ある一意の $p$ に対して $p$ -次動的次数 $d_p(f)$ が他のすべての動的次数 $d_i(f)$ よりも厳密に大きいことをいう。

定理 1.8:
射影多様体 $X$ 上のコホモロジー的に双曲的な写像 $f$ に対して、ある非空なザリスキ開集合 $U \subset X$ が存在し、その中を軌道が通る $f$ -周期点の集合は高さ有界である。

意義:
以前の結果（Wang, Matsuzawa-Wang）が双有理写像や特定の次元条件に依存していたのに対し、この定理は双有理性を仮定せず、一般的なコホモロジー的に双曲的な写像に対して周期点の高さ有界性を証明しました。証明の鍵は、軌道に沿った高さの再帰的不等式（recursive inequality）の導出にあります。

(3) 準周期点（Preperiodic points）に関する反例の示唆

定理 1.9 (定理 4.1):
コホモロジー的に双曲的な写像であっても、準周期点の集合が高さ有界であるとは限らないことを示す例を構成しました。

写像 $f: \mathbb{P}^2_{\mathbb{Q}} \dashrightarrow \mathbb{P}^2_{\mathbb{Q}}$ を $d \ge 3$ と素数 $p$ を用いて定義する。
この写像は 1-コホモロジー的に双曲的である（ $d_1(f)=d, d_2(f)=2$ ）。
しかし、ある固定点 $P_0$ の「逆向き軌道（backward orbit）」 $\{P_n\}$ を構成すると、 $P_n$ は $P_{n-1}$ の原像となり、この列はザリスキ稠密かつ高さ無限大に発散する。

意義:
周期点と準周期点の間には本質的な違いがあることを示しました。定理 1.8 の周期点の結果は、準周期点には直接適用できない可能性が高いことを示唆しています。

3. 手法と技術的詳細

反例の構成（定理 1.3 の証明）

構造: 写像 $f$ の最初の 2 座標 $(x, y)$ は $\mathbb{A}^2$ 上のヘノン写像（Henon map） $g$ を形成します。 $z$ 座標は $g$ の周期点の座標を用いて明示的に表現されます。
戦略: $g$ の周期点 $(x_0, y_0)$ に対応する $f$ の周期点の $z$ 座標は、 $z_0 = \frac{1}{2^n-1} \sum 2^{n-1-i} y_i$ のような形をとります。
高さの発散: 素数 $p=3$ における解析を行います。 $n$ を特定の形（ $n=2 \cdot 3^r$ ）に選ぶことで、$2^n-1 $が 3 の高いべきで割り切れるようにします。一方、分子の和$ \sum 2^{n-1-i} y_i $は、$ g$ の周期点が整数環の元であることと、3 進体上の線形写像の性質（トレース）を用いて、3 進絶対値において「小さくならない（値が 1 以上）」ことを示します。
結論: 分母の 3 進評価が非常に小さくなる（絶対値が非常に小さくなる）一方で分子は小さくならないため、 $z_0$ の高さ（対数）は $r \to \infty$ で無限大に発散します。

周期点の高さ有界性の証明（定理 1.8 の証明）

コホモロジー的ハイパーボリシティの利用: $f$ が $p$ -コホモロジー的に双曲的であるとき、コホモロジー的リャプノフ指数 $\mu_p > 1 > \mu_{p+1}$ が成り立ちます。
大因子（Big Divisor）の構成: 十分大きな $m$ と $\epsilon$ を選び、 $\alpha = (\epsilon^2 \mu_p)^m$ 、 $\beta = (\epsilon^{-2} \mu_{p+1})^m$ とおくことで、 $\alpha > 1 > \beta$ かつ、ある大因子（big divisor）が現れるようにします。
高さの不等式: この大因子の性質から、高さ関数 $h_L$ に対して以下の不等式がザリスキ開集合上で成立します。
$h_L \circ f^{2m} + \alpha\beta h_L - (\alpha+\beta) h_L \circ f^m \ge C$
収束の導出: 周期点 $P$ に対して $f^{mn}(P)=P$ であることから、上記不等式を繰り返し適用し、 $h_L(P)$ が有界であることを示します。

準周期点の反例（定理 1.9 の証明）

逆向き軌道の解析: 固定点 $P_0$ から逆向きに $f(P_n) = P_{n-1}$ となる点列を構成します。
絶対値の増大: 実絶対値（Archimedean absolute value）において、 $|y_n|$ が $|y_{n-1}|^{(d-1)/2}$ 程度で増大することを示します（ $d \ge 4$ の場合）。
高さの発散: この増大率により、点列 $\{P_n\}$ の高さ $h(P_n)$ は指数関数的に増加し、 $\lim h(P_n) = \infty$ となります。
ザリスキ稠密性: この点列が任意の代数曲線に含まれないこと（周期曲線が存在しないこと）を議論し、ザリスキ稠密であることを示します。

4. 結論と今後の課題

結論:

アフィン空間上の自己同型写像の周期点の高さ有界性に関する予想は、3 次元以上では偽である。
射影多様体上の「コホモロジー的に双曲的」な写像については、ある開集合上の周期点は高さ有界である。
しかし、同じ条件でも準周期点は高さ有界であるとは限らない。

今後の課題（Question 1.10, 1.11）:

定理 1.8 の「軌道全体が開集合 $U$ に含まれる」という条件は本質的か？（技術的な仮定か、真の必要条件か）
コホモロジー的に双曲的な写像において、準周期点の集合が「ある開集合上で高さ有界」になるような条件はあるか？（定理 1.9 の例は反例の候補だが、完全な証明は残されている）
固定された数体上で定義される準周期点の集合は有限か？（Northcott 性との関係）

この論文は、数論的力学系における「高さ有界性」の境界を明確にし、コホモロジー的性質（動的次数の構造）が点の分布にどのように影響するかを解明する重要な一歩となりました。