[論文レビュー] Stability conditions, Bogomolov-Gieseker type inequalities and Fano 3-folds

Dulip Piyaratne|arXiv (Cornell University)|May 11, 2017

Algebraic Geometry and Number Theory参考文献 4被引用数 12

ひとこと要約

本稿では、Fano 3-fold に対する修正されたボゴモロフ＝ギエーゼッカー型不等式の予想を提示する。修正項として、$\Omega \in H^4(X,\mathbb{Q})$ で $\Omega \cdot H = 0$ を満たす有理クラスと非負パラメータ $\xi$ を含む調整可能な項を導入する。著者らは、特定の $\overline{\beta}_A$-安定な対象について不等式を検証すれば、予想を確立するのに十分であることを示し、一般のFano 3-fold（特に $\mathbb{P}^3$ の一点での吹き上げ）に対し、修正された不等式が成り立つことを証明している。元の予想が失敗するケースに対しても成立する。

ABSTRACT

We develop a framework to modify the Bogomolov-Gieseker type inequality conjecture introduced by Bayer-Macri-Toda, in order to construct a family of geometric Bridgeland stability conditions on any smooth projective 3-fold. We show that it is enough to check these modified inequalities on a small class of tilt stable objects. We extend some of the techniques in the works by Li and Bernardara-Macri-Schmidt-Zhao to formulate a strong form of Bogomolov-Gieseker inequality for tilt stable objects on Fano 3-folds. Consequently, we establish our modified Bogomolov-Gieseker type inequality conjecture for general Fano 3-folds, including an optimal inequality for the blow-up of $P^3$ at a point.

研究の動機と目的

• 特定のFano 3-fold（例：$\mathbb{P}^3$ の一点での吹き上げ）において、[BMT] で提示された元のボゴモロフ＝ギエーゼッカー型不等式予想が失敗することを是正するため。
• 元の不等式に追加の補正項 $\xi$ と有理クラス $\Lambda \in H^4(X,\mathbb{Q})$（$\Lambda \cdot H = 0$ を満たす）を組み込んだ修正版を構築し、任意の滑らかな射影的3次元多様体にブリジゲランド安定構造を構成可能にするため。
• 修正された不等式の検証を、すべてのティルト安定対象ではなく、有限個のクラスに制限する——具体的には $\overline{\beta}_A$-安定対象に限定することで、問題の複雑さを大幅に軽減するため。
• すべての一般Fano 3-foldに対して、修正された不等式が成り立つことを確立する。特に $\mathbb{P}^3$ の一点での吹き上げという最適なケースを含む。
• Li よりも、Bernardara-Macr\'{i}-Schmidt-Zhao の手法を拡張し、Fano 3-fold 上のティルト安定対象に対して強い形のボゴモロフ＝ギエーゼッカー不等式を定式化するため。

提案手法

• 補正項 $\Lambda - \left(\xi + \frac{1}{6}\alpha^2\right)H^2$ を含む修正された判別式不変量 $D^{B,\xi}_{\alpha,\beta}(E)$ を導入。ここで $\Lambda$ は $\frac{c_2(X)}{12} - \frac{c_2(X) \cdot H}{12H^3}H^2$ として選定される。
• 連続関数 $A: B + \mathbb{R}\langle H\rangle \to \mathbb{R}_{\geq 0}$ を定義し、$\overline{\beta}_A$-安定性の概念を導入。これは、$\overline{\beta}$-値の集合を表し、その周囲でティルト安定性条件が保存される。
• 修正されたボゴモロフ＝ギエーゼッカー不等式予想（予想1.1）が、$\overline{\beta}_A$-安定対象でのみ不等式を検証すれば十分である（予想1.2）と等価であることを証明。これにより、検証の負担が著しく軽減される。
• ティルト安定性理論と $\nu_{H,B+\beta H,\alpha}$-勾配関数を用いて、カテゴリ $\mathcal{B}_{H,B+\beta H}$ 内の対象の安定性を分析。これにより、中心的質量と t-構造のハートとの関係を明確化する。
• チャーン特徴類の操作と有理コホモロジークラスの理論を用い、安定パラメータの変形下での $D^{B,\xi}_{\alpha,\beta}(E)$ の挙動を分析する高度な代数的幾何的手法を適用。
• 不等式がすべての一般Fano 3-foldで成り立つことを、有限個のテスト対象に還元し、付録で明示的な多項式解析と正値性の議論により検証することで証明。

実験結果

リサーチクエスチョン

• RQ1 元のボゴモロフ＝ギエーゼッカー型不等式予想は、$\mathbb{P}^3$ の一点での吹き上げなど、元の予想が失敗するケースを含むすべてのFano 3-fold に対して、修正可能か？
• RQ2 修正された不等式の検証を、すべてのティルト安定対象ではなく、有限で明確なクラス（具体的には $\overline{\beta}_A$-安定対象）に制限することは可能か？
• RQ3 一般Fano 3-fold に対して修正された不等式が成り立つように保証する最適な補正クラス $\Lambda \in H^4(X,\mathbb{Q})$（$\Lambda \cdot H = 0$ を満たす）は何か？
• RQ4 修正された不等式は、任意の滑らかな射影的3次元多様体に1パラメータ族のブリジゲランド安定構造の存在を示唆するか？
• RQ5 Li よりも、Bernardara-Macr\'{i}-Schmidt-Zhao の手法を拡張し、Fano 3-fold 上のティルト安定対象に対して強い形のボゴモロフ＝ギエーゼッカー不等式を証明することは可能か？

主な発見

• 修正されたボゴモロフ＝ギエーゼッカー型不等式予想は、元の予想が失敗する $\mathbb{P}^3$ の一点での吹き上げを含む、すべての一般Fano 3-fold で成り立つ。
• 補正項 $\Lambda = \frac{c_2(X)}{12} - \frac{c_2(X) \cdot H}{12H^3}H^2$ は最適であり、ピカール数1のFano 3fold やアーベル3fold では消える。
• 修正された不等式の検証は、$\overline{\beta}_A$-安定対象に限定すれば十分であり、問題の複雑さが著しく軽減される。
• 修正された不等式は、[BMT] での構成により、任意の滑らかな射影的3次元多様体に1パラメータ族のブリジゲランド安定構造の存在を示唆する。
• $\mathbb{P}^3$ の一点での吹き上げに対して、修正された不等式は、シュミットが発見した反例を是正する最適な境界を与える。
• 証明は、付録における多項式不等式の詳細な解析に依拠しており、修正された判別式下でのチャーン特徴類の特定の組み合わせの非負性を示している。