Stratification in tensor triangular geometry with applications to spectral Mackey functors

DOI10.4310/CJM.2023.V11.N4.A2MaRDI QIDQ6056814zbMATH OpenOpenAlexFDO

Authors Tobias Barthel, Drew Heard, Beren Sanders

Publication date 4 October 2023

Published in Cambridge Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2106.15540

zbMATH Keywords

supporttensor triangulated category

Mathematics Subject Classification ID

Derived categories of sheaves, dg categories, and related constructions in algebraic geometry (14F08) Categories in geometry and topology (18F99) Derived categories, triangulated categories (18G80) Stable homotopy theory, spectra (55P42) Equivariant homotopy theory in algebraic topology (55P91) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: 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 '{e}tale 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 $len$ 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.

Review text

The paper we summarize concerns stratification in the context of tensor triangulated categories. Based on the approach of \textit{G. Stevenson} [J. Reine Angew. Math. 681, 219--254 (2013; Zbl 1280.18010)] which uses the Balmer-Favi notion of support and the Bamer spectrum (see [\textit{P. Balmer} and \textit{G. Favi}, Proc. Lond. Math. Soc. (3) 102, No. 6, 1161--1185 (2011; Zbl 1220.18009); \textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)]), the authors develop, in a first part, the notion of stratification for the rigidly-compactly generated tensor triangulated categories whose Balmer spectrum of compact objects is weakly noetherian. In addition they clarify its relation to the theory of Benson, Iyengar and Krause (``BIK) (see [\textit{D. Benson} et al., Ann. Sci. Éc. Norm. Supér. (4) 41, No. 4, 575--621 (2008; Zbl 1171.18007); Ann. Math. (2) 174, No. 3, 1643--1684 (2011; Zbl 1261.20057); J. Topol. 4, No. 3, 641--666 (2011; Zbl 1239.18013)]). In the second part, the authors prove that their stratification is equivalent to the classification of localizing \(\otimes\)-ideals and they show that this stratification provides an unified context for many known classification problem, both those that are and are not amenable to the technique of ``BIK. The authors also give and explain the following properties of their stratification namely: universality, permanence and generality. The authors apply their methods to new examples especially in equivariant homotopy theory. As a special case they obtain a classification of the localizing \(\otimes\)-ideals of the category of derived \(G\)-Mackey functors, \(G\) denotes a finite group. At the end, the authors consider the telescope conjecture and prove that it holds for every stratified rigidly-compactly generated tensor triangulated categories with generically noetherian spectrum.

Recommendations

• Stratifying triangulated categories
• Stratification and the smashing spectrum
• On stratification for spaces with Noetherian mod \(p\) cohomology
• Lifting (co)stratifications between tensor triangulated categories
• The spectrum of the equivariant stable homotopy category of a finite group

Cited in

(23)

• Stratifications, equisingularity and triangulation
• Stratification and the smashing spectrum
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023
• Tensor-triangular geometry and interactions. Abstracts from the workshop held September 17--22, 2023
• The local-to-global principle via topological properties of the tensor triangular support
• On surjectivity in tensor triangular geometry
• Colocalizing subcategories of singularity categories
• Quillen stratification in equivariant homotopy theory
• Homological stratification and descent
• Associated sheaf functors in tt-geometry
• Support theories for non-Noetherian tensor triangulated categories
• The Tate intermediate value theorem
• Filtrations by cosupports via tensor actions.
• The homological spectrum and nilpotence theorems for Lie superalgebra representations
• The geometry of permutation modules
• The spectrum of excisive functors
• A conjecture on the composition of localizations on a stratified tensor triangulated category
• The homological spectrum via definable subcategories
• Telescope conjecture via homological residue fields with applications to schemes
• The spectrum of Artin motives
• Formal extension of noncommutative tensor-triangular support varieties
• On the finite generation of ideals in tensor triangular geometry
• The Balmer spectrum of pseudo-coherent complexes over a discrete valuation ring

This page was built for publication: Stratification in tensor triangular geometry with applications to spectral Mackey functors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6056814)