No label defined (Q4702986)

Let \(Z\) be a closed subscheme of a noetherian scheme \(X\). In a former paper [\textit{L. Alonso Tarrío}, \textit{A. Jeremías López} and \textit{J. Lipman}, Ann. Sci. Ec. Norm. Supér., IV. Sér. 30, No. 1, 1-39 (1997; Zbl 0894.14002)], the authors inspired by a paper of \textit{J. P. C. Greenlees} and \textit{J. P. May} [J. Algebra 149, No. 2, 438-453 (1992; Zbl 0774.18007)] about duality between local cohomology and local homology for modules over a commutative ring, proved a result which basically states that on quasi-coherent complexes \(\mathcal F\) the ``homology localization'' functor \(\text{RHom}^*({\mathbb R}\Gamma_Z{\mathcal O}_X,{\mathcal F})\) is a left-derived functor of \(\Lambda_Z:=\)completion along \(Z\), the corresponding map to \({\Lambda}_Z{\mathcal F}\) being such that the composition with the natural map \({\mathcal F}\to\text{RHom}^*({\mathbb R}{\Gamma}_Z{\mathcal O}_X, \mathcal F)\) is the completion \({\mathcal F}\to{\Lambda}_Z{\mathcal F}\). In the paper under review (which is the second of the series of the three papers of this volume) the authors extend the result to an arbitrary noetherian formal scheme \(\mathcal X\), with ``quasi-coherent'' replaced by ``direct limit of coherent''. For the entire collection see [Zbl 0927.00024].