[論文レビュー] Mori cones of holomorphic symplectic varieties of K3 type

Arend Bayer, Brendan Hassett+1 more|arXiv (Cornell University)|Jul 8, 2013

Algebraic Geometry and Number Theory参考文献 32被引用数 14

ひとこと要約

本稿は、Markmanの拡張ホッジ格子とBridgeland安定性条件を活用することで、K3表面の局所ヒルベルトスキームと変形同値な正則シンプレクティック多様体のモーリー錐を特定する。極小な線分は、拡張格子の双対において特定の正定性および整数性条件を満たすクラスに対応し、可動錐の分解と並進変換を用いて完全な双有理分類がなされる。

ABSTRACT

We determine the Mori cone of holomorphic symplectic varieties deformation equivalent to the punctual Hilbert scheme on a K3 surface. Our description is given in terms of Markman's extended Hodge lattice.

研究の動機と目的

• 正則シンプレクティック多様体のモーリー錐を、K3表面の局所ヒルベルトスキーム $S^{[n]}$ と変形同値であるものについて記述すること。
• K3表面上の層のモジュライ空間における有効錐およびネフ錐に関する既知の結果を、$S^{[n]}$ のすべての変形型に拡張すること。
• Markmanの拡張ホッジ格子 $\widetilde{\Lambda}$ を用いた、極小線分の体系的かつ格子論的特徴付けを提供すること。
• 可動錐と壁・部屋分解を用いた完全な双有理分類を確立すること。

提案手法

• $H^2(X,\mathbb{Z})$ を、平方が $2n-2$ であるランク1の直交補空間で拡張するMarkmanの拡張ホッジ格子 $\widetilde{\Lambda}$ を用いる。
• 平行移動作用素を適用して、$X$ をクラスが代数的になるヒルベルトスキーム $X'$ に変形し、既知のモジュライ空間に関する結果を適用可能にする。
• Bridgeland安定性条件および壁越え理論を用いて、極小線分と有効曲線を分析する。
• 拡張格子 $\widetilde{\Lambda}$ に対するTorelli型定理を用いて、双有理同値性を、$H^2(X,\mathbb{Z})$ を保存するホッジ同型に結びつける。
• Corollary 6 を適用して、クラスの像が正定性または反射性を満たすような双有理モデル $X''$ に変形し、極小性を保証する。
• 可動錐が壁・部屋分解をもち、その部屋がマークされた最小モデルのネフ錐に対応することに依拠する。

実験結果

リサーチクエスチョン

• RQ1 正則シンプレクティック多様体が $S^{[n]}$ と変形同値である場合の、モーリー錐の完全な記述は何か？
• RQ2 拡張ホッジ格子 $\widetilde{\Lambda}$ の格子論的データを用いて、モーリー錐内の極小線分をどのように特徴づけられるか？
• RQ3 $H_2(X,\mathbb{Z})$ のどのクラスが有効曲線に対応し、どのような条件下で極小となるか？
• RQ4 可動錐とその部屋分解を用いて、このような多様体の双有理幾何を完全に分類できるか？
• RQ5 Bridgeland安定性条件と平行移動作用素は、モーリー錐の構造をどのように決定するか？

主な発見

• 変形同値性により $S^{[n]}$ と同値な $X$ のモーリー錐は、$a \in \widetilde{\Lambda}_{X,\text{alg}}$ で $a^2 = 2n-2$、$(a,h) > 0$、$(a,\delta) \geq -2$ を満たすものに対する $R = \theta^\vee(a)$ で完全に特定される。
• 極小線分は、拡張格子 $\widetilde{\Lambda}$ 内の代数的で、原始的であり、有効曲線に必要な正定性および整数性条件を満たすクラス $a$ から生じる。
• 可動錐は、マークされた最小モデルに対応する部屋に分解され、壁は極小曲線の直交補空間によって与えられる。
• 証明では、上記の条件を満たす任意の $R = \theta^\vee(a)$ が有効的かつ極小的であることを、ヒルベルトスキームへの変形と安定性条件を用いて示している。
• この結果により、$X$ の双有理幾何が拡張ホッジ格子 $\widetilde{\Lambda}$ によって支配されることを確認し、層のモジュライ空間に関する既知の結果を一般化した。
• 特徴づけはネフ錐の双対であり、格子論的制約を用いて曲線の錐の完全な記述を提供する。