[论文解读] Stability data and t-structures on a triangulated category

A. Gorodentscev, Sergej Alekseevich Kuleshov+1 more|ArXiv.org|Dec 24, 2003

Algebraic structures and combinatorial models参考文献 9被引用 13

一句话总结

本文引入了t-稳定性，这是三角范畴中一种广义的稳定性概念，通过去除对中心电荷和实数索引的依赖，扩展了Bridgeland的稳定性数据。它建立了t-稳定性与t-结构之间的对应关系，从而对$D^b(\text{Coh}\mathbb{P}^1)$和椭圆曲线$C_1$上的有界t-结构进行了完整分类，方法基于Harder-Narasimhan滤子和 torsion 对。

ABSTRACT

We propose the notion of stability on a triangulated category that is a generalization of the T.Bridgeland's stability data. We establish connections between stabilities and t-structures on a category and as application we get the classification of bounded t-structures on the bounded derived category of coherent sheaves on a line.

研究动机与目标

• 通过去除对中心电荷和实数索引的依赖，推广Bridgeland的稳定性数据，引入t-稳定性的新概念。
• 在三角范畴中建立t-稳定性与t-结构之间的结构性联系。
• 利用t-稳定性和Harder-Narasimhan滤子，对$D^b(\text{Coh}\mathbb{P}^1)$上的所有有界t-结构进行完整分类。
• 将分类结果推广至椭圆曲线$C_1$的凝聚层导出范畴，证明所有有界t-结构均源自余倾斜torsion对。
• 证明$D^b(\text{Coh}\thinspace C_1)$上的最细t-稳定性为标准形式，即由曲线上层的斜率稳定性诱导而来。

提出的方法

• 在三角范畴上定义t-稳定性，作为Bridgeland稳定性的一种推广，聚焦于Harder-Narasimhan滤子，无需依赖中心电荷。
• 利用Postnikov系统（称为t-滤子）为每个在t-稳定性下的对象构造规范的HN-滤子。
• 通过Harder-Narasimhan滤子和正合序列上的 seesaw 条件，建立t-稳定性与t-结构之间的对应关系。
• 将该方法应用于$D^b(\text{Coh}\mathbb{P}^1)$，证明t-稳定性对应于斜率集合的有序划分，从而实现对有界t-结构的完整分类。
• 对于椭圆曲线，利用Serre对偶性和稳定层的模空间，证明所有t-稳定性可细化为由斜率稳定性诱导的标准稳定性结构，并通过余倾斜torsion对对t-结构进行分类。
• 利用不可约层的结构和消去Ext条件，证明非分裂扩张与t-稳定性矛盾，从而强制生成元的半稳定性。

实验结果

研究问题

• RQ1 Bridgeland的稳定性数据如何被推广，以消除对中心电荷的依赖，同时保留Harder-Narasimhan滤子等关键结构特征？
• RQ2 在三角范畴中，t-稳定性与t-结构之间的精确关系是什么？
• RQ3 如何对$D^b(\text{Coh}\mathbb{P}^1)$上的有界t-结构进行完整分类？
• RQ4 在椭圆曲线的导出范畴上，t-稳定性如何与曲线上本身斜率稳定性相关联？
• RQ5 是否所有$D^b(\text{Coh}\thinspace C_1)$上的有界t-结构均可通过torsion对描述？如果是，其具体方式是什么？

主要发现

• 本文对$D^b(\text{Coh}\mathbb{P}^1)$上的有界t-结构提供了完整分类，表明其由斜率集合的有序划分参数化。
• 对于光滑椭圆曲线$C_1$，所有有界t-结构均由余倾斜torsion对$(\mathcal{A}(q,P)_1, \mathcal{A}(q,P)_0)$确定，其中$q \in [0,1) \cup \{\infty\}$，且$P \subset \mathfrak{M}_q$是斜率-$q$稳定层模空间的子集。
• 任何$D^b(\text{Coh}\thinspace C_1)$上的t-稳定性均可细化为由曲线上层斜率稳定性诱导的标准稳定性结构。
• 标准t-结构$D^b(\text{Coh}\thinspace C_1)$在分类中对应于$q=0$且$P=\varnothing$的情形。
• 作者证明，$D^b(\text{Coh}\thinspace C_1)$上的任何最细t-稳定性均为标准形式，即通过曲线上层的斜率稳定性诱导而来，其证明基于Serre对偶性和消去Ext群的反证法。
• 在任意t-稳定性下，每个对象均存在规范的Harder-Narasimhan滤子，其各层为半稳定且斜率严格递减，从而推广了经典层的HN-滤子。