The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.
On Flatness and Completion for Infinitely Generated Modules over Noetherian Rings
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
abstract
Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.
years
2026 2verdicts
UNVERDICTED 2representative citing papers
For left proflat topological ring epimorphisms, restriction of scalars on contramodules is fully faithful and the forgetful square is a pseudopullback.
citing papers explorer
-
Contraherent cosheaves of contramodules on Noetherian formal schemes
The paper defines the exact category of contraherent cosheaves of contramodules on locally Noetherian formal schemes and constructs direct and inverse image functors along with Hom and contratensor operations.
-
Homomorphisms of topological rings and change-of-scalar functors
For left proflat topological ring epimorphisms, restriction of scalars on contramodules is fully faithful and the forgetful square is a pseudopullback.