### Current browse context:

math.CT

### Change to browse by:

### References & Citations

# Mathematics > Category Theory

# Title: Fp-projective periodicity

(Submitted on 5 Dec 2022 (v1), last revised 13 Dec 2022 (this version, v2))

Abstract: The phenomenon of periodicity, discovered by Benson and Goodearl, is linked to the behavior of the objects of cocycles in acyclic complexes. It is known that any flat $\mathsf{Proj}$-periodic module is projective, any fp-injective $\mathsf{Inj}$-periodic module is injective, and any $\mathsf{Cot}$-periodic module is cotorsion. It is also known that any pure $\mathsf{PProj}$-periodic module is pure-projective and any pure $\mathsf{PInj}$-periodic module is pure-injective. Generalizing a result of Saroch and Stovicek, we show that every $\mathsf{FpProj}$-periodic module is weakly fp-projective. The proof is quite elementary, using only a strong form of the pure-projective periodicity and the Hill lemma. More generally, we prove that, in a locally finitely presentable Grothendieck category, every $\mathsf{FpProj}$-periodic object is weakly fp-projective. In a locally coherent category, all weakly fp-projective objects are fp-projective. We also present counterexamples showing that a non-pure $\mathsf{PProj}$-periodic module over a regular finitely generated commutative algebra (or a hereditary finite-dimensional associative algebra) over a field need not be pure-projective.

## Submission history

From: Leonid Positselski [view email]**[v1]**Mon, 5 Dec 2022 14:25:08 GMT (25kb)

**[v2]**Tue, 13 Dec 2022 14:05:44 GMT (27kb)

Link back to: arXiv, form interface, contact.