[論文レビュー] Mini-walls for Bridgeland stability conditions on the derived category of sheaves over surfaces

Jason Lo, Zhenbo Qin|arXiv (Cornell University)|Mar 22, 2011

Algebraic structures and combinatorial models参考文献 19被引用数 12

ひとこと要約

本稿では、滑らかな射影的曲面上の層の導来圏におけるBridgeland安定性条件のミニウォールの集合が局所的に有限であることを確立し、十分に大きな安定性パラメータ $ m $ に対して、Bridgeland半安定対象が多項式Bridgeland半安定対象と一致することを示している。さらに、多項式Bridgeland半安定対象のモジュライ空間をGieseker/Simpsonモジュライ空間およびUhlenbeckコンパクト化と同定し、安定性型に基づく明確な幾何的分類を提供している。

ABSTRACT

For the derived category of bounded complexes of sheaves on a smooth projective surface, Bridgeland and Arcara-Bertram constructed Bridgeland stability conditions $(Z_m, \mathcal P_m)$ parametrized by $m \in (0, +\infty)$. In this paper, we show that the set of mini-walls in $(0, +\infty)$ of a fixed numerical type is locally finite. In addition, we strengthen a result of Bayer by proving that the moduli of polynomial Bridgeland semistable objects of a fixed numerical type coincides with the moduli of $(Z_m, \mathcal P_m)$-semistable objects whenever $m$ is larger than a universal constant depending only on the numerical type. We further identify the moduli of polynomial Bridgeland semistable objects with the Gieseker/Simpson moduli spaces and the Uhlenbeck compactification spaces.

研究の動機と目的

• 滑らかな射影的曲面上の層の導来圏におけるBridgeland安定性条件の空間におけるミニウォールの構造を分析すること。
• 固定された数値型に対して、ミニウォールが存在しないような普遍的な上限 $ \widetilde{M} $ の存在を確立すること。
• Gieseker/Simpson半安定層およびUhlenbeckコンパクト化に基づいて、多項式Bridgeland半安定対象を分類すること。
• BayerのBridgeland安定性の大型体積極限に関する結果を、普遍的な閾値を超えて同値性を示すことで強化すること。

提案手法

• パrameter $ m \in (0, \infty) $ を用いてBridgeland安定性条件 $ (Z_m, \mathcal{P}_m) $ をパrametrizationし、この区間内のミニウォールに注目する。
• 区間 $ [a, \infty) $ 内でミニウォールを定義する対象 $ A $ のランク $ \text{rk}(A) $ に対する普遍的な上界を、区間と数値型にのみ依存する形で用いる。
• Bayerの証明技法の拡張版を適用し、$ m \geq \widetilde{M} $ のとき、$ (Z_m, \mathcal{P}_m) $-半安定性が $ (Z_\Omega, \mathcal{P}_\Omega) $-半安定性と一致することを示す。
• $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ を、層の $ \mu_\omega $-安定性および $ \mu_\omega $-半安定性、S-同値および双対化を用いて分類する。
• 多項式Bridgeland半安定対象のモジュライ空間と、ランクの符号に応じてGieseker/Simpsonモジュライ空間またはUhlenbeckコンパクト化との間に同型を構成する。
• $ \mathcal{P}_\Omega((0,1]) $ 内の完全系列を用いて、$ m $ が大きい極限におけるHarder-Narasimhan分解および安定性条件を分析する。

実験結果

リサーチクエスチョン

• RQ1 固定された数値型に対して、パrameter空間 $ (0, \infty) $ 内でミニウォールの集合は局所的に有限か？
• RQ2 すべてのミニウォールが存在しないような普遍定数 $ \widetilde{M} $ が存在するか？
• RQ3 多項式Bridgeland半安定対象は、Gieseker/Simpson半安定層およびUhlenbeckコンパクト化とどのように関係するか？
• RQ4 $ m $ が大きいとき、$ (Z_m, \mathcal{P}_m) $-半安定対象のモジュライ空間は $ (Z_\Omega, \mathcal{P}_\Omega) $-半安定対象のモジュライ空間と同定可能か？
• RQ5 $ r < 0 $ のとき、モジュライ空間 $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ の正確な幾何的構造は何か？

主な発見

• 型 $ (\mathfrak{t}, \beta, \omega) $ のミニウォールの集合は、$ (0, \infty) $ において局所的に有限であり、定理1.1(i)で証明された。
• 数値型 $ \mathfrak{t}, \omega, \beta $ のみに依存する普遍定数 $ \widetilde{M} $ が存在し、$ [\widetilde{M}, \infty) $ 内にはミニウォールが存在しない。これは定理1.1(ii)に述べられている。
• $ m \geq \widetilde{M} $ のとき、型 $ \mathfrak{t} $ の $ (Z_m, \mathcal{P}_m) $-半安定対象は $ (Z_\Omega, \mathcal{P}_\Omega) $-半安定対象と一致する。これはBayerの結果を強化する。
• $ r > 0 $ のとき、モジュライ空間 $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ はGieseker/Simpsonモジュライ空間 $ \overline{\mathfrak{M}}_\omega(\mathfrak{t}) $ と同型である。
• $ r < 0 $ かつ $ c_1\omega / r = \beta\omega $ のとき、モジュライ空間 $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ はUhlenbeckコンパクト化空間 $ \overline{\mathfrak{U}}_\omega(\tilde{\mathfrak{t}}) $ と同型である。
• $ r < 0 $ かつ $ c_1\omega / r < \beta\omega $ のとき、モジュライ空間 $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ はGieseker/Simpsonモジュライ空間 $ \overline{\mathfrak{M}}_\omega(\tilde{\mathfrak{t}}) $ と同型である。