[論文レビュー] Families of K3 surfaces over curves satisfying the equality of Arakelov-Yau's type and modularity

Xiaotao Sun, Sheng-Li Tan+1 more|ArXiv.org|May 20, 2002

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

ひとこと要約

本稿は、アラケロフ＝ヤウ型不等式の等号を達成する曲線上の半安定K3表面の族を分類し、その族がニクラスキン自己同型と楕円曲面の平方のクラスマン構成から生じることを示す。主な結果として、モジュラー性が確立される：基底曲線はSL₂(ℤ)の合同部分群による上半平面の商と同型であり、モノドロミー表現を通じて幾何学とモジュラー形式・算術幾何学が結びつけられる。

ABSTRACT

Let $f:X o C$ be a family of semistable K3 surfaces with non-empty set $S$ of singular fibres having infinite local monodromy. Then, when the so called Arakelov-Yau inequality reaches equality, we prove that $C\setminus S$ is a modular curve and the family comes essentially from a family of elliptic curves through a so called Nikulin-Kummer construction. In particular, when $C=\BBb P^1$, the family of elliptic curves must be one of Beauville's 6 examples where Arakelov inequality reaches equality.

研究の動機と目的

• 曲線上の非等方的族である半安定K3表面の族で、アラケロフ＝ヤウ型不等式に等号が成立するものについて分類すること。
• 反復コイダラ・スペンサーマップが消える状況において、そのような族の幾何学的・算術的構造を特定すること。
• モジュラー性の条件を確立すること：モノドロミー表現を用いて、基底曲線がSL₂(ℤ)に倣って写像されるモジュラー曲線と同型であることを示すこと。
• 関連する楕円曲線族のモノドロミーを通じて、K3表面の幾何学をモジュラー形式および算術幾何学に結びつけること。

提案手法

• 直接像層 f*ωX/C の次数に対する制約として、アラケロフ＝ヤウ型不等式の使用。
• 特異ファイバーで無限大位数を持つ R²f*ℤX⁰ のモノドロミー表現の分析。
• ニクラスキン自己同型を介して、K3表面とアーベル曲面を結ぶクラスマン構成の適用。
• 有限エタール基底変換の後で、グローバルなニクラスキン自己同型が存在し、それによりクラスマン曲面族が得られることの構成。
• 均一化定理を用いて、特異ファイバーを除いた基底曲線が、合同部分群 Γ ⊂ SL₂(ℤ) に対して ℋ/Γ に同型であることを示すこと。
• ホッジ理論およびVHS（ホッジ構造の変動）の結果、特に 𝕎 の分解とユニタリ局所系の役割を活用すること。

実験結果

リサーチクエスチョン

• RQ1 曲線上の半安定K3表面族のうち、不等式 (0.0.1) のアラケロフ＝ヤウ不等式における等号を達成するのはどれか？
• RQ2 反復コイダラ・スペンサーマップが消え、不等式 (0.0.2) で等号が成立する場合、どのような幾何学的構造が生じるか？
• RQ3 このような族は、モジュラー曲線およびSL₂(ℤ)の合同部分群とどのように関係しているか？
• RQ4 関連する楕円曲線族のモノドロミー表現は、PSL₂(ℤ) への均一化表現に拡張可能か？

主な発見

• アラケロフ＝ヤウ不等式 (0.0.1) で等号を達成する族は、一般ファイバーのピカール数が少なくとも19以上である。
• 有限エタール基底変換の後、その族はグローバルなニクラスキン自己同型を有し、有理的商は、楕円曲線族の平方に同種なアーベル曲面族を伴うクラスマン曲面族を導く。
• 楕円曲線族の射影的モノドロミー表現は、π₁(C′ ∓ σ⁻¹S, *) → PSL₂(ℤ) に拡張され、C′ ∓ σ⁻¹S ≅ ℋ/τπ₁(⋯) が成り立つ。
• 反復コイダラ・スペンサーマップが消え、(0.0.2) で等号が成立するとき、R²f*ℤX⁰ のモノドロミー表現は、ランク2の自明な表現 ⊗ τ の形を取り、τ: π₁(C′ ∓ σ⁻¹S, *) → SL₂(ℤ) である。
• 特異ファイバーを除いた基底曲線は、PSL₂(ℤ) における指数12または24の合同部分群 Γ に対して、モジュラー曲線 ℋ/Γ に同型である。具体的には、Γ(3)、Γ₀(4) ∩ Γ(2) など、6つの部分群のいずれかの共轭に同型である。
• 関連する楕円曲線族は、ℙ¹ ∓ S 上のモジュラー族に拡張可能であるか、あるいはそのエタール基底変換がそのようにできる。モノドロミー像は、SL₂(ℤ) → PSL₂(ℤ) の射影の下で、合同部分群の逆像に共轭である。