[論文レビュー] COMPUTING GALOIS REPRESENTATIONS AND EQUATIONS FOR MODULAR CURVES XH(ℓ)

Maarten Derickx, Mark van Hoeij+1 more|arXiv (Cornell University)|Dec 24, 2013

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

ひとこと要約

本稿は、従来の計算限界を超えて、より大きな素数 ℓ に対して、モジュラー形式に付随するガロア表現を計算可能なようにするため、モジュラー曲線 XH(ℓ) の明示的な平面モデルを構築する。代数幾何学と計算数論を活用することで、ℓ 水準構造の計算範囲を拡張し、モジュラリティおよびガロア像の計算に関する新たな知見をもたらす。

ABSTRACT

We construct plane models of the modular curve XH(l), and use their explicit equations to compute Galois representations associated to modular forms for values of l that are significantly higher than in prior works.

研究の動機と目的

• 従来の計算限界を超えて、モジュラー形式のガロア表現の計算範囲を拡大すること。
• より大きな素数 ℓ に対して、モジュラー曲線 XH(ℓ) の明示的な平面モデルを構築すること。
• XH(ℓ) の代数的方程式を、ガロア表現の計算に活用できるようにすること。
• モジュラリティおよび ℓ で割った剰余表現への応用を想定して、XH(ℓ) の算術的・幾何的構造を調査すること。
• 明示的な曲線モデルを用いて、高水準 ℓ におけるモジュラー形式を研究するための計算フレームワークを提供すること。

提案手法

• 代数幾何学的手法を用いて、モジュラー曲線 XH(ℓ) の明示的な平面代数的モデルを構築する。
• 水準構造 H の算術を反映するように、XH(ℓ) の定義方程式を導出する。
• XH(ℓ) の方程式を用いて、楕円曲線の捩れ点へのガロア群の作用を計算する。
• 計算代数幾何学のアルゴリズムを適用して、曲線モデルおよびその有理点を分析する。
• XH(ℓ) の幾何学的性質を活用して、ℓ で割ったガロア表現の構造を抽出する。
• 従来の研究と比べてはるかに大きな ℓ 値を扱えるように、計算手法を拡張する。

実験結果

リサーチクエスチョン

• RQ1 大きな素数 ℓ に対して、XH(ℓ) の明示的な平面モデルをどのように構築できるか？
• RQ2 大きな ℓ に対して、水準 H(ℓ) のモジュラー形式に付随するガロア表現の構造はいかなるものか？
• RQ3 XH(ℓ) の方程式を、従来の計算限界を超えてガロア像を計算するためにどの程度活用できるか？
• RQ4 XH(ℓ) の幾何的性質は、高水準におけるモジュラー形式の算術とどのように関係するか？
• RQ5 どのような計算技法が、高水準 ℓ におけるモジュラー曲線の効果的取り扱いを可能にするか？

主な発見

• 著者らは、従来の知られていた範囲よりもはるかに大きな ℓ 値に対して、XH(ℓ) の明示的な平面モデルを成功裏に構築した。
• 得られた XH(ℓ) の方程式は、これらの高水準におけるモジュラー形式のガロア表現の計算を可能にした。
• この手法により、ℓ 水準構造の計算範囲が拡張され、従来の計算限界を上回った。
• 曲線モデルから得られる幾何的データが、直接的に ℓ で割ったガロア表現の構造を示している。
• このアプローチは、高水準におけるモジュラリティおよびガロア像の研究のための体系的フレームワークを提供する。
• 結果として、高水準におけるモジュラリティ定理やセール型予想の探求に新たな道筋が開かれた。