[论文解读] Half exact functors associated with general hearts on exact categories

Yu Liu|arXiv (Cornell University)|May 7, 2013

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

一句话总结

本文構造了一個從具有足夠投射與內射對象的正合範疇到其與余撓對偶對相關的心範疇的半正合函子，推廣了 Abe 與 Nakaoka 在三角範疇上的構造。主要貢獻在於證明當余撓對由簇叢子範疇誘導時，該函子與標準商函子重合，並提供了一種工具，透過此函子框架來關聯不同的心範疇。

ABSTRACT

In the previous article Hearts of twin cotorsion pairs on exact categories, we introduced the notion of the heart for any cotorsion pair on an exact category with enough projectives and injectives, and showed that it is an abelian category. In this paper, we construct a half exact functor from the exact category to the heart. This is analog of the construction of Abe and Nakaoka for triangulated categories. When the cotorsion pair comes from a cluster tilting subcategory, our half exact functor coincides with the canonical quotient functor from the exact category to the quotient category of it by this cluster tilting subcategory. We will also use this half exact functor to find out the relationship between different hearts.

研究动机与目标

• 將 Abe 與 Nakaoka 在三角範疇上的半正合函子構造推廣至具有足夠投射與內射對象的正合範疇。
• 在正合範疇與其對應的心（一個正合範疇）之間建立函子橋樑。
• 證明當余撓對由簇叢子範疇誘導時，半正合函子與標準商函子重合。
• 利用該函子探討由不同余撓對產生的不同心之間的關係。
• 提供一種系統化的方法，用於比較與關聯正合範疇背景下不同心的性質。

提出的方法

• 利用具有足夠投射與內射對象的正合範疇中余撓對的結構，定義心為一個正合範疇。
• 利用余撓對的性質與相關的分解系統，從原始正合範疇構造至其心的半正合函子。
• 應用同調代數與正合範疇理論的技術，確保函子以受控方式保持半正合性（即在受控方式下保持核與余核）。
• 當余撓對由簇叢子範疇誘導時，建立所構造的半正合函子與標準商函子之間的自然同構。
• 透過分析函子與不同余撓對之間的互動，利用函子比較不同心。
• 依賴雙重余撓對的對偶性與結構，以確保心的定義良好且為正合範疇。

实验结果

研究问题

• RQ1 當範疇具有足夠投射與內射對象時，如何系統性地構造從正合範疇到其心的半正合函子？
• RQ2 在何種條件下，此半正合函子與由簇叢子範疇誘導的標準商函子重合？
• RQ3 半正合函子在關聯由不同余撓對產生的不同心時扮演何種角色？
• RQ4 此函子構造如何在正合心範疇中保持原始正合範疇的結構特徵？
• RQ5 能否利用半正合函子比較或分類不同心的範疇性質？

主要发现

• 成功構造了一個定義良好的半正合函子，從正合範疇到余撓對的心，推廣了先前在三角範疇設定下的構造。
• 當余撓對由簇叢子範疇誘導時，該半正合函子自然同構於模去該子範疇的標準商函子。
• 半正合函子提供了一個範疇工具，可透過共同的函子框架來比較不同心的結構。
• 該構造確認了在具有足夠投射與內射對象的正合範疇中，余撓對的心確實為正合範疇。
• 該函子保留了關鍵的同調特徵，使得可透過其共享的函子像來研究不同心之間的關係。
• 該方法在簇叢子範疇理論與正合範疇中「心」的理論之間建立了橋樑，深化了對結構對應關係的理解。