[論文レビュー] The average number of integral points on elliptic curves is bounded

Levent Alpöge|arXiv (Cornell University)|Dec 2, 2014

Algebraic Geometry and Number Theory参考文献 23被引用数 7

ひとこと要約

この論文は、高さで順序付けられた有理数体 ℚ 上の楕円曲線における整数点の平均個数が 66 未満で有界であることを証明する。Bhargava-Shankar の手法、局所的高さ解析、および球面コードとロス型推定の新規応用を組み合わせることで、モーデル曲線や合同数曲線を含む族全体にわたる一様な有界性を確立し、算術幾何学における長年の未解決問題を解決する。

ABSTRACT

We prove that, when elliptic curves $E/\mathbb{Q}$ are ordered by height, the average number of integral points $\#|E(\mathbb{Z})|$ is bounded, and in fact is less than $66$ (and at most $\frac{8}{9}$ on the minimalist conjecture). By "$E(\mathbb{Z})$" we mean the integral points on the corresponding quasiminimal Weierstrass model $E_{A,B}: y^2 = x^3 + Ax + B$ with which one computes the na\"ıve height. The methods combine ideas from work of Silverman, Helfgott, and Helfgott-Venkatesh with work of Bhargava-Shankar and a careful analysis of local heights for "most" elliptic curves. The same methods work to bound integral points on average over the families $y^2 = x^3 + B$, $y^2 = x^3 + Ax$, and $y^2 = x^3 - D^2 x$.

研究の動機と目的

• 高さで順序付けられた ℚ 上の楕円曲線における整数点の平均個数が有界であるかどうかという未解決問題を解消すること。
• 特に $y^2 = x^3 + B$, $y^2 = x^3 + Ax$, および $y^2 = x^3 - D^2x$ のような特殊族に対し、有界性の結果を拡張すること。
• ヒューリスティックな期待を超えて、整数点の平均個数に対する有効な上界を提供すること。
• シーゲルの定理、マーフォークのギャップ原理、および現代の Bhargava-Shankar 手法を統合し、局所的高さと格子構造を用いて整数点を制御する手法を構築すること。

提案手法

• Bhargava-Shankar のランクに関する密度結果を用いて、Mordell-Weil ランクごとに曲線を分類し、ランク依存の境界を用いて整数点を制御する。
• 局所的高さに基づく精緻化されたギャップ原理を適用し、整数点が Mordell-Weil 格子内であまりに密に集まることはないことを示す。
• 整数点の集合を4つのクラス（I–IV）に分解し、有理点の分布と球面コードの境界を用いてクラス I, II, III が小さいことを証明する。
• 2変数におけるディオファントス近似を活用し、2変数ロス型補題を用いて、大多数の曲線に対してクラス IV が空であることを示す。
• 3 ≤ r ≤ 13 の範囲で $\mathbb{RP}^{r-1}$ 上における球面コード境界の明示的最適化を実行し、Mathematica を用いた数値計算により上界を最小化する。
• $(A,B) \not\equiv (2,2) \pmod{3}$ である部分族に制限し、この条件下では整数点が存在しないことを利用し、Bhargava-Shankar や Bhargava-Skinner-Zhang の密度推定を応用して、グローバルな境界を改善する。

実験結果

リサーチクエスチョン

• RQ1 高さで順序付けられた ℚ 上の楕円曲線における整数点の平均個数は有界であるか？
• RQ2 Bhargava-Shankar および Helfgott-Venkatesh の手法を、有理点だけでなく整数点に対しても拡張可能か？
• RQ3 $y^2 = x^3 + B$, $y^2 = x^3 + Ax$, および $y^2 = x^3 - D^2x$ のような族に対しても、整数点の平均個数は一様に有界であるか？
• RQ4 球面コードの境界と局所的高さ解析を組み合わせることで、整数点が Mordell-Weil 格子内で互いに排斥する（repel）ことを証明可能か？
• RQ5 すべての楕円曲線に対して、整数点の平均個数の最適な有効上界は何か？

主な発見

• 高さで順序付けられた ℚ 上のすべての楕円曲線における整数点の平均個数は、66 未満で有界である。
• 最小主義的予想のもとでは、整数点の平均個数は $\frac{8}{9}$ 未満であり、これは非条件的な上界を著しく改善する。
• この上界は $y^2 = x^3 + B$, $y^2 = x^3 + Ax$, および $y^2 = x^3 - D^2x$ の族に対しても同様に成り立ち、上界 66 を維持する。
• ランクが $\mathrm{rank}(E) \leq 1$ の曲線では、その割合が少なくとも 84.22% に達し、ランク制御により整数点の平均個数が有界であることが保証される。
• これらの手法により、$k \leq \log 5 / \log 3 \approx 1.4649$ のとき、整数点個数の $k$ 次モーメントに対して $\ll 1$ の一様な上界が得られ、多くの整数点を持つ曲線の割合が急速に減少することが示唆される。
• 最終的な上界は、球面コード境界と Mathematica 実装による数値計算を通じて最適化され、パラメータ $c = 0.998114$, $D = 612.117$, $s = 3$ および各 $r$ に対する最適化された $J$ が選択されている。