Pith. sign in

REVIEW 1 cited by

Flat quasi-coherent sheaves as directed colimits, and quasi-coherent cotorsion 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.09639 v4 pith:XWBK2S6P submitted 2022-12-19 math.AG math.CT

classification math.AGmath.CT
keywords quasi-coherentflatsheavescountablydirectedquasi-compactschemecomplexes
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More generally, the same assertion holds for any countably quasi-compact, countably quasi-separated scheme. Moreover, for three categories of complexes of flat quasi-coherent sheaves, we show that all complexes in the category can be obtained as directed colimits of complexes of locally countably presentable flat quasi-coherent sheaves from the same category. In particular, on a quasi-compact semi-separated scheme, every flat quasi-coherent sheaf is a directed colimit of flat quasi-coherent sheaves of finite projective dimension. In the second part of the paper, we discuss cotorsion periodicity in category-theoretic context, generalizing an argument of Bazzoni, Cortes-Izurdiaga, and Estrada. As the main application, we deduce the assertion that any cotorsion-periodic quasi-coherent sheaf on a quasi-compact semi-separated scheme is cotorsion.

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