Smashing subcategories and the telescope conjecture -- an algebraic approach (Q1960756): Difference between revisions

A smashing subcategory \(\mathcal{B}\) of a compactly generated triangulated category \(\mathcal{C}\) is a full subcategory which appears as the kernel of a localization functor, which functor preserves coproducts. The standard examples are kernels of localization functors \(l: \mathcal{S} \rightarrow \mathcal{S}\) on the stable category, where the functors satisfy \(l(X) \simeq X \wedge l(S)\). The author proves a classification result for smashing subcategories, with the corollary that every smashing subcategory is generated by a set of maps between compact objects. This last statement is a modified version of the well known telescope conjecture, which for the stable category roughly asserts (in this language) that every smashing subcategory of the stable category is generated by a set of identity maps between finite spectra. The methods of the paper are based on the notions of pure monomorphism and pure injectives. The author demonstrates the existence of pure injective envelopes, and shows that every object of \(\mathcal{C}\) sits in a triangle involving a universal pure monomorphism and a universal phantom map.