Fiberwise building and stratification in tensor triangular geometry

Abstract

We establish conditions on a family of coproduct-preserving tt-functors $f_i:\mathcal{T}\to {\mathcal{T}}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor ideal generated by an object $x\in \mathcal{T}$ is determined by those objects whose image under each $f_i$ lies in the localizing tensor ideal generated by $f_i(x)$ for all $i$. This leads to a fiberwise criterion for stratification in the setting of rigidly-compactly generated tt-categories. As an application, we prove that the big derived category of permutation modules for a finite group over an arbitrary Noetherian base is stratified. Moreover, our methods extend to the category of representations of a finite group scheme over a Noetherian base, thereby recovering a recent result from the literature.

v2: Corrections and improvements. 25 pages. Comments welcome