Extended local cohomology and local homology (Q345241)

Let \(R\) be a commutative Noetherian ring, \(\mathfrak a\) be a proper ideal of \(R\), and \(\widehat{R}^{\mathfrak a}\) be the \(\mathfrak a\)-adic completion of \(R\). Given an \(R\)-complex \(X\), the derived local cohomology complex \(\mathbf{R}\Gamma_{\mathfrak a}(X)\) and the derived local homology complex \(\mathbf{L}\Lambda^{\mathfrak a}(X)\) are naturally complexes over \(\widehat{R}^{\mathfrak a}\). When \(\mathbf{R}\Gamma_{\mathfrak a}(X)\) and \(\mathbf{L}\Lambda^{\mathfrak a}(X)\) regarded as \(\widehat{R}^{\mathfrak a}\)-complexes , the notions \(\mathbf{R}\widehat{\Gamma}_{\mathfrak a}(X)\) and \(\mathbf{L}\widehat{\Lambda}^{\mathfrak a}(X)\) are used, respectively. In the present paper, the author deeply study these \(\widehat{R}^{\mathfrak a}\)-complexes. In particular, they prove there are natural isomorphisms in \(\mathcal{D}(\widehat{R}^{\mathfrak a})\): \[ \mathbf{R}\text{Hom}_{\widehat{R}^{\mathfrak a}}(\mathbf{L}\widehat{\Lambda}^{\mathfrak a}(X), \mathbf{L}\widehat{\Lambda}^{\mathfrak a}(Y))\simeq\mathbf{R}\text{Hom}_{\widehat{R}^{\mathfrak a}}(\mathbf{R}\widehat{\Gamma}_{\mathfrak a}(X),\mathbf{R}\widehat{\Gamma}_{\mathfrak a}(Y))\simeq\mathbf{R}\text{Hom}_{\widehat{R}^{\mathfrak a}}(\mathbf{R}\widehat{\Gamma}_{\mathfrak a}(X), \mathbf{L}\widehat{\Lambda}^{\mathfrak a}(Y)). \] They also provide bounds on the flat and injective dimensions of \(\mathbf{R}\widehat{\Gamma}_{\mathfrak a}(X)\) and \(\mathbf{L}\widehat{\Lambda}^{\mathfrak a}(X)\) as \(\widehat{R}^{\mathfrak a}\)-complexes. They discuss the connection between ``\(\mathfrak a\)-adically finite'' complexes and ``cohomologically \(\mathfrak a\)-adically cofinite'' complexes. Finally, they exhibit some isomorphisms. For instance, they show that if \(R\longrightarrow S\) be a commutative Noetherian rings, then, under some conditions, there is an isomorphism in \(\mathcal{D}(\widehat{S}^{{\mathfrak a}S})\): \(\widehat{S}^{\mathfrak a S}\otimes_{\widehat{R}^{\mathfrak a}}^\mathbf{L}\mathbf{L}\widehat{\Lambda}^{\mathfrak a}(X)\simeq\mathbf{L}\widehat{\Lambda}^{\mathfrak a S}(S\otimes_R^\mathbf{L}X)\).