Pith. sign in

REVIEW 1 cited by

Fp-projective periodicity

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2212.02300 v4 pith:MUO5UZRU submitted 2022-12-05 math.CT math.RA

classification math.CTmath.RA
keywords mathsfperiodicmodulefp-projectiveperiodicitypure-projectiveweaklyalgebra
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Coderived and contraderived categories for a cotorsion pair, flat-type cotorsion pairs, and relative periodicity

    math.CT 2025-09 conditional novelty 7.0 of 10

    For hereditary complete cotorsion pairs generated by a set in a Grothendieck category, the coderived category of the left class is equivalent to the contraderived category of the right class, and for sandwiched pairs ...

Pith tools