Very flat, locally very flat, and contraadjusted modules (Q2630023)

The authors study very flat and contraadjusted modules (introduced by \textit{L. Positselski} [``Contraherent cosheaves'', Preprint, \url{arXiv:1209.2995v5}]) over a commutative ring. Here is their abstract: ``Very flat and contraadjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian rings. Using an analogy between projective and flat Mittag-Leffler modules on one hand, and very flat and locally very flat modules on the other, we prove that each of the following statements are equivalent to the finiteness of the Zariski spectrum \mathrm{Spec}\((R)\) of a noetherian domain \(R\): (i) the class of all very flat modules is covering, (ii) the class of all locally very flat modules is precovering, and (iii) the class of all contraadjusted modules is enveloping. We also prove an analog of Pontryagin's Criterion for locally very flat modules over Dedekind domains.'' Thus the authors prove that a module \(M\) over a Dedekind domain \(R\) is locally very flat if and only if each finite rank submodule of \(M\) is very flat.