[論文レビュー] Modularity of the Consani-Scholten quintic

Luís Dieulefait, Ariel Pacetti+1 more|arXiv (Cornell University)|May 25, 2010

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

ひとこと要約

この論文は、ℚ 上の非剛性な Calabi-Yau 3次曲面である Consani-Scholten の5次曲面が、ℚ 上の4次元誘導ガロア表現を扱うFaltings–Serre–Livné法の拡張と、Hilbertモジュラー形式のSturm境界の確立により、Hilbertモジュラーであることを証明している。主な結果は、ℚ(√5) 上の重み(2,4)、レベル(30)のHilbert新形式に対応する3次曲面のガロア表現のモジュラー性を確認することである。

ABSTRACT

We prove that the Consani-Scholten quintic, a Calabi-Yau threefold over QQ, is Hilbert modular. For this, we refine several techniques known from the context of modular forms. Most notably, we extend the Faltings-Serre-Livne method to induced four-dimensional Galois representations over QQ. We also need a Sturm bound for Hilbert modular forms; this is developed in an appendix by Jose Burgos Gil and the second author.

研究の動機と目的

• ℚ 上で4次元のガロア表現が既約だが、ℚ(√5) 上で可約となる非剛性Calabi-Yau 3次曲面のモジュラー性を確立すること。
• Faltings–Serre–Livné法を、実二次体上の2次元表現から誘導されるℚ 上の4次元ガロア表現に拡張し、従来の応用における制限を克服すること。
• 実二次体上のHilbertモジュラー形式のSturm境界を確立し、フーリエ係数の消える条件による有効なモジュラー性のテストを可能にすること。
• Consani-Scholtenの5次曲面に付随するℓ-進ガロア表現が、ℚ(√5) 上の重み(2,4)、レベル(30)のHilbert新形式と一致することを確認すること。

提案手法

• 実二次体上の2次元表現から誘導されるℚ 上の4次元ガロア表現を比較するため、Faltings–Serre–Livné法を適応すること。
• Consani-Scholtenの5次曲面の3番目のエタールコホロジーが、ℚ(√5) 上の2次元ガロア表現の直和に分解されることを用い、Hilbertモジュラー形式と比較可能であることを示すこと。
• F = ℚ(√5) 上で重み(2,4)、レベル(30)のHilbert新形式𝔽を構成し、これがガロア表現に対応すると予想すること。
• BurgosとSchüttが別添で開発したHilbertモジュラー形式のSturm境界を適用し、候補形式のフーリエ係数が所定の境界までの素数で消えることを検証すること。
• 特殊化の議論とHilbertモジュラー曲面上のネフな除集合の性質を用いて、あるトレースまで係数が消えるならば、その形式は恒等的にゼロであることを示すこと。
• レベルΓ₀(6√5)からΓ₀(3)へのHilbertモジュラー形式のノルム構成を活用し、問題を有効な境界を持つ既知の設定に還元すること。

実験結果

リサーチクエスチョン

• RQ1 ガロア表現がℚ上で既約だが、二次拡大体上で可約となる非剛性ケースにおいて、Calabi-Yau 3次曲面のモジュラー性予想を拡張することは可能か？
• RQ2 Faltings–Serre–Livné法は、特にHilbertモジュラー形式の文脈において、数体上の誘導ガロア表現にどの程度一般化可能か？
• RQ3 実二次体上のHilbertモジュラー形式のモジュラー性を有効に検証するための境界（例：Sturm境界）は何か？ そして、それらはどのように計算可能か？
• RQ4 ConsaniとScholtenが構成したℚ(√5) 上の重み(2,4)、レベル(30)のHilbert新形式が、実際にConsani-Scholtenの5次曲面のガロア表現に対応するか？
• RQ5 Hilbertモジュラー形式のフーリエ係数が、あるトレースまで消えると、どのような条件下でその形式が恒等的にゼロであると結論づけられるか？

主な発見

• Consani-Scholtenの5次曲面がHilbertモジュラーであることが証明され、そのガロア表現はℚ(√5) 上の重み(2,4)、レベル(30)のHilbert新形式から生じることが示された。
• 実二次体上の2次元表現から誘導されるℚ 上の4次元ガロア表現に、Faltings–Serre–Livné法が成功裏に拡張された。
• 実二次体上のHilbertモジュラー形式のSturm境界が確立され、フーリエ係数の消える条件による有効なモジュラー性の検証が可能になった。
• Γ₀(6√5) 上の重み(10,10)のHilbertモジュラー形式のフーリエ展開が、すべての係数についてトレース ≤ 181 で消えるならば、その形式は恒等的にゼロであることが示された。
• 候補形式をレベルΓ₀(6√5)からΓ₀(3)へのノルムをとると、係数の消える境界が181を超えると、そのノルムが素数を法としてゼロになる。これにより、条件を満たす非ゼロ形式が存在しないことが確認された。
• この非剛性Calabi-Yau 3次曲面のモジュラー性予想が確認され、ℚ 上で既約な4次元ガロア表現について、これが初めて知られているモジュラー性の例となった。