[論文レビュー] Small rational points on elliptic curves over number fields

Clayton Petsche|ArXiv.org|Aug 9, 2005

Algebraic Geometry and Number Theory参考文献 13被引用数 17

ひとこと要約

本稿は、数体の次数 $d$ と Szpiro 比 $\sigma$ を用いて、数体上の楕円曲線上の有理数 torsion 点の数および非 torsion 有理点の canonical height に対して明示的な多項式的上限を確立する。主な結果は、$c_1 = 134861$、$c_2 = 104613$ である torsion 界 $|E(k)_{\text{tor}}| \leq c_1 d \sigma^2 \log(c_2 d \sigma^2)$ と、$c(d,\sigma) = \frac{1}{10^{15} d^3 \sigma^6 \log^2(c_2 d \sigma^2)}$ である canonical height の下界 $\hat{h}(P) \geq c(d,\sigma) \log|\mathbb{N}(\Delta)|$ であり、両者とも $d$ と $\sigma$ に対してのみ多項式的依存性を示し、以前の指数的上限を改善する。

ABSTRACT

Let E/k be an elliptic curve over a number field. We obtain some quantitative refinements of results of Hindry-Silverman, giving an upper bound for the number of k-rational torsion points, and a lower bound for the canonical height of non-torsion k-rational points, in terms of expressions depending explicitly on the degree of k and the Szpiro ratio of E/k. The bounds exhibit only polynomial dependence on both quantities.

研究の動機と目的

• 数体上の楕円曲線の有理 torsion 点の数に対する明示的で多項式的有界な推定を提供し、Merel の普遍的上限を精緻化すること。
• 非 torsion 有理点の Néron-Tate canonical height に対する下界を、次数 $d$ と Szpiro 比 $\sigma$ に明示的に依存する形で確立すること。
• Hindry-Silverman の以前の指数的上限を改善し、$d$ と $\sigma$ に対してのみ多項式的依存性を達成すること。
• Szpiro の予想が Lang の予想を多項式的減少定数を伴って含意することを示し、既知の含意関係を強化すること。
• Hindry-Silverman の手法を、劣化還元の場所における局所的高さ推定を組み込むことで拡張し、より厳密で明示的な上限を得ること。

提案手法

• この手法は、有限集合 $Z$ 内の小さな有理点上で定義される高さ-判別式和 $\Lambda(Z)$ を用い、平行四辺形法からのグローバルな上界と、Néron 局所的高さ関数からの局所的下界を組み合わせる。
• すべての場所 $v \in \mathcal{M}_k$ における局所的高さ寄与を評価し、特に劣化還元の場所 ($\mathcal{M}_k^{\text{br}}$) に対して $\delta_v$、$c_v$、$\eta_v$ の上限を用いて特別な取り扱いを行う。
• Jensen の不等式を局所的高さ和に適用し、$\log|\mathbb{N}(\Delta)|$ と $\log|\mathbb{N}(\mathfrak{f})|$ を含むグローバルな下界を導出する。これらは Szpiro 比 $\sigma$ を介して関連づけられる。
• グローバルな $\Lambda(Z)$ の上界は、個々の canonical 高さ $\hat{h}(P)$ の上界から得られ、これは $\log|\mathbb{N}(\Delta)| / (d \sigma^2)$ に比例する。
• 上界と下界を組み合わせることで、あるサイズより大きな集合 $Z$ に対して矛盾が生じ、これにより小さな有理点の数に対する上限が得られる。
• torsion 点の上限は、このような小さな有理点の有限性から直接導かれる。一方、canonical 高さの下界は、$\hat{h}(MP)$ が閾値を超える最小の $M$ を分析することで得られる。

実験結果

リサーチクエスチョン

• RQ1 数体上の楕円曲線上の有理 torsion 点の数は、次数 $d$ と Szpiro 比 $\sigma$ に対してのみ多項式的に増加する関数で有界にできるか？
• RQ2 非 torsion 有理点の canonical 高さに対する下界は、定数が $d$ と $\sigma$ に明示的かつ多項式的にのみ依存する形で構成可能か？
• RQ3 新しい canonical 高さの上限は、Lang の予想を多項式的減少定数を伴って含意するか？ これは以前の指数的上限と比べてどのように異なるか？
• RQ4 Hindry-Silverman の手法は、劣化還元の場所を含めることで拡張可能であり、よりタイトで明示的な上限が得られるか？
• RQ5 torsion 部分群の大きさと $d$ および $\sigma$ の不変量との間の定量的関係は何か？ 特に Szpiro の予想の下でどうか？

主な発見

• $k$-有理 torsion 点の数は、$|E(k)_{\text{tor}}| \leq 134861 \cdot d \sigma^2 \log(104613 \cdot d \sigma^2)$ を満たし、$d$ と $\sigma$ に対してのみ多項式的依存性を示す。
• 非 torsion 点の canonical 高さに対する下界は、$\hat{h}(P) \geq \frac{1}{10^{15} d^3 \sigma^6 \log^2(104613 \, d \sigma^2)} \log|\mathbb{N}_{k/\mathbb{Q}}(\Delta_{E/k})|$ で与えられ、定数が $d$ と $\sigma$ に対して多項式的に減少する。
• torsion 点の上限は、$\sigma = 1$ の場合に Hindry-Silverman の $O(d \log d)$ 界を回復するが、$\sigma$ 全体にわたって多項式的制御を拡張する。
• この上限は、Szpiro の予想が成り立つ（すなわち $\sigma$ が有界である）ならば、torsion 部分群のサイズが $d$ のみに依存する一様有界性を示す。
• canonical 高さの上限は、Szpiro の予想が Lang の予想に与える含意を強化し、Lang の不等式における定数 $c(k)$ を $d$ と $\sigma$ に対して多項式的に減少させることを示す。
• 証明技法は、以前の研究を拡張し、劣化還元の場所における局所的高さ推定を組み込むことで、以前は除外されたり、より粗く取り扱われていたものを厳密に扱うようになった。