[論文レビュー] Moduli of double EPW-sextics

Kieran G. O’Grady|arXiv (Cornell University)|Nov 6, 2011

Geometric and Algebraic Topology参考文献 33被引用数 13

ひとこと要約

本稿は、$\mathrm{SL}_6$ の作用の下で、$\Lambda^3 \mathbb{C}^6$ 内のラグランジュ部分空間をパラメトライズするシンプレクティック・グラスマンニアンのGIT商を研究し、滑らかな二重EPWセクスティックのモジュライ空間のコンパクト化を構成する。1-パラメータ部分群とコーン分解アルゴリズムを用いて、安定領域を同定し、GIT境界の既約成分を記述し、モジュライ空間が周期領域内の3つの特定の超平面に関連するルイエンガのコンパクト化と同型であることを示している。

ABSTRACT

We study the GIT quotient of the symplectic grassmannian parametrizing lagrangian subspaces of \bigwedge^3{\mathbb C}^6 by the natural action of SL_6, call it M. This is a compactification of the moduli space of smooth double EPW-sextics. We determine the stable points, the irreducible components of the GIT boundary and their dimensions. There are strong analogies with the moduli space of cubic 4-folds: we prove a result which is analogous to a theorem of Laza stating that cubic 4-folds with simple singularities are stable. Our final goal (not achieved in the present paper) is to understand the period map from M to the Baily-Borel compactification of the relevant period domain modulo an arithmetic group. With this goal in mind we analyze the locus in the GIT-boundary of M where the period map is not regular: we prove that it has two irreducible components, one of dimension 3, the other of dimension 1. Our results suggests that M is isomorphic to Looijenga's compactification associated to 3 specific hyperplanes in the period domain.

研究の動機と目的

• 二重EPWセクスティックのモジュライ空間のコンパクト化を、シンプレクティック・グラスマンニアンのGIT商によって構成すること。
• $\mathrm{SL}_6$-作用の下で $\Lambda^3 \mathbb{C}^6$ のラグランジュ部分空間に対するGIT商における安定および半安定点を特定すること。
• 二重EPWセクスティックのモジュライ空間のGIT境界の既約成分を記述し、周期写像が正則でない領域を分析すること。
• GITコンパクト化と周期領域のバーリー＝ボレルコンパクト化との関係を調査すること。
• 立方体4次超曲面に関するラーザとルイエンガの研究との類似性を、安定性と周期写像の観点から検討すること。

提案手法

• 1-パラメータ部分群の分類と、プレッカー座標への重みによる安定性の特定を目的として、コーン分解アルゴリズムを適用する。
• ヒルベルト＝ムーディーの基準を用いて、シンプレクティック・グラスマンニアンのプレッカー埋め込みにおける1-パラメータ部分群の重みを評価することで、半安定性を分析する。
• $\mathrm{PGL}(3)$、$\mathrm{PGL}(4)$、または $\mathrm{PSO}(4)$ によって固定されるような、大きな安定化部分群をもつラグランジュ部分空間を分析し、非安定ストラトムを分類する。
• 各標準的非安定ストラトムに対してGIT設定を構築し、$\Lambda^3 \mathbb{C}^6$ の基底における1-パラメータ部分群作用の重みを計算する。
• 1-パラメータ部分群の8次元の3次形式空間への作用を詳細にケース分析し、$d_0(A_i)$、$d_1(A_i)$ の不等式と重みの表を用いる。
• GIT境界成分と周期領域のバーリー＝ボレルコンパクト化を比較し、コンパクト化に関連する3つの特定の超平面を同定する。

実験結果

リサーチクエスチョン

• RQ1 $\mathrm{SL}_6$-作用の下で、$\Lambda^3 \mathbb{C}^6$ 内のどのラグランジュ部分空間が安定であり、それらはどのように特徴づけられるか？
• RQ2 二重EPWセクスティックのモジュライ空間のGIT境界の既約成分は何か？
• RQ3 周期写像はGIT境界上でどのように振る舞い、どこで正則でないか？
• RQ4 GITコンパクト化が、周期領域内の3つの特定の超平面に関連するルイエンガのコンパクト化とどれほど同型であるか？
• RQ5 立方体4次超曲面の類似性に従い、関連する平面6次曲線の幾何学的性質を用いて、二重EPWセクスティックの安定性を特徴づけられるか？

主な発見

• GIT商における安定領域は、ちょうど滑らかな二重EPWセクスティックに対応し、モジュライ空間は、平方が2である除数によって極小化された $K3^{[2]}$-型のハイパーケーラー4次元多様体のモジュライ空間と双リーマン同型である。
• GIT境界は有限個の既約成分からなり、それぞれが標準的非安定ストラトムに対応しており、1-パラメータ部分群作用を用いて明示的に記述されている。
• GITコンパクト化からバーリー＝ボレルコンパクト化への周期写像は、境界内の特定の部分集合で正則でないが、その部分集合は詳細に分析されている。
• 本稿では、単純な特異点をもつラグランジュ部分空間が安定であることを証明しており（立方体4次超曲面におけるラーザの結果に類似）、二重EPWセクスティックと立方体4次超曲面との類似性を拡張している。
• GITコンパクト化は、境界構造と周期写像の振る舞いから示唆されるように、周期領域内の3つの特定の超平面に関連するルイエンガのコンパクト化と同型である。
• プレッカー座標への重みの分析により、$d_0(A_i)$ と $d_1(A_i)$ を含む明示的な不等式が得られ、各1-パラメータ部分群軌道の安定性を決定する。$12(2d_0(A_0) + 2d_0(A_2) - 3) \leq -12$ のような臨界閾値は、不安定性を示している。