[论文解读] Topologies on a triangulated category

So Okada|ArXiv.org|Jan 18, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 3

一句话总结

本文引入了一种在带有稳定性条件的三角范畴的对象上定义的拓扑结构，利用中心电荷来定义这一拓扑。在忠实或数值忠实的稳定性条件下，该拓扑与格罗滕迪克群或数值格罗滕迪克群相容，并证明了在该拓扑下，对象的空间是连通的。

ABSTRACT

On objects of a triangulated category with a stability condition, we construct a topology.

研究动机与目标

• 通过稳定性条件的中心电荷，为三角范畴的对象定义一个拓扑。
• 在忠实或数值忠实的稳定性条件下，建立该拓扑与格罗滕迪克群或数值格罗滕迪克群的相容性。
• 在诱导拓扑下，证明带有稳定性条件的三角范畴中对象空间的连通性。
• 分析中心电荷预像的结构，特别是半稳定对象及其S-等价类。

提出的方法

• 利用中心电荷映射在三角范畴的对象集合上定义一个拓扑，将相位视为拓扑坐标。
• 使用哈勒-纳拉西姆汉过滤和若尔当代数分解来分析半稳定对象及其循环的结构。
• 引入忠实和数值忠实稳定性条件的概念，以确保在 $K({\rm T})_{{\bf Q}}$ 或 $N({\rm T})_{{\bf Q}}$ 中线性无关对象具有不同的相位。
• 分析对象 $E$ 的预像 $\tilde{Z}^{-1}(\tilde{Z}(E))$，证明在忠实条件下，此类预像同构于 $\mathbb{P}^1$ 上点对象的直和。
• 应用自同构和扭转函子（例如 $T_{{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)}$）来关联不同相位的对象，并保持拓扑结构。
• 利用欧拉配对及负度和高阶中同态空间的消失性，限制可能的扩张，并证明某些态射空间的平凡性。

实验结果

研究问题

• RQ1 如何在带有稳定性条件的三角范畴的对象上自然地定义一个拓扑？
• RQ2 在何种条件下该拓扑与格罗滕迪克群或数值格罗滕迪克群相容？
• RQ3 在诱导拓扑下，带有稳定性条件的三角范畴中对象空间是否连通？
• RQ4 半稳定对象的中心电荷映射预像具有何种结构？
• RQ5 自同构和扭转函子如何影响对象的拓扑结构？

主要发现

• 通过中心电荷诱导的拓扑使三角范畴中对象的空间连通。
• 在忠实稳定性条件下，预像 $\tilde{Z}^{-1}(\tilde{Z}(E))$ 由 $\mathbb{P}^1$ 上点对象的直和构成（模去S-等价和自同构）。
• 当 $\sigma$ 为数值忠实条件时，该拓扑与数值格罗滕迪克群 $N({\mathcal{T}})$ 相容。
• 对同相位的稳定对象 $E$ 和 $\mathcal{O}_x$，欧拉配对 $\chi(E, E)$ 消失，意味着 $\dim\operatorname{Hom}^1(E, \mathcal{O}_x) = 0$。
• 哈勒-纳拉西姆汉过滤确保：若 $[E_x] = [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w-1)[1]] + [{\mathcal{O}}_{{\mathbb{P}}^{1}}(w)]$，则对象 $E_x$ 必为半稳定，因为其因子之间不存在非平凡态射。
• 当 $|n| > 1$ 时，若在 $K({\mathcal{T}})$ 中有 $[E] = n[\mathcal{O}_x]$ 的半稳定对象 $E$，则其若尔当代数分解的合成因子同构于 $\mathcal{O}_x$，故 $E$ 与 $n$ 重点对象的直和S-等价。