[论文解读] 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

一句话总结

本文提出了法诺 3- folds 的一种修正的 Bogomolov-Gieseker 型不等式猜想，引入了一个可调的修正项，涉及一个满足 $\Omega \cdot H = 0$ 的有理类 $\Omega \in H^4(X,\mathbb{Q})$ 和一个非负参数 $\xi$。作者证明，仅需验证特定类别的 $\overline{\beta}_A$-稳定对象的不等式，即可确立该猜想，并证明该修正不等式对所有一般法诺 3- folds 成立，包括原始猜想失效的 $\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.

研究动机与目标

• 为解决 [BMT] 中某些法诺 3- folds（如 $\mathbb{P}^3$ 点上爆破）的原始 Bogomolov-Gieseker 型不等式猜想的失效问题。
• 开发不等式的修正版本，引入额外的修正项 $\xi$ 和一个满足 $\Lambda \cdot H = 0$ 的有理类 $\Lambda \in H^4(X,\mathbb{Q})$，从而在任意光滑射影 3- fold 上构造 Bridgeland 稳定结构。
• 将修正不等式的验证简化为有限类对象——具体而言，$\overline{\beta}_A$-稳定对象——从而显著简化问题。
• 为所有一般法诺 3- folds 建立修正不等式，包括 $\mathbb{P}^3$ 点上爆破的最优情形。
• 将 Li 与 Bernardara-Macr\'{i}-Schmidt-Zhao 的技术扩展，为法诺 3- folds 上的 tilt-稳定对象建立 Bogomolov-Gieseker 不等式的强形式。

提出的方法

• 引入一个包含修正项 $\Lambda - \left(\xi + \frac{1}{6}\alpha^2\right)H^2$ 的修正判别式不变量 $D^{B,\xi}_{\alpha,\beta}(E)$，该修正项作用于 $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$-稳定性的概念，该概念捕捉了在邻域内保持 tilt 稳定性条件的 $\overline{\beta}$-值集合。
• 证明修正的 Bogomolov-Gieseker 不等式猜想（猜想 1.1）等价于仅在 $\overline{\beta}_A$-稳定对象上验证该不等式（猜想 1.2），从而显著减轻验证负担。
• 利用 tilt 稳定性理论和 $\nu_{H,B+\beta H,\alpha}$-斜率函数分析范畴 $\mathcal{B}_{H,B+\beta H}$ 中对象的稳定性，并将其与中心化荷及 t-结构的心联系起来。
• 应用高级代数几何技术，包括陈示性类的运算和有理上同调类，分析稳定性参数变形下 $D^{B,\xi}_{\alpha,\beta}(E)$ 的行为。
• 通过将问题约化为有限组测试对象，并在附录中通过显式多项式分析和正性论证验证不等式，证明该不等式对所有一般法诺 3- folds 成立。

实验结果

研究问题

• RQ1 原始 Bogomolov-Gieseker 型不等式猜想能否被修正，使其对所有法诺 3- folds 成立，包括其失效的情形（如 $\mathbb{P}^3$ 点上爆破）？
• RQ2 是否可以将修正不等式的验证简化为有限且明确定义的对象类——具体而言，$\overline{\beta}_A$-稳定对象，而非所有 tilt-稳定对象？
• RQ3 在满足 $\Lambda \cdot H = 0$ 的条件下，使修正不等式对一般法诺 3- folds 成立的最优修正类 $\Lambda \in H^4(X,\mathbb{Q})$ 是什么？
• RQ4 修正不等式是否意味着在任意光滑射影 3- fold 上存在一参数族的 Bridgeland 稳定结构？
• RQ5 Li 与 Bernardara-Macr\'{i}-Schmidt-Zhao 的技术能否被扩展，以证明法诺 3- folds 上 tilt-稳定对象的 Bogomolov-Gieseker 不等式的强形式？

主要发现

• 修正的 Bogomolov-Gieseker 型不等式猜想对所有一般法诺 3- folds 成立，包括原始猜想失效的 $\mathbb{P}^3$ 点上爆破情形。
• 修正项 $\Lambda = \frac{c_2(X)}{12} - \frac{c_2(X) \cdot H}{12H^3}H^2$ 是最优的，且在 Picard 滞度为一的法诺 3- folds 及阿贝尔 3- folds 上消失。
• 修正不等式的验证可简化为仅检查 $\overline{\beta}_A$-稳定对象，从而显著简化问题。
• 修正不等式意味着通过 [BMT] 中的构造，在任意光滑射影 3- fold 上存在一参数族的 Bridgeland 稳定结构。
• 对于 $\mathbb{P}^3$ 点上爆破的情形，修正不等式提供了最优界，纠正了 Schmidt 发现的反例。
• 证明依赖于附录中对多项式不等式的详细分析，表明在修正判别式下，某些陈示性类组合的非负性。