[论文解读] When stable short exact sequences define an exact structure on any additive category

Septimiu Crivei|arXiv (Cornell University)|Sep 15, 2012

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本文確立了穩定短正合序列——即核與余核均為半穩定的核-余核對——定義任意加法範疇上最大正合結構的必要且充分條件。透過範疇的幂等完備化及透過全分離函子的性質傳遞，作者證明此條件恰好成立當且僅當原範疇對於完備化上的最大正合結構而言，對上推與下拉保持封閉。主要貢獻在於提出一個一般性準則，將已知結果從弱幂等完備範疇推廣至任意加法範疇。

ABSTRACT

Rump has recently showed the existence of a unique maximal Quillen exact structure on any additive category. We study when this is given by the stable short exact sequences, i.e. kernel-cokernel pairs consisting of a semi-stable kernel and a semi-stable cokernel.

研究动机与目标

• 確定穩定短正合序列的類別在任意加法範疇上形成最大正合結構的條件。
• 解決關於Rump的最大正合結構是否與由穩定短正合序列定義的結構一致的開放問題。
• 將先前針對弱幂等完備範疇的結果推廣至一般加法範疇。
• 基於完備化中對上推與下拉的封閉性，提出一項一般性準則。

提出的方法

• 利用加法範疇的加法幂等完備化（Karoubian完備化），該完備化為弱幂等完備。
• 構造從原範疇到其幂等完備化的全分離函子 $ H: \mathcal{C} \to \widehat{\mathcal{C}} $。
• 證明 $ H $ 保持穩定短正合序列，從而實現性質從完備化向原範疇的傳遞。
• 引入範疇 $ \mathcal{C} $ 對於 $ (\widehat{\mathcal{C}}, \mathcal{E}_{\rm max}) $ 封閉於上推與下拉的概念，此為關鍵準則。
• 應用該準則證明：在鏈複形範疇 $ \mathbf{Ch}(\mathcal{C}) $ 與投影譜範疇 $ \mathbf{P}(\mathcal{C}) $ 上的最大正合結構，由 $ \mathcal{C} $ 中逐度穩定短正合序列所誘導。
• 利用已知的正合子範疇與擴張封閉子範疇結果，支援正合結構的傳遞。

实验结果

研究问题

• RQ1 在何種條件下，穩定短正合序列定義任意加法範疇上的最大正合結構？
• RQ2 Rump 在加法範疇上定義的最大正合結構是否與由穩定短正合序列生成的結構一致？
• RQ3 能否將基於穩定短正合序列的正合結構最大化的準則推廣至弱幂等完備範疇之外？
• RQ4 範疇的幂等完備化與正合結構的保持及傳遞之間有何關係？
• RQ5 在何種條件下，$ \mathbf{Ch}(\mathcal{C}) $ 或 $ \mathbf{P}(\mathcal{C}) $ 上的最大正合結構由 $ \mathcal{C} $ 中的穩定短正合序列誘導？

主要发现

• 穩定短正合序列在加法範疇 $ \mathcal{C} $ 上定義最大正合結構，當且僅當 $ \mathcal{C} $ 對其幂等完備化 $ \widehat{\mathcal{C}} $ 上的最大正合結構封閉於上推與下拉。
• 自然函子 $ H: \mathcal{C} \to \widehat{\mathcal{C}} $ 保持穩定短正合序列，從而實現結構性質的傳遞。
• 鏈複形範疇 $ \mathbf{Ch}(\mathcal{C}) $ 上的最大正合結構與由 $ \mathcal{C} $ 中逐度穩定短正合序列所誘導的結構一致，只要 $ \mathcal{C} $ 滿足封閉條件。
• 投影譜範疇 $ \mathbf{P}(\mathcal{C}) $ 上的最大正合結構由那些在 $ \mathcal{C} $ 中每一分量均為穩定短正合序列的短正合序列所給出，同樣基於此封閉假設。
• 本結果推廣了先前需假設弱幂等完備性的定理，現適用於任意加法範疇。
• 封閉條件——即相對於 $ (\widehat{\mathcal{C}}, \mathcal{E}_{\rm max}) $ 封閉於上推與下拉——通常比直接驗證Quillen正合範疇的晦澀公理更為容易。