Gorenstein singularity categories (Q2257273)

Let \(\mathcal{A}\) be an abelian category with enough projective objects, \(\mathcal{GP}(\mathcal{A})\) the full subcategory of \(\mathcal{A}\) consisting of Gorenstein-projective objects, \(K^b(\mathcal{GP}(\mathcal{A}))\) the homotopy category of bounded complexes over \(\mathcal{GP}(\mathcal{A})\), and \(D^b(\mathcal{A})\) the bounded derived category of \(\mathcal{A}\). \(\mathcal{A}\) is called \(CM\)-contravariantly finite if \(\mathcal{GP}(\mathcal{A})\) is contravariantly finite in \(\mathcal{A}\). The authors introduce the Gorenstein singularity category \(D^b_{\mathrm{gpsg}}(\mathcal{A})\) as the Verdier quotient of the Gorenstein derived category \(D^b_{gp}(\mathcal{A})\) by the triangulated subcategory \(K^b(\mathcal{GP}(\mathcal{A}))\). The main result of the paper shows that, if \(\mathcal{A}\) is a \(CM\)-contravariantly finite abelian category, then the Gorenstein singularity category \(D^b_{\mathrm{gpsg}}(\mathcal{A})\) is triangle-equivalent to the Gorenstein defect category \(D^b_{\mathrm{defect}}(\mathcal{A})\).