[論文レビュー] The unirationality of the moduli spaces of 2-elementary K3 surfaces (with an Appendix by Ken-Ichi Yoshikawa)

Shouhei Ma|arXiv (Cornell University)|Nov 9, 2010

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

ひとこと要約

本稿は、2-素性 K3 表面（非シンプレクティック対合を備えた K3 表面）のモジュライ空間が、75 通りの可能な不変量 (r,a,δ) に対してすべてユニラティonal であることを証明する。証明は、モジュライ空間のガロア被覆とそれらの間の準同型を用い、射影平面における点の配置と正規行列群上のモジュラー形式を用いた幾何的解釈により、有限個のケースに問題を還元する。

ABSTRACT

We prove that the moduli spaces of K3 surfaces with non-symplectic involutions are unirational. As a by-product we describe configuration spaces of 4

研究の動機と目的

• 2-素性 K3 表面のモジュライ空間が、すべての 75 通りの可能な不変量 (r,a,δ) に対してユニラティオナルであることを確立すること。これは、特殊な場合の既知の有理型結果を拡張するものである。
• モジュラー多様体と正規行列群を用いた、これらのモジュライ空間の双有理幾何を理解するための幾何的・群論的枠組みを提供すること。
• 準同型と被覆に基づく体系的なアプローチを用いて、K3 表面およびエンリケス表面のモジュライ空間の有理型結果を統一的かつ一般化すること。
• 射影平面 ℙ² 内の点の配置（5〜8点）と、タイプ IV の算術商との間の関係を、モジュラーパラメトライゼーションの構成によって結びつけること。
• これらのモジュライ空間のコルダ型次元の分類を完成させること。特に、11 ≤ r ≤ 17 かつ r + a = 22 の場合に κ = −∞ であることを示すこと。

提案手法

• ラティス L− の等長群 Ũ(O(L−)) がその判別形式上に自明に作用するという性質を用いて、モジュライ空間 ℳ(r,a,δ) のガロア被覆 Ũ(r,a,δ) を構成する。
• a′ < a かつ δ = 1 または δ = δ′ のとき、Ũ(r,a,δ) と Ũ(r,a′,δ′) の間に準同型を確立し、不変量間でのユニラティオナリティの転送を可能にする。
• Ũ(r,a,δ) を、特異点がラベル付けされた平面の6次曲線、または ℙ² 内の 5〜8 点の配置としての幾何的モジュライ解釈を用い、a が大きい場合のユニラティオナリティを証明する。
• ボルチャーツの自動形式理論とシーゲルの θ-リフトを用いて、所望の除数構造を持つモジュラー形式を構成する。特に、重みと除数データを持つリフト ΞL− = ΨL−(·, ℬL−[ψ8+σ−]) を使用する。
• メタプレクティック群 Mp₂(ℤ) がベクトル値モジュラー形式に作用することを活用し、ψm における ST^l および V による変換法則を用いて、ボルチャーツリフトのフーリエ展開を導出する。
• ボルチャーツとグリツェンコの基準を用いて、特定の除数を持つ正則自動形式の存在が、コルダ型次元が −∞ であることを示す。

実験結果

リサーチクエスチョン

• RQ1 2-素性 K3 表面のモジュライ空間は、不変量 (r,a,δ) によって分類されるが、すべての空間がユニラティオナルであるか？
• RQ2 これらのモジュライ空間のユニラティオナリティは、準同型とモジュラー多様体のガロア被覆を通じて一様に確立可能か？
• RQ3 r + a = 22 かつ 11 ≤ r ≤ 17 のとき、モジュライ空間 ℳ(r,a,δ) の双有理幾何はいかなるものか？
• RQ4 射影平面 ℙ² 内の 5 から 8 点の配置は、どのようにタイプ IV の算術商として実現可能か？また、2-素性 K3 表面と何の関係があるか？
• RQ5 モジュラー形式を用いて ℳ(r,a,δ) のコルダ型次元を特定可能か？また、被覆と準同型を用いた幾何的アプローチと一致するか？

主な発見

• 2-素性 K3 表面のモジュライ空間 ℳ(r,a,δ) は、75 通りの可能な不変量 (r,a,δ) 全てに対してユニラティオナルである。
• ℳ(r,a,δ) のユニラティオナリティは、幾何的モジュライ解釈を用いてそのガロア被覆 Ũ(r,a,δ) のユニラティオナリティを証明し、その後に準同型を介して転送することで確立される。
• 11 ≤ r ≤ 17 かつ r + a = 22 の場合、ℳ(r,a,δ) のコルダ型次元は −∞ である。これは、除数 2ℋ を持つ正則自動形式 ΞL− の構成により示される。ここで ℋ は −4 ノルム超平面の和集合である。
• ボルチャーツリフト ΞL− = ΨL−(·, ℬL−[ψ8+σ−]) は、重み (2^{(r−a)/2} + 1)(−m² − 9m + 124) で、除数 ∑_{λ²=−4}λ⊥ + 2^{(r−a)/2}∑_{λ²=−1}λ⊥ を持つ正則自動形式である。
• モジュラー形式 ℬL−[ψ8+σ−] は、q^{-2}e₀ + 2^{(r−a)/2} × 2(−m² − 9m + 124)e₀ + O(q) のフーリエ展開を有し、リフトの存在を確認する。
• モジュライ空間 ℳ(1,1,1) は、商 |ℙ²(6)|/PGL₃ と双有理同値であり、これはユニラティオナルである。これは一般結果の原型をなす。