The telescope conjecture for hereditary rings via Ext-orthogonal pairs. (Q1959663)

The telescope conjecture for the derived category of a module category asserts that a localizing subcategory is generated by compact objects provided it is smashing, that is, it arises as the kernel of a localization functor that preserves arbitrary coproducts. It is still an open problem to know to what generality the conjecture applies. \textit{B. Keller} [in Manuscr. Math. 84, No. 2, 193-198 (1994; Zbl 0826.18004)] gave an example of a commutative ring where the conjecture does not hold. Prior to this paper it was shown by \textit{A. Neeman} that it is true for the derived category of a commutative Noetherian ring [Topology 31, No. 3, 519-532 (1992; Zbl 0793.18008)]. In the paper under review the authors show that this conjecture holds for the derived category of any hereditary ring. To do this they study the Ext-orthogonal pairs of subcategories for hereditary module categories, where a pair of full subcategories \((\mathcal X,\mathcal Y)\) of an Abelian category \(\mathcal A\) is Ext-orthogonal whenever \(\mathcal X\) and \(\mathcal Y\) are orthogonal to each other with respect to the bifunctor \(\coprod_{n\geq 0}\text{Ext}^n_{\mathcal A}(-,-)\). This is analogous to the related notions of torsion pair and cotorsion pair in an Abelian category. An Ext-orthogonal pair is said to be complete if each \(M\) in \(\mathcal A\) admits a 5-term exact sequence \[ 0\to Y_M\to X_M\to M\to Y^M\to X^M\to 0, \] with \(X_M,X^M\in\mathcal X\) and \(Y_M,Y^M\in\mathcal Y\). Then the authors exploit the interlacing between complete Ext-orthogonal pairs and the telescope conjecture for the module category of a hereditary ring to prove it in this case. The paper finishes by establishing a bijection between the set of Ext-orthogonal pairs \((\mathcal X,\mathcal Y)\) in \(\text{Mod\,}A\) (where \(A\) a hereditary ring) such that \(\mathcal Y\) is closed under coproducts and (among others) the following sets: i) extension closed Abelian subcategories of \(\text{Mod\,}A\) that are closed under products and coproducts; ii) homological epimorphisms (up to isomorphism); iii) localizing subcategories of \(\mathbb D(\text{Mod\,}A)\) that are closed under products; iv) localization functors preserving coproducts (up to natural isomorphism); v) thick subcategories of \(\mathbb D^b(\text{Mod\,}A)\).