[論文レビュー] Extremal rays and automorphisms of holomorphic symplectic varieties

Brendan Hassett, Yuri Tschinkel|arXiv (Cornell University)|Jun 26, 2015

Algebraic Geometry and Number Theory参考文献 22被引用数 5

ひとこと要約

本稿は、ブリッジランド安定性および格子論的技法を用いて、特にK3表面のヒルベルトスキームを含む複素シンプレクティック多様体における極値線と自己同型の性質を調査する。自己同型が極値線を非極値クラスに写すことができることを示し、$H^2(X,\mathbb{Z})$ 上のホッジ構造のみからはアーモンコーンが決定できないことを証明し、フイブレヒツの問いに答えている。

ABSTRACT

We survey recent results on ample cones and birational contractions of holomorphic symplectic varieties of K3 type, focusing on explicit constructions and concrete examples.

研究の動機と目的

• K3型複素シンプレクティック多様体における自己同型の下での極値線の挙動を理解すること。
• Huybrechtsの問い、すなわち、極形式付き複素シンプレクティック多様体のアーモンコーンが $H^2(X,\mathbb{Z})$ 上のホッジ構造から回復可能かどうかを解明すること。
• 指定された双有理的収縮を有するヒルベルトスキームを構成する一般的手法を提供すること。
• OguisoとSartiの問い、すなわち、格子論的構成を用いたヒルベルトスキームの自己同型についての考察を扱うこと。

提案手法

• K3型多様体に対して、Bayer-Macr\textbackslash{}{\i}の機械的枠組みとブリッジランド安定性条件を用いて、モノドロミーを除く極値双有理的収縮を分類する。
• 格子論的技法を用いて、Beauville-Bogomolov形式を拡張し、拡張された格子 $\widetilde{\Lambda}$ 上でのモノドロミー作用を研究する。
• 同型写像 $\theta^\vee: \widetilde{\Lambda} \twoheadrightarrow H_2(X,\mathbb{Z})$ を用いて、コホモロジー類とモーリー錐内での曲線類を関連付ける。
• ニコリン理論と具体的な格子作用を用いて、極値線を保存しない $H^2(X,\mathbb{Z})$ 上の明示的自己同型 $\alpha$ を構成する。
• 極値線の $\alpha^*$ による像を分析し、$\alpha^*(R)$ がいかなる極値線のモノドロミー軌道にも属さない可能性があることを示す。
• トーリンぐの定理を用いて、コホモロジー上の自己同型をハイパーカラーゼル多様体の同型に持ち上げ、同一型のK3表面を用いた新しい例を構成する。

実験結果

リサーチクエスチョン

• RQ1 極形式付き複素シンプレクティック多様体のアーモンコーンは、$H^2(X,\mathbb{Z})$ 上のホッジ構造から回復可能か？
• RQ2 $H^2(X,\mathbb{Z})$ の自己同型は、モーリー錐内での極値線のモノドロミー軌道を保存するか？
• RQ3 格子論的データを用いて、指定された極値収縮を有するヒルベルトスキームを明示的に構成可能か？
• RQ4 Mukaiベクトル $v$ は、極値収縮およびそのモノドロミー軌道の分類において果たす役割は何か？

主な発見

• K3型の極形式付き複素シンプレクティック多様体のアーモンコーンは、$H^2(X,\mathbb{Z})$ 上のホッジ構造からは回復できない。これはHuybrechtsの問いに答えている。
• 極値線 $R$ を非極値線のモノドロミー軌道に属さないクラス $\alpha^*(R)$ に写す、明示的自己同型 $\alpha$ を $H^2(X,\mathbb{Z})$ 上に構成した。
• 元の極値線に付随する格子 $\mathcal{H}_1$ の判別式は $-49$ であり、像格子 $\mathcal{H}_2$ は同値ではなく、いかなる極値線に対しても関連付けられない。
• この構成により、$\alpha^*(X$ の有効曲線のコーン$) \subsetneq Y$ の有効曲線のコーン となる、射影的例が得られ、有効コーンの像が厳密に小さいことが示された。
• 本手法により、格子データと自己同型を用いて、所望の双有理的収縮を有するヒルベルトスキームを構成する一般的手法が提供された。
• 極値線は、コホモロジー格子が同型であっても、任意の自己同型の下で保存されないことが確認され、分類におけるモノドロミーの役割が強調された。