Attached primes of local cohomology modules under localization and completion (Q743921)

In this interesting paper, the authors give a characterization of Noetherian local rings for which the shifted localization principle of local cohomology modules hold. Let \((R,\mathfrak{m})\) be a Noetherian local ring and \(M\) a finitely generated \(R\)-module. \textit{R. Y. Sharp} in [Proc. Lond. Math. Soc. (3) 30, 177--195 (1975; Zbl 0298.13011)] shows that, if \(R\) is a homomorphic image of a Gorenstein local ring then \[ \mathrm{Att}_{R_{\mathfrak{p}}}(H_{\mathfrak{p}R_{\mathfrak{p}}}^{i-\dim(R/\mathfrak{p})}(M_{\mathfrak{p}}))=\{\mathfrak{q}R_{\mathfrak{p}}|\mathfrak{q}\in \mathrm{Att}_R(H^i_{\mathfrak{m}}(M)), \mathfrak{q}\subseteq \mathfrak{p}\}. \] This equation is called the shifted localization principle. The main theorem of the paper states that the following conditions are equivalent (i) \(R\) is universally catenary and all its formal fibers are Cohen-Macaulay; (ii) The shifted localization principle holds for every finitely generated \(R\)-module, integer \(i\geq 0\) and all prime ideals \(\mathfrak{p}\) (iii) For all finitely generated module \(M\) \[ \mathrm{Att}_{\widehat{R}}(H^i_{\mathfrak{m}}(M))=\bigcup_{\mathfrak{p}\in \mathrm{Att}_{R}(H^i_{\mathfrak{m}}(M)) }\mathrm{Ass}_{\widehat{R}}(\widehat{R}/\mathfrak{p}\widehat{R}). \] All of these facts are equivalent to the condition that \(R\) is homomorphic image of a Cohen-Macaulay local ring due to a result of \textit{T. Kawasaki} [Trans. Am. Math. Soc. 354, No. 1, 123--149 (2002; Zbl 1087.13502)]. The implication (iii)\(\Rightarrow\)(ii) was already shown in [\textit{Chau Tran Do Minh} and \textit{Le Thanh Nhan}, J. Algebra 403, 459--469 (2014; Zbl 1306.13011)]. The others appeal properties of the annihilator of local cohomology modules and the equations \[ \mathrm{Ass}_R(M)=\{\mathfrak{P}\cap R|\mathfrak{P}\in \mathrm{Ass}_{\widehat{R}}(\widehat{M})\} \] and \[ \mathrm{Ass}_{\widehat{R}}(\widehat{M})=\bigcup_{\mathfrak{p}\in \mathrm{Ass}_R(M)}\mathrm{Ass}_{\widehat{R}}(\widehat{R}/\mathfrak{p}\widehat{R}). \]