From CM-finite to CM-free (Q888847): Difference between revisions

Let \(\Lambda\) be an Artin algebra and denote by \(\mathsf{Gproj}(\Lambda)\) the category of finitely generated Gorenstein-projective \(\Lambda\)-modules. Recall from [\textit{A. Beligiannis}, Adv. Math. 226, No. 2, 1973--2019 (2011; Zbl 1239.16016)] that \(\Lambda\) is said to be of finite Cohen-Macaulay type (CM-finite for short), if the set of isomorphism classes of indecomposable finitely generated Gorenstein-projective modules is finite. For a CM-finite algebra \(\Lambda\) consider the relative Auslander algebra \(\mathbf{Aus}(\Lambda):=\mathsf{End}_{\Lambda}(X)^{op}\), where \(X\) is the additive generator of \(\mathsf{Gproj}(\Lambda)\). In the paper under review, the authors study CM-finite Artin algebras for not necessarily Gorenstein algebras. In particular, they show that the relative Auslander algebra \(\mathbf{Aus}(\Lambda)\) of a CM-finite Artin algebra \(\Lambda\) is CM-free, that is, the category of Gorenstein-projective \(\mathbf{Aus}(\Lambda)\)-modules coincides with the projective \(\mathbf{Aus}(\Lambda)\)-modules. Moreover, for an abelian category \(\mathcal{A}\) with enough projective objects the authors provide a description of the defect category \(\mathsf{D}^b_{\mathsf{defect}}(\mathcal{A}):=\mathsf{D}^b_{\mathsf{sg}}(\mathcal{A})/\mathsf{Image}{F}\) introduced by \textit{P. A. Bergh}, \textit{S. Oppermann} and \textit{D. A. Jorgensen} [Q. J. Math. 66, No. 2, 459--471 (2015; Zbl 1327.13041)], where \(F\) is the canonical triangle embedding of the stable category \(\underline{\mathsf{Gproj}}(\mathcal{A})\) to the singularity category \(\mathsf{D}^b_{\mathsf{sg}}(\mathcal{A})\) (in the sense of Buchweitz and Orlov). The description is given as the Verdier quotient of \(\mathsf{K}^{-,b}(\mathsf{Proj}(\mathcal{A}))\) by the thick subcategory \[ \begin{multlined}\mathsf{K}^{-,b}_{\mathcal{G}}(\mathsf{Proj}(\mathcal{A})) \\ =\big\{(P,d) \in \mathsf{K}^{-,b}(\mathsf{Proj}(\mathcal{A})) \;| \;\exists n_0\in \mathbb{Z} \;\text{with} \;H^m(P)=0, \forall m\leq n_0, \mathsf{Ker}{d^{n_0}}\in \mathsf{GProj}(\mathcal{A}) \big\}. \end{multlined} \] As a consequence, for a CM-finite algebra \(\Lambda\) they show that there is a triangle equivalence between the defect category \(\mathsf{D}^b_{\mathsf{defect}}(\Lambda)\) of \(\Lambda\) and the singularity category \(\mathsf{D}^b_{\mathsf{sg}}(\mathbf{Aus}(\Lambda))\) of the relative Auslander algebra \(\mathbf{Aus}(\Lambda)\).