[论文解读] Compact Corigid Objects in Triangulated Categories and Co-t-structures

David Pauksztello|ArXiv.org|May 1, 2007

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

一句话总结

本文引入了在三角范畴中由紧致共刚性对象诱导的 co-t-结构，其为由刚性对象诱导的 t-结构的对偶。证明了此类 co-t-结构是非退化的，且其 coheart 与该共刚性对象的自同态代数的对偶范畴等价，从而构成一个同调子范畴。

ABSTRACT

In the work of Hoshino, Kato and Miyachi, the authors look at t-structures induced by a compact object, C, of a triangulated category, T, which is rigid in the sense of Iyama and Yoshino. Hoshino, Kato and Miyachi show that such an object yields a non-degenerate t-structure on T whose heart es equivalent to Mod(End(C)^op). Rigid objects in a triangulated category can be thought of as behaving like chain differential graded algebras (DGAs). Analogously, looking at objects which behave like cochain DGAs naturally gives the dual notion of a corigid object. Here, we see that a compact corigid object, S, of a triangulated category, T, induces a structure similar to a t-structure which we shall call a co-t-structure. We also show that the coheart of this non-degenerate co-t-structure is equivalent to Mod(End(S)^op), and hence an abelian subcategory of T.

研究动机与目标

• 发展刚性对象诱导的 t-结构的对偶理论，聚焦于行为类似共链 DGA 的对象。
• 定义并研究 co-t-结构作为三角范畴中 t-结构的对偶概念。
• 建立 co-t-结构的 coheart 为同调范畴的条件。
• 通过紧致共刚性对象，将 Hoshino、Kato 和 Miyachi 关于 t-结构的结果推广至共链情形。
• 证明由紧致共刚性对象诱导的非退化 co-t-结构的 coheart 与 Mod(End(S)^op) 等价。

提出的方法

• 引入 co-t-结构的概念，作为 t-结构的对偶，通过正交类别与余正交性定义。
• 在三角范畴 T 中定义紧致共刚性对象 S 为满足对所有 i < 0 有 Hom(S, Σ^i S) = 0，且 {Σ^i S | i ∈ ℤ} 生成 T 的对象。
• 构造 co-t-结构 (X, Y)，其中 X = {X ∈ T | Hom(S, Σ^i X) = 0 对所有 i < 0}，Y = {X ∈ T | Hom(S, Σ^i X) = 0 对所有 i > 0}。
• 通过从 C 到 Mod(End(S)^op) 的函子 Hom(S, -) 证明 X ∩ Y 中的对象构成的全子范畴 C 为同调范畴。
• 利用紧致性与生成性质，证明函子 Hom(S, -): C → Mod(End(S)^op) 的全满性与本质满性。
• 通过余积的普遍性质与交换图表，证明 Hom(S, -) 为满且忠实，从而得到范畴等价。

实验结果

研究问题

• RQ1 如何在三角范畴中对行为类似共链 DGA 的对象，将 t-结构理论进行对偶化？
• RQ2 一个紧致共刚性对象在三角范畴中诱导出何种结构，其与 t-结构有何关联？
• RQ3 在何种条件下，co-t-结构的 coheart 为同调范畴？
• RQ4 非退化 co-t-结构的 coheart 是否与生成对象的自同态代数的对偶范畴等价？
• RQ5 能否通过紧致共刚性对象，建立 Hoshino、Kato 和 Miyachi 关于 t-结构定理的对偶版本？

主要发现

• 三角范畴 T 中的紧致共刚性对象 S 诱导出 T 上的一个非退化 co-t-结构。
• 该 co-t-结构的 coheart（即两个半结构的交集）与 Mod(End(S)^op) 等价。
• 限制在 coheart 上的函子 Hom(S, -) 为范畴等价，因此 coheart 为同调范畴。
• 证明依赖于 S 的紧致性以及 {Σ^i S | i ∈ ℤ} 的生成性质，以建立 Hom(S, -) 的全满性。
• 通过证明函子 Hom(S, -) 为全满且本质满，表明 coheart 为同调范畴。
• 该结果建立了 Hoshino、Kato 和 Miyachi 关于 t-结构定理的对偶版本，现适用于 co-t-结构与共刚性对象。