Very flat, locally very flat, and contraadjusted modules (Q2630023)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Very flat, locally very flat, and contraadjusted modules |
scientific article |
Statements
Very flat, locally very flat, and contraadjusted modules (English)
0 references
8 July 2016
0 references
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.
0 references
Bass module
0 references
contraadjusted module
0 references
covering class of modules
0 references
Dedekind domain
0 references
filtration
0 references
Mittag-Leffler module
0 references
Pontryagin's criterion
0 references
precovering class of modules
0 references
projective module
0 references
very flat module
0 references
0 references