Abstract
Let R denote a commutative ring and \(\mathfrak {a}\) an ideal of R. The \(\mathfrak {a}\)-torsion functor and the \(\mathfrak {a}\)-completion functor, defined respectively by \(\varGamma _{\mathfrak {a}}(M):= \{m\in M \mid \mathfrak {a}^t m=0 \text { for some } t\in \mathbb {N}\}\) and \(\varLambda ^{\mathfrak a}(M):= \varprojlim (R/\mathfrak {a}^t \otimes _R M)\) for any R-module M, extends naturally to complexes. In this chapter we first recall that \(\mathrm{L} \varLambda ^{\mathfrak a}\) and \(\mathrm{R} \varGamma _{\mathfrak a}\) are well defined in the derived category and fix some notations. Then we investigate when \(\mathrm{L} \varLambda ^{\mathfrak a}(X)\) and \(\mathrm{R} \varGamma _{\mathfrak a}(X)\) vanish. For complexes homologically-bounded on the good size we obtain more precise results, previously known when the ring is Noetherian, possibly new in the present generality. We also provide a description of \(\mathrm{L} \varLambda ^{\mathfrak a}(X)\) and \(\mathrm{R} \varGamma _{\mathfrak a}(X)\) in terms of microscope and telescope. These descriptions do not refer to the resolutions of X, which could be an advantage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Schenzel, P., Simon, AM. (2018). Local Cohomology and Local Homology. In: Completion, Čech and Local Homology and Cohomology. Springer Monographs in Mathematics. Springer, Cham. https://doi.org/10.1007/978-3-319-96517-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-96517-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-96516-1
Online ISBN: 978-3-319-96517-8
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)