[論文レビュー] Higher-dimensional analogues of K3 surfaces

Kieran G. O’Grady|arXiv (Cornell University)|May 18, 2010

Algebraic Geometry and Number Theory参考文献 84被引用数 6

ひとこと要約

本稿は、K3曲面の高次元版に焦点を当て、特にK3曲面のヒルベルト平方と変形同値なハイパーカラーゼル（HK）多様体を調査する。数値的$K3^{[2]}$多様体—$K3^{[2]}$と同一の整数コホロジー環を持つもの—がK3に類似した性質を示すことが確立された。すなわち、非障害的変形、ノード的クラスによるカーラー錐の記述、および二重EPWセクスティックスと三次四次元多様体における強いグローバルトーリー定理である。

ABSTRACT

In the first part we survey some of the known results and conjectures on compact Hyperkaehler (HK) manifolds. In the second part we presents a program which aims to show that HK four-folds whose second cohomology (with 4-tuple cup-product) is isomorphic to that of the Hilbert square of a K3 enjoy many of the beautiful properties of K3 surfaces, in particular they should form a single deformations class.

研究の動機と目的

• K3曲面の基礎的性質—変形同値性、カーラー錐の記述、グローバルトーリー定理—を高次元ハイパーカラーゼル多様体へと拡張すること。
• コホロジー環が$K3^{[2]}$と同型であるものとして「数値的$K3^{[2]}$」多様体を定義し、それらを研究すること。
• 二重EPWセクスティックスと三次四次元多様体がK3の場合と同様に強いグローバルトーリー定理を満たすことを証明すること。
• 二重EPWセクスティックスの周期写像を解析し、周期領域とGIT安定性を用いて三次四次元多様体のモジュライと関連付けること。

提案手法

• ベイユ＝ボゴモロフ形式とホッジ理論的道具を用い、$K3^{[2]}$と同型なコホロジーの同型により数値的$K3^{[2]}$多様体を定義する。
• 二重EPWセクスティックスに周期写像$\frak{p}$を適用し、周期領域$\frak{D}$における像を解析し、$\frak{M}^{ADE}$および$\frak{N}^{ADE}$といった重要な部分集合を同定する。
• HK多様体の$K3^{[2]}$型のモデルケースとしてヒルベルトスキーム$S^{[2]}$と一般化されたクラスマン構成を用いる。
• ノード的クラス$\frak{N}_X$（自己交叉が$-2$で、カーラークラスと正の交わりを持つ整数$(1,1)$クラス）を用いてカーラー錐を分析する。
• K3曲面上での無限小トーリー定理とリーマン–ローチ定理を適用し、$\frak{N}^{ADE}$および$\frak{T}^{ADE}$上での周期写像の単射性と有限性を導出する。
• 三次四次元多様体におけるヴォジンの議論を適応し、周期写像の有限なファイバーと単射性から、写像の次数が1であることが示唆され、グローバルトーリー定理が成り立つことを示唆する。

実験結果

リサーチクエスチョン

• RQ1 コホロジーの同型により定義される数値的$K3^{[2]}$多様体—$K3^{[2]}$と同型なコホロジー環を持つもの—は、K3曲面の変形性およびトーリー性質を継承するか？
• RQ2 二重EPWセクスティックスの周期写像はADE特異点の集合上で単射であり、有限なファイバーを持つか？
• RQ3 GIT安定性の仮定の下で、二重EPWセクスティックスの周期写像が次数1であることを示せるか？これは強いグローバルトーリー定理を意味する。
• RQ4 二重EPWセクスティックスと三次四次元多様体の周期写像を比較すると、それらのモジュライおよびその分岐構造にどのような類似性が存在するか？
• RQ5 カーラー錐は、$K3^{[2]}$型HK多様体の幾何を特徴付ける役割を果たすか？

主な発見

• 任意のハイパーカラーゼル多様体の変形空間は、次元$h^1(T_X)$の滑らかさを示し、K3の場合と同様に非障害的変形が成立することを確認した。
• $K3^{[2]}$型HK多様体のカーラー錐は、自己交叉が正で、すべての自己交叉$-2$のノード的クラスと正の交わりを持つ実$(1,1)$クラスの集合として特徴づけられる。
• 二重EPWセクスティックスの周期写像$\frak{p}$は$\frak{N}^{ADE}$上で単射であり、周期領域に非可約成分${\bb S}_2^\flat$を含む。
• $\frak{p}$の$\frak{N}^{ADE}$への制限は分岐していないし、有限なファイバーを持つ。さらに、$\frak{M} \backslash \frak{M}^\flat$が少なくとも7次元の余次元を持つと仮定すれば、$\frak{p}$は次数1である。
• 三次四次元多様体$|{\frak O}_{{\bb P}^5}(3)|^{spl}$における周期写像は、ファイバーの濃度が1の有限集合であり、ヴォジンのグローバルトーリー結果により、周期写像は双有理的である。
• $\frak{M}^{ADE}$はADE特異点を持つ二重EPWセクスティックスをパラメトライズする集合であり、$\frak{M}^{ADE}$への周期写像の制限は有限かつ単射であるため、このクラスでは強いトーリー性質が成り立つと示唆される。