Relative singularity categories. II (Q2216082)

Let \(\mathcal {A}\) be an abelian category with enough projective objects, and \(\mathcal{P}\) the subcategory of projective objects of \(\mathcal{A}\). Let \(K^b(\mathcal{A})\) and \(D^b(\mathcal{A})\) be the homotopy category and derived category of \(\mathcal {A}\), respectively. The Verdier quotient \(D_{sg}(\mathcal{A}):=D^b(\mathcal{A})/K^b(\mathcal{A})\) was first introduced by Buchweitz, after by Orlov [Proc. Steklov Inst. Math. 246 (2004), 227-248.], under the name of singularity category of \(\mathcal {A}\). Let \(\mathcal {G}(\mathcal {P})\) be the subcategory of \(\mathcal{A}\) consisting of Gorenstein projective objects. Then the canonical embedding \(F:\underline{\mathcal {G}(\mathcal {P})}\to D_{sg}{\mathcal{A}}\) is a tiangle eqivalence provided that every object in \(\mathcal{A}\) has finite Gorenstein projective dimension. Recently, \textit{P. A. Bergh} et al. [Q. J. Math. 66, No. 2, 459--471 (2015; Zbl 1327.13041)] introduced the Gorenstein defect category \(D_{sg}(\mathcal{A}):=D_{\mathcal {G}(\mathcal {P})-defect}(\mathcal{A})/\mathrm{Im}{F} \), later, \textit{F. Kong} and \textit{P. Zhang} [J. Pure Appl. Algebra 220, No. 2, 782--801 (2016; Zbl 1352.16016)] also studied Gorenstein defect category in more general case. In the paper under review, the authors study the properties of the \(\mathcal{C}\)-derived category, \(\mathcal{C}\)-singularity category and \(\mathcal{C}\)-defect category of \(\mathcal{A}\) provided that \(\mathcal{C}\) is an additive full subcategory of \(\mathcal{A}\). The main results can be as follows. Theorem. Let \(\mathcal{C}\) be an admissible subcategory of \(\mathcal{A}\). Then (i) There exists a tiangle equivalence \(D_{\mathcal {G}(\mathcal {P})-defect}(\mathcal{A})\simeq D^b_{\mathcal{C}}(\mathcal{A})/D^b_{\mathcal{C}}(\mathcal{A})_{f\mathcal {G}(\mathcal {P})d}\), where \(D^b_{\mathcal{C}}(\mathcal{A})_{f\mathcal {G}(\mathcal {P})d}\) is the subcategory consisting of complexes having finite \(\mathcal{C}\)-proper \(\mathcal {G}(\mathcal {P})\)-dimension. (ii) \(D_{\mathcal {G}(\mathcal {P})-defect}(\mathcal{A})\simeq D_{\mathcal {C})-sg}(\mathcal{A}) \) if and only if \(\mathcal {C}=\mathcal {G}(\mathcal {C})\). (iii) \(D_{\mathcal {G}(\mathcal {P})-defect}(\mathcal{A})=0\) if and only if \(\underline{\mathcal {G}(\mathcal {C})}\simeq D_{sg}(\mathcal{A})\), and if and only if every object in \(\mathcal{A}\) has finite \(\mathcal{C}\)-proper \(\mathcal {G}(\mathcal {P})\)-dimension. The authors prove that the Gorenstein derived equivalence of Artin algebras induces the Gorenstein singularity equivalence under some condition. Finally, for an Artin algebra A, we establish the stability of Gorenstein defect categories of A.