On the obscure axiom for one-sided exact categories

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}}^{\text{ex}}$; this embedding induces a derived equivalence ${\text{D}}^b(\mathcal{E})\to {\text{D}}^b({\mathcal{E}}^{\text{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}}^{\text{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.

arXiv comment27 pages, comments welcome

References in corpus (7)

• On exact categories and applications to triangulated adjoints and model structures
• Maximal exact structures on additive categories
• A K-theoretic approach to Artin maps
• Localizations of (one-sided) exact categories
• A categorical framework for glider representations
• Exact structures and degeneration of Hall algebras
• Examples and non-examples of integral categories and the admissible intersection property

Cited by in corpus (5)

• Auslander's formula and correspondence for exact categories
• On the lattices of exact and weakly exact structures
• The left heart and exact hull of an additive regular category
• Higher Auslander correspondence for exact categories
• Preresolving categories and derived equivalences