ﻻ يوجد ملخص باللغة العربية
We consider the quotient of an exact or one-sided exact category $mathcal{E}$ by a so-called percolating subcategory $mathcal{A}$. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes $mathcal{E}$ at a suitable class $S_mathcal{A} subseteq operatorname{Mor}(mathcal{E})$ of morphisms. The localization $mathcal{E}[S_mathcal{A}^{-1}]$ need not be an exact category, but will be a one-sided exact category. Secondly, one constructs the exact hull $mathcal{E}{/mkern-6mu/} mathcal{A}$ of $mathcal{E}[S_mathcal{A}^{-1}]$ and shows that this satisfies the 2-universal property of a quotient amongst exact categories. In this paper, we show that this quotient $mathcal{E} to mathcal{E} {/mkern-6mu/} mathcal{A}$ induces a Verdier localization $mathbf{D}^b(mathcal{E}) to mathbf{D}^b(mathcal{E} {/mkern-6mu/} mathcal{A})$ of bounded derived categories. Specifically, (i) we study the derived category of a one-sided exact category, (ii) we show that the localization $mathcal{E} to mathcal{E}[S_mathcal{A}^{-1}]$ induces a Verdier quotient $mathbf{D}^b(mathcal{E}) to mathbf{D}^b(mathcal{E}[S^{-1}_mathcal{A}])$, and (iii) we show that the natural embedding of a one-sided exact category $mathcal{F}$ into its exact hull $overline{mathcal{F}}$ lifts to a derived equivalence $mathbf{D}^b(mathcal{F}) to mathbf{D}^b(overline{mathcal{F}})$. We furthermore show that the Verdier localization is compatible with several enhancements of the bounded derived category, so that the above Verdier localization can be used in the study of localizing invariants, such as non-connective $K$-theory.
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 sub
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
It is well known that a resolving subcategory $mathcal{A}$ of an abelian subcategory $mathcal{E}$ induces several derived equivalences: a triangle equivalence $mathbf{D}^-(mathcal{A})to mathbf{D}^-(mathcal{E})$ exists in general and furthermore restr
Let $n$ be an integer greater or equal than $3$. We give a simultaneous generalization of $(n-2)$-exact categories and $n$-angulated categories, and we call it one-sided $n$-suspended categories. One-sided $n$-angulated categories are also examples o
Restriction categories were introduced to provide an axiomatic setting for the study of partially defined mappings; they are categories equipped with an operation called restriction which assigns to every morphism an endomorphism of its domain, to be