[論文レビュー] On the obscure axiom for one-sided exact categories

Ruben Henrard, Adam-Christiaan van Roosmalen|arXiv (Cornell University)|Oct 21, 2020

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

ひとこと要約

この論文は、片側完全な加法的圏における不明瞭な公理（R3, R3⁺, R3⁻）の3つの変種を導入し、弱い完備性の下でそれらが同値であることを示し、九項補題やスネイク補題を含む重要なホモロジー的性質を含意することを示している。主な貢献は、片側完全な加法的圏を完全な加法的圏に埋め込みつつ、その有界導来圏を三角同値の意味で保存する3つの閉包作用素の構成である。

ABSTRACT

One-sided exact categories are obtained via a weakening of a Quillen exact category. Such one-sided exact categories are homologically similar to Quillen exact categories: a one-sided exact category $\mathcal{E}$ can be (essentially uniquely) embedded into its exact hull ${\mathcal{E}}^{ extrm{ex}}$; this embedding induces a derived equivalence $ extbf{D}^b(\mathcal{E}) o extbf{D}^b({\mathcal{E}}^{ extrm{ex}})$. Whereas it is well known that Quillen's obscure axioms are redundant for exact categories, some one-sided exact categories are known to not satisfy the corresponding obscure axiom. In fact, we show that the failure of the obscure axiom is controlled by the embedding of $\mathcal{E}$ into its exact hull ${\mathcal{E}}^{ extrm{ex}}.$ In this paper, we introduce three versions of the obscure axiom (these versions coincide when the category is weakly idempotent complete) and establish equivalent homological properties, such as the snake lemma and the nine lemma. We show that a one-sided exact category admits a closure under each of these obscure axioms, each of which preserves the bounded derived category up to triangle equivalence.

研究の動機と目的

• 特定の片側完全な加法的圏における不明瞭な公理の失敗が、完全な包へのホモロジー的移行を妨げる問題に対処すること。
• 不明瞭な公理の弱化版の下で、九項補題やスネイク補題のような同値なホモロジー的性質を確立すること。
• 片側完全な加法的圏を完全な加法的圏に埋め込みつつ、その有界導来圏を保存する3つの閉包作用素（R3⁺, R3⁻, および E_R3⁻ における礎）の構成。
• 不明瞭な公理と完全な包の関係を明確にし、片側完全な加法的圏がその完全な包に埋め込まれる際に、礎が反映される（すなわち、元の圏における系列が礎であるための必要十分条件が、完全な包における像が礎であること）ことを示すこと。
• 特に $K$-理論や表現論の文脈において、片側完全な加法的圏がクィルレンの完全な加法的圏と同様にホモロジー的に振る舞うための枠組みを提供すること。

提案手法

• 片側完全な加法的圏における古典的 R3 公理の一般化として、不明瞭な公理の3つのバージョン（R3, R3⁺, R3⁻）を導入する。
• 圏が弱い完備性を満たす場合、引き戻し、押し出し、核・余核対の性質を用いて、これらの3つの公理が同値であることを証明する。
• 各バージョンの不明瞭な公理が九項補題およびスネイク補題を含意することを確立し、強力なホモロジー的制御を保証する。
• R3⁺-閉包および R3⁻-閉包を、元の圏の弱い完備化における拡張閉部分圏として構成する。
• 完全な包への埋め込みによって誘導される導来同値性を用いて、R3⁺-閉包および R3⁻-閉包が有界導来圏を三角同値の意味で保存することを示す。
• 完全な包の2-普遍性および拡張閉包構成を用いて、これらの閉包が完全であり、かつ元の圏と導来同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 片側完全な加法的圏の文脈において、不明瞭な公理を弱めるか再定式化することで、本質的なホモロジー的性質を失うことなく扱えるか。
• RQ2 片側完全な加法的圏がその完全な包に埋め込まれる際に、礎が反映されるための正確な条件は何か。
• RQ3 有界導来圏を保存する一方で、ホモロジー的公理（例：九項補題）を満たす片側完全な加法的圏の閉包を構成できるか。
• RQ4 不明瞭な公理の3つの変種（R3, R3⁺, R3⁻）の間の関係は何か。また、それらが同値となる条件は何か。
• RQ5 異なる不明瞭な公理に基づく閉包が、弱い完備化における最大の完全構造とどのように関係するか。

主な発見

• 弱い完備性を満たす圏では、不明瞭な公理の3つの変種（R3, R3⁺, R3⁻）が一致し、いずれも九項補題およびスネイク補題を含意する。
• 片側完全な加法的圏が不明瞭な公理を満たすための必要十分条件は、その完全な包への埋め込みが礎を反映すること、すなわち、元の圏における系列が礎であるための必要十分条件が、完全な包における像が礎であることである。
• 片側完全な加法的圏の R3⁺-閉包および R3⁻-閉包は、完全な加法的圏であり、それらの有界導来圏の三角同値性によって、元の圏と導来同値である。
• R3⁺-閉包は、弱い完備化における最大のインフレーションおよびデフレーションの完全構造の共通部分に、元の圏の拡張閉包として構成される。
• E_R3⁻ における礎構造は、弱い完備化上での最大の片側完全構造であり、R3⁻-公理を満たし、拡張に関して閉じている。
• 閉包構成が弱い完備化上での最大の完全構造を必ずしも得るわけではない。これは、離散付値環上の $R/(t)$-加群を用いた反例によって示されている。