[論文レビュー] Hyper-Kähler fourfolds and Grassmann geometry

Olivier Debarre, Claire Voisin|arXiv (Cornell University)|Apr 25, 2009

Algebraic Geometry and Number Theory参考文献 10被引用数 13

ひとこと要約

本稿は、10次元ベクトル空間 $V_{10}$ 上の3形式 $ \sigma \in \bigwedge^3 V_{10}^*$ を用いて、Grassmannian $G(6,V_{10})$ 上の幾何学的構成により、代数的超ケーラー4次元多様体 $Y_{\sigma}$ の新しい20次元族を構成する。$Y_{\sigma}$ が次数22のK3表面の第二点付きヒルベルトスキームと変形同値であることを証明し、Fano型超多様体 $F_\sigma \subset G(3,V_{10})$ との対応関係を通じて、$H^2$ と $H^{20}$ 上の有理ホッジ構造が同型である新しい幾何的実現を与える。この構成により、第二ベッチ数23を有する4次元多様体が得られ、それが超ケーラー構造を有することを確認する。

ABSTRACT

We construct a new 20-dimensional family of algebraic hyper-Kaehler fourfolds and prove that they are deformation-equivalent to the second punctual Hilbert scheme of a K3 surface of degree 22.

研究の動機と目的

• 10次元ベクトル空間上でのGrassmannian幾何学と3形式を用いて、代数的超ケーラー4次元多様体の新しい族を構成すること。
• $Y_\sigma$ と $G(3,V_{10})$ 内のFano型超多様体 $F_\sigma$ の間の幾何的対応関係を確立すること。
• $Y_\sigma$ が点付きヒルベルトスキーム $S^{[2]}$ と変形同値であることを証明すること、ただし明示的な同型対応領域の同定は行わないこと。

提案手法

• 3形式 $\sigma \in \bigwedge^3 V_{10}^*$ から出発し、$\mathrm{PGL}(V_{10})$ 商を用いて20次元のモジュライ空間を定義する。
• $Y_\sigma \subset G(6,V_{10})$ を、$\sigma|_W = 0$ を満たす6次元部分空間 $W \subset V_{10}$ の集合として定義し、$F_\sigma \subset G(3,V_{10})$ を annihilator 条件により定義する。
• 相対次元9の自然な対応関係 $G_\sigma \subset Y_\sigma \times F_\sigma$ を構成し、$H^2(Y_\sigma, \mathbb{Q})_{\mathrm{van}}$ と $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上の有理ホッジ構造が同型であることを示す。
• Koszul分解とBottの定理を用いたコhomological技法により、特定のExt群およびコホモロジー群の消滅性と単射性を証明し、対応関係がホッジ同型を誘導することを保証する。
• $Y_\sigma$ の第二ベッチ数を23として計算し、それが非特異的超ケーラー構造を有することを確認する。
• $S^{[2]}$ に対する変形同値性は、特異的退化とHuybrechtsの定理（被約同型と変形同値性の関係）を用いて確立する。

実験結果

リサーチクエスチョン

• RQ1 10次元空間上でのGrassmannian幾何学と3形式を用いて、代数的超ケーラー4次元多様体の新しい20次元族を構成可能か？
• RQ2 $Y_\sigma$ が点付きヒルベルトスキーム $S^{[2]}$ と変形同値であるか、ただし明示的な同型対応領域の同定が行われない場合でも成立するか？
• RQ3 $Y_\sigma$ と $F_\sigma$ 間の対応関係が、それぞれ $H^2$ と $H^{20}$ 上の有理ホッジ構造を同型に誘導するか？
• RQ4 $Y_\sigma$ のピカール数はモジュライ空間内の超多様体に沿ってジャンプするか？その場合、$S^{[2]}$ への同型性を示唆する可能性があるか？
• RQ5 次数1452の4次元多様体 $Y_\sigma$ が、種数16または21のK3表面の第二ヒルベルトスキームと同型である可能性はあるか？同程度の次数とベクトル束データが一致するが、同型性は成立するか？

主な発見

• $Y_\sigma$ は第二ベッチ数23を有する非特異的超ケーラー多様体であり、それが超ケーラー構造を有することを確認する。
• $Y_\sigma \times F_\sigma$ 内の自然な対応関係 $G_\sigma$ は相対次元9をもち、$H^2(Y_\sigma, \mathbb{Q})_{\mathrm{van}}$ と $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上の有理ホッジ構造を同型に写す。
• $H^{20}(F_\sigma, \mathbb{Q})_{\mathrm{van}}$ 上のホッジ構造は、$h^{9,11} = h^{11,9} = 1$ および $h^{10,10} = 20$ を満たし、他のすべてのホッジ数は消える。
• $Y_\sigma$ は、次数22のK3表面 $S$ の第二点付きヒルベルトスキーム $S^{[2]}$ と変形同値であり、$S \times S$ の吹き上げと例外除集合を用いて定義される特定の極小線形系により特徴づけられる。
• このような $Y_\sigma$ のモジュライ空間は20次元であり、立方超多様体やO'Gradyの構成から得られる既知の族とは同型でない。
• $S^{[2]}$ と同程度（1452）および同様のベクトル束データを持つが、タウトロジカルベクトル束のチャーン数が一致しないため、種数16または21のK3表面のヒルベルトスキームとは同型でない。