[論文レビュー] Bridgeland-Stable Moduli Spaces for K-Trivial Surfaces

Daniele Arcara, Aaron Bertram+1 more|ArXiv.org|Aug 16, 2007

Algebraic Geometry and Number Theory参考文献 6被引用数 42

ひとこと要約

この論文は、K3面およびアーベル面というK-自明な表面に対して、導来カテゴリ−に一パラメータの安定性条件の族を定義することにより、Bridgeland安定的モジュライ空間を構成する。安定性パラメータを変化させたときのウォールクロッシングの挙動を用い、Mukaiフロップおよび普遍層の一般化された初等的変形を介して、細いモジュライ空間を構成し、相対ヤコビアンの新しい双有理的モデルと、曲線のThaddeusの安定ペアの自然な一般化をもたらす。

ABSTRACT

We give a natural family of Bridgeland stability conditions on the derived category of a smooth projective complex surface S and describe ``wall-crossing behavior'' for objects with the same invariants as $\cO_C(H)$ when H generates Pic(S) and $C \in |H|$. If, in addition, S is a K3 or Abelian surface, we use this description to construct a sequence of fine moduli spaces of Bridgeland-stable objects via Mukai flops and generalized elementary modifications of the universal coherent sheaf. We also discover a natural generalization of Thaddeus' stable pairs for curves embedded in the moduli spaces.

研究の動機と目的

• ピカール数が1の滑らかで投影的K-自明な表面の導来カテゴリ−に自然な一パラメータ族のBridgeland安定性条件を定義すること。
• $C \in |H|$ であるとき、$\mathcal{O}_C(H)$ と同様のチャーン類を持つ対象のウォールクロッシング挙動を記述すること。
• 安定性パラメータ $t$ が臨界ウォールを越える際に、Mukaiフロップを用いてBridgeland安定対象の細いモジュライ空間を構成すること。
• Bridgeland安定対象のモジュライ空間における導来カテゴリ−設定へのThaddeusの安定ペア構成の一般化をすること。
• 一般化された初等的変形とラインバンドルのねじりを用いて、モジュライ空間上に普遍的コherent層の存在を確立すること。

提案手法

• 複素化されたアーメンクラス $D+iF$ と指数的チャーン特徴を用いて、導来カテゴリ−のグロテンドイック群に中心的重み $Z$ を定義する。ここで $F=tH$ かつ $D=\frac{1}{2}H$ である。
• 心 $\mathcal{A}^\#$ が $Z$ と整合するような導来カテゴリ− $\mathcal{D}(S)$ にt-構造を構成し、Bridgeland安定性条件を形成する。
• パrameter $t$ を変化させたとき、チャーン特徴が $\mathrm{ch}(E) = H + H^2/2$ である対象のウォールクロッシング挙動を分析し、安定性が変化する臨界値を特定する。
• 心 $\mathcal{A}^\#$ 内のハーデル＝ナラシムハンおよびジョルダン＝ホルダー分解を用いて、安定対象を分類し、ウォールを越えた際の不安定化を追跡する。
• 普遍層を $\mathcal{O}_S(H)$、$\mathcal{O}_S[1]$、および $i_*\mathcal{O}_C(H)$ を含む区別された三角形を用いて変形することで、Mukaiフロップによるモジュライ空間を構成する。
• 相対的ピック群とcodimension-oneの一致を介して、ラインバンドルのねじりを用いて双有理的モデル間の普遍族を一致させる。

実験結果

リサーチクエスチョン

• RQ1 一パラメータ族のBridgeland安定性条件における安定性パラメータ $t$ の変化に伴い、チャーン特徴が $H + H^2/2$ である対象の安定性はどのように変化するか？
• RQ2 心 $\mathcal{A}^\#$ 内で $i_*\mathcal{O}_C(H)$ が不安定になる正確な条件は何か？そして、それが何によって置き換えられるか？
• RQ3 K-自明な表面の相対ヤコビアンは、ウォールクロッシングによって引き起こされるMukaiフロップを用いて、双有理的モジュライ空間へ体系的に変形可能か？
• RQ4 Bridgeland安定対象のモジュライ空間上に普遍的コherent層をどのように構成できるか？また、フロップを越えてどのように変化するか？
• RQ5 K3面またはアーベル面上のウォールクロッシング構造から自然に生じる、Thaddeusの安定ペア構成の導来カテゴリ−一般化は存在するか？

主な発見

• $t > \frac{1}{2}$ のとき、$\mathcal{O}_S(H)$ は $\mathcal{A}^\#$ 内で安定であるが、$t < \frac{1}{2}$ のとき、$i_*\mathcal{O}_C(H)$ は不安定になり、$\mathbb{P}(H^0(S, \mathcal{O}_S(H))^*) \cong \mathbb{P}^{g-1}$ にパラメータ付けられる $0 \to \mathcal{O}_S[1] \to E \to \mathcal{O}_S(H) \to 0$ のような拡張に置き換えられる。
• Bridgeland安定対象のモジュライ空間は、安定性パrameter $t$ のウォールクロッシングイベントに対応するMukaiフロップを経て、系列的に細いモジュライ空間として構成される。
• モジュライ空間上の普遍層は、一般化された初等的変形を用いて得られ、その構造は $\mathcal{I}_{\mathcal{Z}_{12}}(H)$ と $\mathcal{I}_{\mathcal{Z}_{13}}^\vee[1]$ を含む区別された三角形に符号化されている。
• モジュライ空間の $S^{[d]} \times S^{[d]}$ 上の相対的ピック群は、$\mathcal{O}_{\mathbb{P}^{g-2d}}(1)$ の引き戻しによって生成され、双有理的モデル間の整合性を保証する。
• $S \times \mathcal{M}$ 上にPoincaré型の普遍層 $\mathcal{U}$ が存在し、$\mathcal{U}|_{S \times \mathbb{P}_d} \cong \mathcal{E}_d \otimes \mathcal{L}$ を満たすような $S^{[d]} \times S^{[d]}$ 上のラインバンドル $\mathcal{L}$ が存在し、フロップ間で普遍族が一致する。
• この構成により、曲線のThaddeusの安定ペアの自然な一般化が得られ、$\mathcal{O}_C(H)$ と同様の不変量を持つ導来カテゴリ−内の安定対象として実現される。