[论文解读] Hearts of twin Cotorsion pairs on extriangulated categories

Yu Liu, Hiroyuki Nakaoka|arXiv (Cornell University)|Feb 1, 2017

Algebraic structures and combinatorial models参考文献 16被引用 6

一句话总结

本文建立了一套统一框架，用于研究扩张范畴中余挠对的上心——该框架推广了精确范畴与三角范畴——证明了上心是阿贝尔的，并构建了到该上心的上同调函子。关键结果表明，当扩张范畴具有足够多的投射对象时，上心与余心模上投射对象的相干函子范畴等价，且 $n$-簇倾斜子范畴诱导出一族余挠对，其上心彼此等价。

ABSTRACT

In this article, we study the heart of a cotorsion pairs on an exact category and a triangulated category in a unified meathod, by means of the notion of an extriangulated category. We prove that the heart is abelian, and construct a cohomological functor to the heart. If the extriangulated category has enough projectives, this functor gives an equivalence between the heart and the category of coherent functors over the coheart modulo projectives. We also show how an n-cluster tilting subcategory of an extriangulated category gives rise to a family of cotorsion pairs with equivalent hearts.

研究动机与目标

• 使用扩张范畴的框架，统一研究精确范畴与三角范畴中余挠对的上心。
• 证明在扩张范畴中，余挠对的上心是阿贝尔的，推广了精确与三角范畴中的已知结果。
• 构建从扩张范畴到上心的上同调函子，提供同调桥梁。
• 当范畴具有足够多的投射对象时，建立上心与余心模上投射对象的相干函子范畴之间的等价关系。
• 证明 $n$-簇倾斜子范畴可诱导出一族余挠对，其上心彼此等价，从而将高阶同调代数与倾斜理论联系起来。

提出的方法

• 使用扩张范畴作为统一精确与三角范畴的框架。
• 定义并分析孪余挠对，通过伴随性质与扩张结构证明其上心是半阿贝尔的。
• 将研究特化到单个余挠对，证明其上心是阿贝尔的，且相关函子为上同调函子。
• 引入余心与余挠对的核，并建立上心具有足够多投射对象的条件。
• 证明当扩张范畴具有足够多的投射对象时，上心与余心模上投射对象的相干函子范畴等价。
• 从 $n$-簇倾斜子范畴构造一族余挠对，通过核心与余心结构证明其上心彼此等价。

实验结果

研究问题

• RQ1 如何在精确与三角范畴之间统一余挠对上心的理论？
• RQ2 在扩张范畴中，余挠对的上心在何种条件下是阿贝尔的？
• RQ3 余挠对的上心在何种条件下具有足够多的投射对象，且其与余心模上投射对象的相干函子范畴有何关系？
• RQ4 扩张范畴中的 $n$-簇倾斜子范畴如何诱导出一族上心彼此等价的余挠对？
• RQ5 核与余心在决定余挠对上心的结构与等价性中起什么作用？

主要发现

• 在扩张范畴中，余挠对的上心是阿贝尔的，推广了精确与三角范畴中的结果。
• 构建了从扩张范畴到上心的上同调函子，提供了同调联系。
• 当扩张范畴具有足够多的投射对象时，上心与余心模上投射对象的相干函子范畴等价。
• 上心具有足够多的投射对象，当且仅当余挠对的核满足与余心相关的特定条件。
• $n$-簇倾斜子范畴诱导出 $n-1$ 个余挠对，其上心全部彼此等价，且每个都与 $\operatorname{mod}(\mathcal{M}/\mathcal{P})$ 等价。
• 从 $n$-簇倾斜子范畴诱导出的所有余挠对共享相同的核 $\Sigma^{\ell-1}\mathcal{M}$ 与余心 $\mathcal{M}$，从而导致上心等价。