The Lichtenbaum-Hartshorne theorem for modules which are finite over a ring homomorphism (Q2475118): Difference between revisions

Let \(\mathfrak a\) be a proper ideal of a commutative noetherian local ring \((R,\mathfrak m)\). For a finitely generated \(R\)-module \(M\), the Lichtenbaum-Hartshorne Theorem says that \(H_{\mathfrak a}^{\dim_R M}(M)=0\) if and only if \(\dim \hat{R}/\mathfrak a\hat{R}+\mathfrak p>0\) for all \(\mathfrak p\in \text{Supp}_{\hat{R}}(M\otimes_{\hat{R}}\hat{R})\) such that \(\dim \hat{R}/\mathfrak p=\dim_R M\). (Here \(\hat{R}\) denotes the \(\mathfrak m\)-adic completion of \(R\).) In the paper under review, the authors show that this statement remains true for any \(R\)-module \(M\) for which there exists a noetherian commutative flat algebra \(S\) such that \(\mathfrak m S\subsetneqq S\) and that \(M\) has the structure of a finitely generated \(S\)-module compatible with its \(R\)-module structure and \(\text{Supp}_SM=\{\mathfrak q\in \text{Spec} S:\mathfrak q\cap R\in \text{Supp}_RM\}\).