English

Resolutions as directed colimits

Commutative Algebra 2026-02-18 v5 Category Theory Rings and Algebras

Abstract

A general principle suggests that "anything flat is a directed colimit of countably presentable flats". In this paper, we consider resolutions and coresolutions of modules over a countably coherent ring RR (e.g., any coherent ring or any countably Noetherian ring). We show that any RR-module of flat dimension nn is a directed colimit of countably presentable RR-modules of flat dimension at most nn, and any flatly coresolved RR-module is a directed colimit of countably presentable flatly coresolved RR-modules. If RR is a countably coherent ring with a dualizing complex, then any F-totally acyclic complex of flat RR-modules is a directed colimit of F-totally acyclic complexes of countably presentable flat RR-modules. The proofs are applications of an even more general category-theoretic principle going back to an unpublished 1977 preprint of Ulmer. Our proof of the assertion that every Gorenstein-flat module over a countably coherent ring is a directed colimit of countably presentable Gorenstein-flat modules uses a different technique, based on results of Saroch and Stovicek. We also discuss totally acyclic complexes of injectives and Gorenstein-injective modules, obtaining various cardinality estimates for the accessibility rank under various assumptions.

Keywords

Cite

@article{arxiv.2312.07197,
  title  = {Resolutions as directed colimits},
  author = {Leonid Positselski},
  journal= {arXiv preprint arXiv:2312.07197},
  year   = {2026}
}

Comments

LaTeX 2e, 37 pages; v.2: several misprints corrected, references added and updated; v.3: small additions and corrections; v.4: small corrections, references updated; v.5: a misprint corrected

R2 v1 2026-06-28T13:48:17.688Z