We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable -category along a descendable commutative algebra . We establish equalizer diagrams relating the lattices of localizing and smashing ideals of to those of and . If is compact, we obtain a similar equalizer for the lattices of thick ideals which, via Stone duality, yields a coequalizer diagram of Balmer spectra in the category of spectral spaces. We then give conditions under which the telescope conjecture and stratification descend from to . The utility of these results is demonstrated in the case of faithful Galois extensions in tensor triangular geometry.

生成讲解博客的中文版本

生成AI智能校验的中文版本