[论文解读] Stability conditions and crepant small resolutions

Yukinobu Toda|ArXiv.org|Dec 29, 2005

Geometry and complex manifolds参考文献 15被引用 6

一句话总结

本文构建了与三维共形小解析相关的三角范畴上的稳定性条件空间，表明该空间具有墙结构，其中每面墙对应一个双有理模型及一种特殊的傅里叶-穆凯伊变换。该空间是有限维向量空间一个开子集上的覆盖空间，其提升变换由解析图中的翻转（flop）决定。

ABSTRACT

In this paper, we describe the spaces of stability conditions on the triangulated categories associated to three dimensional crepant small resolutions. The resulting spaces have chamber structures such that each chamber corresponds to a birational model together with a special Fourier-Mukai transform. We observe these spaces are covering spaces over certain open subsets of finite dimensional vector spaces, and determine their deck transformations.

研究动机与目标

• 描述与三维共形小解析 $f: X \to Y$ 相关的三角范畴 $\mathcal{D}_{X/Y}$ 上的稳定性条件空间。
• 理解稳定性条件如何与双有理几何相关，特别是通过翻转和傅里叶-穆凯伊伙伴。
• 证明空间 $\mathop{\rm Stab}\nolimits(X/Y)$ 是有限维向量空间一个开子集上的覆盖空间。
• 确定该覆盖的提升变换，将其与解析图上翻转的作用相联系。
• 提供一个数学框架，将布里吉兰德稳定性条件与弦理论模空间及最小模型程序相联系。

提出的方法

• 将三角范畴 $\mathcal{D}_{X/Y} \subset D^b(X)$ 定义为在例外曲线 $C$ 上有支撑的全子范畴。
• 使用布里吉兰德在 $\mathcal{D}_{X/Y}$ 上的稳定性条件 $(Z, \mathcal{P}$) 的概念，要求中心电荷 $Z: K(\mathcal{D}_{X/Y}) \to \mathbb{C}$ 和切片 $\mathcal{P}(\phi)$ 满足公理。
• 构造由 $\beta + i\omega \in \mathcal{W}_i$ 参数化的稳定性条件，其中中心电荷为 $Z_{(\beta,\omega)}(E) = \int_X e^{-(\beta + i\omega)} \cdot \mathop{\rm ch}\nolimits(E)$。
• 分析当 $\omega_n = \omega + \frac{1}{n}D_i$ 时稳定性条件的极限，其中 $D_i$ 是例外支集中的有理曲线。
• 利用上同调的长正合列及 $\mathop{\rm {}^0Per}(X/Y_i)$-范畴的性质，控制相位收敛。
• 应用引理 6.4，证明当 $n \to \infty$ 时，相位 $\phi_n(E)$ 一致收敛至 $\phi(E)$，从而确保极限中稳定性得以保持。

实验结果

研究问题

• RQ1 在 $\mathcal{D}_{X/Y}$ 上的稳定性条件如何与共形解析 $X \to Y$ 的双有理几何相关？
• RQ2 空间 $\mathop{\rm Stab}\nolimits(X/Y)$ 的全局结构是什么？它如何反映多个小解析的存在？
• RQ3 不同小解析之间的翻转如何在稳定性条件空间中体现？
• RQ4 空间 $\mathop{\rm Stab}\nolimits(X/Y)$ 是否可描述为有限维向量空间一个开子集上的覆盖空间？其提升变换是什么？
• RQ5 傅里叶-穆凯伊变换在联系不同小解析上的稳定性条件中起什么作用？

主要发现

• 空间 $\mathop{\rm Stab}\nolimits(X/Y)$ 具有墙结构，其中每面墙对应于 $Y$ 的一个双有理模型及一种特殊的傅里叶-穆凯伊变换。
• 空间 $\mathop{\rm Stab}\nolimits(X/Y)$ 是有限维向量空间一个开子集上的覆盖空间，覆盖映射由中心电荷 $Z$ 诱导。
• 该覆盖的提升变换由解析图上翻转的作用实现，对应于稳定性条件的变异（mutation）。
• 对任意 $\varepsilon > 0$，存在 $M' > 0$，使得对所有 $n > M'$，$\sigma$-稳定对象 $E$ 的相位 $\phi_n(E)$ 一致收敛至 $\phi(E)$，从而确保极限中稳定性保持不变。
• 相位收敛受控于不等式 $|Z_{(\beta,\omega_n)}(F)/Z_{(\beta,\omega)}(F) - 1| < \varepsilon'$ 对所有 $F \in \mathcal{S}$ 满足 $Z_{(\beta,\omega)}(F) \neq 0$，且在 $F$ 上一致成立。
• 对于稳定对象集合 $\mathcal{S}$ 中的 $F$，中心电荷 $Z_{(\beta,\omega)}(F)$ 远离零点，确保相位收敛的非退化性。