Stratification and the smashing spectrum (Q6060833)

A systematic development of the theory of stratification was undertaken by \textit{T. Barthel} et al. [Camb. J. Math. 11, No. 4, 829--915 (2023; Zbl 1524.18032); Q. J. Math. 74, No. 2, 747--766 (2023; Zbl 07693372)], based on the work of \textit{D. Benson} et al. [Ann. Sci. Éc. Norm. Supér. (4) 41, No. 4, 575--621 (2008; Zbl 1171.18007); J. Topol. 4, No. 3, 641--666 (2011; Zbl 1239.18013); Ann. Math. (2) 174, No. 3, 1643--1684 (2011; Zbl 1261.20057)], using the Balmer spectrum [\textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] and the Balmer-Favi support [\textit{P. Balmer} and \textit{G. Favi}, Proc. Lond. Math. Soc. (3) 102, No. 6, 1161--1185 (2011; Zbl 1220.18009)]. Under the hypothesis that the Balmer spectrum is weakly noetherian, they established various results making stratification easier to verify in practice. \textit{S. Balchin} and \textit{G. Stevenson} [``Big categories, big spectra'', Preprint, \url{arXiv:2109.11934}], building on the work of \textit{H. Krause} [Invent. Math. 139, No. 1, 99--133 (2000; Zbl 0937.18013); Am. J. Math. 127, No. 6, 1191--1246 (2005; Zbl 1090.18007)] and \textit{P. Balmer} et al. [Math. Proc. Camb. Philos. Soc. 168, No. 2, 323--343 (2020; Zbl 1469.18028)], based on the hypothesis that the lattice of smashing ideals \(\mathsf{S}\left( \mathfrak{T}\right) \)\ of a big tensor-triangulated category \(\mathfrak{T}\)\ is a sparial frame, studied the support theory stemming from the smashing spectrum \(\mathsf{Spc}^{\mathrm{s}}\left( \mathfrak{T}\right) \), the space associated with \(\mathsf{S}\left( \mathfrak{T}\right) \)\ via Stone duality. This paper aims to establish results concerned with stratification, using the smashing spectrum and the small smashing support in place of the Balmer spectrum and the Balmer-Favi support. The paper goes under the hypothesis that the frame \(\mathsf{S}\left( \mathfrak{T}\right) \)\ of smashing ideals of a big tensor-triangulated category \(\mathfrak{T}\)\ is a spatial frame. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] gives preliminaries concerning tensor-triangulated categories, the Balmer spectrum [\textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] and the homological spectrum [\textit{P. Balmer} et al., Math. Proc. Camb. Philos. Soc. 168, No. 2, 323--343 (2020; Zbl 1469.18028), Appendix A]. \item[\S 3] recalls some facts concerning smashing ideals, the smashing spectrum and the associated support theory. It is established, under the hypothesis that the frame of smashing ideals is spatial, that the Hochster dual of the Balmer spectrum is the Kolmogorov quotient of the smashing spectrum, when the latter is endowed with the topology with basis consisting of the smashing supports of compact objects. It is concluded that the Teleschope Conjecture holds iff the smashing spectrum is \(T_{0}\)\ with respect to the above topology. \item[\S 4] establishes Proposition 4.14 claiming that if \(\mathfrak{T}\)\ is stratified by the small smashing support iff \(\mathfrak{T}\)\ satisfies the local-to-global principle and minimality. There is a bijective correspondence between the set of meet-prime smashing ideals and the set of big prime localizing ideals (Corollary 4.23 and Corollary 4.24). \item[\S 5] reduces stratification to smashing localizations, establishing (Proposition 5.12), provided that \(\mathfrak{T}\)\ satisfies the local-to-global principle), that \(\mathfrak{T}\)\ is stratified by the small smashing support iff each meet-prime smashing localization of \(\mathfrak{T} \)\ is stratified by the induced small smashing support. It is also established (Corollary 5.16) that if \(\mathsf{Spc}^{\mathrm{s}}\left( \mathfrak{T} \right) \)\ is covered by a family of finitely many closed subsets whose corresponding smashing localizations are stratified, then \(\mathfrak{T}\)\ is stratified. \item[\S 6] constructs, under the hypothesis that \ is stratified by the small smashing support, an injective comparison map \[ \xi:\mathsf{Spc}^{\mathrm{h}}\left( \mathfrak{T}^{\mathrm{c}}\right) \rightarrow\mathsf{Spc}^{\mathrm{s}}\left( \mathfrak{T}\right) \] from the homological spectrum [\textit{P. Balmer}, Tunis. J. Math. 2, No. 2, 359--378 (2020; Zbl 1427.18010); J. Éc. Polytech., Math. 7, 1069--1088 (2020; Zbl 1454.18005)] to the smashing spectrum. It is established (Proposition 6.4) that \(\xi\)\ is bijective iff the homological support detects vanishing objects. It is also established (Theorem 6.5), under the assumption that \ is stratified by the small smashing support, that \(\mathfrak{T}\)\ satisfies the Telescope Conjecture iff the homological spectrum is \(T_{0}\) and the homological support detects vanishing of objects. \item[\S 7] argues that, under the presence of the Telescope Conjecture, the stratification theories of this paper and \textit{T. Barthel} et al. [Camb. J. Math. 11, No. 4, 829--915 (2023; Zbl 1524.18032); Q. J. Math. 74, No. 2, 747--766 (2023; Zbl 07693372)] are equivalent. \item[\S 8] studies the image of the map \[ \mathsf{Spc}^{\mathrm{s}}\left( F\right) :\mathsf{Spc}^{\mathrm{s}}\left( \mathfrak{U}\right) \rightarrow\mathsf{Spc}^{\mathrm{s}}\left( \mathfrak{T}\right) \] induced by a coproduct-preserving tensor-triangulated functor \(F:\mathfrak{T} \rightarrow\mathfrak{U}\). It is established, assuming that \(\mathsf{Spc} ^{\mathrm{s}}\left( F\right) \)\ is a homeomorphism as well as under a couple of generating conditions, that if \(\mathfrak{U}\)\ is stratified by the small smashing support, then \(\mathfrak{T}\)\ is stratified by the small smashing support. \end{itemize}