[論文レビュー] On Serre's modularity conjecture for 2-dimensional mod p representations of G_Q unramified outside p

Chandrashekhar Khare|ArXiv.org|Apr 5, 2005

Advanced Algebra and Geometry参考文献 36被引用数 7

ひとこと要約

この論文は、$p$ を除き不分岐な2次元mod $p$ガロア表現について、セールのモジュラリティ予想のレベル1の場合を証明し、そのような奇数的で非可約な表現が、レベル1、重さ$k(\bar{\rho})$の尖点形式から生じることを確立する。証明では、カシミールの定理やスキンナー＝ワイルズの定理を含むモジュラリティ上昇定理と、変形理論および整合的系を組み合わせることで、小素数より大きいアーベル多様体の分類結果に依存せずに、予想を完成させる画期的な「重さの低減」技法を導入する。

ABSTRACT

We prove the level 1 case of Serre's conjecture.

研究の動機と目的

• 2次元mod $p$ガロア表現$\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$に関するセールのモジュラリティ予想のレベル1の場合を証明すること。
• すべての連続的で奇数的かつ非可約なmod $p$表現が、$SL_2(\mathbb{Z})$上の$S_{k(\bar{\rho}})$の尖点形式から生じることを確立すること。
• 有理数体上での良い還元を持つ半安定アーベル多様体の分類結果に依存しない、新しい「重さの低減」技法を開発・適用し、その技術によって、レベル1のケースを回避すること。
• 既知のモジュラリティ上昇定理のみを用いてレベル1のケースを完成させることで、数論幾何学およびモジュラリティ理論における長年の予想を最終的に解決すること。

提案手法

• アーベル多様体の分類結果に依存しない、高重さにおけるモジュラリティを帰納的に証明する画期的な「重さの低減」技法を導入する。
• ワイズ、テイラー、ブリュア、コンラッド、ダイアモンド、フジワラ、キシン、スキンナー＝ワイルズのモジュラリティ上昇定理を適用し、Hodge–Tate重みが制御された$p$進上昇を構成する。
• 変形理論とテイラーの潜在的モジュラリティ結果を用いて、ガロア表現の整合的系を構築する。
• 先行研究における「分岐の除去」の手法を用い、一般ケースをレベル1のケースに還元する。
• 特に、$\mathbb{Q}_p(\mu_p)$上での潜在的バーロン＝タイケル上昇についてキシンの定理を活用し、非通常の場合を扱うために、バーロン＝タイケルおよびクリスタリン上昇に関する結果を用いる。
• 素数に関するチエビシェフ型推定と、カライョールの補題のガロア理論的類似を組み合わせ、変形環の構造と上昇障害を制御する。

実験結果

リサーチクエスチョン

• RQ1 すべての奇数的で非可約な2次元mod $p$ガロア表現（$p$ を除き不分岐）は、レベル1、重さ$k(\bar{\rho})$の尖点形式から生じるか？
• RQ2 有理数体上での良い還元を持つ半安定アーベル多様体の分類結果に依存せずに、セールのモジュラリティ予想のレベル1の場合を証明できるか？
• RQ3 高重さにおけるモジュラリティ上昇戦略の技術的障害を回避するために、新しい帰納的手法「重さの低減」を開発できるか？
• RQ4 モジュラリティ上昇定理を、アーベル多様体の分類に基づく個別ケース分析なしに、すべての重さ$k(\bar{\rho})$に一様に適用できるか？
• RQ5 既知のモジュラリティ上昇定理と変形理論的道具のみを用いて、セール予想のレベル1ケースを完成させることは可能か？

主な発見

• セールのモジュラリティ予想のレベル1ケースが完全に証明された：すべての連続的で奇数的かつ非可約なmod $p$表現$\bar{\rho}: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(\overline{\mathbb{F}}_p)$（$p$ を除き不分岐）は、$S_{k(\bar{\rho}})(SL_2(\mathbb{Z}))$の尖点形式から生じる。
• 固定された素数$p$に対して、$p$ を除き不分岐な連続的で半単純的で奇数的なmod $p$表現の同型類の数$N(2,p)$は、ある絶対定数$C$を用いて$Cp^3$で有界であり、$\frac{1}{48}p^3$に漸近するものと予想されている。
• 有理数体上での良い還元を持つ半安定アーベル多様体の分類結果に依存しないが、$p=5$の場合はフォンテーヌ＝ブルーマー＝クレーマー＝シューフの結果により処理される。
• 任意のこのような$\bar{\rho}$は、$e \leq \sup(1, \frac{p+1}{12})$を満たす有限体$\mathbb{F}_{p^e}$上に定義可能であり、これはセールが指摘したものである。
• 重さの低減技法により、残余表現が非退化である必要がなかったり、$p > 19$では$J_0(p)$のモジュラリティが成立しないことにもかかわらず、帰納的段階を進行させることができる。
• 特にキシンとスキンナー＝ワイルズのモジュラリティ上昇定理が、整合的系と変形理論と組み合わせることで、すべての重さに一様に適用可能であることが示され、レベル1ケースが完全に完成した。