English

Attached primes of local cohomology modules under localization and completion

Commutative Algebra 2014-04-02 v1

Abstract

Let (R,\m)(R,\m) be a Noetherian local ring and MM a finitely generated RR-module. Following I. G. Macdonald \cite{Mac}, the set of all attached primes of the Artinian local cohomology module H\mi(M)H^i_{\m}(M) is denoted by \AttR(H\mi(M))\Att_R(H^i_{\m}(M)). In \cite[Theorem 3.7]{Sh}, R. Y. Sharp proved that if RR is a quotient of a Gorenstein local ring then the shifted localization principle always holds true, i.e.                         \AttR\p(H\pR\pidim(R/\p)(M\p))={\qR\p\q\AttRH\mi(M),\q\p}                     (1) \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \Att_{R_{\p}}\big(H^{i-\dim (R/\p)}_{\p R_{\p}}(M_{\p})\big)=\big\{\q R_{\p}\mid \q\in\Att_RH^i_{\m}(M), \q\subseteq \p\big\} \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (1) for any local cohomology modules H\mi(M)H^i_{\m}(M) and any \p\Spec(R).\p\in\Spec (R). In this paper, we improve Sharp's result as follows: the shifted localization principle always holds true if and only if RR is universally catenary and all its formal fibers are Cohen-Macaulay, if and only if                                        \AttR(H\mi(M))=\p\AttR(H\mi(M))\AssR(R/\pR)                                     (2)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \displaystyle \Att_{\R}(H^i_{\m}(M))=\bigcup_{\p\in\Att_R(H^i_{\m}(M))}\Ass_{\R}(\R/\p\R)\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ (2) holds true for any finitely generated RR-module MM and any integer i0.i\geq 0. This also improves the main result of the paper \cite{CN}.

Keywords

Cite

@article{arxiv.1404.0111,
  title  = {Attached primes of local cohomology modules under localization and completion},
  author = {Le Thanh Nhan and Pham Hung Quy},
  journal= {arXiv preprint arXiv:1404.0111},
  year   = {2014}
}

Comments

Comments welcome