A local duality principle in derived categories of commutative Noetherian rings (Q1748112)

Let \(R\) be a commutative Noetherian ring and \(W \subset \text{Spec} R\) a subset. Local cohomology functors \(H_W^i\) and \(\mathbf{R} \Gamma_W\) are usually defined when \(W\) is Zariski closed, or specialization-closed. In the present article, the authors study an extended notionn \(\gamma_W\) of \(\mathbf{R} \Gamma_W\) for arbitary subset \(W\). Let \(\mathcal{D}\) be the derived category of complexes of \(R\)-modules. A full subcategory \(\mathcal{L} \subset \mathcal{D}\) is said to be localizing if \(\mathcal{L}\) is triangulated and closed under arbitrary direct sums. Let \(\mathcal{L}_W\) be the smallest localizing subcategory of \(\mathcal{D}\) containing the injective envelope of \(R/\mathfrak p\) for all \(\mathfrak p \in W\). The colocalizing functor \(\gamma_W\) is defined to be the adjoint of the inclusion functor \(\mathcal{L}_W \to \mathcal{D}\). It is knwon that \(\gamma_W = \mathbf{R} \Gamma_W\) if \(W\) is specialization closed. The authors study several properties of \(\gamma_W\). For example, they show the isomorphism \[ \gamma_W \mathbf{R} \text{Hom}(X,Y) \cong \mathbf{R} \text{Hom}(X, \gamma_W Y) \] if \(X\), \(Y \in \mathcal{D}\) satisfy some mild conditions. If \(R\) has a dualizing complex \(D_R\), then the isomorphism above induces the local duality theorem \[ \gamma_W X \cong \mathbf{R} \text{Hom} (\mathbf{R} \text{Hom}(X, D_R), \gamma_W, D_R). \] On the other hand, if \(M\) is a finitely generated \(R\)-module and \(\mathfrak a \subset R\) an ideal such that \(W = V(\mathfrak a)\), then \(H_W^i(M) = 0\) unless \(\text{depth}(\mathfrak a, M) \leq i \leq \dim M\). The authors prove an analogue on \(\gamma_W\).