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 A be a percolating subcategory of an exact category E, the quotient E /-6mu/ A is constructed in two steps. In the first step, we associate a set SA ⊂eq Mor(E) to A and consider the localization E[S-1A]. In general, E[SA-1] need not be an exact category, but will be a one-sided exact category. In the second step, we take the exact hull E /-6mu/ A of E[SE-1]. The composition E → E[SA-1] → E /-6mu/ 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 SA are admissible. In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.