[論文レビュー] Some examples of spaces of stability conditions on derived categories

Emanuele Macrì|ArXiv.org|Nov 27, 2004

Algebraic structures and combinatorial models参考文献 9被引用数 35

ひとこと要約

本稿は、完全な例外的集合を持つ代数的多様体（例えば、射影空間やデル・フェッツ面）の導来圏における安定性条件の空間を構築し、分析する。t-構造のハートとブraid群の作用を介して例外的集合に安定性条件を関連させることで、$\mathbb{P}^1$ および $\mathbb{P}^2$ の安定性多様体が単連結であることを証明し、クーヴ表現および中心的質量写像を用いてこれらの空間の完全な構造を記述する。

ABSTRACT

We study stability conditions on the derived categories of coherent sheaves on some projective varieties. We give a complete description of the stability manifold for smooth projective curves and we examine a connected open subset of the stability manifold for projective spaces and del Pezzo surfaces.

研究の動機と目的

• 曲線および曲面についてのブリッジランド分類を完成させるために、$\mathop{\rm Stab\,}(\mathbb{P}^1)$ の明示的記述を達成すること。
• 三角的圏における例外的集合からの安定性条件の構成を、$\mathbb{P}^n$ やデル・フェッツ面のような多様体へ一般化すること。
• $\mathbb{P}^1$ および $\mathbb{P}^2$ の安定性多様体の位相的性質——特に単連結性——を確立すること。
• 種数 $g \geq 1$ の滑らかで射影的な曲線について、安定性多様体の完全な記述を提供し、$\widetilde{GL^+(2,\mathbb{R})}$ に同型であることを示すこと。

提案手法

• ハードラー＝ナラシンハン分解を満たす中心的質量 $Z: K(\mathbf{T}) \to \mathbb{C}$ およびスライシング $\mathcal{P}(\phi)$ を用いた、ブリッジランドの安定性条件の枠組みを用いる。
• 負のエクステンション群をもたない完全な例外的集合から、有界t-構造のハートを構成する。
• ブraid群の例外的集合への作用（シフトを除く）の軌道を用いて、$\mathop{\rm Stab\,}(\mathbf{T})$ の開連結部分集合 $\Sigma \subseteq \mathop{\rm Stab\,}(\mathbf{T})$ をパラメトライズする。
• $D(\mathbb{P}^1)$ における例外的対象の分類を用いて、クライネッカークーヴを介して $\mathop{\rm Stab\,}(\mathbb{P}^1)$ を記述する。
• 2つの頂点と $n$ 本の矢印を持つクーヴ $P_n$ の導来圏を分析し、$\Sigma(P_n)$ が単連結であり、全安定性多様体 $\mathop{\rm Stab\,}(P_n)$ と一致することを示す。
• 中心的質量と位相構造を用いて、$\mathbb{P}^2$ に対して、射影と拡張に関する位相的および代数的制約を適用し、唯一の $\Sigma(\mathbb{P}^2)$ が単連結であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 安定性多様体 $\mathop{\rm Stab\,}(\mathbb{P}^1)$ の構造は何か？ そして、どのように明示的に記述できるか？
• RQ2 完全な例外的集合を持つ多様体の導来圏における安定性条件は、クーヴ表現とどのように関係するか？
• RQ3 安定性多様体 $\mathop{\rm Stab\,}(\mathbb{P}^2)$ は単連結か？ また、どのような位相的性質を持つのか？
• RQ4 種数 $g \geq 1$ の滑らかで射影的な曲線について、安定性多様体の完全な構造は何か？
• RQ5 ブraid群は例外的集合にどのように作用し、$\mathop{\rm Stab\,}(\mathbf{T})$ 内の異なる安定性条件をパラメトライズするか？

主な発見

• $\mathop{\rm Stab\,}(\mathbb{P}^1)$ は $\widetilde{GL^+(2,\mathbb{R})}$ に同型であり、この群の空間への作用は自由かつ推移的である。
• クーヴ $P_n$ に対して、空間 $\Sigma(P_n)$ は一意的であり、単連結であり、全安定性多様体 $\mathop{\rm Stab\,}(P_n)$ と一致する。
• 開部分集合 $\Sigma(\mathbb{P}^2)$ は単連結であり、これは $\mathop{\rm Stab\,}(\mathbb{P}^2)$ の最大次元成分として一意的である。
• 種数 $g \geq 1$ の滑らかで射影的な曲線 $C$ に対して、安定性多様体 $\mathop{\rm Stab\,}(C)$ は $\widetilde{GL^+(2,\mathbb{R})}$ に同型であり、すべての数値的安定性条件は $\mu$-安定性から生じる。
• 種数 $g \geq 1$ の曲線上のすべてのラインバンドルおよびスカイクラッパー・シェーブは、任意の数値的安定性条件において安定であり、それらの位相は射影の不等式によって制約される。
• $D(C)$ における任意の安定性条件における中心的質量 $Z$ は、$H^*(C,\mathbb{R}) \cong \mathbb{R}^2$ から $\mathbb{C} \cong \mathbb{R}^2$ への向きを保つ同型写像でなければならない。これにより、安定性多様体の構造が保証される。