2025-11-10T02:51:47.431303

On the Number of Small Points for Rational Maps

Yap

Let $K$ be a number field and $f: \mathbb{P}^1 \to \mathbb{P}^1$ a rational map of degree $d \geq 2$ with at most $s$ places of bad reduction, where we include all archimedean places. We prove that there exists constants $c_1,c_2 > 0$, depending only on $d$ and not on $f$ or $K$, such that $$ \# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s). $$ Here, $\operatorname{rat}_d$ is the moduli space of rational maps up to conjugacy, $h_{\operatorname{rat}_d}$ is an ample height and $\langle f \rangle$ is the equivalence class associated to $f$. This gives a uniform version of a theorem of Baker as well as generalizing the results of Benedetto and Looper from polynomials to rational maps. The main tool used is the degeneration of sequences of rational maps by Luo which has been recently formalized by Favre-Gong via Berkovich spaces.

academic

有理写像の小点の個数について

基本情報

論文ID: 2510.12039
タイトル: On the Number of Small Points for Rational Maps
著者: Jit Wu Yap
分類: math.NT（数論）、math.DS（力学系）
発表日: 2025年10月14日（arXiv プレプリント）
論文リンク: https://arxiv.org/abs/2510.12039

要約

$K$ を数体、 $f: \mathbb{P}^1 \to \mathbb{P}^1$ を次数 $d \geq 2$ の有理写像とし、最大 $s$ 個の悪い還元を持つ位（すべてのアルキメデス位を含む）を持つとする。本論文は、定数 $c_1, c_2 > 0$ が存在することを証明する。これらの定数は $d$ にのみ依存し、 $f$ や $K$ には依存しない。以下が成り立つ： $\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s)$ ここで $\operatorname{rat}_d$ は共役作用下での有理写像のモジュライ空間、 $h_{\operatorname{rat}_d}$ は豊富な高さ、 $\langle f \rangle$ は $f$ に関連する同値類である。

研究背景と動機

問題の背景

本研究は算術力学系の分野に属し、有理写像の小点問題の研究に焦点を当てている。具体的には：

核心問題：与えられた有理写像 $f$ に対して、標準高さ $\widehat{h}_f(x)$ が小さい点 $x$ はいくつ存在するか？この問題は前周期点の分布と密接に関連している。前周期点は標準高さがゼロの点である。
重要性：
- 算術幾何学における基本的な問題であり、Silverman予想などの重要な問題と関連している
- 有理写像の算術的性質を理解する上で重要な意義を持つ
- 代数数論と力学系の交差領域における中心的な位置を占めている
既存の限界：
- Baker（2006）の結果は特定の写像 $f$ に依存し、定数が統一されていない
- Benedetto（2007）と Looper（2019）の結果は多項式の場合にのみ適用可能
- 一般的な有理写像に対する統一的な界が欠けている

研究動機

本論文は既存の多項式に関する結果を一般的な有理写像に推広し、次数 $d$ と悪い還元の位の個数 $s$ にのみ依存する統一的な界を提供することを目指している。

核心的貢献

Baker定理の統一化：Baker定理の統一版を証明した。ここで定数は次数 $d$ にのみ依存し、特定の写像や数体には依存しない
Benedetto-Looper結果の推広：Benedettoと Looperの多項式に関する結果を一般的な有理写像に推広した
最適な依存性：悪い還元の位の個数に対する $O(s \log s)$ の依存性を得た。これは Troncoso の指数的依存性よりも優れている
技術的革新：Luoの有理写像列の退化理論と Favre-Gongの Berkovich空間の形式化を初めて小点問題に適用した
下界結果：系として、非前周期点の標準高さの統一的な下界を得た

方法の詳細

問題の定義

数体 $K$ 上の次数 $d$ の有理写像 $f: \mathbb{P}^1 \to \mathbb{P}^1$ が最大 $s$ 個の悪い還元を持つ位を持つとき、集合 $\left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\}$ の大きさを推定することが目標である。

核心的な技術的枠組み

1. Arakelov-Green関数の方法

各位 $v \in M_K$ に対して、力学系的 Arakelov-Green関数を定義する： $g_{f,v}(x,y) = -\log |x̃ \wedge ỹ| + \widehat{H}_F(x̃) + \widehat{H}_F(ỹ) - \frac{1}{d(d-1)}\log|\text{Res}(F)|$

ここで $F$ は $f$ の斉次持ち上げ、 $x̃, ỹ$ は $x, y$ の $\mathbb{A}^2$ への持ち上げである。

2. 重要な不等式

Bakerは $z_1, \ldots, z_N \in \mathbb{P}^1(K)$ に対して以下を証明した： $\sum_{i \neq j} g_{f,v}(z_i, z_j) \geq -O_f(N \log N)$

3. 統一性の実現

核心的な技術的課題は、不等式 $g_{f,w}(x,y) > \delta$ を同じ開集合内の $x,y$ に対して統一化し、 $\delta$ が $h_{\operatorname{rat}_d}(\langle f \rangle)$ に比例するようにすることである。

退化理論の応用

1. Berkovich空間の構成

有理写像列 $(f_n)$ に対して、Banach環を構成する： $A^ε = \left\{(x_n) \in \prod_{n=1}^∞ K_n \mid |x_n|^{ε_n} \text{ は有界}\right\}$

ここで $ε_n = (-\log|\text{Res}(f_n)|)^{-1}$ である。

2. 極限写像の性質

超フィルタ $ω$ を通じて、体 $H(ω)$ 上の極限写像 $f_ω$ を得る。これは以下を満たす：

$\lim_ω |x_n|^{ε_n} = 0$ ならば、 $H(ω)$ は非アルキメデス体である
$f_ω$ は悪い還元の性質を持つ

3. 連続性論証

モデル関数の稠密性とコンパクト性論証を利用して、非アルキメデス場合の結果をアルキメデス場合に伝播させる。

技術的革新点

特性を超えた退化：アルキメデス体から非アルキメデス体への系統的な退化を初めて実現し、従来の方法の限界を突破した
統一定数：精密な分析を通じて、次数 $d$ にのみ依存する統一定数を得た
最小結式高さ：最小結式「高さ」 $h_{\text{res}}(f)$ を導入し、モジュライ高さ $h_{\operatorname{rat}_d}(\langle f \rangle)$ との可比性を証明した

主要定理

定理 1.1（主要結果）

$K$ を数体、 $f: \mathbb{P}^1_K \to \mathbb{P}^1_K$ を次数 $d \geq 2$ の有理写像とし、 $s$ 個の悪い還元を持つ位を持つとする。定数 $c_1, c_2 > 0$ が存在し、これらは $d$ にのみ依存し、以下が成り立つ： $\# \left\{ x \in \mathbb{P}^1(K) \mid \widehat{h}_f(x) \leq \frac{c_1}{s} h_{\operatorname{rat}_d}(\langle f \rangle) \right\} \leq c_2 s \log(s)$