[論文レビュー] Modularity of rigid Calabi-Yau threefolds over Q

Luís Dieulefait, Jayanta Manoharmayum|ArXiv.org|Apr 27, 2003

Algebraic Geometry and Number Theory参考文献 10被引用数 34

ひとこと要約

この論文は、3および7で良い還元を持つ、または5およびp ≡ ±2 mod 5で良い還元を持つ（ただしt₃(p)が5で割り切れない）ような、ℚ上の剛性のあるCalabi-Yau3次元多様体の広いクラスについて、モジュラー性を証明する。この結果は、ガロア表現理論とモジュラー性上昇定理に依拠しており、既知の例のうち1つ（レベル9を除く）すべての例についてモジュラー性予想が正当化されることを確認する。

ABSTRACT

We prove modularity for a huge class of rigid Calabi-Yau threefolds over $\Q$. In particular we prove that every rigid Calabi-Yau threefold with good reduction at 3 and 7 is modular.

研究の動機と目的

• ℚ上の剛性のあるCalabi-Yau3次元多様体の広いクラスについてモジュラー性を確立し、個別の例を超えて既知のモジュラー性結果を拡張すること。
• 特定の還元行動および特定の素数におけるフロベニウスのトレースに関する局所的条件のもとで、剛性のあるCalabi-Yau3次元多様体がモジュラーであることが保証される条件を示すこと。
• これらの3次元多様体のエタールコホロロジーに付随するガロア表現に、モジュラー性上昇定理を適用すること。
• 既知のすべての例（レベル9を除く）について、剛性のあるCalabi-Yau3次元多様体のモジュラー性予想が成り立つことを検証すること。

提案手法

• ℚ上の剛性のあるCalabi-Yau3次元多様体XのエタールコホロロジーH³ét(X̄, ℚℓ)に付随するガロア表現ρX,ℓを使用する。
• スキンナーとワイズのモジュラー性上昇定理を適用し、ℓで割った残余表現からρX,ℓのモジュラー性を導出する。
• ℓにおけるクリスタリン条件およびホッジ＝テイト重み{0,3}を用いて、重み4のモジュラー形式と整合性を保つ。
• 残余表現が既約である場合に対処するために、基本拡大技術および可解拡大の議論を用いる。
• 点数の計算をpを法として行い、t₃(p) = tr(ρX,ℓ(Frobₚ))のトレース計算を用いて、p ≡ ±2 mod 5である素数における非消滅条件を検証する。
• 残余表現のモジュラー性に加え、正則性およびクリスタリン性が成り立つと、ℓ-進表現のモジュラー性が示されることに依拠する。

実験結果

リサーチクエスチョン

• RQ1 還元行動およびフロベニウスのトレースに関するどのような局所的条件のもとで、ℚ上の剛性のあるCalabi-Yau3次元多様体がモジュラーであることが保証されるか？
• RQ2 重み{0,3}のエタールコホロロジーに付随するℓ-進ガロア表現に対して、モジュラー性上昇定理を適用できるか？
• RQ3 既知のℚ上の剛性のあるCalabi-Yau3次元多様体の例について、モジュラー性予想の仮定がどの程度満たされているか？
• RQ4 ℓにおけるクリスタリンおよび正則性条件のもとで、ρX,ℓの残余表現のモジュラー性が、ℓ-進表現ρX,ℓのモジュラー性を示唆するか？
• RQ5 トレースが5で割り切れない場合、p ≡ ±2 mod 5である素数におけるフロベニウスのトレースをどのように用いてモジュラー性を確立できるか？

主な発見

• ℚ上の剛性のあるCalabi-Yau3次元多様体で、3および7の両方で良い還元を持つものはすべてモジュラーである。
• ℚ上の剛性のあるCalabi-Yau3次元多様体で、5およびp ≡ ±2 mod 5であるある素数pで良い還元を持ち、かつt₃(p)が5で割り切れないものはすべてモジュラーである。
• モジュラー性の結果は、ℚ上の剛性のあるCalabi-Yau3次元多様体の既知のすべての例に適用可能であり、レベル9の1例を除く。
• 証明は、残余表現のモジュラー性を示し、モジュラー性上昇定理を適用することで、ℓ-進ガロア表現ρX,ℓのモジュラー性を確立する。
• ℓ = 5または7の場合、ℓにおけるクリスタリン条件および指定された非分岐およびトレース条件のもとで、ρX,ℓのモジュラー性が確認される。
• この結果は、ガロア表現の手法を用いて、このクラスの剛性のあるCalabi-Yau3次元多様体について、Fontaine-Mazurのモジュラー性予想を確認する。