[論文レビュー] Rational points on X_0^+ (p^r)

Yu. Bilu, Pierre Parent+1 more|arXiv (Cornell University)|Apr 24, 2011

Analytic Number Theory Research参考文献 10被引用数 7

ひとこと要約

本稿は、すべての素数 $ p \geq 11 $、$ p \neq 13 $、およびすべての整数 $ r > 1 $ に対して、モジュラー曲線 $ X_0^+(p^r) $ の有理点の集合が、自明な点（カスプ点およびCM点）のみからなることを確立する。GaudronとRémondによる精密化された同種写像の境界を用い、Grossベクトルに基づく計算支援アルゴリズムを組み合わせることで、$ p \leq 10^{14} $ に対して自明性を証明し、$ p = 13 $ を除くすべての有理点の分類を完了する。この結果は、モジュラー曲線の算術における長年の未解決問題を解決する。

ABSTRACT

We show how the recent isogeny bounds due to É. Gaudron and G. Rémond allow to obtain the triviality of X_0^+ (p^r)(Q), for r>1 and p a prime exceeding 2.10^{11}. This includes the case of the curves X_split (p). We then prove, with the help of computer calculations, that the same holds true for p in the range 10 < p < 10^{14}, p eq 13. The combination of those results completes the qualitative study of such sets of rational points undertook in previous papers, with the exception of p=13.

研究の動機と目的

• 有理点の分類を $ r > 1 $ に対して完全化し、先行する定性的な結果を拡張すること。
• 超越的境界における大きな定数のため、従来の手法が失敗した範囲 $ 11 \leq p \leq 10^{14} $、$ p \neq 13 $ のギャップを埋めること。
• Grossベクトル法に基づく計算的に効率的なアルゴリズムを開発し、小素数に対して非自明な有理点が存在しないことを証明すること。
• $ X_0^+(13^2) $ に対して未解決のまま残っている $ p = 13 $ の残りのケースを解消すること。

提案手法

• GaudronとRémondによる精密化された同種写像高さ境界を活用し、理論的自明性の閾値を $ 10^{80} $ から $ r = 3 $ の場合に $ p > 1.7 \times 10^{11} $ まで大幅に低下させる。
• Rungeの方法とMazurの整数性に関する主張を用いて、$ X_0^+(p^r) $ 上の非カスプ的かつ非CMの有理点の高さを境界づける。
• Grossベクトル法に基づくコンピュータアルゴリズムを開発し、範囲 $ 11 \leq p \leq 10^{14} $、$ p \neq 13 $ の素数を体系的に除外する。
• 中国剰余定理とヒルベルト類多項式の計算を用いて、類数が小さい虚二次体において分解する素数を同定する。
• 擬素数テストとKronecker記号のチェックを用いて、非自明な有理点を許容する可能性のある候補素数を効率的にフィルタリングする。
• 理論的境界と計算的検証を統合し、$ p \geq 11 $、$ p \neq 13 $ のすべての素数をカバーするが、$ p = 13 $ を除く。

実験結果

リサーチクエスチョン

• RQ1 すべての素数 $ p \geq 11 $、$ p \neq 13 $ および整数 $ r > 1 $ に対して、$ X_0^+(p^r) $ の有理点がすべて自明であるのはどのような場合か？
• RQ2 有理点の自明性に関する理論的境界を $ 10^{80} $ から計算的に実行可能な範囲にまで低下させることは可能か？
• RQ3 Grossベクトル法に基づく計算アルゴリズムは、すべての $ p \leq 10^{14} $、$ p \neq 13 $ に対して非自明な有理点が存在しないことを効果的に除外できるか？
• RQ4 曲線 $ X_0^+(13^2) $ の状態はいかなるものか？なぜ未解決のケースのまま残っているのか？

主な発見

• すべての素数 $ p \geq 11 $、$ p \neq 13 $ およびすべての整数 $ r > 1 $ に対して、集合 $ X_0^+(p^r)(\mathbb{Q}) $ は自明であり、このような有理点の分類が完全に完了する。
• GaudronとRémondによる理論的境界により、$ r = 3 $ の場合に自明性の閾値が $ p > 1.7 \times 10^{11} $ まで低下し、残りの範囲が計算的に扱えるようになった。
• Grossベクトル法に基づくアルゴリズムは、初等的な計算を用いて、$ p \in [11, 10^{14}] $、$ p \neq 13 $ のすべての素数に対して非自明な有理点が存在しないことを成功裏に除外した。
• $ p = 13 $ の場合、曲線 $ X_0^+(13^2) $ は genus 3 であり、7つの自明な有理点が知られているが、非自明な点の存在は未だ証明されていない。
• 本稿は、$ p = 2, 3, 5, 7 $ に対して、それぞれ $ r \geq 6, 4, 4, 3 $ のすべての場合において $ X_0^+(p^r)(\mathbb{Q}) $ が自明であることを確認したが、$ \mathbb{P}^1 $-同型が生じる小さな $ r $ の場合を除く。
• 未解決の唯一のケースは $ X_0^+(13^2) $ であり、既知の7つの有理点が唯一のものであると予想されているが、ギャップを閉じるための有効なMordell境界は現在存在しない。