[論文レビュー] The modularity conjecture for rigid Calabi-Yau threefolds over Q

Masa-Hiko Saito, Noriko Yui|ArXiv.org|Sep 5, 2000

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

ひとこと要約

この論文は、ℚ 上の剛性カルビ・ヤウ3次元多様体に対するモジュラリティ予想を提示し、根格子A₃から得られる剛性カルビ・ヤウ3次元多様体が幾何的解析によってモジュラーであることを証明した。そのエタールコホロジーのL関数は、重さ4、レベルNの尖点形式と一致し、この場合における予想の正当化と、ガロア表現に関するフォンタイン＝マザール予想の支持が得られた。

ABSTRACT

We formulate the modularity conjecture for rigid Calabi-Yau threefolds defined over the field Q of rational numbers. We establish the modularity for the rigid Calabi-Yau threefold arising from the root lattice A_3. Our proof is based on geometric analysis.

研究の動機と目的

• ℚ 上で定義された剛性カルビ・ヤウ3次元多様体に対するモジュラリティ予想を提示すること。
• 根格子A₃から得られる特定の剛性カルビ・ヤウ3次元多様体のモジュラリティを確立すること。
• そのL関数が重さ4のモジュラー形式のL関数と一致することを検証すること。
• 関連する2次元ガロア表現に対してフォンタイン＝マザール予想を確認すること。
• 中間ジャコビアンがℚ 上の楕円曲線であることと、モジュラリティが同値であるかどうかを検討すること。

提案手法

• エタールコホロジーH³_et(𝑋̄, ℚℓ)上のガロア表現を用いて、カルビ・ヤウ3次元多様体のL級数を定義する。
• レフシェッツの固定点公式を用いて、良い素数におけるフロベニウスのトレースを、pを法とした還元における有理点の個数で表す。
• 剛性カルビ・ヤウ3次元多様体に対して、局所L因子P₃,p(T) = 1 − t₃(p)T + p³T²を構成する。これは2次であり、係数がℤに属する。
• 楕円モジュラー表面のファイバー積の幾何的解析を用いて、コホロジーおよびガロア表現を研究する。
• セールの基準およびファルティングスの定理を用いて、3次元多様体のL関数とS₄(Γ₀(N))内のモジュラー形式のL関数を比較する。
• 3次元多様体に付随する2次元ガロア表現が、モジュラー形式に付随する表現と同型であることを確認し、モジュラリティを裏付ける。

実験結果

リサーチクエスチョン

• RQ1 すべてのℚ 上の剛性カルビ・ヤウ3次元多様体は、重さ4のモジュラー形式のL関数と一致するL関数を持つだろうか？
• RQ2 A₃根格子から得られる剛性カルビ・ヤウ3次元多様体はモジュラーであるか？ もしそうなら、どのレベルと重さか？
• RQ3 モジュラー表面のファイバー積の幾何的解析を用いて、このような3次元多様体のモジュラリティを確立できるだろうか？
• RQ4 ℚ 上の剛性カルビ・ヤウ3次元多様体の途中ジャコビアンが、ちょうどモジュラーである場合に限り、楕円曲線であるだろうか？
• RQ5 ワイリズの手法を用いて、残余ガロア表現を通じてモジュラリティを証明できるだろうか？

主な発見

• A₃根格子から構成された剛性カルビ・ヤウ3次元多様体はモジュラーであり、そのL関数は、あるNに対してS₄(Γ₀(N))に属する尖点形式と一致する。
• 3次元多様体のL関数は、L(X,s) = L(f,s)（有限個のオイラー因子を除く）として与えられ、fは重さ4の尖点形式である。
• H³_et(𝑋̄, ℚℓ)上の2次元ガロア表現は、モジュラー形式に付随する表現と同型であり、この場合におけるフォンタイン＝マザール予想が裏付けられた。
• 中間ジャコビアンJ²(X)は、次元1の複素トーラスであるため、ℂ 上で楕円曲線と同型である。
• 証明は、L関数の一致にとどまらず、幾何的解析を通じてガロア表現がモジュラーであることを確立した。
• 論文は、楕円モジュラー表面のファイバー積を通じた幾何的構成を提供し、3次元多様体のモジュラリティを実現した。