Singular equivalences of functor categories via Auslander-Buchweitz approximations (Q2285311)

The setting of this paper is that of categories \(\mathsf{mod}(\mathcal{A})\) of finitely presented functors from an additive category \(\mathcal{A}\) with weak-kernels to the category of abelian groups. The singularity category \(\mathsf{D}_\mathsf{sg}(\mathcal{A})\) of such a functor category is defined as the Verdier quotient of the bounded derived category by the bounded homotopy category of projectives. The first main result of this paper shows that under certain homological conditions (namely the projective dimension of certain objects being finite), the inclusion of a contravariantly finite full subcategory \(\mathcal{X}\) of \(\mathcal{A}\) induces a triangle equivalence from \(\mathsf{D}_{\mathsf{sg}}(\mathcal{A})\) to \(\mathsf{D}_\mathsf{sg}(\mathcal{X})\). This extends a result of [\textit{X.-W. Chen}, Abh. Math. Semin. Univ. Hamb. 80, No. 2, 207--212 (2010; Zbl 1214.18013)], which is formulated for the singularity categories of finitely presented modules over a ring \(\Lambda\) and idempotent subalgebra \(e\Lambda e\). As an application, the author considers the case where \(\mathcal{A}\) and \(\mathcal{X}\) are replaced with a generalized version of their costable categories. This in particular implies that if \(\mathcal{A}\) is abelian with enough projectives and \(\mathcal{T}\) is a contravariantly finite cotilting subcategory, then the inclusion functor induces a triangle equivalence between the singularity categories of the stable categories of \(\mathcal{A}\) and \(^\perp\mathcal{T}\). As another application, the main results are used to give a new proof of a result of [\textit{H. Matsui} and \textit{R. Takahashi}, Math. Z. 285, No. 1--2, 251--286 (2017; Zbl 1369.13024)]. This result shows that if \(\Lambda\) is Iwanaga-Gorenstein, then there is a triangle equivalence between the singularity categories of the category of finitely presented \(\Lambda\)-modules and that of Cohen-Macaulay modules.