[論文レビュー] Jacobian elliptic fibrations on a special family of K3 surfaces of Picard rank sixteen

Adrian Clingher, Thomas J. Hill+1 more|arXiv (Cornell University)|Aug 26, 2019

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

ひとこと要約

本稿では、$H \oplus E_7(-1) \oplus E_7(-1)$ により極化的された、ピカール数が十六である特別なK3表面の族に対して、タイプIVの有界対称領域上のモジュラー形式を用いて、4つの同値でないヤコビ・楕円曲線被覆の明示的ウェイエルシュトラスモデルを構成する。この構成により、2つのウィルソン線を伴う8次元におけるF理論/へテロティック双対性の幾何的実現が得られる。

ABSTRACT

We study a special family of K3 surfaces polarized by the rank-sixteen lattice $H \oplus E_7(-1) \oplus E_7(-1)$. A generic member of this family admits exactly four inequivalent Jacobian elliptic fibrations. Explicit Weierstrass models for these fibrations are determined using modular forms on a suitable bounded symmetric domain of type $IV$. Our construction also provides a geometric interpretation for the F-theory/heterotic string duality in eight dimensions with two Wilson lines.

研究の動機と目的

• ピカール数が十六で、$H \oplus E_7(-1) \oplus E_7(-1)$ により極化的な特別なK3表面の族の幾何を研究すること。
• この族の一般的メンバーに存在する同値でないヤコビ・楕円曲線被覆をすべて特定すること。
• タイプIVの有界対称領域上のモジュラー形式を用いて、これらの被覆の明示的ウェイエルシュトラスモデルを構成すること。
• 2つのウィルソン線を伴う8次元におけるF理論/へテロティック双対性の幾何的解釈を提供すること。

提案手法

• K3表面のネロン＝セベール格子のホッジ的構造を用いて、4つの同値でないヤコビ・楕円曲線被覆の存在を同定する。
• タイプIVの有界対称領域上のモジュラー形式を用いて、被覆のウェイエルシュトラスモデルを構成する。
• 周期写像のモジュラー性を活用して、被覆が代数的であり、数体上に定義されることを保証する。
• $E_7(-1) \oplus E_7(-1)$ 根格子の幾何を用いて、特異ファイバーおよびモノドロミーを制約する。
• ボルヒャーツ積および反映的モジュラー形式の理論を応用して、ウェイエルシュトラスモデルの整数性および最小性を検証する。

実験結果

リサーチクエスチョン

• RQ1 ピカール格子が $H \oplus E_7(-1) \oplus E_7(-1)$ である一般のK3表面は、同値でないヤコビ・楕円曲線被覆をいくつ持つか？
• RQ2 これらの被覆の明示的ウェイエルシュトラスモデルは何か？ そして、どのようにモジュラー形式を用いて構成できるか？
• RQ3 これらの被覆は、2つのウィルソン線を伴う8次元におけるF理論/へテロティック双対性をどのように実現するか？
• RQ4 タイプIVの有界対称領域は、被覆をパラメトライズする上で果たす役割は何か？

主な発見

• この族の一般的メンバーは、K3表面に異なる楕円構造に対応する、正確に4つの同値でないヤコビ・楕円曲線被覆を有する。
• タイプIVの有界対称領域上のモジュラー形式を用いて、4つの被覆すべての明示的ウェイエルシュトラスモデルが構成された。
• 被覆は、特異ファイバーが $E_7$ 根系構造を反映し、モノドロミーがモジュラー情報に符号化された形で幾何的に実現されている。
• この構成により、2つのウィルソン線を伴う8次元におけるF理論/へテロティック双対性が完全かつ幾何的に実現され、双対性がK3表面のモジュラー性質と結びつけられた。