Stratification in tensor triangular geometry with applications to spectral Mackey functors

We systematically develop a theory of stratification in the context of tensor triangular geometry and apply it to classify the localizing tensor-ideals of certain categories of spectral $G$-Mackey functors for all finite groups $G$. Our theory of stratification is based on the approach of Stevenson which uses the Balmer-Favi notion of big support for tensor-triangulated categories whose Balmer spectrum is weakly noetherian. We clarify the role of the local-to-global principle and establish that the Balmer-Favi notion of support provides the universal approach to weakly noetherian stratification. This provides a uniform new perspective on existing classifications in the literature and clarifies the relation with the theory of Benson-Iyengar-Krause. Our systematic development of this approach to stratification, involving a reduction to local categories and the ability to pass through finite etale extensions, may be of independent interest. Moreover, we strengthen the relationship between stratification and the telescope conjecture. The starting point for our equivariant applications is the recent computation by Patchkoria-Sanders-Wimmer of the Balmer spectrum of the category of derived Mackey functors, which was found to capture precisely the height $0$ and height $\infty$ chromatic layers of the spectrum of the equivariant stable homotopy category. We similarly study the Balmer spectrum of the category of $E(n)$-local spectral Mackey functors noting that it bijects onto the height $\le n$ chromatic layers of the spectrum of the equivariant stable homotopy category; conjecturally the topologies coincide. Despite our incomplete knowledge of the topology of the Balmer spectrum, we are able to completely classify the localizing tensor-ideals of these categories of spectral Mackey functors.