Separated and complete adelic models for one-dimensional Noetherian tensor-triangulated categories (Q2154257)

The authors study tensor triangulated categories, for the definition of which they refer to \textit{P. Balmer} [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)]. This means a triangulated category \(\mathcal{C}\) which also has a symmetric monoidal structure which preserves exact triangles. (Other axioms can be added, see for example [\textit{J. P. May}, Adv. Math. 163, No. 1, 34--73 (2001; Zbl 1007.18012)], but Balmer states that he does not use them.) According to \textit{P. Balmer} [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)], a \textit{thick tensor ideal} in a tensor triangulated category is a full subcategory containing \(0\), satisfying a two-out-of-three property with respect to exact triangles, and is closed under direct summands and tensor products with any object. A thick tensor ideal \(\mathcal{P}\subsetneq \mathcal{C}\) is \textit{prime} when \(A\otimes B\in \mathcal{P}\) implies \(A\in \mathcal{P}\) or \(B\in\mathcal{P}\). When \(\mathcal{C}\) is small, we can then define the \textit{spectrum} of \(\mathcal{C}\) as the set of all prime ideals with the \textit{Zarisiki topology} which has closed sets given as sets of ideals disjoint with a given set. The set of all prime ideals not containing an object \(a\) is called the \textit{support} of \(a\). An object \(K\in \mathcal{C}\) is called \textit{compact} if we have a natural isomorphism \[ [K,X\oplus Y]\cong [K,X]\oplus [K,Y] \] where the square bracket denotes the abelian group of morphisms in \(\mathcal{C}\). Following [\textit{S. Balchin} et al., Algebr. Geom. Topol. 22, No. 6, 2805--2856 (2022; Zbl 07633485)], we say that \(\mathcal{C}\) is \textit{rigidly compactly generated} if it is closed symmetric monoidal and is generated by a set of compact strongly dualizable objects, where the unit is also compact. Under these conditions, the compact and strongly dualizable objects coincide. The authors study the spectrum of the subcategory \(\mathcal{C}^\omega\) of compact objects. Specifically, they study the case when the spectrum of \(\mathcal{C}^\omega\) is an irreducible Noetherian space (in the usual sense) of dimension \(1\), which means that it has the topology where proper closed subsets are finite. In fact, they work under an even more technical set of conditions where the triangulated category is obtained as the homotopy category of a stable monoidal model category (see [\textit{M. Hovey}, Model categories. Providence, RI: American Mathematical Society (1999; Zbl 0909.55001)]). For a maximal ideal \(m\) in \(\mathcal{C}^\omega\) there then exists a compact object \(K_m\) whose support is \(\{m\}\). Then one denotes by \(\Lambda_m\) (the \textit{completion at \(m\)}) the Bousfield localization at \(m\). Under their assumptions, the authors prove the \textit{adelic decomposition theorem}, which says that the unit is the homotopy pullback of its Bousfield localization at the generic prime, and the product of its completions at the maximal primes, over the Bousfield localization of that product at the generic prime. The bulk of the paper consists of numerous variants and generalizations of this principle. The last section of the paper contains several examples, the most interesting of which is the category of rational \(S^1\)-equivariant spectra, which, however, was treated in detail by \textit{J. P. C. Greenlees} and \textit{B. Shipley} in a previous paper [J. Topol. 11, No. 3, 666--719 (2018; Zbl 1407.55005)].