Construction of spectra of triangulated categories and applications to commutative rings (Q826473): Difference between revisions

Balmer initiated the theory of tensor-triangular geometry in [\textit{P. Balmer}, J. Reine Angew. Math. 588, 149--168 (2005; Zbl 1080.18007)]. He introduced the concepts of thick tensor-ideals, radical thick tensor-ideals, and prime thick tensor-ideals of an essentially small tensor-triangulated category \(\mathcal{T}\) as analogues of ideals, radical ideals, and prime ideals of commutative rings. He defined a topology on the set \(\mathrm{Spc}\mathcal{T}\) of prime thick tensor-ideals of \(\mathcal{T}\), the so-called Balmer spectrum of \(\mathcal{T}\). He then proved that taking the Balmer supports gives a bijection between the radical thick tensor-ideals of \(\mathcal{T}\) and the Thomason subsets of \(\mathrm{Spc}\mathcal{T}\). Balmer's theory does not work for those triangulated categories that are not tensor-triangulated, e.g. the bounded derived category \(\mathcal{D}^{\text{b}}(R)\) of finitely generated \(R\)-modules, and the singularity category \(\mathcal{D}_{\text{sg}}(R) = \mathcal{D}^{\text{b}}(R) / \mathcal{D}^{\text{perf}}(R)\) of a commutative noetherian ring \(R\). The authors of this paper make a variant of Balmer's theory for an essentially small triangulated category \(\mathcal{T}\) that is not necessarily tensor-triangulated. Then they establish a one-to-one correspondence between the set of radical thick subcategories of \(\mathcal{T}\) and a set of certain subsets of \(\mathrm{Spc}\mathcal{T}\). Finally, they apply their theory to the special cases of triangulated categories associated to a commutative noetherian ring and derived many interesting results.