[論文レビュー] Uniform bounds on $S$-integral points in backward orbits

R. Padhy, S. S. Rout|arXiv (Cornell University)|Jan 28, 2026

Advanced Differential Equations and Dynamical Systems被引用数 0

ひとこと要約

この論文は、冪写像 φ(z)=z^d の下での後方軌道における S-整合点の数とガロア軌道数に関して、非前周期点に対する一様界を確立します。

ABSTRACT

Let $K$ be a number field with algebraic closure $\overline{K}$ and let $S$ be a finite set of places of $K$ containing all the archimedean places. It is known from Silverman's result that a forward orbit of a rational map $φ$ contains finitely many $S$-integers in the number field K when $φ^2$ is not a polynomial. Sookdeo stated an analogous conjecture for the backward orbits of a rational map $φ$ using a general $S$-integrality notion based on the Galois conjugates of points. He proved his conjecture for the power map $φ(z) =z^d$ for $d \geq 2$ and consequently for Chebyshev maps (J. Number Theory 131 (2011), 1229-1239). In this paper, we establish uniform bounds on the number of $S$-integral points in the backward orbits of any non-zero $β$ in $K$, relative to a non-preperiodic point $α\in \mathbb{P}^1(\overline{K})$, under the power map $φ(z) =z^d $.

研究の動機と目的

• 次数場の下での非前周期点に対する後方軌道における S-整合点の有限性と一様性を動機づけ、調査する。
• ガロア共役に結びついた S-整合性の概念を用いて、Silverman 型の前方/逆方位の有限性を後方軌道へ拡張する。
• 場の次数と places の集合 S に関係する明示的な一様界を提供し、整合後方点の軌道構造を説明する。

提案手法

• 基点と集合に対する S-整合性を定義し、後方軌道 O^{-}_{φ}(β) を設定する。
• Berkoヴィッチ空間とラプラシアンを用いて標準高さと平衡測度を研究する。
• Arakelov-Zhang 対を用いてアデリ的計量と共役集合の高さを関連付ける。
• Favre–Rivera-Liêtelier の定量的等分布結果を適用し、後方反復点の分布を制御する。
• 対数形の線形形を用いて、[K:Q] および |S| に依存する明示的な一様界を得る。
• 2つの主な界を導出する：(i) 定理1.2 の φ に対する|G_{K}(γ)| の一様界、(ii) 定理1.3 の後方反復の S-整合点を有限個のガロア軌道に分割する改良された界。

実験結果

リサーチクエスチョン

• RQ1 非前周期基点が与えられた場合、 φ(z)=z^d による後方軌道の S-整合点の数は特定の後方点に依存せず一様に界化できるか。
• RQ2 一様界は場データ [K:Q]、集合 S、写像 φ のみに依存できるか、そして後方の S-整合点を有限個のガロア軌道の并合集として組織化できるか。
• RQ3 等分布と Arakelov-Zhang の対が、後方の S-整合点の分布と数え上げにどのように寄与するか。
• RQ4 対数形の線形形が、後方軌道共役体を [K:Q] および |S| に基づく有効な定数で有界にすることができるか。

主な発見

• 一定の定数 C=C([K:Q],|S|,φ) が存在し、α が φ-前周期でない場合に、β に対して S-整合 relative to α である任意の γ ∈ O^{-}_{φ}(β) は |G_{K}(γ)|<C を満たす。
• 改良された界 (定理1.3) があり、|S| と φ に依存する定数 C1=C1(|S|,φ) を用い、|G_{K}(γ)|>C1[K:Q]^{8} を満たす後方反復の S-整合点集合は、最大で |S_{fin}|・Gal(Ḱ/K) の軌道の並集合である。
• この手法は、後方反復点の定量的等分布と Arakelov-Zhang 対を組み合わせて、高さと測度を結びつける。
• 結果は Berkovich 空間、標準高さ、アデリ的計量の枠組みに依存して、数体全体にわたる一様性を提供する。
• 本論文はこの設定における後方軌道内の S-整合点の有限性を示し、べき写像やチェビシェフ写像に関する既存の結果を拡張する。