The derived category analogue of the Hartshorne-Lichtenbaum vanishing theorem (Q367023)

The local Lichtenbaum-Hartshorne Vanishing Theorem gives necessary and sufficient conditions, over an \(n\)-dimensional local ring \((R,\mathfrak{m})\), for the vanishing of \(n\)-th local cohomology modules with respect to \(\mathfrak{a}\), where \(\mathfrak{a}\) is proper ideal. In the paper under review the authors give a generalization of Lichtenbaum-Hartshorne vanishing theorem for a homologically bounded complex of \(R\)-modules whose all homology modules are finitely generated by proving the following result. { Theorem. } Let \(\mathfrak{a}\) be an ideal of a local ring \((R,\mathfrak{m})\) and let \(X\) be a \(d\)-dimensional homologically bounded complex of \(R\)-modules whose all homology modules are finitely generated. Then \(H^d_{\mathfrak{a}}(X) = 0\) if and only if \(\dim(\hat{R}/\mathfrak{a}\hat{R}+\mathfrak{p}) > 0\) for all prime ideals \(\mathfrak{p}\) of \(\hat{R}\) such that \(\dim \hat{R}/\mathfrak{p} - \inf(X\otimes_R\hat{R})_{\mathfrak{p}} = d\).