[论文解读] General heart construction on a triangulated category (II): Associated cohomological functor

Noriyuki Abe, Hiroyuki Nakaoka|ArXiv.org|Oct 14, 2009

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

一句话总结

本论文从任意三角范畴构造到任意 torsion 对心的上同调函子，统一了与 t-结构和簇倾斜子范畴相关的经典上同调函子。关键贡献是通过 X[1] 与 Y 的交集构造商，得到一个泛化的典范上同调函子 H: C → H̲，该函子同时推广了已知的两种情形。

ABSTRACT

In the preceding part (I) of this paper, we showed that for any torsion pair (i.e., $t$-structure without the shift-closedness) in a triangulated category, there is an associated abelian category, which we call the heart. Two extremal cases of torsion pairs are $t$-structures and cluster tilting subcategories. If the torsion pair comes from a $t$-structure, then its heart is nothing other than the heart of this $t$-structure. In this case, as is well known, by composing certain adjoint functors, we obtain a cohomological functor from the triangulated category to the heart. If the torsion pair comes from a cluster tilting subcategory, then its heart coincides with the quotient category of the triangulated category by this subcategory. In this case, the quotient functor becomes cohomological. In this paper, we unify these two constructions, to obtain a cohomological functor from the triangulated category, to the heart of any torsion pair.

研究动机与目标

• 将 t-结构与簇倾斜子范畴的上同调函子构造推广至三角范畴中的任意 torsion 对。
• 为三角范畴 C 中的任意 torsion 对 (X,Y) 定义一个典范上同调函子 H: C → H̲。
• 通过心构造，将两种极端情形——t-结构与簇倾斜子范畴——统一于同一框架之中。
• 证明所得函子 H 是上同调的，即在由典范三角形诱导的长正合序列中保持正合性。

提出的方法

• 将心 H̲ 定义为 (C⁺ ∩ C⁻)/W，其中 W = X[1] ∩ Y，且 C⁺、C⁻ 是通过典范三角形定义的子范畴。
• 通过复合商函子 C → C/W 与包含映射 H̲ ⊆ C/W，构造函子 H: C → H̲。
• 利用八面体公理，将 C 中的典范三角形与商范畴 C/W 中的诱导三角形关联起来。
• 通过验证任意典范三角形 A → B → C → A[1] 诱导的序列 H(A) → H(B) → H(C) 的正合性，证明 H 是上同调的。
• 证明 H(C) = 0 当且仅当每个从 X ∈ X 到 C 的态射都可分解为某个 X₀[1] ∈ X[1] ∩ Y 的态射。
• 利用商范畴 C/W 及 X 与 Y 之间的正交性，确保 H 的良好定义性与正合性。

实验结果

研究问题

• RQ1 能否从三角范畴构造一个到任意 torsion 对心的上同调函子，从而推广 t-结构与簇倾斜子范畴的已知构造？
• RQ2 torsion 对的心如何与 t-结构的经典心及模簇倾斜子范畴的商范畴相关联？
• RQ3 什么条件能确保诱导函子 H: C → H̲ 是上同调的，即保持长正合序列中的正合性？
• RQ4 函子 H 的核是什么？它能否用通过 W = X[1] ∩ Y 的分解特性来刻画？

主要发现

• 函子 H: C → H̲ 是上同调的，意味着它保持由典范三角形诱导的序列的正合性。
• 当 (X,Y) 是 t-结构时，H 与 t-结构心的经典上同调函子一致。
• 当 (X,Y) 由簇倾斜子范畴 T = X[1] = Y 生成时，H 同构于商函子 C → C/T。
• H 的核恰好由所有满足：从 X ∈ X 到 C 的每个态射都可分解为 X[1] ∩ Y 中某个对象的态射的对象 C 组成。
• 心 H̲ 是一个交换范畴，且该构造将 t-结构与簇倾斜子范畴的情形统一于单一框架之中。
• H 的上同调性质通过八面体公理及商范畴 C/W 中序列的正合性得以证明。