[论文解读] Invariants of t-structures and classification of nullity classes

Don Stanley|ArXiv.org|Feb 12, 2006

Algebraic structures and combinatorial models参考文献 8被引用 4

一句话总结

本文通过从整数到诺塞安环谱的专用闭子集的递增函数，为诺塞安环上拟 coherent 复形的导出范畴中的 t-结构和零类构造了一个完整不变量。证明了此类不变量可对 $D_{\text{qc}}(R)$ 中的所有 t-结构进行分类，并表明 $D(\mathbb{Z})$ 中的 t-结构构成一个真类，从而排除了任何有限或集合论分类的可能性。

ABSTRACT

We construct an invariant of t-structures on the derived category of a Noetherian ring. This invariant is complete when restricting to the category of quasi-coherent complexes, and also gives a classification of nullity classes with the same restriction. On the full derived category of $\mathbb Z$ we show that the class of distinct t-structures do not form a set.

研究动机与目标

• 为诺塞安环的导出范畴中的 t-结构构造一个完整不变量。
• 对 $D_{\text{qc}}(R)$，即拟 coherent 复形的导出范畴中的零类进行分类。
• 证明 $D(\mathbb{Z})$ 中的 t-结构不构成一个集合，表明不可能存在有限或集合论意义上的分类。
• 将布什菲尔德的分类哲学从谱推广到环的导出范畴。
• 研究 $D(R)$ 中 t-结构与局部化子范畴之间的结构性差异，突出其复杂性增加。

提出的方法

• 为零类 $\mathcal{A}$ 定义一个不变量 $\phi(\mathcal{A})$，其将 $\mathbb{Z}$ 映射到 $\operatorname{Spec}(R)$ 的专用闭子集。
• 对每个 $n$，将 $\phi(\mathcal{A})(n)$ 计算为 $\tau^{\geq -n}\mathcal{A}$ 生成的厚子范畴的支撑。
• 使用霍普金斯-尼曼对完美复形的厚子范畴的支撑在 $\operatorname{Spec}(R)$ 上的分类。
• 应用零化函子 $P_E$ 从对象 $E$ 构造塔，研究其在 $D_{\text{qc}}(R)$ 上的限制。
• 使用谢拉的阿贝尔群刚性系统构造不可数多个不同的 $P_E$-局部化。
• 证明不同的刚性系统产生不同的零类，通过非零 $P_E$-映射建立真类大小。

实验结果

研究问题

• RQ1 能否使用谱不变量完全分类 $D_{\text{qc}}(R)$ 中的 t-结构？
• RQ2 函数 $\phi: \mathbb{Z} \to \{\text{专用闭子集的集合，} \operatorname{Spec}(R)\}$ 需满足什么条件才能由某个 t-结构导出？
• RQ3 $D(\mathbb{Z})$ 中的 t-结构类是否为真类，从而表明不可能存在集合论分类？
• RQ4 $\overline{C(E)}$-类型塔在限制到 $D_{\text{qc}}(R)$ 时是否仍为塔，其条件是什么？
• RQ5 不变量 $\phi$ 是否可用于对 $D_{\text{qc}}(R)$ 中的所有零类进行分类，且是否为完全不变量？

主要发现

• 不变量 $\phi$ 是 $D_{\text{qc}}(R)$ 中零类与从 $\mathbb{Z}$ 到 $\operatorname{Spec}(R)$ 的专用闭子集的递增函数之间的保序双射。
• 该分类表明 $\phi$ 是 $D_{\text{qc}}(R)$ 中 t-结构的完全不变量。
• $D(\mathbb{Z})$ 中的 t-结构类为真类，而非集合，这是由于存在不可数多个阿贝尔群的刚性系统。
• 对每个阿贝尔群的刚性系统 $\{A_\alpha\}$，$D(\mathbb{Z})$ 中的零类 $\overline{C(A_\alpha)}$ 两两不同。
• 相同构造在三角范畴的谱和拓扑空间中也产生不可数多个不同的零类。
• 提出一个猜想：一个零类是塔当且仅当满足如下条件：若 $p' \in \phi(\mathcal{A})(n)$ 且 $p$ 是 $p'$ 的极大元，则 $p \in \phi(\mathcal{A})(n+1)$。