nZ-Gorenstein cluster tilting subcategories

Homological conditions on associative rings (generalizations of regular, Gorenstein, Cohen-Macaulay rings, etc.) (16E65) Representations of associative Artinian rings (16G10) Abelian categories, Grothendieck categories (18E10) Derived categories, triangulated categories (18G80)

Abstract: Let

L a m b d a

be an artin algebra. In this paper, the notion of

n m a t h b b Z

-Gorenstein cluster tilting subcategories will be introduced. It is shown that every

n m a t h b b Z

-cluster tilting subcategory of

m m o d m b o x - L a m b d a

is

n m a t h b b Z

-Gorenstein if and only if

L a m b d a

is an Iwanaga-Gorenstein algebra. Moreover, it will be shown that an

n m a t h b b Z

-Gorenstein cluster tilting subcategory of

m m o d m b o x - L a m b d a

is an

n m a t h b b Z

-cluster tilting subcategory of the exact category

m G p r j m b o x - L a m b d a

, the subcategory of all Gorenstein projective objects of

m m o d m b o x - L a m b d a

. Some basic properties of

n m a t h b b Z

-Gorenstein cluster tilting subcategories will be studied. In particular, we show that they are

n

-resolving, a higher version of resolving subcategories.

Review text

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.

Recommendations

Cites work

Cited in

(8)

This page was built for publication: \(n\mathbb{Z}\)-Gorenstein cluster tilting subcategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831287)