\(n\mathbb{Z}\)-Gorenstein cluster tilting subcategories (Q831287)

In this paper, the authors introduce \(n\mathbb{Z}\)-Gorenstein projective objects as a higher analogue of Gorenstein projective objects in mod-\(\Lambda\), for \(\Lambda\) an Artin algebra over a commutative Artinian ring \(R\). Let \(n\mathbb{Z}\text{-}Gprj\text{-}\mathcal{C}\) denote the full subcategory of all \(n\mathbb{Z}\)-Gorenstein projective modules in an \(n\mathbb{Z}\)-cluster tilting subcategory \(\mathcal{C}\). There are inclusions of categories \(prj\text{-}\Lambda \subseteq n\mathcal{Z}\text{-}Gprj\text{-}\mathcal{C} \subseteq \mathcal{C} \cap Gprj\text{-}\Lambda\), where \(prj\text{-}\Lambda\) and \(Gprj\text{-}\Lambda\) denote the full subcategories of finitely generated projective and finitely generated Gorenstein projective modules in mod-\(\Lambda\), respectively. They show that if \(\Lambda\) is an Iwanaga-Gorenstein algebra, the latter inclusion becomes equality. They also show that every \(n\mathbb{Z}\)-cluster tilting subcategory \(\mathcal{C}\) of mod-\(\Lambda\) is \(n\mathbb{Z}\)-Gorenstein cluster tilitng subcategory if and only if \(\Lambda\) is an Iwanaga-Gorenstein algebra. Also, considering \(Gprj\text{-}\Lambda\) and exact category, they show that \(n\mathbb{Z}\text{-}Gprj\text{-}\mathcal{C}\) is an \(n\mathbb{Z}\)-cluster tilting subcategory of \(Gprj\text{-}\Lambda\). Then, they introduce a concept of \(n\)-resolving subcategories, as a higher analogue of resolving subcategories in an abelian category. They show that when \(\Lambda\) is an Iwanaga-Gorenstein algebra then the subcategory \(n\mathbb{Z}\text{-}Gprj\text{-}\mathcal{C}\) of \(n\mathbb{Z}\)-cluster tilting subcategory \(\mathcal{C}\) is an \(n\)-resolving subcategory of \(\mathcal{C}\). Finally, they show that if \(\Lambda\) is Iwanaga-Gorenstein algebra, then the subcategoru \(\underline{n\mathbb{Z}\text{-}Gprj\text{-}\mathcal{C}}\) of \(\underline{Gprj\text{-}\Lambda}\) is equivalent to the subcategory \(\mathcal{T} = \{P^\bullet \in \mathbb{D}^b(\Lambda)/\mathbb{D}^{perf}(\Lambda) : P^\bullet \cong C[ni] \text{ for some } C \in \mathcal{C} \text{ and } i \in \mathbb{Z}\}\) as \((n+2)\)-angulated categories.