English

Gorenstein projective objects in functor categories

Category Theory 2019-01-17 v2 Rings and Algebras

Abstract

Let kk be a commutative ring, let C\mathcal{C} be a small, kk-linear, Hom-finite, locally bounded category, and let B\mathcal{B} be a kk-linear abelian category. We construct a Frobenius exact subcategory GP(GPproj(BC))\mathcal{GP}(\mathcal{G}_P\operatorname{proj}(\mathcal{B}^{\mathcal{C}})) of the functor category BC\mathcal{B}^{\mathcal{C}}, and we show that it is a subcategory of the Gorenstein projective objects GP(BC)\mathcal{GP}(\mathcal{B}^{\mathcal{C}}) in BC\mathcal{B}^{\mathcal{C}}. Furthermore, we obtain criteria for when GP(GPproj(BC))=GP(BC)\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 GP(BC)\mathcal{GP}(\mathcal{B}^{\mathcal{C}}) explicitly.

Keywords

Cite

@article{arxiv.1801.05493,
  title  = {Gorenstein projective objects in functor categories},
  author = {Sondre Kvamme},
  journal= {arXiv preprint arXiv:1801.05493},
  year   = {2019}
}

Comments

34 pages. Final accepted version to appear in Nagoya Mathematical Journal

R2 v1 2026-06-22T23:47:21.354Z