[論文レビュー] Some examples of tilt-stable objects on threefolds

Jason Lo, Yogesh More|arXiv (Cornell University)|Sep 12, 2012

Advanced Algebra and Geometry参考文献 11被引用数 5

ひとこと要約

本稿は、滑らかな複素射影的3次元多様体上の傾安定的対象を調査し、特に判別式が消える層や、最小の第一チャーン類の2倍であるものの傾安定性に注目している。スロープ半安定層が最大位相のブリジゲランド半安定的対象をもたらす条件を確立し、大スケール極限における傾安定性の十分条件を提示し、$\mathbb{P}^3$ 上のチャーン類および曲線不変量を含む明示的で有効な境界を含む。主な貢献は、傾安定的対象の構造的特徴付けと、[BMT]における$ch_3$-境界予想を満たす明示的例の提供である。

ABSTRACT

We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which every slope semistable sheaf yields a Bridgeland semistable object of maximal phase. Then, we study tilt stability as the polarisation $ω$ gets large, and give sufficient conditions for tilt-stability of sheaves of the following two forms: 1) twists of ideal sheaves or 2) torsion-free sheaves whose first Chern class is twice a minimum possible value.

研究の動機と目的

• 滑らかな複素射影的3次元多様体上の傾安定的対象の明示的例を構成すること、特にブリジゲランド安定性における$ch_3$-境界予想を満たすものに注目すること。
• 判別式が消えるスロープ半安定層の構造を理解し、大スケール極限におけるブリジゲランド半安定的対象との関係を解明すること。
• $\omega^2\widetilde{ch}_1 = 2c$ を満たす分離層の傾安定性についての十分条件を提供すること、ここで$c$ は$\omega^2\widetilde{ch}_1$ の最小の正の値である。
• 既知の$\mathbb{P}^3$ 上の反射的層のチャーン類に関する不等式を用いて、傾不安定的対象の明示的例を同定すること。
• モジュライ空間$Z_{\omega,0}$-半安定的対象が、$\overline{\Delta}_\omega(F) = 0$ かつ $\nu_\omega(F) = 0$ のとき、$\mu_\omega$-半安定的層のモジュライ空間を開部分空間として含むことを示すこと。

提案手法

• 歪みたチャーン類 $\widetilde{ch}(E) = e^{-B}ch(E)$ と中心的重み $Z_{\omega,B}(E) = -\int_X e^{-B-i\omega} \widetilde{ch}(E)$ を用いて、傾安定性条件を定義する。
• 2段階のティルティング処理を適用する：まず$\mathrm{Coh}(X)$ を $\mathcal{B}_{\omega,B}$ に、次に $\mathcal{B}_{\omega,B}$ 上で傾安定性のためのスロープ関数 $\nu_{\omega,B}$ を定義する。
• 安定性条件の分析に、判別式 $\overline{\Delta}_\omega(E) = (\omega^2 \widetilde{ch}_1(E))^2 - 2(\omega^3 \widetilde{ch}_0(E))(\omega \widetilde{ch}_2(E))$ を用いる。
• Miro-Roig が得た $\mathbb{P}^3$ 上の反射的層のチャーン類に関する既知の不等式を応用し、傾不安定的対象の例を構成する。
• Hirzebruch-Riemann-Rochの定理を用いて $\chi(\mathcal{O}_C)$ を計算し、曲線 $C$ についての genus $g$ および $ch_3(\mathcal{O}_C)$ の境界を導出する。
• 命題5.1を適用し、$\mu_{\omega,B,\max}(E)$ および $\omega^3 > 3\omega(\widetilde{ch}_1(M))^2$（$\omega^2\widetilde{ch}_1(M) = c$ を満たす半安定な $M$ について）に基づく、傾安定性の十分条件を導出する。

実験結果

リサーチクエスチョン

• RQ1 判別式 $\overline{\Delta}_\omega(F) = 0$ かつ $\nu_\omega(F) = 0$ を満たすスロープ半安定層 $F$ が、最大位相の $Z_{\omega,0}$-半安定的対象にどのように変換されるか。
• RQ2 $\nu_{\omega,B}(E) = 0$ かつ $\omega^2\widetilde{ch}_1(E) = 2c$ を満たす分離層 $E$ が、いつ傾安定的になるか。
• RQ3 あるラインバンドルによる理想層 $I_C$ のねじれが、いつ傾安定的になるか。
• RQ4 既知の反射的層のチャーン類に関する境界を用いて、$\mathbb{P}^3$ 上の傾不安定的対象の明示的例をどのように構成できるか。
• RQ5 $\mathbb{P}^3$ 上の曲線の理想層のねじれであるランク1分離層について、[BMT]における$ch_3$-境界予想は成り立つか。

主な発見

• $\mu_\omega$-半安定層 $F$ が $\overline{\Delta}_\omega(F) = 0$ かつ $\nu_\omega(F) = 0$ を満たすならば、$F^\vee[2]$ は $\mathcal{A}_{\omega,0}$ 内で位相1の $Z_{\omega,0}$-半安定的対象である。
• $\nu_{\omega,B}(E) = 0$ かつ $\omega^2\widetilde{ch}_1(E) = 2c$ を満たす分離層 $E$ について、$\mu_{\omega,B,\max}(E) < \frac{\omega^3}{\sqrt{3}}$ ならば、$E$ は $\nu_{\omega,B}$-安定である。
• $\omega^3 > 3\omega(\widetilde{ch}_1(M))^2$ が、$\omega^2\widetilde{ch}_1(M) = c$ を満たすすべての分離層スロープ半安定層 $M$ について成り立つならば、$E$ は $\nu_{\omega,B}$-安定である。
• $\mathbb{P}^3$ 上のランク1分離層 $E = L^2 \otimes I_C$ について、$d < \frac{3}{2}D$ ならば $E$ は $\nu_{\omega,0}$-安定である。ここで $d = \deg C$、$D = \deg X$ である。
• Conjecture 2.2 の $ch_3$-境界は、$E = L^2 \otimes I_C$ について成り立つ。$-ch_3(\mathcal{O}_C) \leq \frac{4}{3}d$ ならば成り立つ。
• $X \subset \mathbb{P}^4$ を次数 $D$ とする。$d \leq D$ かつ $\nu_{\omega,0}(E) = 0$ ならば、$E$ は $ch_3$-境界を満たす。これは、Castelnuovoの不等式から導かれる genus の境界 $g \leq \frac{dD}{2} - \frac{7}{6}d + 1$ に従う。