On the Homology of Completion and Torsion
read the original abstract
Let A be a commutative ring, and \a a weakly proregular ideal in A. This includes the noetherian case: if A is noetherian then any ideal in it is weakly proregular; but there are other interesting examples. In this paper we prove the MGM equivalence, which is an equivalence between the category of cohomologically \a-adically complete complexes and the category of cohomologically \a-torsion complexes. These are triangulated subcategories of the derived category of A-modules. Our work extends earlier work by Alonso- Jeremias-Lipman, Schenzel and Dwyer-Greenlees.
This paper has not been read by Pith yet.
Forward citations
Cited by 3 Pith papers
-
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.
-
Torsion modules and differential operators in infinitely many variables
Differential operators on polynomial algebras in infinitely many variables over a field can realize every ordinal as their order via various torsion module notions for infinitely generated ideals.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.