Singularity categories and singular equivalences for resolving subcategories (Q509995): Difference between revisions

Let \(\mathcal{A}\) be an abelian category with enough projective objects. Denote by \(\mathrm{Gproj}\,A\) the full subcategory of Gorenstein projective objects of \(\mathcal{A}\), which is a Frobenius category, and its stable category \(\underline{\mathrm{Gproj}}\,A\) is triangulated. A quasi-resolving subcategory is a full subcategory containing the projective objects and closed under finite direct sums and kernels of epimorphisms, while resolving means that the subcategory is also closed under direct summands and extensions. Let \(\mathcal{X}\) be a quasi-resolving subcategory of \(\mathcal{A}\). For an integer \(n \geq 0\), \(\Omega^n\mathcal{X}\) is the full subcategory of \(\mathcal{A}\) consisting of \(n\)th syzygies of objects in \(\mathcal{X}\). Assume that \(\Omega^n\mathcal{X}\) is contained in \(\mathrm{Gproj}\,\mathcal{A}\) and it is closed under cosyzygies. (An example is the full subcategory of objects of Gorenstein projective dimension at most \(n\).) In this paper, the authors study the singularity category \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})=\mathrm{D}^{\mathrm{b} }(\mathrm{mod} \underline{\mathcal{X}}) /\mathrm{K}^{\mathrm{b} }(\mathrm{proj}(\mathrm{mod}\underline{\mathcal{X}}))\) of the stable category \(\underline{\mathcal{X}}\) of \(\mathcal{X}\). The first main result characterizes the situation when \(\mathrm{D}_{\mathrm{sg}}(\underline{\mathcal{X}})\) is triangle equivalent to the the singularity category of the stable category of \(\mathcal{X}\cap \mathrm{Gproj}\,\mathcal{A}=\Omega^n\mathcal{X}\). This applies to the module category of a Gorenstein ring, and the second main result of the paper reads as follows. If \(R\) is a \(d\)-dimensional nonregular complete local ring with algebraically closed residue field \(k\) of characteristic 0, then the following statements are equivalent. (1) \(R\) is Gorenstein, and \(\underline{\mathrm{CM}}R)\) is regular. (2) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for every resolving subcategory \(\mathcal{X}\) of mod \(R\). (3) \(R\) is a complete intersection, and \(\underline{\mathcal{X}}\) is regular for some resolving subcategory \(\mathcal{X}\) of mod \(R\) that contains a module of maximal complexity. (4) \(R\) is a simple hypersurface singularity of type (A\({}_1\)). In this case, \(\underline{\mathrm{CM}}R)\) is regular of dimension at most \(0\).