On the annihilators and attached primes of top local cohomology modules (Q2447686): Difference between revisions

Let \(R\) be commutative Noetherian ring with identity. Let \(\mathfrak a\) be an ideal of \(R\) and \(M\) a finitely generated \(R\)-module. This paper studies the annihilation of the local cohomology modules \[ H_{\mathfrak {a}}^i(M):={\varinjlim}_n\mathrm{Ext}^i_R(R/{\mathfrak{a}}^n,M);\;\;i\in\mathbb{N}_0. \] Let \(T_R(\mathfrak{a},M)\) denote the largest submodule of \(M\) such that \(\mathrm{cd}(\mathfrak{a},T_R(\mathfrak{a}, M))<\mathrm{cd}(\mathfrak{a},M)\). (Recall that for an \(R\)-module \(N\), \(\mathrm{cd}(\mathfrak{a},N)\) denote the largest integer \(i\) such that \(H_{\mathfrak {a}}^i(N)\neq 0\).) As their main result, the authors prove that \[ \mathrm{Ann}_R(H_{\mathfrak {a}}^{\dim M}(M))=\mathrm{Ann}_R(M/T_R(\mathfrak{a},M)). \] From this, they deduce several consequences. For instance, they show that if \(H_{\mathfrak {a}}^{\dim R}(R)=0,\) then \[ \mathrm{Att}_R(H_ {\mathfrak {a}}^{\dim R-1}(R))=\{\mathfrak{p}\in \mathrm{Spec} R|\mathrm{cd}(\mathfrak{a},R/\mathfrak{p})=\dim R-1\}. \]