On the annihilators and attached primes of top local cohomology modules

Let a\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{a}}$$\end{document} be an ideal of a commutative Noetherian ring R and M a finitely generated R-module. It is shown that AnnR(HadimM(M))=AnnR(M/TR(a,M))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))= {\rm Ann}_R(M/T_R(\mathfrak{a}, M))}$$\end{document} , where TR(a,M)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T_R(\mathfrak{a}, M)}$$\end{document} is the largest submodule of M such that cd(a,TR(a,M))<cd(a,M)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm cd}(\mathfrak{a}, T_R(\mathfrak{a}, M)) < {\rm cd}(\mathfrak{a}, M)}$$\end{document} . Several applications of this result are given. Among other things, it is shown that there exists an ideal b\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak{b}}$$\end{document} of R such that AnnR(HadimM(M))=AnnR(M/Hb0(M))\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\rm Ann}_R(H_{\mathfrak{a}}^{{\rm dim} M}(M))={\rm Ann}_R(M/H_{\mathfrak{b}}^{0}(M))}$$\end{document} . Using this, we show that if HadimR(R)=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${ H_{\mathfrak{a}}^{{\rm dim} R}(R)=0}$$\end{document} , then AttRHadimR-1(R)={p∈SpecR|cd(a,R/p)=dimR-1}.\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{{\rm Att}_R} H^{{\rm dim} R-1}_{\mathfrak a}(R)= \{\mathfrak{p} \in {\rm Spec} R | \,{\rm cd}(\mathfrak{a}, R/\mathfrak{p}) = {\rm dim} R-1\}.}$$\end{document} These generalize the main results of Bahmanpour et al. (see [2, Theorem 2.6]), Hellus (see [7, Theorem 2.3]), and Lynch (see [10, Theorem 2.4]).


Introduction.
Let R be an arbitrary commutative Noetherian ring (with identity), a an ideal of R, and let M be a finitely generated R-module. An important problem concerning local cohomology is determining the annihilators of the i th local cohomology module H i a (M ). This problem has been studied by several authors; see for example [9][10][11][14][15][16], and has led to some interesting results. More recently, in [2] Bahmanpour et al. proved an interesting result about the annihilator Ann R (H d m (M )) in the case (R, m) is a complete local ring of dimension d.
The purpose of the present paper is to establish some new results concerning the annihilators of local cohomology modules H i a (M ) (i ∈ N 0 ), where a is an ideal in a Noetherian ring R and M a finitely generated module over R.
The research of the R. Naghipour was supported in part by a grant from IPM.
As a main result in the second section, we determine the annihilators of the top local cohomology module H dim M a (M ). More precisely, we shall prove the following theorem, which is a generalization of the main result of [2,Theorem 2.6] for an arbitrary ideal a of an arbitrary Noetherian ring R. Theorem 1.1. Let R be a Noetherian ring, and let M be a finitely generated Rmodule. Then for any ideal a of R, Here 0 = ∩ n j=1 N j denotes a reduced primary decomposition of the zero submodule 0 in M and N j is a p j -primary submodule of M , for all j = 1, . . . , n and b := Π cd(a,R/pj ) =c p j .
One of the basic problems concerning local cohomology is finding the set of attached primes of H i a (M ). In Section 3, we obtain some results about the attached primes of local cohomology modules. In this section among other things, we derive the following consequence of Theorem 1.1 and Corollary 1.2, which provides an upper bound for the attached primes of Att R H cd(a,M ) a (M ). This will generalize the main results of [5] and [4]. Theorem 1.3. Let R be a Noetherian ring and a an ideal of R. Let M be a finitely generated R-module such that c := cd(a, M) is finite. Then Another main result in Section 3 is to give a complete characterization of the attached primes of the local cohomology module H dim R−1 a (R). More precisely, we shall show the following result, which is an extension as well as a correction of the main theorem of [7].
One of our tools for proving Theorem 1.4 is the following: Proposition 1.5. Let R be a Noetherian ring of finite dimension d and a an ideal of R such that H d a (R) = 0. Then Throughout this paper, R will always be a commutative Noetherian ring with non-zero identity and a will be an ideal of R. For any R-module M , the i th local cohomology module of M with support in V (a) is defined by Ext i R (R/a n , M).
The cohomological dimension of M with respect to a is defined as cd(a, M) := sup{i ∈ Z| H i a (M ) = 0}. For each R-module L, we denote by Assh R L (resp. mAss R L) the set {p ∈ Ass R L : dim R/p = dim L} (resp. the set of minimal primes of Ass R L). Also, we shall use Att R L to denote the set of attached prime ideals of L. For any ideal a of R, we denote {p ∈ Spec R : p ⊇ a} by V (a). Finally, for any ideal b of R, the radical of b, denoted by Rad(b), is defined to be the set {x ∈ R : x n ∈ b for some n ∈ N}. For any unexplained notation and terminology, we refer the reader to [3] and [13].

Annihilators of top local cohomology modules.
Let us, firstly, recall the important concept of the cohomological dimension of an R-module L with respect to an ideal a of a commutative Noetherian ring R, denoted by cd(a, L); it is the largest integer i such that H i a (L) = 0. The main result of this section is Theorem 2.3. The following lemma plays a key role in the proof of that theorem.  Consequently, we can (and do) assume that T R (a, M) = 0, and with this assumption our aim is to show that Ann R (H c a (M )) = Ann R (M ). To this end, as , it is enough for us to prove that  Ann R (H c a (R)) = H 0 b (R) = ∩ cd(a,R/pj )=c q j , where 0 = ∩ n j=1 q j is a reduced primary decomposition of the zero ideal of R, q j is a p j -primary ideal of R for all 1 ≤ j ≤ n, and b = Π cd(a,R/pj ) =c p j .
Proof. The result follows from Corollary 2.7. Corollary 2.9. Let R be a Noetherian ring with finite dimension c and a an ideal of R such that cd(a, R) = c. Then the following conditions are equivalent: Proof. The result follows from Corollary 2.8.   R (a, R)). Hence T R (a, R) ⊆ Ann R (H c a (R)), and so T R (a, R) = 0. Now, the assertion follows from Remark 2.6.

Attached primes of local cohomology modules.
It will be shown in this section that the subjects of the previous section can be used to investigate the attached prime ideals of local cohomology modules. In fact, we will generalize and improve the main result of Hellus (cf. [7, Theorem 2.3]). The main result is Theorem 3.7. The following proposition will serve to shorten the proof of the main theorem. We begin with Definition 3.1. Let L be an R-module. We say that a prime ideal p of R is an attached prime of L if there exists a submodule K of L such that p = Ann R (L/K). We denote by Att R L the set of attached primes of L.
When M is representable in the sense of [12] (e.g. Artinian or injective), our definition of Att R L coincides with that of MacDonald [12], Sharp [17].
It follows easily from the definition that, if p ∈ Att R L, then L ⊗ R R/p = 0. This is used in the proof of Theorem 3.3.     R (a, R)). Proof. In order to prove the first containment, in view of Theorem 3.3, it is enough to show that . To this end, let p ∈ Spec R be such that cd(a, R/p) = c = dim R/p. Then in view of Corollary 3.4, we have p ∈ Att R H c a (R/p). Now, from the exact sequence for all integers t. Consequently, we obtain that and so the Krull's Intersection Theorem implies that JR p = 0. As R is an integral domain, it follows that J = 0, which is a contradiction. Now we are prepared to prove the second main theorem of this section, which is a generalization of the main result of Hellus (cf. [ (R), as required. The following lemma, which is a consequence of the Lichtenbaum-Hartshorne vanishing theorem, is assistant in the proof of Theorem 3.9.
If, in addition, R is complete, then Proof. For the proof of Assh R R ⊆ Att R H d−1 a (R), let p ∈ Assh R R. Then, in view of Theorem 3.7, it is enough to show that cd(a, R/p) = d − 1. To do this, as Assh R (R) = {q ∩ R|q ∈ AsshR(R)}, dimR/aR = 1 and cd(aR,R/pR) = cd(a, R/p), by using Lemma 2.1 without loss of generality, we may assume that R is complete. Now, since H d a (R) = 0, it follows that H d a (R/p) = 0. Thus a + p is not m-primary, and so dim R/(a + p) = 1 (note that dim R/a = 1). Let q be a minimal prime over a + p such that dim R/q = 1. Then it is easy to see that q is also minimal over a. Next, as R is catenary, it yields that dim R q /pR q = d − 1, and so we have Therefore We end the paper with the following question: