[論文レビュー] Remarks on Serre's modularity conjecture

Luís Dieulefait|arXiv (Cornell University)|Mar 17, 2006

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

ひとこと要約

この論文は、特徴2のモジュラー性上昇定理に依存せずに、任意の重さの奇数位数のガロア表現に対するセールのモジュラー性予想を証明する。キシンのモジュラー性上昇結果と、重さ2の整合的系を用いた新規の「分岐を排除する」技法を用いて、一般の奇数位数の場合を、レベル3の場合に還元する。レベル3の場合については、ショーフの小導手数のアーベル多様体に関するモジュラー性結果を用いて解決される。主な貢献は、特徴2の複雑さを回避する普遍的な還元戦略であり、これにより残余表現を跨いでモジュラー性を伝搬可能にする。

ABSTRACT

In this article we give a proof of Serre's conjecture for the case of odd level and arbitrary weight. Our proof does not depend on any generalization of Kisin's modularity lifting results to characteristic 2 (moreover, we will not consider at all characteristic 2 representations at any step of our proof). The key tool in the proof is a very general modularity lifting result of Kisin, which is combined with the methods and results of previous articles on Serre's conjecture by Khare, Wintenberger, and the author, and modularity results of Schoof for semistable abelian varieties of small conductor. Assuming GRH, infinitely many cases of even level will also be proved.

研究の動機と目的

• Q 上の任意の重さの、奇数位数、2次元、非可約ガロア表現に対するセールのモジュラー性予想を確立すること。
• 特徴2におけるモジュラー性上昇定理に依存しないモジュラー性伝搬戦略を開発すること。
• 重さ2の整合的系を用いた新規の「分岐を排除する」プロセスにより、一般の奇数位数の場合をレベル3の場合に還元すること。
• 一般リーマン予想（GRH）の下で、偶数位数の場合の追加のケースを証明すること。
• 特徴2の障害がない状況において、キシンのモジュラー性上昇定理の普遍性とより広範な適用可能性を示すこと。

提案手法

• 整合的系による分岐の低減の後、残余表現にキシンのモジュラー性上昇定理（特に [Ki4]）を適用する。
• 重さ2の整合的系を用いて、元の位数からの分岐を大きな素数へ移動させ、分岐の型を制御可能にする。
• 繰り返し「分岐を排除する」プロセスを実装し、位数を単一の素数へと低減し、最終的にレベル3に到達する。
• カロウのガロア表現と整合的系に関する結果を用いて、キシンの定理の適用に必要な条件を検証する。
• レベル3の場合を、導手が3を割る半安定アーベル多様体のモジュラー性に還元する（ショーフの結果 [Sc2] を用いる）。
• 基本拡大と合同鎖を用いて、小位数・小重さのケースから出発し、より高位数・より高い重さの表現へとモジュラー性を伝搬する。

実験結果

リサーチクエスチョン

• RQ1 特徴2におけるモジュラー性上昇定理に依存せずに、すべての奇数位数の表現に対してセールのモジュラー性予想を証明できるか？
• RQ2 整合的系と分岐制御を用いて、ガロア表現の位数を一意の素数に体系的に低減することは可能か？
• RQ3 セール予想のレベル3の場合を、小導手数のアーベル多様体に関する既知のモジュラー性結果に還元できるか？
• RQ4 特徴2の障害がない状況において、キシンのモジュラー性上昇定理はどの程度普遍的に適用可能か？
• RQ5 GRHの仮定により、証明の範囲はどのように偶数位数の特定のケースへと拡張されるか？

主な発見

• すべての奇数位数、2次元、非可約ガロア表現（Q 上）に対して、任意の重さについてセールのモジュラー性予想が証明された。
• セール予想のレベル3の場合が、導手が3を割る半安定アーベル多様体のモジュラー性に還元された。
• 証明は完全に特徴2のモジュラー性上昇定理を回避しており、2が分岐する数体に対しても適用可能である。
• GRHを仮定すると、任意の奇素数 p に対して、レベル 2p で重さ2の半安定表現に対しても予想が証明される。
• 「分岐を排除する」技法は、モジュラー性伝搬の普遍的ツールであることが示され、元の予想を越えて一般化可能な可能性を有する。
• この方法により、キシンのモジュラー性上昇定理が、整合的系と分岐移動を組み合わせることで、任意の奇数位数の場合を有限個の基本ケースに還元可能であることが確認された。