[論文レビュー] 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.

研究の動機と目的

• 任意の加法的圏において、安定短完全列の族が最大の完全構造をなすのはどのようなときかを特定すること。
• ラムプの最大の完全構造が、安定短完全列によって定義される構造と一致するかどうかという未解決問題を解消すること。
• 従来の結果を弱く冪等完備な圏から一般の加法的圏へ拡張すること。
• 冪等完備化における押し出しと引き込みに関する閉包性に基づく一般基準を提示すること。

提案手法

• 加法的圏の冪等完備化（カルービアン完備化）を用い、これは弱く冪等完備である。
• 元の圏 $ \mathcal{C} $ からその冪等完備化 $ \widehat{\mathcal{C}} $ への完全忠実関手 $ 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 加法的圏におけるラムプの最大の完全構造は、安定短完全列によって定義される構造と一致するか？
• 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} $ が閉包条件を満たす限り、各次元での安定短完全列によって誘導される構造と一致する。
• 射影スペクトルの圏 $ \mathbf{P}(\mathcal{C}) $ における最大の完全構造は、$ \mathcal{C} $ における各成分が安定短完全列であるような短完全列からなる。同じ閉包仮定のもとで成り立つ。
• 従来の結果は弱い冪等完備性を仮定していたが、本結果は一般の加法的圏へ拡張され、より広く適用可能になる。
• 閉包条件（$ (\widehat{\mathcal{C}}, \mathcal{E}_{\rm max}) $ に関して押し出しと引き込みについて閉じていること）は、クイレンの完全圏の曖昧な公理を直接検証するよりも、しばしば容易に確認できる。