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.
论文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 K K f : P 1 → P 1 f: \mathbb{P}^1 \to \mathbb{P}^1 f : P 1 → P 1 d ≥ 2 d \geq 2 d ≥ 2 s s s c 1 , c 2 > 0 c_1, c_2 > 0 c 1 , c 2 > 0 d d d f f f K K K # { x ∈ P 1 ( K ) ∣ h ^ f ( x ) ≤ c 1 s h rat d ( ⟨ f ⟩ ) } ≤ c 2 s log ( 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\} \leq c_2 s \log(s) # { x ∈ P 1 ( K ) ∣ h f ( x ) ≤ s c 1 h rat d (⟨ f ⟩) } ≤ c 2 s log ( s ) rat d \operatorname{rat}_d rat d h rat d h_{\operatorname{rat}_d} h rat d ⟨ f ⟩ \langle f \rangle ⟨ f ⟩ f f f
这项研究属于算术动力系统领域，专注于研究有理映射的小点问题。具体来说：
核心问题 ：对于给定的有理映射 f f f x x x h ^ f ( x ) \widehat{h}_f(x) h f ( x ) 重要性 ：这是算术几何中的基本问题，与 Silverman 猜想等重要问题相关 对理解有理映射的算术性质具有重要意义 在代数数论和动力系统的交叉领域具有核心地位 现有局限性 ：Baker (2006) 的结果依赖于特定的映射 f f f Benedetto (2007) 和 Looper (2019) 的结果仅适用于多项式情况 缺乏对一般有理映射的统一界 本文旨在将已有的多项式结果推广到一般有理映射，并提供统一的界，这些界仅依赖于度数 d d d s s s
统一化 Baker 定理 ：证明了 Baker 定理的统一版本，其中常数仅依赖于度数 d d d 推广 Benedetto-Looper 结果 ：将 Benedetto 和 Looper 关于多项式的结果推广到一般有理映射最优依赖性 ：获得了对坏约化位个数的 O ( s log s ) O(s \log s) O ( s log s ) 技术创新 ：首次将 Luo 的有理映射序列退化理论和 Favre-Gong 的 Berkovich 空间形式化应用到小点问题下界结果 ：作为推论，获得了非预周期点标准高度的统一下界给定数域 K K K d d d f : P 1 → P 1 f: \mathbb{P}^1 \to \mathbb{P}^1 f : P 1 → P 1 s s s { x ∈ P 1 ( K ) ∣ h ^ f ( x ) ≤ c 1 s h rat d ( ⟨ f ⟩ ) } \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\} { x ∈ P 1 ( K ) ∣ h f ( x ) ≤ s c 1 h rat d (⟨ f ⟩) }
对每个位 v ∈ M K v \in M_K v ∈ M K g f , v ( x , y ) = − log ∣ x ~ ∧ y ~ ∣ + H ^ F ( x ~ ) + H ^ F ( y ~ ) − 1 d ( d − 1 ) log ∣ Res ( F ) ∣ g_{f,v}(x,y) = -\log |x̃ \wedge ỹ| + \widehat{H}_F(x̃) + \widehat{H}_F(ỹ) - \frac{1}{d(d-1)}\log|\text{Res}(F)| g f , v ( x , y ) = − log ∣ x ~ ∧ y ~ ∣ + H F ( x ~ ) + H F ( y ~ ) − d ( d − 1 ) 1 log ∣ Res ( F ) ∣
其中 F F F f f f x ~ , y ~ x̃, ỹ x ~ , y ~ x , y x, y x , y A 2 \mathbb{A}^2 A 2
Baker 证明了对于 z 1 , … , z N ∈ P 1 ( K ) z_1, \ldots, z_N \in \mathbb{P}^1(K) z 1 , … , z N ∈ P 1 ( K ) ∑ i ≠ j g f , v ( z i , z j ) ≥ − O f ( N log N ) \sum_{i \neq j} g_{f,v}(z_i, z_j) \geq -O_f(N \log N) ∑ i = j g f , v ( z i , z j ) ≥ − O f ( N log N )
核心技术挑战是将不等式
g f , w ( x , y ) > δ g_{f,w}(x,y) > \delta g f , w ( x , y ) > δ x , y x,y x , y δ \delta δ h rat d ( ⟨ f ⟩ ) h_{\operatorname{rat}_d}(\langle f \rangle) h rat d (⟨ f ⟩)
对于有理映射序列 ( f n ) (f_n) ( f n ) A ε = { ( x n ) ∈ ∏ n = 1 ∞ K n ∣ ∣ x n ∣ ε n 有界 } A^ε = \left\{(x_n) \in \prod_{n=1}^∞ K_n \mid |x_n|^{ε_n} \text{ 有界}\right\} A ε = { ( x n ) ∈ ∏ n = 1 ∞ K n ∣ ∣ x n ∣ ε n 有界 }
其中 ε n = ( − log ∣ Res ( f n ) ∣ ) − 1 ε_n = (-\log|\text{Res}(f_n)|)^{-1} ε n = ( − log ∣ Res ( f n ) ∣ ) − 1
通过超滤子 ω ω ω f ω f_ω f ω H ( ω ) H(ω) H ( ω )
如果 lim ω ∣ x n ∣ ε n = 0 \lim_ω |x_n|^{ε_n} = 0 lim ω ∣ x n ∣ ε n = 0 H ( ω ) H(ω) H ( ω ) f ω f_ω f ω 利用模型函数的稠密性和紧致性论证，将非阿基米德情况的结果传递到阿基米德情况。
跨特征退化 ：首次实现了从阿基米德域到非阿基米德域的系统性退化，突破了传统方法的限制统一常数 ：通过精细的分析，获得了仅依赖于度数 d d d 最小结式高度 ：引入最小结式"高度" h res ( f ) h_{\text{res}}(f) h res ( f ) h rat d ( ⟨ f ⟩ ) h_{\operatorname{rat}_d}(\langle f \rangle) h rat d (⟨ f ⟩) 设 K K K f : P K 1 → P K 1 f: \mathbb{P}^1_K \to \mathbb{P}^1_K f : P K 1 → P K 1 d ≥ 2 d \geq 2 d ≥ 2 s s s c 1 , c 2 > 0 c_1, c_2 > 0 c 1 , c 2 > 0 d d d # { x ∈ P 1 ( K ) ∣ h ^ f ( x ) ≤ c 1 s h rat d ( ⟨ f ⟩ ) } ≤ c 2 s log ( 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\} \leq c_2 s \log(s) # { x ∈ P 1 ( K ) ∣ h f ( x ) ≤ s c 1 h rat d (⟨ f ⟩) } ≤ c 2 s log ( s )
在相同条件下，存在常数 c 3 > 0 c_3 > 0 c 3 > 0 x ∈ P 1 ( K ) x \in \mathbb{P}^1(K) x ∈ P 1 ( K ) h ^ f ( x ) = 0 或 h ^ f ( x ) ≥ 1 d c 3 s log s h rat d ( ⟨ f ⟩ ) \widehat{h}_f(x) = 0 \quad \text{或} \quad \widehat{h}_f(x) \geq \frac{1}{dc_3 s \log s} h_{\operatorname{rat}_d}(\langle f \rangle) h f ( x ) = 0 或 h f ( x ) ≥ d c 3 s l o g s 1 h rat d (⟨ f ⟩)
存在常数 δ > 0 \delta > 0 δ > 0 N N N d d d ( K , ∣ ⋅ ∣ ) (K, |\cdot|) ( K , ∣ ⋅ ∣ ) d d d f f f N N N U 1 , … , U N U_1, \ldots, U_N U 1 , … , U N P 1 ( K ) \mathbb{P}^1(K) P 1 ( K ) g f ( x , y ) > δ ( − log ∣ res ( f ) ∣ ) g_f(x,y) > \delta(-\log|\text{res}(f)|) g f ( x , y ) > δ ( − log ∣ res ( f ) ∣ ) x , y ∈ U i x, y \in U_i x , y ∈ U i
通过反证法，假设存在过多的小高度点，利用鸽笼原理将它们分配到开覆盖中。
对于同一开集中的点，利用定理 1.3 得到 Green 函数的下界。
将所有位的贡献求和，利用标准高度的全局公式：
∑ v ∈ M K ∑ i ≠ j N v g f , v ( z i , z j ) = 2 ( M − 1 ) ∑ i = 1 M h ^ f ( z i ) \sum_{v \in M_K} \sum_{i \neq j} N_v g_{f,v}(z_i, z_j) = 2(M-1) \sum_{i=1}^M \widehat{h}_f(z_i) ∑ v ∈ M K ∑ i = j N v g f , v ( z i , z j ) = 2 ( M − 1 ) ∑ i = 1 M h f ( z i )
定理 1.3 的证明依赖于退化理论：
假设不存在统一覆盖 构造有理映射序列 ( f n ) (f_n) ( f n ) 应用 Favre-Gong 退化得到极限映射 利用 Baker 在非阿基米德情况的结果 通过连续性论证传递回原问题 Baker (2006) ：首次证明了有限扩张情况下的小点界，但常数依赖于映射Benedetto (2007) ：对多项式情况给出了统一界Looper (2019) ：改进了 Benedetto 的结果并给出了高度下界Troncoso (2017) ：给出了预周期点的统一界，但依赖性是指数的Kiwi (2006, 2014) ：首次使用非阿基米德域理解有理映射族的退化DeMarco-Faber (2014, 2016) ：发展了平衡测度的退化理论Luo (2021, 2022) ：建立了有理映射序列的退化理论Favre-Gong (2024) ：通过 Berkovich 空间形式化了 Luo 的构造本文成功地将多项式情况的小点界推广到一般有理映射，获得了最优的 O ( s log s ) O(s \log s) O ( s log s )
常数的有效性 ：虽然获得了统一常数，但这些常数是无效的（不可计算的）技术复杂性 ：证明依赖于复杂的退化理论，难以给出显式估计适用范围 ：结果仅适用于 P 1 \mathbb{P}^1 P 1 高维推广 ：将结果推广到 P n \mathbb{P}^n P n 有效常数 ：寻找给出有效常数的方法函数域情况 ：进一步研究函数域上的类似问题模空间紧化 ：发展有理映射模空间的满意紧化理论深度 ：巧妙地结合了算术几何、动力系统和 Berkovich 空间理论技术创新 ：首次将退化理论系统地应用到小点问题结果最优 ：获得了最优的依赖性，改进了已有结果统一性 ：提供了真正统一的处理，不依赖于特定映射常数无效性 ：关键常数不可计算，限制了实际应用技术门槛 ：需要深厚的代数几何和 Berkovich 空间背景推广困难 ：方法难以直接推广到更一般的情况理论贡献 ：为算术动力系统提供了新的技术工具方法论意义 ：展示了退化理论在数论问题中的威力后续研究 ：为相关问题的研究提供了新的思路和方法理论研究 ：算术动力系统的理论发展相关问题 ：其他小点问题和高度界问题方法借鉴 ：退化方法在其他数论问题中的应用论文引用了该领域的主要工作，包括：
Baker的foundational工作 Benedetto和Looper关于多项式的结果 Luo的退化理论 Favre-Gong的Berkovich空间形式化 DeMarco等人关于动力系统退化的工作 这篇论文代表了算术动力系统领域的重要进展，通过创新的技术手段解决了长期存在的问题，为该领域的发展做出了重要贡献。
