Recollements of derived categories I: Exact contexts

TL;DR

This paper introduces a systematic method for constructing recollements of derived module categories using a new noncommutative tensor product, expanding tools for understanding algebraic and topological relationships.

Contribution

It develops a novel approach to build recollements via noncommutative tensor products and exact contexts, providing necessary and sufficient conditions for homological localizations.

Findings

Introduces noncommutative tensor product for recollement construction

Provides criteria for homological localizations in representation theory and K-theory

Generates new recollements from localizations, ring epimorphisms, and extensions

Abstract

Recollements were introduced originally by Beilinson, Bernstein and Deligne to study the derived categories of perverse sheaves, and nowadays become very powerful in understanding relationship among three algebraic, geometric or topological objects. The purpose of this series of papers is to study recollements in terms of derived module categories and homological ring epimorphisms, and then to apply our results to both representation theory and algebraic K-theory. In this paper we present a new and systematic method to construct recollements of derived module categories. For this aim, we introduce a new ring structure, called the noncommutative tensor product, and give necessary and sufficient conditions for noncommutative localizations which appears often in representation theory, topology and K-theory, to be homological. The input of our machinery is an exact context which can be easily obtained from a rigid morphism that exists in very general circumstances. The output is a recollement of derived module categories of rings in which the noncommutative tensor product of an exact context plays a crucial role. Thus we obtain a large variety of new recollements from commutative and noncommutative localizations, ring epimorphisms and extensions.