2025-11-23T17:22:17.255019

The number of rational iterated preimages of the origin under unicritical polynomial maps

Sano

We study rational iterated preimages of the origin under unicritical maps $f_{d,c}(x)=x^d+c$. Earlier works of Faber--Hutz--Stoll and Hutz--Hyde--Krause established finiteness and conditional bounds in the quadratic case. Building on this, we prove that for $d=2$ and $c \in \mathbb Q\setminus\{0,-1\}$ there are no rational fourth preimages of the origin, and for all $d \geq 3$ there are no rational second preimages outside trivial cases. The proof relies on geometric analysis of preimage curves, the elliptic Chabauty method, and Diophantine reduction. As a result, we determine the number of rational iterated preimages of $0$ under $f_{d,c}$ for all $d\geq 2$.

academic

単臨界多項式写像における原点の有理反復前像の個数

基本情報

論文ID: 2510.14397
タイトル: The number of rational iterated preimages of the origin under unicritical polynomial maps
著者: Kaoru Sano (NTT基礎数学研究所)
分類: math.NT (数論)、math.AG (代数幾何)、math.DS (力学系)
発表日: 2025年10月17日
論文リンク: https://arxiv.org/abs/2510.14397v1

要旨

本論文は単臨界写像 $f_{d,c}(x) = x^d + c$ における原点の有理反復前像を研究する。Faber-Hutz-Stoll および Hutz-Hyde-Krause による二次の場合の有限性と条件付き界に関する先行研究に基づき、 $d=2$ かつ $c \in \mathbb{Q}\setminus\{0,-1\}$ のとき原点は有理四次前像を持たないこと、および $d \geq 3$ のすべてについて自明な場合を除き有理二次前像が存在しないことを証明する。証明は前像曲線の幾何学的解析、楕円Chabauty法、およびディオファントス約化に依存する。したがって、すべての $d \geq 2$ の場合における $f_{d,c}$ の原点の有理反復前像の個数を決定する。

研究背景と動機

問題の記述

本論文の中心的問題は、単臨界多項式写像 $f_{d,c}: x \mapsto x^d + c$ における原点の有理反復前像の個数を決定することである。具体的には、与えられた数体 $L$ に対して、集合 $\bigcup_{N \geq 1} f_{d,c}^{-N}(a)(L) = \{x \in A^1(L) | f_{d,c}^{\circ N}(x) = a \text{ for some } N \geq 1\}$ の大きさに関心がある。ここで $f_{d,c}^{\circ N}$ は $f_{d,c}$ の $N$ 回反復を表す。

研究の重要性

力学系理論: この問題は多項式力学系における有理点の分布と密接に関連し、代数力学系の基本的問題である
算術幾何: 高次代数曲線上の有理点の分布に関わり、数論と代数幾何を結びつける
Galois表現理論: 樹状表現の観点から、絶対Galois群の作用と関連する

既存研究の限界

Faber-Hutz-Stoll らの研究は主に二次の場合 ( $d=2$ ) に集中している
四次前像の非存在性に関する以前の結果はBirch-Swinnerton-Dyer予想に依存していた
$d \geq 3$ の場合に関する体系的研究が不足していた

核心的貢献

無条件証明: $d=2$ かつ $c \in \mathbb{Q}\setminus\{0,-1\}$ のとき、 $f_{2,c}$ が原点の有理四次前像を持たないことを証明し、以前の結果がBSD予想に依存していた部分を解消した
高次の場合の完全解決: $d \geq 3$ のすべてについて、自明な場合を除き原点の有理二次前像が存在しないことを証明した
完全な分類結果: すべての $d \geq 2$ の場合における有理反復前像の個数の正確な公式を与えた
方法の革新: 楕円Chabauty法、幾何学的解析、およびディオファントス約化の総合的な技術を結合した

方法の詳細

主要な結果

定理 1.3:

(i) 有理数 $c \in \mathbb{Q}\setminus\{0,-1\}$ に対して、写像 $f_{2,c}$ は原点の有理四次前像を持たない
(ii) 整数 $d \geq 3$ と有理数 $c \in \mathbb{Q}$ に対して、適切な条件下で、写像 $f_{d,c}$ は原点の有理二次前像を持たない

技術的戦略

二次の場合 ( $d=2$ ) の証明戦略

幾何学的約化: 次数2の被覆写像を利用する $\pi: X^{\text{pre}}(2,4,0) \to X^{\text{pre}}(2,3,0) \cong E$ ここで $E: v^2 = u^3 - u + 1$ は楕円曲線である
分岐解析: $E[2]$ 上の分岐を解析し、適切な基変換により有限平坦二重被覆を構成する
曲線の約化: 問題をより低い種数の曲線 $C_D$ に約化する。ここで $D$ はクラス $[D] \in R^\times/(R^\times)^2$ により分類され、 $R = \mathbb{Z}[1/2, 1/23]$ である

楕円Chabauty法の応用

定理 1.5: $D = (-1)^{\varepsilon_0} 2^{\varepsilon_1} 23^{\varepsilon_2}$ ( $\varepsilon_i \in \{0,1\}$ ) に対して、アフィン平面曲線 $C_D: D^2 y^4 = x^3 - x + 1$ を考える。

$C_D(\mathbb{Q})$ が空でないことと $D = \pm 1$ は同値であり、 $C_1(\mathbb{Q}) = C_{-1}(\mathbb{Q}) = \{(0,\pm 1), (\pm 1, \pm 1)\}$ が成り立つ。

高次の場合 ( $d \geq 3$ ) の証明

Darmon-Merel定理を利用する。この定理は楕円曲線の保型性に基づいている：

定理 4.1: $n \geq 4$ のとき、方程式 $x^n + y^n = z^2$ は非自明な原始解を持たない。

有理二次前像の存在性の問題をこのような型のディオファントス方程式に巧妙に変換することにより、結果を得る。

技術的な革新点

BSD予想の回避: 楕円Chabauty法により、Birch-Swinnerton-Dyer予想への依存を回避した
幾何学と算術の結合: 代数幾何の被覆理論と数論の有理点問題を巧妙に結合した
計算の実行可能性: 広義n-descent と比較して、計算コストが小さく、追加の予想を必要としない

実験設定

計算ツール

Magma計算代数システムを用いて以下を実行した：

楕円曲線のMordell-Weil群の計算
有理点の決定
Chabauty法の実装

主要な計算

楕円曲線 $E: v^2 = u^3 - u + 1$ :
- Mordell-Weil群: $E(\mathbb{Q}) \cong \mathbb{Z}$ 、 $Q_0 = (1,-1)$ により生成される
- $X^{\text{pre}}(2,4,0)$ における既知の10個の有理点
数体 $K = \mathbb{Q}(\theta)$ (ここで $\theta^3 - \theta + 1 = 0$ $θ^{3} - θ + 1 = 0$ ):
- 判別式: $-23$
- 類数: 1
- 単数群: $\pm 1$ と $\theta$ により生成される

実験結果

主要な結果

系 1.4:

偶数 $d \geq 3$ に対して: $\kappa(d,0,\mathbb{Q}) = 3$
奇数 $d \geq 3$ に対して: $\kappa(d,0,\mathbb{Q}) = 1$
$d = 2$ に対して: $\kappa(2,0,\mathbb{Q}) = 6$

具体的な有理反復前像の個数

異なるパラメータ $c$ に対して、有理反復前像の個数の正確な値を与える：

偶数 $d \geq 3$ : $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 3 & \text{if } c = -1 \\ 1 & \text{if } c = 0 \\ 2 & \text{if } c = -r^d \text{ for } r \in \mathbb{Q}\setminus\{0,\pm 1\} \\ 0 & \text{otherwise} \end{cases}$

奇数 $d \geq 3$ : $\#\bigcup_{N \geq 1} f_{d,c}^{-N}(0)(\mathbb{Q}) = \begin{cases} 1 & \text{if } c = -r^d \text{ for some } r \in \mathbb{Q} \\ 0 & \text{otherwise} \end{cases}$