Some results on the annihilators and attached primes of local cohomology modules (Q1674882): Difference between revisions

Let \(R\) be a commutative Noetherian ring with identity. Let \(\mathfrak a\) be an ideal of \(R\) and \(M\) an \(R\)-module. The paper under review studies the attached prime ideals of the local cohomology modules \(\text{H}_{\mathfrak a}^i(M)\). Recall that for an \(R\)-module \(X\), the set of attached primes ideals of \(X\) is defined by \[ \mathrm{Att}_RX:=\{{\mathfrak p}\in \mathrm{Spec }R \;| \;{\mathfrak p}=\mathrm{Ann}_RL \;\;\text{for some quotient} \;L \;\text{of} \;X \}. \] Also, the cohomological dimension of \(M\) with respect to \(\mathfrak a\) is defined by \(\mathrm{cd}({\mathfrak a},M):=\sup\{i\in \mathbb{N}_0|\;\mathrm{H}_{\mathfrak a}^i(M)\neq 0\}.\) In the case \(\dim_RM=\dim R<\infty\), the authors prove that \[ \mathrm{Att}_R(\mathrm{H}_{\mathfrak a}^{\dim_RM}(M))\subseteq \{{\mathfrak p}\in \mathrm{Ass}_RM \;| \;\mathrm{cd}({\mathfrak a},R/{\mathfrak p})=\dim_RM \}. \] Let \(N\) be a nonzero finitely generated \(R\)-module of finite dimension \(d\) such that \(\mathrm{H}_{\mathfrak a}^d(N)=0\). The authors show that \[ \mathrm{Att}_R(\mathrm{H}_{\mathfrak a}^{d-1}(N))=\{{\mathfrak p}\in \mathrm{Supp}_RN \;| \;\mathrm{cd}({\mathfrak a},R/{\mathfrak p})=d-1\}. \]