On the annihilators and attached primes of top local cohomology modules

DOI10.1007/S00013-014-0629-1MaRDI QIDQ2447686zbMATH OpenOpenAlexFDO

Authors Ali Atazadeh, Monireh Sedghi, Reza Naghipour

Publication date 28 April 2014

Published in Archiv der Mathematik (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1312.1253

zbMATH Keywords

annihilator attached primes cohomological dimension local cohomology

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Commutative Noetherian rings and modules (13E05) Local cohomology and algebraic geometry (14B15)

Abstract: Let frak a be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that { m Ann}_R(H_{frak a}^{{dim M}({frak a}, M)}(M))= { m Ann}_R(M/T_R({frak a}, M)), where T_R({frak a}, M) is the largest submodule of M such that { m cd}({frak a}, T_R({frak a}, M))< { m cd}({frak a}, M). Several applications of this result are given. Among other things, it is shown that there exists an ideal frak b of R such that { m Ann}_R(H_{frak a}^{dim M}(M))={ m Ann}_R(M/H_{frak b}^{0}(M)). Using this, we show that if H_{frak a}^{dim R}(R)=0, then { m Att}_RH^{{dim R}-1}_{frak a}(R)={{frak p}in { m Spec},R|,{ m cd}({frak a}, R/{frak p})={dim R}-1}. These generalize the main results of cite[Theorem 2.6]{BAG}, cite[Theorem 2.3]{He} and cite[Theorem 2.4]{Lyn}.

Review text

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\}. \]

Recommendations

Cites work

Cited in

(31)

This page was built for publication: On the annihilators and attached primes of top local cohomology modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2447686)