Countably generated flat modules are quite flat
Abstract
We prove that if is a commutative Noetherian ring, then every countably generated flat -module is quite flat, i.e., a direct summand of a transfinite extension of localizations of in countable multiplicative subsets. We also show that if the spectrum of is of cardinality less than , where is an uncountable regular cardinal, then every flat -module is a transfinite extension of flat modules with less than generators. This provides an alternative proof of the fact that over a commutative Noetherian ring with countable spectrum, all flat modules are quite flat. More generally, we say that a commutative ring is CFQ if every countably presented flat -module is quite flat. We show that all von Neumann regular rings and all -almost perfect rings are CFQ. A zero-dimensional local ring is CFQ if and only if it is perfect. A domain is CFQ if and only if all its proper quotient rings are CFQ. A valuation domain is CFQ if and only if it is strongly discrete.
Cite
@article{arxiv.1907.00356,
title = {Countably generated flat modules are quite flat},
author = {Michal Hrbek and Leonid Positselski and Alexander Slávik},
journal= {arXiv preprint arXiv:1907.00356},
year = {2022}
}
Comments
17 pages. v2: a new author joined, Remark 3.7 inserted, the paper grew in size by a factor of more than two with a treatment of non-Noetherian rings added in new Sections 4 and 5. v.3: small improvements, abstract updated, the former Example 4.21 moved to Section 5 and details added in Section 5 (Theorem 5.1 inserted); v.4: small things corrected, a reference updated -- this is the final version