Localizations of (one-sided) exact categories

Abstract

In this paper, we introduce quotients of exact categories by percolating subcategories. This approach extends earlier localization theories by Cardenas and Schlichting for exact categories, allowing new examples. Let $\mathcal{A}$ be a percolating subcategory of an exact category $\mathcal{E}$, the quotient $\mathcal{E}//\mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_{\mathcal{A}}\subseteq \mathrm{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S_{\mathcal{A}}^{-1}]$. In general, $\mathcal{E}[S_{\mathcal{A}}^{-1}]$ need not be an exact category, but will be a one-sided exact category. In the second step, we take the exact hull $\mathcal{E}//\mathcal{A}$ of $\mathcal{E}[S_{\mathcal{E}}^{-1}]$. The composition $\mathcal{E}\to \mathcal{E}[S_{\mathcal{A}}^{-1}]\to \mathcal{E}//\mathcal{A}$ satisfies the 2-universal property of a quotient in the 2-category of exact categories. We formulate our results in slightly more generality, allowing to start from a one-sided exact category. Additionally, we consider a type of percolating subcategories which guarantee that the morphisms of the set $S_{\mathcal{A}}$ are admissible. In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.

43 pages. Weakened the conditions of a percolating subcategory. Comments welcome

References in corpus (9)

• Maximal exact structures on additive categories
• Homological algebra with locally compact abelian groups
• Classifications of exact structures and Cohen-Macaulay-finite algebras
• The Yoneda isomorphism commutes with homology
• A categorical framework for glider representations
• Admissible intersection and sum property
• Derived categories of (one-sided) exact categories and their localizations
• Examples and non-examples of integral categories and the admissible intersection property
• On the relative K-group in the ETNC

Cited by in corpus (6)

• Auslander's formula and correspondence for exact categories
• On the obscure axiom for one-sided exact categories
• Derived categories of (one-sided) exact categories and their localizations
• The left heart and exact hull of an additive regular category
• Localization of extriangulated categories
• Preresolving categories and derived equivalences