[論文レビュー] Rigid Calabi-Yau Threefolds over Q Are Modular

Fernando Q. Gouvêa, Noriko Yui|arXiv (Cornell University)|Feb 9, 2009

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

ひとこと要約

この論文は、ℚ 上に定義されたすべての剛性のあるカラビ＝ヤウ3次元多様体がモジュラーであることを証明している。つまり、その3番目のエタールコホロジーが、重さ4、レベルNのモジュラー形式に対応する。セールの相互作用定理と、奇数で絶対的単純な2次元ガロア表現のモジュラー性を用いて、関連するガロア表現が S₄(Γ₀(N)) に属する新形式から生じることを確立し、数体上のカラビ＝ヤウ3次元多様体のモジュラー性プログラムにおける重要なケースを完成させた。

ABSTRACT

The proof of Serre's conjecture on Galois representations over finite fields allows us to show, using a method due to Serre himself, that all rigid Calabi-Yau threefolds defined over Q are modular.

研究の動機と目的

• ℚ 上に定義された剛性のあるカラビ＝ヤウ3次元多様体のモジュラー性を確立すること。
• 3次エタールコホロジーから生じるガロア表現にセールの相互作用定理を適用すること。
• 関連するガロア表現が重さ4、レベルNのモジュラー形式から生じることを示すこと。
• 数体上のカラビ＝ヤウ3次元多様体に対する一般化されたモジュラー性予想の特殊ケースを解決すること。
• 代数幾何学へのセール–カハレ–ウィンターバーガーのモジュラー性定理の簡潔な応用を提供すること。

提案手法

• 有限体上の絶対的単純で奇数の2次元ガロア表現をモジュラー形式に結びつけるためにセールの方法を用いる。
• 奇数で絶対的単純なガロア表現のモジュラー性を確立するセール–カハレ–ウィンターバーガー定理を適用する。
• ℚ 上に定義された剛性のあるカラビ＝ヤウ3次元多様体 X の3次エタールコホロジー群 H³(X, ℚℓ) から生じるガロア表現を特定する。
• 表現からセールのパラメータ (N, k, ε) を決定する：N はガロア表現のアルチン・導子のℓ以外の部分、k はℓでのインertieの像によって定まる重さ、ε はディリクレ指標。
• 表現が2次元かつ非可約であることから、重さ4、レベルNのΓ₀(N) 上の新形式から生じることを示す。
• 剛性のあるカラビ＝ヤウ3次元多様体は3次コホロジーが2次元であることから、ガロア表現が自然に2次元的であり、セールのモジュラー性上昇に適しているという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 ℚ 上に定義されたすべての剛性のあるカラビ＝ヤウ3次元多様体は、H³ におけるガロア表現を通じて、重さ4、レベルNのモジュラー形式を生じるか？
• RQ2 セールの相互作用定理を、カラビ＝ヤウ3次元多様体から生じる幾何的ガロア表現のモジュラー性を証明するために適用できるか？
• RQ3 関連するモジュラー形式のレベルNは、ℚ 上の多様体の算術的不変量であり、悪い還元を受ける素数とどのように関係しているか？
• RQ4 ℚ(√d) 上で剛性のあるカラビ＝ヤウ3次元多様体のガロアねじれを構成できるか？ そして、それらは関連するモジュラー形式のねじれに対応するか？
• RQ5 マズールの問題が提起するように、すべての有理数の新形式が重さ4、レベルNから、ℚ 上の剛性のあるカラビ＝ヤウ3次元多様体から生じるのか？

主な発見

• ℚ 上に定義されたすべての剛性のあるカラビ＝ヤウ3次元多様体はモジュラーである：その3次エタールコホロジーは、Γ₀(N) 上の重さ4の新形式から生じるガロア表現を与える。
• モジュラー性の結果は、直接的にセール–カハレ–ウィンターバーガー定理を、H³(X, ℚℓ) 上の2次元的、奇数的、絶対的単純なガロア表現に適用することで得られる。
• レベルNは、ガロア表現のアルチン・導子のℓ以外の部分であり、X に対して悪い還元を示す素数のみを割り切る。
• ショーンの5次多様体に対しては、ℚ(√d) 上でのガロアねじれ構成により、新しい剛性のあるカラビ＝ヤウ3次元多様体が得られ、関連するガロア表現は元のものとねじれが一致し、モジュラー形式のねじれに対応する。
• このようなねじれの存在は、複素数体上では双有理同値の意味で有限個の剛性のあるカラビ＝ヤウ3次元多様体しか存在しないという予想と整合する。
• 本論文は、ℚ 上の剛性のあるカラビ＝ヤウ3次元多様体のモジュラー性が、セールの相互作用の直接的結果であることを確認しており、精神的・構造的に「セールの付録」である。