\(d \mathbb{Z}\)-cluster tilting subcategories of singularity categories (Q2223535)

Let \(\mathcal E\) be an exact category with enough projectives \(\mathcal P\) and with a \(d\mathbb{Z}\)-cluster tilting subcategory. In this paper, the author proves that the singularity category \( K^{-, b}(\mathcal P)/K^{b}(\mathcal P)\) of \(\mathcal E\) admits a \(d\mathbb{Z}\)-cluster tilting subcategory, where \(K^{b}(\mathcal P)\) and \(K^{-, b}(\mathcal P)\) denote the bounded homotopy category and the right bounded homotopy category, respectively. To prove this conclusion, the author introduces cluster tilting subcategories of left triangulated categories, and show that there exists a correspondence between cluster tilting subcategories of \(\mathcal E\) and the projectively stable category \(\underline{\mathcal E}\). The author also obtains that the Gorenstein projectives of \(\mathcal E\) admit a \(d\mathbb{Z}\)-cluster tilting subcategory under some assumptions. Finally, the author computes the \(d\mathbb{Z}\)-cluster tilting subcategory of the singularity category for a finite-dimensional algebra which is not Iwanaga-Gorenstein.