Construction of spectra of triangulated categories and applications to commutative rings (Q826473)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Construction of spectra of triangulated categories and applications to commutative rings
scientific article

    Statements

    Construction of spectra of triangulated categories and applications to commutative rings (English)
    0 references
    0 references
    0 references
    0 references
    4 January 2021
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    complete intersection
    0 references
    derived category
    0 references
    hypersurface
    0 references
    perfect complex
    0 references
    singularity category
    0 references
    spectrum
    0 references
    (prime/radical/tame) thick subcategory
    0 references
    triangulated category
    0 references
    0 references
    0 references