Abstract
Let A be a commutative noetherian ring, and π an ideal in it. In this paper we continue the study, begun in [Citation11], of the derived π-adic completion and the derived π-torsion functors. Here are our results: (1) a structural characterization of bounded above cohomologically complete complexes; (2) the Cohomologically Complete Nakayama Theorem; and (3) a characterization of cohomologically cofinite complexes.
Key Words:
2010 Mathematics Subject Classification:
ACKNOWLEDGMENTS
We wish to thank Joseph Lipman, Ana Jeremias, and Leo Alonso for helpful discussions. We are also grateful to the anonymous referee who read the paper carefully and made some useful suggestions.
Notes
1If we were to replace βA is noetherianβ with βπ is finitely generatedβ in Setup 1.1, then everything from there to this corollary would remain valid, except for flatness (in Theorem 1.5(2) and Corollary 1.8(1)), about which we do not know.
Communicated by S. Kleiman.