scientific article; zbMATH DE number 1377504

From MaRDI portal
Publication:4702986





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].











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4702986)