Resolutions as directed colimits (2312.07197v4)
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 $R$ (e.g., any coherent ring or any countably Noetherian ring). We show that any $R$-module of flat dimension $n$ is a directed colimit of countably presentable $R$-modules of flat dimension at most $n$, and any flatly coresolved $R$-module is a directed colimit of countably presentable flatly coresolved $R$-modules. If $R$ is a countably coherent ring with a dualizing complex, then any F-totally acyclic complex of flat $R$-modules is a directed colimit of F-totally acyclic complexes of countably presentable flat $R$-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.
- M. Cortés-Izurdiaga, J. Šaroch. Module classes induced by complexes and λ𝜆\lambdaitalic_λ-pure-injective modules. Electronic preprint arXiv:2104.08602 [math.RT]
- S. Henry. When does Indκ(CI)≃Indκ(C)I\operatorname{Ind}_{\kappa}(C^{I})\simeq\operatorname{Ind}_{\kappa}(C)^{I}roman_Ind start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT ( italic_C start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT ) ≃ roman_Ind start_POSTSUBSCRIPT italic_κ end_POSTSUBSCRIPT ( italic_C ) start_POSTSUPERSCRIPT italic_I end_POSTSUPERSCRIPT? Electronic preprint arXiv:2307.06664 [math.CT].
- M. Hrbek, G. Le Gros. Restricted injective dimensions over Cohen-Macaulay rings. Electronic preprint arXiv:2305.18884 [math.AC]
- M. Hrbek, G. Le Gros. The finite type of modules of bounded projective dimension and Serre’s conditions. Electronic preprint arXiv:2311.14346 [math.AC]
- A. Iacob. Direct limits of Gorenstein injective modules. Electronic preprint arXiv:2308.08699 [math.AC].
- L. Positselski. Flat comodules and contramodules as directed colimits, and cotorsion periodicity. Electronic preprint arXiv:2306.02734 [math.RA].
- L. Positselski. Notes on limits of accessible categories. Electronic preprint arXiv:2310.16773 [math.CT].
- M. Raynaud, L. Gruson. Critères de platitude et de projectivité: Techniques de “platification” d’un module. Inventiones Math. 13, #1–2, p. 1–89, 1971.