[論文レビュー] From potential modularity to modularity for integral Galois representations and rigid Calabi-Yau threefolds

Luís Dieulefait|ArXiv.org|Sep 7, 2004

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

ひとこと要約

この論文は、有理数係数、$\ell$-進ガロア表現が奇数で、$\ell$でクリスタリンで、3でトレース条件を満たす、非可約な2次元の $\sigma_{\ell}$-進ガロア表現に対して、モジュラー性を確立する。そのために、Dieulefaitによる適合族の存在、Taylorによる潜在的モジュラー性、Wilesによる正則性制御を組み合わせた。主な結果として、3で良い還元性と $3 \nmid a_3$ を満たすrigid Calabi-Yau3次数体のモジュラー性が示され、5や7での要件を超えてモジュラー性基準が拡張された。

ABSTRACT

We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" condition is satisfied. As a corollary, this proves that all rigid Calabi-Yau threefolds defined over $\Q$ having good reduction at 3 and satisfying $ 3 mid a_3$ are modular.

研究の動機と目的

• 有理数係数、有限分岐性をもつ、奇数で非可約な2次元 $\ell$-進ガロア表現のモジュラー性を確立すること。
• 3におけるトレース条件を満たす $\mathbb{Q}$ 上に定義されたrigid Calabi-Yau3次数体のモジュラー性を証明すること。
• 5や7のような素数での従来の要件を超えて、$3 \nmid a_3$ に注目したモジュラー性基準を拡張すること。
• Wilesの結果を用いて3における正則性を制御することで、潜在的モジュラー性と完全モジュラー性を結びつけること。
• 有理数係数で3で良い還元性をもつモチーフの適合族が $3 \nmid a_3$ を満たすならば、それがモジュラーであることを示すこと。

提案手法

• Dieulefait (2004) が確立した、$\sigma_\ell$ を含む適合族の存在を利用する。
• Taylorの潜在的モジュラー定理を適用し、3が完全に分解する $\mathbb{Q}$ の完全実体 $F$ 上で、族がモジュラーになることを示す。
• Wilesによるヒルベルトモジュラー形式における正則性の基準を用いて、$3 \nmid a_3$ を、族内の3-進表現の正則性に翻訳する。
• 可解な基本拡大を用いて、$F$ における3の上にあるすべての素数における正則性が、3-進表現全体の正則性を意味することを保証する。
• Skinner-Wilesのモジュラー性上昇定理を適用し、3-進表現のモジュラー性を導き、それが $\sigma_\ell$ のモジュラー性にまで及ぶことを示す（適合性より）。
• 残余mod 3表現がモジュラーまたは可約であるが、正則性を用いて可約性を除外し、モジュラー性を保証する。

実験結果

リサーチクエスチョン

• RQ1 有理数係数、有限分岐性をもつ、奇数で非可約な2次元 $\ell$-進ガロア表現が、どのような条件下でモジュラーになるか？
• RQ2 3で良い還元性と3におけるトレース条件を満たす $\mathbb{Q}$ 上のrigid Calabi-Yau3次数体のモジュラー性は、3での条件のみで確立可能か？
• RQ3 条件 $3 \nmid a_3$ は、適合族内の3-進表現の正則性とどのように関係するか？
• RQ4 潜在的モジュラー性結果を係数体の制御とトレース条件と組み合わせることで、完全モジュラー性を導けるか？
• RQ5 Wilesの正則性に関する定理は、残余表現からのモジュラー性上昇において、どのような役割を果たすか？

主な発見

• 論文は、任意の非可約で奇数、2次元の $\ell$-進ガロア表現が、有理数係数、$\ell$ でクリスタリンで、$\ell > 2w$ および $3 \nmid a_3$ を満たすならば、モジュラーであることを証明した。
• $3 \nmid a_3$ は、適合族内の3-進表現が正則であることを意味し、これによりモジュラー性上昇定理の適用が可能になる。
• Skinner-Wilesの結果により、正則性と残余mod 3でのモジュラー性が成立するため、3-進表現がモジュラーであることが示された。
• 3-進表現のモジュラー性から、適合性により $\ell$-進表現のモジュラー性が導かれる。
• この結果は、3で良い還元性と $3 \nmid a_3$ を満たすすべての $\mathbb{Q}$ 上のrigid Calabi-Yau3次数体に適用され、それらのモジュラー性が証明された。
• 従来の結果が5や7での良い還元性を要件としていたのに対し、本論文は、5や7での還元性を要件としない、rigid Calabi-Yau3次数体の新しいモジュラー性基準を提供した。