Spanier-Whitehead categories of resolving subcategories and comparison with singularity categories (Q2139538)

Let \(\mathcal A\) be an abelian category with enough projective objects and \(\mathcal X\) be a quasi-resolving subcategory of \(\mathcal A\). The authors define a fully faithful functor \(\theta_{\mathcal X}:\mathrm{SW}(\mathcal X)\to D_{\mathrm{sg}}(\mathcal A)\) from the Spanier-Whitehead category \(\mathrm{SW}(\mathcal X)\) of the the stable category of \(\mathcal X\) and the singularity category \(D_{\mathrm{sg}}(\mathcal A)\) of \(\mathcal A\). They show that \(\theta_{\mathcal X}\) establishes a triangle equivalence between SW\((\mathcal X)\) and the full triangulated subcategory of the singular category of \(D_{\mathrm{sg}}(\mathcal A)\) generated by the objects of \(\mathcal X\). As the applications of this result, they obtain characterizations for isolated singularity rings, Gorenstein rings, Cohen-Macaulay rings. They further study the Spanier-Whitehead categories over complete intersections. At the end of the paper, they compute dim SW\((\mathcal X)\) when \(\mathcal X\) is a resolving subcategory of \(\mathcal A\).