[论文解读] 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} $，使得对于固定的数值类型，当 $ m \geq \widetilde{M} $ 时，极小墙不再存在。
• 根据Gieseker/Simpson半稳定层与Uhlenbeck紧化空间，对多项式Bridgeland半稳定对象进行分类。
• 通过证明在通用阈值之后的等价性，强化Bayer关于Bridgeland稳定性大体积极限的结果。

提出的方法

• 通过参数 $ m \in (0, \infty) $ 参数化Bridgeland稳定性条件 $ (Z_m, \mathcal{P}_m) $，并集中关注该区间内的极小墙。
• 利用一个通用上界控制在区间 $ [a, \infty) $ 内定义极小墙的对象 $ A $ 的秩 $ \text{rk}(A) $，该上界仅依赖于区间和数值类型。
• 应用Bayer证明技术的扩展版本，证明当 $ m \geq \widetilde{M} $ 时，$ (Z_m, \mathcal{P}_m) $-半稳定性与 $ (Z_\Omega, \mathcal{P}_\Omega) $-半稳定性一致。
• 通过 $ \mu_\omega $-稳定性与 $ \mu_\omega $-半稳定性的层，结合S-等价关系与对偶化，对 $ \overline{\mathfrak{M}}_\Omega(\mathfrak{t}) $ 进行分类。
• 根据秩的符号，构造多项式Bridgeland半稳定对象模空间与Gieseker/Simpson模空间或Uhlenbeck紧化空间之间的同构。
• 利用 $ \mathcal{P}_\Omega((0,1]) $ 中的正合列，分析大 $ m $ 极限下的Harder-Narasimhan滤子与稳定性条件。

实验结果

研究问题

• RQ1 对于固定的数值类型，参数空间 $ (0, \infty) $ 中的极小墙集合是否局部有限？
• RQ2 是否存在一个通用常数 $ \widetilde{M} $，使得当 $ m \geq \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}}) $。