Search

Quasi-abelian categories are abundant in functional analysis and representation theory. It is known that a quasi-abelian category $\mathcal{E}$ is a cotilting torsionfree class of an abelian category. In fact, this property characterizes quasi-abelian categories. This ambient abelian category is derived equivalent to the category $\mathcal{E}$, and can be constructed as the heart $\mathcal{LH}(\mathcal{E})$ of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$ or as the localization of the category of monomorphisms in $\mathcal{E}.$ However, there are natural examples of categories in functional analysis which are not quasi-abelian, but merely one-sided quasi-abelian or even weaker. Examples are the category of $\operatorname{LB}$-spaces or the category of complete Hausdorff locally convex spaces. In this paper, we consider additive regular categories as a generalization of quasi-abelian categories that covers the aforementioned examples. These categories can be characterized as pre-torsionfree subcategories of abelian categories. As for quasi-abelian categories, we show that such an ambient abelian category of an additive regular category $\mathcal{E}$ can be found as the heart of a $\operatorname{t}$-structure on the bounded derived category $\operatorname{D^b}(\mathcal{E})$, or as the localization of the category of monomorphisms of $\mathcal{E}$. In our proof of this last construction, we formulate and prove a version of Auslander's formula for additive regular categories. Whereas a quasi-abelian category is an exact category in a natural way, an additive regular category has a natural one-sided exact structure. Such a one-sided exact category can be 2-universally embedded into its exact hull. We show that the exact hull of an additive regular category is again an additive regular category., 35 pages, comments welcome

Clausen predicted that Chevalley's id\`{e}le class group of a number field $F$ appears as the first $K$-group of the category of locally compact $F$-vector spaces. This has turned out to be true, and even generalizes to the higher $K$-groups in a suitable sense. We replace $F$ by a semisimple $\mathbb{Q}$-algebra, and obtain Fr\"{o}hlich's non-commutative id\`{e}le class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case our proof is simpler than the existing one, and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert's reciprocity law (as well as a noncommutative variant) in terms of our results., Comment: 36 pages. Comments welcome

The Auslander correspondence is a fundamental result in Auslander-Reiten theory. In this paper we introduce the category $\operatorname{mod_{\mathsf{adm}}}(\mathcal{E})$ of admissibly finitely presented functors and use it to give a version of Auslander correspondence for any exact category $\mathcal{E}$. An important ingredient in the proof is the localization theory of exact categories. We also investigate how properties of $\mathcal{E}$ are reflected in $\operatorname{mod_{\mathsf{adm}}}(\mathcal{E})$, for example being (weakly) idempotent complete or having enough projectives or injectives. Furthermore, we describe $\operatorname{mod_{\mathsf{adm}}}(\mathcal{E})$ as a subcategory of $\operatorname{mod}(\mathcal{E})$ when $\mathcal{E}$ is a resolving subcategory of an abelian category. This includes the category of Gorenstein projective modules and the category of maximal Cohen-Macaulay modules as special cases. Finally, we use $\operatorname{mod_{\mathsf{adm}}}(\mathcal{E})$ to give a bijection between exact structures on an idempotent complete additive category $\mathcal{C}$ and certain resolving subcategories of $\operatorname{mod}(\mathcal{C})$., 36 pages, comments welcome!

Clausen predicted that Chevalley's id��le class group of a number field $F$ appears as the first $K$-group of the category of locally compact $F$-vector spaces. This has turned out to be true, and even generalizes to the higher $K$-groups in a suitable sense. We replace $F$ by a semisimple $\mathbb{Q}$-algebra, and obtain Fr��hlich's non-commutative id��le class group in an analogous fashion, modulo the reduced norm one elements. Even in the number field case our proof is simpler than the existing one, and based on the localization theorem for percolating subcategories. Finally, using class field theory as input, we interpret Hilbert's reciprocity law (as well as a noncommutative variant) in terms of our results., 36 pages. Comments welcome

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 restricts to a triangle equivalence $\mathbf{D}^{\mathsf{b}}(\mathcal{A})\to \mathbf{D}^{\mathsf{b}}(\mathcal{E})$ if $\operatorname{res.dim}_{\mathcal{A}}(E), Comment: 14 pages, comments welcome

Fragment and glider representations (introduced by F. Caenepeel, S. Nawal, and F. Van Oystaeyen) form a generalization of filtered modules over a filtered ring. Given a $\Gamma$-filtered ring $FR$ and a subset $\Lambda \subseteq \Gamma$, we provide a category $\operatorname{Glid}_\Lambda FR$ of glider representations, and show that it is a complete and cocomplete deflation quasi-abelian category. We discuss its derived category, and its subcategories of natural gliders and Noetherian gliders. If $R$ is a bialgebra over a field $k$ and $FR$ is a filtration by bialgebras, we show that $\operatorname{Glid}_\Lambda FR$ is a monoidal category which is derived equivalent to the category of representations of a semi-Hopf category (in the sense of E. Batista, S. Caenepeel, and J. Vercruysse). We show that the monoidal category of glider representations associated to the one-step filtration $k \cdot 1 \subseteq R$ of a bialgebra $R$ is sufficient to recover the bialgebra $R$ by recovering the usual fiber functor from $\operatorname{Glid}_\Lambda FR.$ When applied to a group algebra $kG$, this shows that the monoidal category $\operatorname{Glid}_\Lambda F(kG)$ alone is sufficient to distinguish even isocategorical groups., Comment: 33 pages, comments welcome

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} {/\mkern-6mu/} \mathcal{A}$ is constructed in two steps. In the first step, we associate a set $S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E})$ to $\mathcal{A}$ and consider the localization $\mathcal{E}[S^{-1}_\mathcal{A}]$. 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} {/\mkern-6mu/} \mathcal{A}$ of $\mathcal{E}[S_\mathcal{E}^{-1}]$. The composition $\mathcal{E} \rightarrow \mathcal{E}[S_\mathcal{A}^{-1}] \rightarrow \mathcal{E} {/\mkern-6mu/} \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., Comment: 43 pages. Weakened the conditions of a percolating subcategory. Comments welcome

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}}^{\textrm{ex}}$; this embedding induces a derived equivalence $\textbf{D}^b(\mathcal{E}) \to \textbf{D}^b({\mathcal{E}}^{\textrm{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}}^{\textrm{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., Comment: 27 pages, comments welcome

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., 37 pages. Improved exposition and the formulation of the main theorem. Added section 8. Comments welcome

We present a quick approach to computing the $K$-theory of the category of locally compact modules over any order in a semisimple $\mathbb{Q}$-algebra. We obtain the $K$-theory by first quotienting out the compact modules and subsequently the vector modules. Our proof exploits the fact that the pair (vector modules plus compact modules, discrete modules) becomes a torsion theory after we quotient out the finite modules. Treating these quotients as exact categories is possible due to a recent localization formalism., Comment: 8 pages. Comments welcome