[論文レビュー] How to facet a gemstone: from potential modularity to the proof of Serre's modularity conjecture

Luís Dieulefait|ArXiv.org|Dec 9, 2007

Algebraic Geometry and Number Theory参考文献 17被引用数 3

ひとこと要約

この論文は、セールのモジュラー性予想の証明について包括的なサーベイを提示する。潜在的モジュラー性定理（特にテイラーのもの）とモジュラー性上昇技術を用いて、基本ケースから一般ケースへとモジュラー性を伝播させる。最小リフト、ガロア共役による重み低減、反復的分岐除去といった道具を用いることで、一般ケースをレベル1および小スケールの重みに還元し、奇数の導手、奇数、非可約な2次元ガロア表現すべてのモジュラー性を証明する。

ABSTRACT

In this survey paper we present recent results obtained by Khare, Wintenberger and the author that have led to a proof of Serre's conjecture, such as existence of compatible families, modular upper bounds for universal deformation rings and existence of minimal lifts, prime switching and modularity propagation, weight reduction (via existence of conjugates) and (iterated) killing ramification. The main tools used in the proof of these results are modularity lifting theorems a la Wiles and a result of potential modularity due to R. Taylor.

研究の動機と目的

• 奇数、非可約な2次元ガロア表現に対するセールのモジュラー性予想の証明における主要なステップと道具を説明すること。
• 潜在的モジュラー性とモジュラー性上昇定理が、単純な基本ケースから一般ケースへとモジュラー性を伝播させる方法を明確にすること。
• 最小リフト、ガロア共役による重み低減、反復的分岐除去が、問題を取り扱い可能なケースに還元する役割を詳細に説明すること。
• レベルに良質な二面体的素数を導入することで還元プロセスがどのように促進され、かつ大きな残余像が保証されるかを示すこと。
• レベル1、重み2のケースおよびその一般化が、特徴関数切り替えと半安定還元の性質を用いて既知のモジュラーなケースに還元される仕組みを示すこと。

提案手法

• R. テイラーの潜在的モジュラー性定理を用いて、ガロア表現の適合族の存在を確立する。
• ワイリズおよびキシン風のモジュラー性上昇定理を適用し、残余表現からリフトへのモジュラー性を伝播させる。
• 「素数切り替え」を実行し、異なる特徴関数間を移動させ、各段階で表現を単純化する。
• ガロア共役を用いた「重み低減」により、重み$k$の表現を重み約$k/2$のものと結びつけ、問題をより小さい重みに還元する。
• 「反復的分岐除去」を実行し、段階的にレベルから素数を除去する。半安定リフトと特徴関数切り替えを用いて技術的条件を満たす。
• レベルに良質な二面体的素数を導入し、残余像を大きくすることで、特徴関数2以上においてもモジュラー性上昇定理の適用が可能になるようにする。

実験結果

リサーチクエスチョン

• RQ1 潜在的モジュラー性定理とモジュラー性上昇定理をどのように組み合わせることで、セール予想を証明できるか？
• RQ2 最小リフトの存在が、ガロア表現のレベルと重みを低減する上で果たす役割は何か？
• RQ3 レベルに良質な二面体的素数を導入することで、奇数の導手を持つ表現に対するモジュラー性の証明がどのように促進されるか？
• RQ4 「ガロア共役の存在」が、重み$k$から約$k/2$への重み低減をどのように可能にするか？
• RQ5 反復的分岐除去はどのようにしてレベルを1にまで低減できるか？このプロセスに必要な技術的条件は何か？

主な発見

• 奇数、非可約な2次元ガロア表現に対するセールのモジュラー性予想の証明は、技術的移動の系列を経て、レベル1、重み2のケースに還元されることで達成された。
• レベル1、重み2のケースは、モジュラー性上昇定理と、1973年から既知であった事実（このような表現はモジュラーである）を用いて確立された。
• ガロア共役を用いた重み低減により、一般の重み$k$のケースが重み$k/2$に還元され、最終的に重み2のケースに接続された。
• 良質な二面体的素数の導入により、残余像が大きく保証され、これは特徴関数2においてモジュラー性上昇定理を適用する上で不可欠であった。
• 反復的分岐除去に加え、特徴関数切り替えと半安定リフトを組み合わせることで、レベルは3にまで低減され、さらにソフィー・ジェルマン素数を用いたさらなる還元により、レベル21、重み2のケースに到達した。
• 最終的に、レベル3および重み4と6への還元は、特徴関数7に切り替え、小導手の半安定アーベル多様体がモジュラーであることがシューフォーによって示された事実を用いて完了した。