[論文レビュー] Projectivity and Birational Geometry of Bridgeland moduli spaces

Arend Bayer, Emanuele Macrì|arXiv (Cornell University)|Mar 20, 2012

Algebraic Geometry and Number Theory参考文献 75被引用数 19

ひとこと要約

この論文は、K3表面の複体のブリッジランドモジュライ空間上で、正規化されたファミリーのネフ除集合クラスを構成し、それが安定性条件に自然に依存し、一般の安定性条件では非常に正であることを示している。主な貢献は、ブリッジランド安定性におけるウォールクロッシングと最小モデルプログラムとの間の体系的関係を確立し、層のモジュライ空間および点のヒルベルトスキームの双有理幾何に新たな結果をもたらすことである。

ABSTRACT

We construct a family of nef divisor classes on every moduli space of stable complexes in the sense of Bridgeland. This divisor class varies naturally with the Bridgeland stability condition. For a generic stability condition on a K3 surface, we prove that this class is ample, thereby generalizing a result of Minamide, Yanagida, and Yoshioka. Our result also gives a systematic explanation of the relation between wall-crossing for Bridgeland-stability and the minimal model program for the moduli space. We give three applications of our method for classical moduli spaces of sheaves on a K3 surface: 1. We obtain a region in the ample cone in the moduli space of Gieseker-stable sheaves only depending on the lattice of the K3. 2. We determine the nef cone of the Hilbert scheme of n points on a K3 surface of Picard rank one when n is large compared to the genus. 3. We verify the "Hassett-Tschinkel/Huybrechts/Sawon" conjecture on the existence of a birational Lagrangian fibration for the Hilbert scheme in a new family of cases.

研究の動機と目的

• 安定性条件に自然に依存する、ブリッジランド安定複体のモジュライ空間上に正規化されたファミリーのネフ除集合クラスを構成すること。
• ブリッジランド安定性におけるウォールクロッシングとモジュライ空間の最小モデルプログラムとの間の体系的関係を確立すること。
• 構成された除集合クラスが、K3表面における一般の安定性条件の下で非常に正であることを証明し、先行研究を一般化すること。
• この手法を古典的な層のモジュライ空間およびK3表面の点のヒルベルトスキームに適用し、それらの双有理幾何に関する新たな結果を得ること。
• ハッセット＝ツィンケル／フイブレヒト／サワオン予想、すなわちヒルベルトスキームにおける双有理ラグランジュ的ファイブレーションの存在について、新たな場合にその予想を検証すること。

提案手法

• 曲線 C ⊂ S に対して、中心的スコア比の虚部を用いて、モジュライ空間 S 上の数的カーティエ除集合クラス ℓσ,ℰ を定義する：ℓσ,ℰ([C]) = Im(−Z(Φℰ(𝒪C))/Z(v))。
• アブラモビッチとポリシュチュクによるカテゴリカルな構成を用いて、除集合がネフであることを証明し、GIT を避けて余分な選択を必要とせずに正性を保証する。
• 安定性マニフォールドのウォール・チャンバーデコンポジションを用いて、安定性条件の変化とモジュライ空間の双有理変換との関係を関係づける。
• K3表面にこの構成を適用する際、共通の開集合を介してモジュライ空間のネロン＝セベリ群を特定し、ウォールを越えて双有理写像を拡張する。
• 導来カテゴリーにおける基本的変形を用いて、チャネル間での除集合クラスを比較し、共通の開集合上で ℓσ₀,ℰ₊ = ℓσ₀,ℰ₋ であることを示す。
• モジュライ空間が K-自明であり、曲線のブラウアー群が自明であることに着目し、ファミリーを上げて除集合クラスの次数を比較する。

実験結果

リサーチクエスチョン

• RQ1 安定性条件に自然に依存する、ブリッジランドモジュライ空間上に正規化されたネフ除集合クラスのファミリーをどのように構成できるか？
• RQ2 ブリッジランド安定性におけるウォールクロッシングとモジュライ空間の最小モデルプログラムとの間の明確な関係は何か？
• RQ3 構成された除集合クラスが非常に正である条件は何か？ これは、従来の層のモジュライに関する結果をどのように一般化するか？
• RQ4 この手法により、ヒルベルトスキームのような古典的モジュライ空間のネフ・アンプルコーンを特定できるか？
• RQ5 この手法により、ヒルベルトスキームにおける双有理ラグランジュ的ファイブレーションの存在に関するハッセット＝ツィンケル／フイブレヒト／サワオン予想が、新たな場合に検証可能か？

主な発見

• 任意のブリッジランド安定性条件 σ および半安定対象のファミリーに対して、構成された除集合クラス ℓσ,ℰ はネフであり、曲線 C に対して ℓσ,ℰ. C = 0 であることは、対応する対象が C 沿って S-同値であることに同値である。
• K3表面における一般の安定性条件に対して、除集合クラス ℓσ,ℰ は非常に正であり、ミナミデ、ヤナギダ、ヨシオカの結果を一般化する。
• この手法により、ギーゼカー安定層のモジュライ空間のアンプルコーン内に、K3格子にのみ依存する領域が得られる。
• ピカールランクが1のK3表面の n 点ヒルベルトスキームに対しては、n が genus に対して十分に大きいとき、ネフコーンが特定される。
• この手法により、ハッセット＝ツィンケル／フイブレヒト／サワオン予想が、新たなファミリーのケースにおいて検証される。
• 導来カテゴリーにおける基本的変形を通じて、ウォールクロッシングによって誘導される双有理モデル間でも除集合クラスが不変であることが示された。