[論文レビュー] Remarks on connected components of moduli of real polarized K3 surfaces

Viacheslav V. Nikulin|arXiv (Cornell University)|Jul 10, 2005

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

ひとこと要約

本稿は、$ r = 19,20 $ の場合に未解決であった、実極小 K3 表面のモジュライ空間における連結成分の分類を完了し、実ハイパーオービックに極小化された K3 表面（有理的表面の2重被覆として得られるもの）の変形として得られる実極小 K3 表面を完全に特徴付ける応用を示している。主な結果は、位相的型、2 を法とする極小クラス、および 2-adic 不変量における標準性に基づく完全な基準である。

ABSTRACT

I have finalized my old (1979) results about enumeration of connected components of moduli of real polarized K3 surfaces. As an application, using recent results of math.AG/0312396, the complete classification of real polarized K3 surfaces which are deformations of real hyper-elliptically polarized K3 surfaces is obtained. This could be important in some questions, because real hyper-elliptically polarized K3 surfaces can be constructed explicitly.

研究の動機と目的

• 実極小 K3 表面のモジュライ空間における連結成分の列挙を完成させること、特に以前の結果が不完全であった $ r = 19,20 $ の場合に焦点を当てる。
• 洗練された分類を用いて、実ハイパーオービックに極小化された K3 表面の変形として得られる実極小 K3 表面を同定すること。
• 位相的型、極小クラスを 2 を法として、および 2-adic 不変量に基づく明示的かつ完全な基準を提示することにより、このような変形を同定すること。
• 格子論的技法とグローバル・トーリー定理を用いて、K3 表面の2重有理的スクロールおよびその変形に関する先行結果を統合・拡張すること。

提案手法

• K3 表面のグローバル・トーリー定理とトーリー写像の全射性を用い、モジュライ成分の分類をホモロジー格子上の算術的データに還元する。
• ミランド＝モリソンおよびジェイムズによる、ランク ≥3 の不定的偶格子に対する一般化されたウィットの定理を応用し、$ r \leq 18 $ の場合に成分の一意性を証明する。
• 基本的不変量では一意に定まらない $ (r,a,\delta_\varphi) = (19,1,1), (19,3,1), (20,2,1) $ の場合に、追加の不変量（特に 2-adic 不変量と標準性条件）を導入する。
• 判別形式と格子分解を用いて、反正則自己同型 $ \varphi $ が $ H_2(X,\mathbb{Z}) $ 上に作用する様子を分析する。特に $ X(\mathbb{R}) = T_1 \amalg (T_0)^8 $, $ (T_0)^9 $, $ (T_0)^{10} $ の場合を対象とする。
• 格子 $ L $、自己同型 $ \tau $, $ \varphi $、極小格子の生成元 $ \langle n \rangle $ を用いた記号的記述により変形型を記述し、$ n $ を 4 を法として明示的な条件を課す。
• 最近の [13] の結果（K3 表面の2重有理的スクロールの変形）を活用し、格子論的分類を $ \mathbb{P}^2 $ や $ \mathbb{F}_n $ への2重被覆として得られる明示的幾何的構成に結びつける。

実験結果

リサーチクエスチョン

• RQ1 どの実極小 K3 表面が、有理的表面の2重被覆として得られる実ハイパーオービックに極小化された K3 表面の変形であるか、すなわち $ |-2K_Y| $ に非特異的曲線を分岐被覆として持つものか？
• RQ2 与えられた不変量 $ (r,a,\delta_\varphi) $ を持つ実極小 K3 表面のモジュライ空間が、どの位相的型 $ X(\mathbb{R}) $ に対して非連結となり、追加の不変量を必要とするか？
• RQ3 $ r = 19 $ または $ 20 $ の場合に、$ (r,a,\delta_\varphi; k,n,\delta_P,\delta_{\varphi P}) $ を超えて、連結成分を一意に特定するために必要な追加の不変量は何か？
• RQ4 $ X(\mathbb{R}) = (T_0)^9 $ かつ $ n \geq 6 $ のとき、実極小 K3 表面が実ハイパーオービックに極小化された K3 表面の変形であるための条件は何か？
• RQ5 $ X(\mathbb{R}) = T_1 \amalg (T_0)^8 $ または $ (T_0)^9 $ の場合、2-adic 不変量（2 を法とする標準性対非標準性）は、モジュライ空間における連結成分をどのように分類するか？

主な発見

• $ r \leq 18 $ のとき、実極小 K3 表面のモジュライ空間は常に連結であり、[11] で未解決であった最後のケースが解決された。
• $ r = 19 $ または $ 20 $ の場合、連結成分を区別するための追加の不変量が必要であり、これらは 2-adic 分析と標準性条件によって提供される。
• $ X(\mathbb{R}) = (T_0)^9 $ かつ $ n \geq 6 $ のとき、実極小 K3 表面が実ハイパーオービック K3 表面の変形であるための必要十分条件は、$ X(\mathbb{R}) \not\sim P \mod 2 $ かつその表面が標準的であることである。
• $ X(\mathbb{R}) = T_1 \amalg (T_0)^8 $ の場合、条件は $ n \mod 8 $ に依存する：$ n \equiv 0,2 \mod 8 $ ならば標準的、$ n \equiv 4,6 \mod 8 $ ならば 2 を法として非標準的（唯一の非標準性）である。
• 変形型は2つの族に分類される：$ n \equiv 0 \mod 4 $ のときはハイパーボロイド $ \mathbb{H}_{(1)} $ に対応し、$ n \equiv 2 \mod 4 $ のときは $ \mathbb{F}_1 $ に対応する。それぞれ明示的な格子実現が与えられる。
• 最終的な基準（定理 16）はすべてのケースを統合する：実極小 K3 表面が実ハイパーオービックに極小化された K3 表面の変形であるための必要十分条件は、$ n $、$ X(\mathbb{R}) $、および標準性に応じた4つの条件のいずれかが成り立つことである。