Search

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

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 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