Stability conditions on threefolds

技术摘要：三维流形的稳定性条件

问题陈述
本文研究了光滑射影三维流形 $X \subset \mathbb{P}^n$ 上 Bridgeland 稳定性条件的构造与刻画。具体而言，本文探讨了两种定义这些稳定性条件的截然不同的方法之间的关系：

1. “Li 条件”方法： $\mathbb{P}^n$ 上的稳定性条件（由 Li [Li26] 基于 Liu 的工作 [Liu21] 构造），这些条件满足特定的相位条件，从而允许它们下降（限制）到光滑子流形 $X$ 上的稳定性条件。
2. 双次倾斜构造（Double-Tilt Construction）： 通过 Bayer–Macrì–Toda [BMT14] 引入的通过双次倾斜过程获得的稳定性条件的内核，该构造被猜想在与特定中心电荷配对时，能在 $X$ 上定义一个稳定性条件。

核心问题在于，通过限制 Li 在 $\mathbb{P}^n$ 上的条件而诱导出的 $X$ 上的稳定性条件，是否与通过 Bayer–Macrì–Toda (BMT) 双次倾斜构造得到的稳定性条件一致。解决这一等价性问题，可以将“弱 BMT 猜想”（关于倾斜半稳定对象的 Bogomolov 型不等式）作为稳定性条件存在的推论，而非其前提条件。

方法论
作者结合了范畴下降、稳定性流形上的度量分析以及几何归约技术：

1. 稳定性流形上的度量控制：
   作者分析了椭圆曲线乘积 $C^n$ 上稳定性条件 $\sigma_{a,b}$ 与 $\sigma_{a, b+\Delta b}$ 之间的距离（使用 Liu 的构造 [Liu21]）。通过利用 Bridgeland 的广义度量并分析中心电荷关于参数 $b$ 的导数，作者建立了一个对象在与线丛进行张量积后的相位偏移的上界。具体而言，他们证明了对于足够大的 $a$，相位偏移 $\phi(E \otimes \mathcal{O}(m)) - \phi(E)$ 严格小于 1。

2. 下降至射影空间及子流形：
   利用商映射 $\pi: C^n \to \mathbb{P}^n$，作者将稳定性条件提升到 $\mathbb{P}^n$。随后，他们应用 Li 的限制定理 [Li26]，该定理指出，如果满足“Li 条件”（即在与 $X$ 的理想层张量积下的相位偏移界限），则 $\mathbb{P}^n$ 上的稳定性条件可以限制到光滑子流形 $X$。
   为了确保该条件成立，作者引入了一个不变量 $m(X \xrightarrow{\iota} \mathbb{P}^n)$，该不变量源自由分裂向量丛构成的 $\mathcal{I}_{X/\mathbb{P}^n}$ 的极小分解。他们证明，若参数 $a$ 满足 $a > \frac{n}{\pi} m(X \xrightarrow{\iota} \mathbb{P}^n)$，则限制后的 $\sigma^X_{a,b}$ 是一个有效的 Bridgeland 稳定性条件。

3. 维度归约与心（Heart）的识别：
   对于 $X$ 为三维流形的情况，作者分析了限制后稳定性条件的 $\mathcal{A}^X_{a,b}$。他们利用超平面截面 $S \subset X$ 将问题归约为曲面情形（在曲面情形下，其心已知为 $\text{Coh}(S)$ 的单次倾斜）。通过比较限制后的心中对象的上同调性质与 BMT 构造中定义的斜率函数，他们证明了这两个心是完全一致的。

主要贡献与结果

• 定理 1.1（相位界限）： 作者证明了对于 $a > \frac{mn}{\pi}$，任何非零对象 $E \in D^b(\mathbb{P}^n)$ 均满足 $\phi^-_{a,b}(E \otimes \mathcal{O}_{\mathbb{P}^n}(m)) < \phi^-_{a,b}(E) + 1$。这确立了 $\mathbb{P}^n$ 上稳定性条件族的“Li 条件”。
• 定理 1.2（构造的等价性）： 对于光滑射项目三维流形 $X$ 以及满足 $a > a(X, H)$（其中 $a(X, H)$ 通过不变量 $m(X \xrightarrow{\iota} \mathbb{P}^n)$ 定义）的参数，诱导稳定性条件的 $\mathcal{A}^X_{a,b}$ 与 Bayer–Macrì–Toda 定义的双次倾斜心 $(\text{Coh}(X)^{Z^{(1)}_b})^{Z^{(2)}_{a,b}}$ 完全一致。
• 推论 1.3（弱 BMT 猜想）： 作为定理 1.2 中等价性的直接结果，作者证明了三维流形的弱 BMT 猜想。具体而言，对于在第一次倾斜中满足特定斜率相等的 $Z^{(2)}_{a,b}$-半稳定对象 $E$，不等式 $\text{ch}^{bH}_3(E) < \frac{a^2}{2} H^2 \text{ch}^{bH}_1(E)$ 成立。
• 度量界限： 本文提供了关于参数 $a$ 和 $b$ 的 $C^n$ 与 $\mathbb{P}^n$ 上稳定性条件之间距离的显式界限，并对先前的估计进行了精细化。

意义与主张
本文声称在证明 Castelnuovo 型不等式（如 BMT 猜想）的哲学上取得了显著转变。传统上，此类不等式是通过底层流形的几何性质来推导稳定性条件的存在；相比之下，这项工作展示了：

1. $\mathbb{P}^n$ 上的稳定性条件可以纯粹通过范畴论方式构造（通过从椭圆曲线乘积下降）。
2. 这些条件在参数满足显式数值条件时，可以限制到光滑子流形 $X$。
3. 这些稳定性条件的存在性蕴含了 BMT 型不等式作为其推论。

作者强调，他们的结果证实了如下预测：即对于足够大的 $a$，BMT 双次倾斜构造会产生一个有效的稳定性条件，从而在不需要预先证明不等式的情况下，验证了三维流形的范畴框架。这项工作依赖于 Polishchuk [Pol07]、Liu [Liu21] 和 Li [Li26] 的基础构造，将其结果扩展到了三维流形的特定语境，并建立了“Li 条件”与“BMT 心”之间的精确联系。