Stratification and the smashing spectrum

Abstract

We develop the theory of stratification for a rigidly-compactly generated tensor-triangulated category using the smashing spectrum and the small smashing support. Within the stratified context, we investigate connections between big prime ideals, objectwise-prime ideals and homological primes, and we show that the Telescope Conjecture holds if and only if the homological spectrum is $T_0$ and the homological support detects vanishing. We also reduce stratification to smashing localizations. Moreover, we study induced maps between smashing spectra and prove a descent theorem for stratification. Outside the stratified context, we prove that the Telescope Conjecture holds if and only if the smashing spectrum is $T_0$ with respect to the small topology.