[論文レビュー] Moduli spaces of K3 surfaces and complex ball quotients

Igor Dolgachev, Shigeyuki Kondō|ArXiv.org|Nov 2, 2005

Algebraic Geometry and Number Theory参考文献 11被引用数 9

ひとこと要約

本稿は、巡回群作用を伴う代数曲線の固有周期を用いて、K3面およびデル ペッツォ面のモジュライ空間の複素球均質化を確立し、超幾何周期およびタイプIVヘルミート対称空間の算術商と結びつける。主な貢献は、半ねじりHodge構造を用いたK3面の周期領域の構成であり、直交群およびシムーラ型算術商を介して、Torelli定理を高次元モジュライへと拡張する。

ABSTRACT

These are lecture notes based on a series of talks given by the authors at the CIMPA Summer School on Algebraic Geometry and Hypergeometric Functions held in Istanbul in Summer of 2005. They provide an introduction to a recent work on the complex ball uniformization of the moduli spaces of Del Pezzo surfaces, K3 surfaces and algebraic curves of lower genus. We discuss the relationship of these constructions with the Deligne-Mostow theory of periods of hypergeometric differentianl forms. For convenience to a non-expert reader we include an introduction to the theory of periods of integrals on algebraic varieties with emphasis on abelian varieties and K3 surfaces.

研究の動機と目的

• 複素球商をK3面およびデル ペッツォ面の周期領域として、群作用を伴う代数曲線の周期写像を通じてモジュライ理論的解釈を与えること。
• 半ねじりHodge構造を用いてTorelli定理を高次元モジュライ空間へと拡張すること。
• 巡回群作用を伴う代数曲線の周期写像を、タイプIVヘルミート対称空間の算術商と結びつけること。
• デリーニュ＝モストウ理論を用いて、P^1 上の重み付き点配置のモジュライ空間を複素球商として実現すること。
• (M,ρ)-極化的K3面とm > 4のときの複素球領域B_{m-3}の点との間の対応を確立すること。

提案手法

• 巡回群作用と、虚部が正の非実特徴指標の部分集合Σを用いて、重みkの極化的Hodge構造の半ねじりを構成する。
• 部分空間W ⊂ Vに新しいHodge構造Wを定義し、Hodge型をシフトする：W^{rs} = V_Σ^{r-1,s} ⊕ V_{overline{Σ}}^{r,s-1}。
• 正定性およびHodge–Riemann双一次関係を保つために、修正された極形式Q' = Q(x, g(y)) - Q(x, g^{-1}(y))を導入する。
• この構成を、巡回三重被覆がm点で分岐するP^1への被覆を持つ種数gの曲線のコホロジーに適用する。
• 超幾何微分形式の固有周期を用いて、複素球商をP^1 上の重み付き点集合のモジュライ空間として実現する。
• d=3,4,5,6のとき、W上のHodge構造はHodge数(1, 2m−6, 1)および符号(2, 2m−6)を持ち、K3格子L_K3に埋め込める。

実験結果

リサーチクエスチョン

• RQ1 群作用を伴う代数曲線の周期写像を通じて、複素球商をK3面のモジュライ空間としてどのように実現できるか？
• RQ2 超幾何形式の固有周期は、デル ペッツォ面およびK3面のモジュライ空間の均質化においてどのような役割を果たすか？
• RQ3 Hodge構造の半ねじりは、K3面の高次元モジュライの周期領域を一様に構成する方法をどのように提供するか？
• RQ4 タイプIVヘルミート対称空間の算術商は、P^1 上の重み付き点配置のモジュライとどのように関係するか？
• RQ5 d > 6のとき、モノドロミー群Γ_μは複素球B_{m−3}上で算術部分群として作用する条件は何か？

主な発見

• P^1 上の6個の等しい重みの点のモジュライ空間は、巡回三重被覆を持つ種数4曲線のモジュライ空間に同型であり、そのJacobiansは特定の型の(Z/3Z)-作用をもつ。
• P^1 上の8個の等しい重みの点のモジュライ空間は、(M,ρ)-極的K3面（M = U(2) ⊕ D_4 ⊕ D_4）をパラメトライズする複素球商に同型である。
• m > 4のとき、半ねじりによって得られるHodge構造はHodge数(1, 2m−6, 1)および符号(2, 2m−6)を持ち、K3面のHodge構造と一致する。
• この構成により、(M,ρ)-極的K3面のモジュライ空間から複素球B_{m−3}への全射周期写像が得られ、それがヘルミート対称空間の商として実現される。
• d=3,4,5,6のとき、モノドロミー群Γ_μはAut(B_{m−3})の算術部分群であり、周期写像は球領域上へ全射である。
• 半ねじり構成は、固有周期を介して複素球商をK3面のモジュライとして一様に実現する方法を提供し、古典的Siegelモジュラー形式を超えたTorelli定理の拡張を実現する。