論文「多項式の簡約における周期点の割合」の技術的サマリー

著者: Santiago Radi
発表日: 2026 年 3 月（arXiv:2603.21620v1）
分野: 数論的力学系、代数的整数論

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

本論文は、2014 年に Juul, Kurlberg, Madhu, Tucker によって提起された以下の重要な問い（Question 1.1）に対する完全な解答を提供するものである。

問題設定:
$K$ を数体、$f$ を $K$ 上の有理関数（特に本稿では多項式 $f \in K[x]$）とする。$K$ の整数環 $\mathcal{O}_K$ 内の素イデアル $\mathfrak{p}$ に対する $f$ の簡約写像を $f_{\mathfrak{p}}$ とし、有限体 $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$ 上で作用させる。
$\mathfrak{p}$ のノルム $N(\mathfrak{p})$ が無限大に発散する際、$\mathbb{F}_{\mathfrak{p}}$ 上の周期点の割合 $\frac{\#\text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$ の下限（limit inferior）はどのような値をとるか？

これを形式的に以下のように定義する：
$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\#\text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$

過去の研究では、$f$ が「算術的に例外（arithmetically exceptional）」な場合（無限個の素数で全単射となる場合）を除き、この値が 0 になることが予想されていた。特に、2 次多項式や特定の条件を満たす多項式については 0 であることが示されていたが、一般の多項式に対する完全な分類は未解決であった。

2. 主要な手法と理論的枠組み

本論文は、以下の 3 つの主要な数学的ツールを組み合わせて問題を解決している。

1. 反復ガロア群と固定点割合 (Iterated Galois Groups & Fixed-Point Proportion):

   • $f$ の反復ガロア群 $G_\infty(\mathbb{C}, f, t)$ の固定点割合（FPP）を用いる。
   • 既知の結果（Juul et al.）により、$\text{Per}_{\inf}(f, K) \leq \text{FPP}(G_\infty(\mathbb{C}, f, t))$ が成り立つ。
   • 著者と Fariña-Asategui による最近の研究 [6] により、多項式の場合、$f$ がチェビシェフ多項式 $T_d$ と $\mathbb{C}$ 上で線形共役でない限り、$\text{FPP} = 0$ となることが証明されている。これにより、非チェビシェフ型の多項式に対する $\text{Per}_{\inf} = 0$ が導かれる。

2. チェビシェフ多項式の構造と共役性:

   • $f$ が $\mathbb{C}$ 上で $\pm T_d$ に線形共役である場合、上記の上限評価だけでは値が決定できないため、直接計算を行う。
   • 共役変換 $L$ の係数が $K$ に含まれるか、2 次拡大 $K'$ に含まれるかを厳密に分析し、有限体上の周期点の数を $T_d$ のそれと対応づける。特に、$L$ が $K$ に含まれない場合でも、$\text{Per}_{\inf}$ の値は変化しないことを示す（Proposition 5.2）。

3. 代数的整数論とチェボタレフの密度定理:

   • 周期点の数を $r(N(\mathfrak{p}) \pm 1, d)$（$N(\mathfrak{p}) \pm 1$ と $d$ の互いに素な最大約数）を用いて表現する。
   • $K$ に含まれる単位根の最大位数 $m_K$ と、多項式の次数 $d$ の素因数分解の構造（ラジカル $\text{rad}(d)$）の関係を解析する。
   • チェボタレフの密度定理を用いて、$N(\mathfrak{p}) \equiv 1 \pmod{m_K}$ かつ $N(\mathfrak{p})$ が特定の条件を満たす無限個の素イデアル $\mathfrak{p}$ の存在を証明し、極限値を評価する。

3. 主要な結果（定理 1 の分類）

著者は、次数 $d$ と体 $K$ に含まれる単位根の構造に基づき、$\text{Per}_{\inf}(f, K)$ の値を完全に分類した。

定理 1 の要約:
$f$ を $K$ 上の多項式、$d$ をその次数、$m_K$ を $K$ に含まれる原始 $m_K$ 乗根の最大整数とする。

1. $d=0$: $\text{Per}_{\inf} = 0$.
2. $d=1$: $\text{Per}_{\inf} = 1$（全点が周期点）.
3. $d \geq 2$ で、$f$ が $\mathbb{C}$ 上で $\pm T_d$ に線形共役でない場合:
   • $\text{Per}_{\inf}(f, K) = 0$.
4. $f$ が $\mathbb{C}$ 上で $\pm T_d$ に線形共役である場合:
   • $\text{Per}_{\inf}(f, K) = \text{Per}_{\inf}(T_d, K)$.
   • この値は、$d$ の素因数分解と $m_K$ の関係によって以下のように決定される：
     • $d$ が 2 つ以上の素因数を持ち、$\text{rad}(d) \nmid \text{rad}(m_K)$ の場合: $0$.
     • $d$ が奇数で、2 つ以上の素因数を持ち、$\text{rad}(d) \mid \text{rad}(m_K)$ の場合: $1/2$.
     • $d$ が偶数で、2 つ以上の素因数を持ち、$\text{rad}(d) \mid \text{rad}(m_K)$ かつ $v_2(m_K) \geq 2$ の場合: $1/4$.
     • $d$ が偶数で、2 つ以上の素因数を持ち、$\text{rad}(d) \mid \text{rad}(m_K)$ かつ $v_2(m_K) = 1$ の場合: $0$.
     • $d$ が奇数の素数べきの場合: $1/2$.
     • $d$ が偶数の素数べきの場合: $1/4$.

特別ケース $K=\mathbb{Q}$:
$\mathbb{Q}$ の場合、$m_{\mathbb{Q}} = 2$ であるため、上記の分類は簡略化される。

• $d=1$: $1$
• $d$ が奇数の素数べきでチェビシェフ型：$1/2$
• $d$ が偶数の素数べきでチェビシェフ型：$1/4$
• その他：$0$
  これは既存の結果（Juul et al. の $K=\mathbb{Q}$ における結果）と完全に一致する。

4. 意義と貢献

1. 完全な分類の達成:
   多項式に関するこの問題（Question 1.1）に対する最初の完全な分類を提供した。特に、非チェビシェフ型多項式が常に 0 になること、およびチェビシェフ型多項式における値が体 $K$ の単位根の構造に依存して 0, 1/4, 1/2 のいずれかになることを明確に示した。

2. 理論的統合:
   数論的力学系における「反復ガロア群」の理論と、代数的整数論における「素イデアルの分布（チェボタレフ）」を巧みに結合し、周期点の漸近的な挙動を解析する新しい枠組みを示した。

3. 有理関数への示唆:
   有理関数の場合、チェビシェフ多項式に相当する「ラテス写像（Lattès maps）」については、$\text{Per}_{\inf} > 0$ となる例は知られていない。本論文の結果は、有理関数における完全分類（Question 1.2）への重要な手がかりを提供しており、ラテス写像の固定点割合が 0 である可能性を強く示唆している。

4. 手法の一般化:
   共役変換の係数が定義体 $K$ に含まれない場合の扱い（2 次拡大への言及）や、$r(a, b)$ 関数を用いた精密な極限評価は、類似の動力学系の問題に応用可能な技術的貢献である。

結論

Santiago Radi によるこの論文は、数体上の多項式の簡約における周期点の割合に関する長年の未解決問題を解決し、その値が多項式の次数と定義体の単位根構造によって完全に決定されることを証明した。これは数論的力学系の分野における重要な進展であり、今後の有理関数への拡張や、より一般的な力学系の研究の基礎となるものである。