Source author record

Ruben Henrard

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
4topics
2close collaborators

Published work

4 publications

preprint2020arXiv

KK-theory of locally compact modules over orders

We present a quick approach to computing the KK-theory of the category of locally compact modules over any order in a semisimple Q\mathbb{Q}-algebra. We obtain the KK-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.

preprint2020arXiv

A categorical framework for glider representations

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 ΓΓ-filtered ring FRFR and a subset Λ⊆ΓΛ\subseteq Γ, we provide a category Glid⁡ΛFR\operatorname{Glid}_Λ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 RR is a bialgebra over a field kk and FRFR is a filtration by bialgebras, we show that Glid⁡ΛFR\operatorname{Glid}_Λ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⋅1⊆Rk \cdot 1 \subseteq R of a bialgebra RR is sufficient to recover the bialgebra RR by recovering the usual fiber functor from Glid⁡ΛFR.\operatorname{Glid}_ΛFR. When applied to a group algebra kGkG, this shows that the monoidal category Glid⁡ΛF(kG)\operatorname{Glid}_ΛF(kG) alone is sufficient to distinguish even isocategorical groups.

preprint2020arXiv

Derived categories of (one-sided) exact categories and their localizations

We consider the quotient of an exact or one-sided exact category E\mathcal{E} by a so-called percolating subcategory A\mathcal{A}. For exact categories, such a quotient is constructed in two steps. Firstly, one localizes E\mathcal{E} at a suitable class SA⊆Mor⁡(E)S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E}) of morphisms. The localization E[SA−1]\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 E//A\mathcal{E}{/\mkern-6mu/} \mathcal{A} of E[SA−1]\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 E→E//A\mathcal{E} \to \mathcal{E} {/\mkern-6mu/} \mathcal{A} induces a Verdier localization Db(E)→Db(E//A)\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 E→E[SA−1]\mathcal{E} \to \mathcal{E}[S_\mathcal{A}^{-1}] induces a Verdier quotient Db(E)→Db(E[SA−1])\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 F\mathcal{F} into its exact hull F‾\overline{\mathcal{F}} lifts to a derived equivalence Db(F)→Db(F‾)\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 KK-theory.

preprint2020arXiv

Localizations of (one-sided) exact categories

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\mathcal{A} be a percolating subcategory of an exact category E\mathcal{E}, the quotient E//A\mathcal{E} {/\mkern-6mu/} \mathcal{A} is constructed in two steps. In the first step, we associate a set SA⊆Mor⁡(E)S_\mathcal{A} \subseteq \operatorname{Mor}(\mathcal{E}) to A\mathcal{A} and consider the localization E[SA−1]\mathcal{E}[S^{-1}_\mathcal{A}]. In general, E[SA−1]\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 E//A\mathcal{E} {/\mkern-6mu/} \mathcal{A} of E[SE−1]\mathcal{E}[S_\mathcal{E}^{-1}]. The composition E→E[SA−1]→E//A\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 SAS_\mathcal{A} are admissible. In upcoming work, we show that these localizations induce Verdier localizations on the level of the bounded derived category.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.