[論文レビュー] Explicit lower bounds on the modular degree of an elliptic curve

Mark E. Watkins|ArXiv.org|Aug 10, 2004

Algebraic Geometry and Number Theory参考文献 31被引用数 4

ひとこと要約

この論文は、対称平方L関数の零点のない領域を用いて、有理数上の楕円曲線のモジュラー次数の明示的下界を確立する。Goldfeld-Hoffstein-Liemanによるシーゲル零点の非存在と、基本周期の明示的評価を組み合わせることで、大きな導手Nに対して、deg φ ≫ N⁷/⁶ / (log N) の定量的下界が得られ、特定の範囲では既存の線形下界を改善する。

ABSTRACT

We derive an explicit zero-free region for symmetric square L-functions of elliptic curves, and use this to derive an explicit lower bound for the modular degree of rational elliptic curves. The techniques are similar to those used in the classical derivation of zero-free regions for Dirichlet L-functions, but here, due to the work of Goldfield-Hoffstein-Lieman, we know that there are no Siegel zeros, which leads to a strengthened result.

研究の動機と目的

• 有理数上の楕円曲線のモジュラー次数に対する明示的かつ定量的な下界を導出すること。
• 既存の線形下界（例：deg φ ≫ N/p）を改善し、deg φ ≫ N⁷/⁶ の超線形成長率を確立すること。
• 対称平方L関数に関する解析的整数論的手法を用いて、下界における明示的定数を提供すること。
• 判別式を割る素数における局所因子（Uₚ(1)⁻¹）と、特にp = 2, 3における導手を扱うこと。
• 最小捩り型および非最小捩り型曲線、ならびに良い還元、乗法的還元、加法的還元を含む状況において、下界が有効であることを検証すること。

提案手法

• モジュラー次数 deg φ と対称平方L関数 L(Sym²E, 1)、基本周期 Ω、マニン定数 c、局所因子 Uₚ(1) の関係を結ぶ畳み込み公式を導出する。
• Goldfeld-Hoffstein-Liemanによるシーゲル零点の非存在を用いて、L(Sym²E, s) の零点のない領域を確立し、L(Sym²E, 1) の明示的下界を導く。
• 判別式 D を用いた基本周期の逆数 1/Ω に対する明示的評価を適用し、1/Ω ≥ D¹/⁶ / 14.045 を示す。
• 関係式 deg φ = (Nc² / 2πΩ) · L(Sym²E, 1) · ∏ Uₚ(1)⁻¹ を用いて、解析的および算術的推定値を統合する。
• p² | N を満たす素数 p からの局所寄与を、特に p ≡ 1 mod 3 および p = 2, 3 に対して Uₚ(1)⁻¹ の明示的評価により取り扱う。
• 素数定理の推定値を用いて、p² | N かつ p ≡ 1 mod 3 を満たす素数に関する積 ∏(1 - 1/p) を評価し、最終的な下界に対数補正を導入する。

実験結果

リサーチクエスチョン

• RQ1 対称平方L関数と零点のない領域を用いて、有理数上の楕円曲線のモジュラー次数に対する明示的下界を導出可能か？
• RQ2 大導手Nに対して、形の下界 deg φ ≫ N⁷/⁶ / log N の最良の明示的定数は何か？
• RQ3 悪い還元に起因する局所因子 Uₚ(1)⁻¹ はモジュラー次数の下界にどのように影響するか？また、これらは一様に制御可能か？
• RQ4 p = 2 における非最小捩り型曲線に対しても下界は成立するか？このような捩りが推定値に与える影響は？
• RQ5 N ≥ 20000 を満たすすべての有理数上の楕円曲線に対して、下界を有効かつ一様に保証できるか？

主な発見

• 半安定な有理数上の楕円曲線で、導手N ≥ 20000 の場合、下界 deg φ ≥ N⁷/⁶ / (5350 log N) が確立される。
• 一般の有理数上の楕円曲線に対しては、下界 deg φ ≥ N⁷/⁶ / (7150 log N²) が成立し、さらに p ≡ 1 mod 3 かつ p² | N を満たす素数に関する積が追加される。
• 1/p 項の積の推定値を用いて、最終的な下界が deg φ ≥ N⁷/⁶ / (log N) · (1/10300) / √(0.02 + log log N) に改善される。
• 主な下界における定数 1/5350 は、1/Ω と対称平方L関数の明示的推定値に基づき、AGM と判別式の評価を用いて導出される。
• 下界は捩りに対して安定である：良い還元、乗法的還元、加法的還元をもつ素数による捩りを施しても、下界は増加または安定を保つ。これにより、捩り類全体にわたる有効性が確認される。
• N ≥ exp(86.8) のときのみ deg φ ≥ N が成立することを示しており、これは下界が非常に大きな導手に対してのみ非自明になることを示している。