Recollements and tilting objects (Q616320)

In this paper the authors study connections between recollements of the derived category \(D({\mathcal M}od\;R)\) of a ring \(R\) and tilting theory. These connections were previously examined in the paper of \textit{S. Koenig} [J. Pure Appl. Algebra 73, 211--232 (1991; Zbl 0760.16003)] in the case of derived categories of modules, and in the papers of \textit{P. Jørgensen} [J. Algebra 299, 589--601 (2006; Zbl 1096.18005)] and \textit{P. Nicolás} and \textit{M. Saorin} [J. Algebra 322, 1220--1250 (2009; Zbl 1187.18008)] in the case of derived categories of differential graded modules over a differential graded algebra. Let \(\mathcal D\) be a triangulated category with small coproducts and small Hom-sets. An object \(T\in \mathcal D\) is called exceptional if it has no self-extensions, and it is called a tilting object if it is compact, exceptional and \(\mathcal D\) is generated by \(T\). In the first main result the authors construct an exceptional object from two exceptional objects describing a recollement, under the assumption that the morphisms between exceptional objects (in the appropriate direction) are concentrated in at most two degrees. If the category \(\mathcal D\) is \(K\)-linear (\(K\) is a field) and some additional finiteness conditions are satisfied the authors construct a tilting object from two tilting objects describing a recollement. These results are applied to various known situations from the literature to recover and reinterpret constructions of exceptional and tilting objects previously obtained in different ways. Conversely, the authors show how to construct recollements in the category \(D({\mathcal M}od\;R)\) from a classical tilting module of projective dimension one. The second main result describes both the subcategory and the quotient category in such a recollement. Let \(T\) be a tilting module of projective dimension one. Then \(T\) gives rise to a recollement \(\mathcal Y\to D({\mathcal M}od\;R)\to \mathcal X\) such that \(\mathcal X\) has an exceptional and \(\mathcal Y\) a compact generator. The quotient category \(\mathcal X\) is shown to be equivalent to a derived module category if and only if the exceptional generator of \(\mathcal X\) is finitely presented. Furthermore, the subcategory \(\mathcal Y\) is equivalent to a derived module category if and only if the universal localization \(\lambda_\mathcal U:R\to R_\mathcal U\) is a homological epimorphism. Here \(\mathcal U\) denotes the set of finitely presented modules of projective dimension one associated to \(T\) by the work of \textit{L. Angeleri Hügel} and \textit{M. Archetti} [Tilting modules and universal localization, preprint]. The authors announce that the results of the paper will be employed in a forthcoming paper in order to investigate stratifications of \(D({\mathcal M}od\; R)\).