[論文レビュー] On the Classification of Elliptic Fibrations modulo Isomorphism on K3 Surfaces with large Picard Number

Andreas P. Braun, Yusuke Kimura+1 more|arXiv (Cornell University)|Dec 16, 2013

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

ひとこと要約

本稿は、格子論的技法、特に Kneser–Nishiyama 法と ${\cal J}_1(X)$ 分類を用いて、大きなピカール数をもつ K3 表面における楕円曲線ファイブレーションを同型型で分類する。同型型の数に対する一様な上界を提示し、ストリング理論家向けの包括的なレビューを提供する。また、クラスメル表面と特異的 K3 表面の明示的計算も行う。

ABSTRACT

Motivated by a problem originating in string theory, we study elliptic fibrations on K3 surfaces with large Picard number modulo isomorphism. We give methods to determine upper bounds for the number of inequivalent K3 surfaces sharing the same frame lattice. For any given Neron--Severi lattice $S_X$, such a bound on the `multiplicity' can be derived by investigating the quotient of the isometry group of $S_X$ by the automorphism group. The resulting bounds are strongest for large Picard numbers and multiplicities of unity do indeed occur for a number of K3 surfaces with Picard number 20. Under a few extra conditions, a more refined analysis is also possible by explicitly studying the embedding of $S_X$ into the even unimodular lattice ${ m II}_{1,25}$ and exploiting the detailed structure of the isometry groups of $S_X$ and ${ m II}_{1,25}$. We illustrate these methods in examples and derive bounds for the number of elliptic fibrations on Kummer surfaces of Picard numbers 17 and 20. As an intermediate step, we also discuss coarser classification schemes and review known results.

研究の動機と目的

• 大きなピカール数をもつ K3 表面における楕円曲線ファイブレーションを同型型で分類し、フレーム格子とファイブレーション型に基づく既存の分類を精緻化すること。
• このような K3 表面における楕円曲線ファイブレーションの同型型の数に対する上界を計算する体系的な手法を提供すること。
• ストリング理論家向けに、K3 表面における楕円曲線ファイブレーションの詳細なレビューを提供し、既存の数学的文献を補完すること。
• 具体的な例の計算を含み、$X = \mathrm{Km}(A)$ および $X = \mathrm{Km}(E_\omega \times E_\omega)$ などのクラスメル表面について、その楕円的除集合構造を同定すること。
• リーク格子と $M_{24}$ 対称性が、ネロン–ゼベリ格子の自己同型群を理解する上で果たす役割を確立すること。

提案手法

• K3 表面のトーリー定理を用いて、分類問題をネロン–ゼベリ格子と超越的格子に特化した格子論的表現に翻訳する。
• Kneser–Nishiyama 法を適用し、超越的格子 $T_X$ から負定値格子 $T_0$（ランク $26 - \rho_X$）を計算することで、フレーム格子の体系的分類を可能にする。
• ${\cal J}_1(X)$ 分類を用い、自己同型群 $\mathrm{Aut}(X)$ による同型型を考慮するため、${\cal J}_2(X)$ 分類よりも細かく分類可能である。
• ${\rm II}_{1,25}$ 格子と判別形式を用いて、ファイブレーションの型に依存する上界および一様な上界を導出する。
• リーク格子の根系に作用するマチュー群 $M_{24}$ 及びその部分群の作用を分析し、ネロン–ゼベリ格子の対称性を理解する。
• $X_3$ および $X = \mathrm{Km}(E_\omega \times E_\omega)$ などの特定の K3 表面に対して、生成子 $s_1$, $s_2$, および $\sigma$ を用いてネロン–ゼベリ格子 $S_X$ 上の明示的同型と自己同型を構成する。

実験結果

リサーチクエスチョン

• RQ1 大きなピカール数をもつ K3 表面における楕円曲線ファイブレーションの同型型の数に対する一様および型依存の上界は何か？
• RQ2 Kneser–Nishiyama 法は、フレーム格子 $T_0$ を通じて、どのように体系的に楕円曲線ファイブレーションを分類するか？
• RQ3 ネロン–ゼベリ格子に作用する自己同型群 $\mathrm{Aut}(D')^{(\mathrm{Hodge})}$ の構造は何か？ また、$M_{24}$ とどのように関係しているか？
• RQ4 リーク格子の対称性およびそのディープホールは、K3 表面における楕円曲線ファイブレーションの分類にどのように寄与するか？
• RQ5 クラスメル表面 $X = \mathrm{Km}(E_\omega \times E_\omega)$ における明示的な楕円的除集合構造は何か？

主な発見

• 本稿は、${\rm II}_{1,25}$ 格子と判別形式を用いて、大きなピカール数をもつ K3 表面における楕円曲線ファイブレーションの同型型の多重度に対する一様な上界を確立する。
• $X = \mathrm{Km}(E_\omega \times E_\omega)$ という K3 表面に対して、ファイブレーションの多重度を明示的に計算し、$D_4 \oplus A_2 \hookrightarrow D_n$ および $D_4 \oplus A_2 \hookrightarrow E_8$ を含む構成を特定する。
• $\mathrm{Aut}(D')^{(\mathrm{Hodge})}$ は、生成子 $s_1$, $s_2$, および $\sigma$ がネロン–ゼベリ格子に作用する $(\mathbb{Z}/2\mathbb{Z})^4 . A_4 . (\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z})$ と同型であることが判明した。
• Kneser–Nishiyama 法により $T_0$ が $T_X$ から正しく計算可能であり、特異的 K3 表面に対して完全な ${\cal J}_2(X)$ 分類が可能である。
• $\mathrm{Aut}(D')_0$ の $A_4$ 部分群は $M_{24}$ の部分群として実現され、巡回置換と互換を用いた根系への明示的作用を持つ。
• フレーム格子 $T_0$ はランク $26 - \rho_X$ の負定値格子として計算され、その等長型が ${\cal J}_2(X)$ 分類を決定する。