[論文レビュー] Elliptic Curves over Real Quadratic Fields are Modular

Nuno Freitas, Bao V. Le Hung+1 more|arXiv (Cornell University)|Oct 26, 2013

Algebraic Geometry and Number Theory参考文献 57被引用数 6

ひとこと要約

この論文は、実二次体上に定義されたすべての楕円曲線がモジュラーであることを証明し、モジュラリティ定理を有理数体からより大きな完全実体へ拡張する。モジュラリティ上昇定理、Langlands–Tunnell定理、3–5モジュラリティスイッチング、およびモジュラー曲線上の実二次点の明示的計算を用いて、有限個のケースに還元し、 genus 1 の曲線上の有理点および二次点の列挙により検証することで、モジュラリティを確立する。

ABSTRACT

We prove that all elliptic curves defined over real quadratic fields are modular.

研究の動機と目的

• 有理数体 Q からのモジュラリティ定理の拡張として、完全実体への拡大におけるすべての楕円曲線のモジュラリティを確立すること。
• モジュラリティを証明する際、mod p ガロア表現の像が小さい場合の挑戦を、モジュラー曲線上の有理点および二次点の解析によって克服すること。
• Wiles や Taylor–Wiles の戦略を、高度なモジュラリティ上昇定理と幾何的技法を用いて、完全実体へ一般化すること。
• 特に、実二次体上でのフェルマー型方程式の解法におけるディオファントス的応用の基盤を提供すること。
• Q(√5) 上での楕円曲線のモジュラリティが、スieve 法および点の探索法を用いて、すべての実二次体上でのモジュラリティに拡張できることを示すこと。

提案手法

• 定理 2 に従い、mod p ガロア表現がモジュラーであり、かつ K(ζp) 上で絶対的非可約である場合にモジュラリティを保証するモジュラリティ上昇定理を適用する。
• Langlands–Tunnell 定理を用いて、p=3 の場合に mod 3 表現が非可約であればモジュラリティを確立する。
• 3–5 モジュラリティスイッチングを実装し、非可約性および適切な像条件を仮定することで、p=3 から p=5 へのモジュラリティの伝播を図る。
• 問題を、特定のレベル構造 Γ に対するモジュラー曲線 X(Γ) 上の K-有理点の特定に還元する。特に、genus 1 の曲線に注目する。
• X(d7)、X(e7)、X(b3,b5)、X(s3,b5) などのモジュラー曲線のモデルを構築し、有理点列挙および twist 論法を用いて K-点を計算する。
• ファイバー積の対称平方上にスieve 法を適用し、非モジュラー点を除外し、残った K-点がすべてモジュラー楕円曲線に対応することを検証する。

実験結果

リサーチクエスチョン

• RQ1 この設定において完全なモジュラリティ上昇定理が利用できないにもかかわらず、Q 上と同様の戦略を用いて、実二次体上の楕円曲線のモジュラリティを確立できるか？
• RQ2 実二次体上の楕円曲線の mod p ガロア表現が K(ζp) 上で絶対的非可約となる条件は何か？ そして、その性質はどのようにモジュラリティの証明に利用できるか？
• RQ3 どのモジュラー曲線が、非モジュラー楕円曲線をパラメトライズする実二次点を有するか？ そして、これらは体系的に除外可能か？
• RQ4 与えられた完全実体上での楕円曲線のモジュラリティは、どの程度までモジュラー曲線上の有理点および二次点の計算に還元できるか？
• RQ5 Q(√5) に用いられた手法を、モジュラー曲線上の有限スieve を用いて、すべての実二次体上でのモジュラリティを一般化して証明できるか？

主な発見

• すべての実二次体上に定義された楕円曲線はモジュラーであり、定理 1 を証明する：任意のこのような曲線は、有理数のヘッケ固有値をもつ平行重さ 2 のヒルベルトモジュラー形式から生じる。
• Q(√5) 上での楕円曲線のモジュラリティは、モジュラー曲線 X(d7)、X(e7)、X(b3,b7)、X(s3,b7) 上のすべての関連する K-点が、有理点列挙または twist および商の論法によりモジュラーであることを示すことによって確立される。
• 曲線 X(s3,b7) は、非尖点の K-点を有さず、有理点または Q-曲線に対応するものに限ることを示し、したがってすべての such 点がモジュラーである。
• 任意の完全実体 K について、p=5 もしくは p=7 において不分岐な素点を有し、かつ非可約な mod p 表現をもつ半安定楕円曲線に対して、K(ζp) 上でのガロア像の絶対的非可約性からモジュラリティが導かれる。
• フェルマー方程式 x^p + y^p = z^p に対して、実二次体上での有効な境界が得られる：d ≡ 3 mod 8 または d ≡ 6,10 mod 16 のとき、すべての解が xyz = 0 を満たすような有効に計算可能な B_d が存在し、p > B_d のとき成立する。
• 論文は、モジュラリティの可能性のある例外が、p=3 および p=5 において像が小さい楕円曲線に限られることを確認し、これらは genus 1 のモジュラー曲線上の点の全列挙によって除外された。