Thick subcategories of the derived category of a hereditary algebra (Q2642402)

A thick subcategory of a triangulated category is a triangulated subcategory closed under direct summands. The author calls a subcategory of an abelian category thick if it is closed under extensions, kernels and cokernels. Let \(\mathcal A\) be a hereditary abelian category, i.e., suppose that \(\text{Ext}^i_{\mathcal A}\) vanishes for \(i\geq 2\). In the derived category of an hereditary abelian category, each object is isomorphic to its homology. Thus the zeroth homology functor induces a bijection between the set of thick subcategories in \(\text{D}^{\text{b}}({\mathcal A})\) and the set of thick subcategories in \(\mathcal A\); the inverse bijection attaches to a thick subcategory of \(\mathcal A\) the subcategory of \(\text{D}^{\text{b}}({\mathcal A})\) of objects with homology in that subcategory. Both maps have also been considered by \textit{M.~Hovey} in a different context [Trans. Am. Math. Soc. 353, No.~8, 3181--3191 (2001; Zbl 0981.13006), ibid. 360, No.~5, 2809 (2008; Zbl 1141.13302)]. Now let \(\mathcal A\) be the category of modules over an hereditary artin algebra of finite representation type; then every such module is a coproduct of finitely generated indecomposables. A localising subcategory of \(\text{D}({\mathcal A})\) is a thick subcategory closed under arbitrary coproducts. A compact object is an object whose covariant \(\text{Hom}\)-functor commutes with arbitrary coproducts. Since each object in \(\text{D}({\mathcal A})\) is isomorphic to its homology, every localising subcategory of \(\text{D}({\mathcal A})\) is generated, as a localising subcategory, by its intersection with the subcategory of compact objects in \(\text{D}({\mathcal A})\). Certain localising subcategories are called smashing, so that this fact applies to them, which establishes the smashing conjecture in this case.