Affine weakly regular tensor triangulated categories (Q318319)

Let \(\mathcal{K}\) be a tensor triangulated category with unit \(\mathbf{1}\) and let NEWLINE\[NEWLINE R = \mathrm{End}^*_{\mathcal{K}}(\mathbf{1}) NEWLINE\]NEWLINE be the endomorphism ring of \(\mathcal{K}\). The main result of this paper is that if \(\mathcal{K}\) is \textit{affine} and \textit{weakly regular}, then the canonical map from the \textit{P. Balmer} spectrum of \(\mathcal{K}\) [J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)] to the Zariski spectrum of \(R\) is a homeomorphism.NEWLINENEWLINEThe term affine means that \(\mathcal{K}\) is generated as a thick subcategory by the unit \(\mathbf{1}\). The term weakly regular means that \(R\) is a graded notherian ring concentrated in even degrees and, for each homogeneous prime ideal \(\mathfrak{p}\) of \(R\), the maximal ideal of the local ring \(R_{\mathfrak{p}}\) is generated by a finite regular sequence of homogeneous non-zero-divisors.NEWLINENEWLINEThe authors provide interesting examples in the case of dg modules over a commutative dg algebra and, more generally, modules over a commutative \(S\)-algebra in the sense of \textit{A. D. Elmendorf} et al. [Rings, modules, and algebras in stable homotopy theory. With an appendix by M. Cole. Providence, RI: American Mathematical Society (1997; Zbl 0894.55001)]. In addition, the authors provide examples showing that the hypotheses of affine and weakly regular are necessary in general.