[論文レビュー] On the modularity of Calabi-Yau threefolds containing elliptic ruled surfaces

Klaus Hulek, Helena Verrill|ArXiv.org|Feb 8, 2005

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

ひとこと要約

この論文は、ℚ 上に定義された非剛性 Calabi-Yau 3次元多様体が十分に多くの楕円的ルールド面を含む場合のモジュラリティ基準を確立する。l-進コホロロジーからのガロア表現を活用し、Dieulefait–Manoharmayum の剛性 Calabi-Yau 3次元多様体のモジュラリティ結果を応用することで、悪い還元素数にややきつい条件を課すと、このような3次元多様体がモジュラーであることを証明する。これは剛性の場合を超えてモジュラリティを拡張し、レベルが 480 までの具体的な例を提示する。

ABSTRACT

We prove that (not necessarily rigid) Calabi-Yau threefolds defined over the rationals which contain sufficiently many elliptic ruled surfcaes are modular (under mild restrictions on the primes of bad reduction). Our proof uses the results of Dieulefait and Manoharmayum who proved modularity of rigid Calabi-Yau threefolds.

研究の動機と目的

• ℚ 上の非剛性 Calabi-Yau 3次元多様体へのモジュラリティ結果を剛性の場合から拡張すること。そのために、モジュラリティが成り立つ幾何的条件を同定すること。
• 3次元多様体のコホロロジーにおいて、楕円的ルールド面が H^{21}⊕H^{12} を張ることに基づく基準を提供すること。
• この基準を [HV]、[Schu2]、[LY] からの既知の例に適用し、モチーフの幾何的分解によってそれらのモジュラリティを説明すること。
• 10, 12, 16, 17, 21, 27, 28, 32, 35, 48, 55, 60, 64, 68, 90, 480 までの特定の予想されるレベルを有する、多数の新しいモジュラー（双有理的）Calabi-Yau 3次元多様体の例を構成すること。
• L-関数が重さ 4 のモジュラー形式と一致することを数値的に確認する。具体的には、Mellin 変換による計算で特定の例を確認すること。

提案手法

• X に含まれる楕円的ルールド面 Y_j に対して、H^3(X, ℂ) → ⊕H^3(Y_j, ℂ) の制限写像の全射性に基づくモジュラリティ基準を定義する。
• l-進コホロロジーを用いて、この制限写像をガロア表現の準同型 H^3_ét(X, ℚ_l) → ⊕H^3_ét(Y_j, ℚ_l) として解釈する。
• Hodge-Tate 重み {0,3}、判別式 ɛ_l^3、および指定された分岐条件を満たすガロア表現の Dieulefait–Manoharmayum のモジュラリティ基準を適用する。
• 特に、E(Γ₁) ×_ℙ¹ E^Mt(Γ₂) のような族を用いた、楕円的表面のファイバー積を用いて例を構成する。ここで Γ₁, Γ₂ は特定のモジュラー群、M は Möbius 変換である。
• Mellin 変換を用いて L-級数を計算し、既知の重さ 4 のモジュラー形式と一致するかを確認することで、モジュラリティを数値的に検証する。
• 同一型の不変性を用いて、h^{12} が異なる場合でも同じモジュラー形式を持つ同種の3次元多様体を特定する。

実験結果

リサーチクエスチョン

• RQ1 ℚ 上に定義された Calabi-Yau 3次元多様体に対して、幾何的条件が何かを満たせば、剛性の場合を超えてモジュラリティが拡張されるか？
• RQ2 Calabi-Yau 3次元多様体に複数の楕円的ルールド面が存在する場合、コホロロジー的スパンニングによってモジュラリティが保証されるか？
• RQ3 非剛性 Calabi-Yau 3次元多様体のモチーフは、どの程度まで楕円的ルールド面から生じる部分に分解可能か？
• RQ4 このような3次元多様体に関連する重さ 4 のモジュラー形式の予想されるレベルは何か？また、それらはどのように計算できるか？
• RQ5 同種の Calabi-Yau 3次元多様体は、h^{12} の値が異なっていても、同じモジュラー形式に関連づけられるか？

主な発見

• この論文は、ℚ 上に定義された楕円的ルールド面を十分に多く含む Calabi-Yau 3次元多様体が、悪い還元素数にややきつい条件を課すとモジュラーであることを証明する。
• この基準は、[HV]、[Schu2]、[LY] からの既知の例に適用可能であり、それらのモチーフのモジュラリティが K3 の超越的格子を越えて説明可能であることを示している。
• 数値的証拠により、構成された例の中央コホロロジーの L-級数が、レベルが 10, 12, 16, 17, 21, 27, 28, 32, 35, 48, 55, 60, 64, 68, 90, および 480 の重さ 4 のモジュラー形式と一致することが確認された。
• 特に、E(Γ₀(8)∩Γ₁(4)) ×_ℙ¹ E^{(t−1)/(t+1)}(Γ₀(8)∩Γ₁(4)) という例では、その L-級数が重さ 4 レベル 16 のモジュラー形式 q + 4q³ − 2q⁵ − 24q⁷ − 11q⁹ + 44q¹¹ + ⋯ と一致することが確認された。
• M と M⁻¹ の変換を用いた同種の3次元多様体は、h^{12} が異なっていても同じモジュラー形式を持つと予想され、モジュラー形式の同種不変性を示唆している。
• 表 4 のレベル 90 の例はレベル 10 の例の-twist であり、両者とも同じモジュラー形式に関連づけられており、より深い算術的関係があることを示している。