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.