pith. sign in

arxiv: 1801.05493 · v2 · pith:4W6O4T7Hnew · submitted 2018-01-16 · 🧮 math.CT · math.RA

Gorenstein projective objects in functor categories

classification 🧮 math.CT math.RA
keywords mathcalcategoryfunctorgorensteinlinearobjectsoperatornameproj
0
0 comments X
read the original abstract

Let $k$ be a commutative ring, let $\mathcal{C}$ be a small, $k$-linear, Hom-finite, locally bounded category, and let $\mathcal{B}$ be a $k$-linear abelian category. We construct a Frobenius exact subcategory $\mathcal{GP}(\mathcal{G}_P\operatorname{proj}(\mathcal{B}^{\mathcal{C}}))$ of the functor category $\mathcal{B}^{\mathcal{C}}$, and we show that it is a subcategory of the Gorenstein projective objects $\mathcal{GP}(\mathcal{B}^{\mathcal{C}})$ in $\mathcal{B}^{\mathcal{C}}$. Furthermore, we obtain criteria for when $\mathcal{GP}(\mathcal{G}_P\operatorname{proj}(\mathcal{B}^{\mathcal{C}}))=\mathcal{GP}(\mathcal{B}^{\mathcal{C}})$. We show in examples that this can be used to compute $\mathcal{GP}(\mathcal{B}^{\mathcal{C}})$ explicitly.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.