Rational Preperiodic Points of Quadratic Rational Maps over $\mathbb{Q}$ with Nonabelian Automorphism Groups

この論文は、非可換な自己同型群を持つ $\mathbb{Q}$ 上の二次有理写像について、周期 1, 2, 3 の $\mathbb{Q}$-有理周期点を完全に分類し、周期 4 以上が存在しないことを示すとともに、周期 3 を超える有理周期点を持たない場合の有理非周期点の個数が最大 6 であることを証明しています。

要約

この論文は、数学の「力学系（ダイナミカルシステム）」という分野における、ある特定の「数字の遊び」について書かれた研究報告です。専門用語を避け、日常の比喩を使ってわかりやすく解説します。

1. 物語の舞台：「数字のループと迷子」

まず、この研究の舞台となる**「二次有理写像（Quadratic Rational Map）」**というものを想像してください。

これは、ある数字を入力すると、決まったルールで別の数字を出力する「魔法の機械」のようなものです。

• 数字 A を機械に入れる → 数字 B がでてくる
• 数字 B をもう一度入れる → 数字 C がでてくる
• ...というように、数字を次々と変えていくことができます。

このとき、2 つの重要な状態があります。

1. 周期点（Periodic Point）：「完璧なループ」
   数字がいつか元の場所に戻ってくる状態です。例えば、A→B→C→A→B→C... と永遠に同じ順番で回る「輪っか」を作ります。

   • 1 回で戻る（A→A）：「1 周期」
   • 2 回で戻る（A→B→A）：「2 周期」
   • 3 回で戻る（A→B→C→A）：「3 周期」
     といった具合です。

2. 前周期点（Preperiodic Point）：「迷子からループへ」
   最初はループに入っていませんが、何回か機械を通すと、いつかそのループに飛び込んでしまう数字です。

   • 例：D→E→F→A（ループ開始）
     この D, E, F のような数字を「前周期点」と呼びます。

2. この研究の目的：「どんなループが作れるか？」

研究者たちは、**「有理数（分数や整数）」**という、私たちが普段使っている「きれいな数字」だけを使って、この機械を動かしたとき、どんなループや迷子ができるかを調べました。

特に注目したのは、**「対称性が非常に高い（非可換な自己同型群を持つ）」**という、特別なルールを持つ機械です。

• 比喩： 普通の機械は「左右対称」くらいしかありませんが、この特別な機械は「正三角形の回転や裏返し」のように、6 通りの美しい対称性を持っています。この「特別な機械」にしか現れない現象を探しています。

3. 発見された「驚くべき事実」

この論文では、この「特別な機械」で「有理数」を動かしたとき、以下のようなことが完全に解明されました。

① 「3 回までのループ」は存在するが、それ以上は？

• 1 回、2 回、3 回で戻るループ： 存在します。
  • 例：「1 回で戻る」「2 回で戻る」「3 回で回る三角形」は作れます。
• 4 回、5 回で戻るループ： 存在しません！
  • 「4 回で元の場所に戻る」というきれいなループは、有理数では絶対に作れないことが証明されました。
  • 「5 回で戻る」ループも同様です。
• 6 回以上： 存在する可能性は限りなくゼロに近い（存在するとしても、ごく限られた数しかありえない）ことが示されました。

【比喩】
まるで、この機械は「3 回までなら踊れるが、4 回以上踊ろうとすると、足が滑って転んでしまう（有理数では成立しなくなる）」ようなルールを持っているようです。

② 「迷子」の数は 6 人まで

もし、この機械が「4 回以上で戻るループ」を作れないと仮定すると（これは多くの数学者が信じている予想）、「ループに入る前の迷子（前周期点）」の数は、最大で 6 人までであることが証明されました。

• 比喩： この機械の周りに集まる「迷子」は、どんなに多くても 6 人まで。7 人目以降は、この機械のルール上、集まることができないのです。

4. なぜこれが重要なのか？

数学には**「一様有界性予想（Uniform Boundedness Conjecture）」**という大きな謎があります。
「どんな機械（関数）を使っても、有理数という数字でできる『ループ』や『迷子』の数は、ある一定の上限を超えないはずだ」というものです。

この論文は、その謎を解くための重要なピースを一つ、**「特別な対称性を持つ機械」**というケースで完全に解き明かしました。

• 「4 回や 5 回のループは作れない」
• 「迷子の数は 6 人まで」

これにより、この分野の知識が大幅に整理され、今後の研究の道筋がはっきりしました。

5. まとめ：この論文が伝えたかったこと

この研究は、**「特別なルールを持つ数字の機械」**について、以下のことを突き止めました。

1. ループの限界： 有理数という「きれいな数字」では、3 回までのループしか作れない（4 回や 5 回は不可能）。
2. 迷子の限界： ループに入る前の迷子は、最大でも 6 人まで。
3. 完全な地図： どのような数字の組み合わせ（パラメータ）を使えば、どんなループや迷子が生まれるか、その「地図」をすべて書き上げました。

まるで、「この国（有理数）では、4 回以上の回転運動は禁止されているし、迷子の数も 6 人までしか許されていない」という、新しい物理法則を発見したようなものです。

研究者たちは、コンピュータ（Magma や Mathematica というソフト）を駆使して、膨大な計算を行い、この「数字の法則」を証明しました。これは、数学の美しい秩序が、複雑な計算の果てに見えてくる瞬間の物語です。

技術概要

論文要約：非可換自己同型群を持つ二次有理写像の $\mathbb{Q}$ 上の有理前周期点

論文タイトル: RATIONAL PREPERIODIC POINTS OF QUADRATIC RATIONAL MAPS OVER $\mathbb{Q}$ WITH NONABELIAN AUTOMORPHISM GROUPS
著者: Hasan Bilgili, Mohammad Sadek
分野: 数論的力学系 (Arithmetic Dynamics)

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

数論的力学系における重要な未解決問題の一つに、Morton と Silverman によって提唱された**「一様有界性予想 (Uniform Boundedness Conjecture)」**があります。これは、数体 $K$ 上で定義された任意の次数 $d$ の射 $f: \mathbb{P}^n \to \mathbb{P}^n$ について、その $K$-有理前周期点の個数が $K, n, d$ によってのみ決定される定数 $C$ 以下であるという予想です。

特に、有理数体 $\mathbb{Q}$ 上で定義された二次多項式や二次有理写像において、有理周期点の存在可能性と前周期点の個数の上限は活発に研究されています。

• 二次多項式の場合、周期 4, 5 の有理周期点は存在しないことが証明されており、周期 6 以上も存在しないという予想（Poonen 予想）が立てられています。
• 二次有理写像において、自己同型群が巡回群 $C_2$ の場合の研究は進んでいますが、非可換な自己同型群（ここでは対称群 $S_3$）を持つ場合の有理前周期点の構造については、本論文以前に完全な分類はなされていませんでした。

本論文は、$\mathbb{Q}$ 上で定義され、自己同型群が非可換（$S_3$ に同型）である二次有理写像 $f: \mathbb{P}^1 \to \mathbb{P}^1$ について、その $\mathbb{Q}$-有理周期点および前周期点の完全な分類と有界性の証明を行うことを目的としています。

2. 手法とアプローチ

2.1 正規形への帰着

自己同型群が $S_3$ である二次有理写像は、$\mathbb{Q}$ 上の線形変換（共役）によって、以下のパラメータ $k, d$ を持つ正規形 $\theta_{d,k}(z)$ に変換可能であることが知られています（$k^2 \neq d$）：
$$\theta_{d,k}(z) = \frac{kz^2 - 2dz + dk}{z^2 - 2kz + d}$$
著者らは、この具体的な式を用いて、周期 $N$ の有理点の存在条件を代数的に解析します。

2.2 分岐多項式 (Dynatomic Polynomials) の利用

周期 $N$ の有理点の存在問題は、対応する分岐多項式 (Dynatomic polynomial) $\Phi^*_{f,N}(z)$ の有理根の存在問題に帰着されます。

• 周期 $N$ の有理点が存在するためには、$\Phi^*_{f,N}(z) = 0$ を満たす有理数 $z$ が存在する必要があります。
• 本論文では、$N=4, 5, 6$ などの場合、この方程式を $k, d, z$ の多項式とみなし、対応する代数曲線 $C_N$ を定義します。

2.3 代数曲線の解析と有理点の決定

• 幾何学的既約性の欠如: 定義された曲線 $C_N$ は、$\mathbb{Q}$ 上では幾何学的に既約ではないことが判明しました。つまり、これらはより小さな成分（$\mathbb{Q}$ 上の曲線や、数体上の曲線）の和集合として分解されます。
• 有理点の列挙: 曲線が非既約であるため、$\mathbb{Q}$-有理点は、これらの成分の交点として現れます。著者らは、Magma や Mathematica などの計算機代数システムを用いて、これらの曲線の成分を明示的に求め、その交点（特異点など）を列挙しました。
• Faltings 定理の適用: 周期 6 の場合、対応する曲線の正規化が種数 433 の滑らかな曲線となるため、Faltings 定理（モーデル予想）により、有理点は有限個しか存在しないことが保証されます。

3. 主要な結果

3.1 周期点の存在に関する定理 (Theorem 1.1)

自己同型群が $S_3$ である二次有理写像 $\theta_{d,k}$ について、以下の結果が得られました。

1. 周期 4, 5 の非存在: $\mathbb{Q}$ 上に正確な周期 4 または 5 の有理周期点は存在しない。
2. 周期 6 の有限性: 正確な周期 6 の有理周期点を持つ写像は、高々有限個しか存在しない。
   • 具体的な計算により、周期 4, 5 の場合、対応する曲線の有理点はすべて特異点であり、有効な有理写像を生成しないことが示されました。

3.2 前周期点の個数の上限 (Theorem 1.3)

Poonen の予想（二次多項式の場合）や Manes の予想（$C_2$ 自己同型群の場合）に倣い、以下の予想を提案し、その仮定のもとで結果を導きました。

• 予想 1.2: $S_3$ 自己同型群を持つ二次有理写像は、周期 3 を超える有理周期点を持たない。
• 定理 1.3: もし上記の予想が真であれば（すなわち、周期 6 以上の有理周期点を持たない場合）、$\mathbb{Q}$-有理前周期点の個数は最大 6 個である。
  • この上限 6 は、特定の写像例において達成可能であり、鋭い（sharp）ことが示されています。

3.3 周期 1, 2, 3 の完全分類

• 周期 1 (固定点): 存在条件はパラメータ $k, d$ の有理パラメータ表示で記述可能。
• 周期 2: $d$ が有理数の平方である場合にのみ存在し、2 点からなるサイクルを形成する。
• 周期 3: $-3d$ が有理数の平方である場合にのみ存在し、3 点からなるサイクルを形成する。
• 複数のサイクルの共存: 周期 2 と周期 3 の有理周期点が同時に存在することはない。また、固定点と周期 3 の点の共存も不可能である。

3.4 前周期点の構造

• 周期 1 の点 $z$ に対して、$d/z$ はタイプ 11（1 回反復後に固定点に到達）の前周期点となる。
• 周期 2 の点を持つ場合、タイプ 12 の前周期点が存在する条件が特定された。
• 周期 3 の点を持つ場合、タイプ 31 の前周期点が存在する条件が特定された。
• 周期 4, 5 の前周期点は存在しない。

4. 結論と意義

本論文は、非可換自己同型群 ($S_3$) を持つ二次有理写像の力学系における有理点の構造を初めて体系的に解明しました。

• 理論的貢献: 周期 4, 5 の有理周期点の非存在を証明し、周期 6 以上の存在が有限であることを示しました。これは、Poonen 予想や一様有界性予想の重要なケースを裏付けるものです。
• 数値的・計算的アプローチ: 高度な代数幾何学的手法（分岐多項式、代数曲線の分解、種数の計算）と計算機代数システム (Magma) を組み合わせた手法は、同様の問題（他の自己同型群や高次写像）への応用可能性を示唆しています。
• 完全な分類: 周期 1, 2, 3 の有理点を持つすべての写像のパラメータ表示を提供し、それらが生成する前周期点のグラフ構造を完全に記述しました。

特に、周期 3 までの有理点のみを持つ場合、前周期点の個数が 6 以下に制限されるという結果は、有理力学系における「有理点の複雑さ」に対する強力な制約条件を示しており、今後の研究において重要な基準となるでしょう。