Attached primes of local cohomology modules and structure of Noetherian local rings (Q2253026)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Attached primes of local cohomology modules and structure of Noetherian local rings |
scientific article |
Statements
Attached primes of local cohomology modules and structure of Noetherian local rings (English)
0 references
25 July 2014
0 references
Let \((R,\mathfrak{m})\) be a Noetherian local ring and \(M\) a finitely generated \(R\)-module with \({\dim\;}M=d\), and let \(\widehat{R}\) and \(\widehat{M}\) the \(\mathfrak{m}\)-adic completion of \(R\) and \(M\) respectively. There are two well known relations between associated primes of \(M\) and \(\widehat{M}\): \[ \text{Ass}_R\;M=\{\mathfrak{P}\cap R|\mathfrak{P}\in \text{Ass}_{\widehat{R}}\;\widehat{M}\} {\mathrm{ and}} \text{Ass}_{\widehat{R}}\;\widehat{M}=\bigcup\limits_{\mathfrak{p}\in \text{Ass}_R\;M}\text{Ass}_{\widehat{R}}(\widehat{R}/\mathfrak{p}\widehat{R}). \] For an Artinian \(R\)-module \(A\), I. G. Macdonald defined the set of attached primes \(\text{Att}_R\;A\), which makes the role in some sense similar to that of associated primes for finitely generated modules [\textit{I. G. Macdonald}, in: Sympos. math. 11, Algebra commut., Geometria, Convegni 1971/72, 23--43 (1973; Zbl 0271.13001)]. We always have the relation \(\text{Att}_R\;A=\{\mathfrak{P}\cap R|\mathfrak{P}\in \text{Att}_{\widehat{R}}\;A\}\) [\textit{M. P. Brodmann} and \textit{R. Y. Sharp}, Local cohomology. An algebraic introduction with geometric applications. Cambridge: Cambridge University Press (1998; Zbl 0903.13006)], but the second dual formula \[ \text{Att}_{\widehat{R}}\;A=\bigcup\limits_{\mathfrak{p}\in \text{Att}_R\;A}\text{Ass}_{\widehat{R}}(\widehat{R}/\mathfrak{p}\widehat{R}) \] is not true in general. In particular, the last formula is not true even for the case where \(A=H^i_{\mathfrak{m}}(M)\). The authors investigate the structure of the base ring \(R\) via relation between \(\text{Att}_RH^i_{\mathfrak{m}}(M)\) and \(\text{Att}_{\widehat{R}}H^i_{\mathfrak{m}}(M)\). The main result is the next theorem. Theorem. The following statements are equivalent: (i) \(R\) is universally catenary and all its fibers are Cohen-Macaulay; (ii) \(\min \text{Att}_{\widehat{R}}(H^i_{\mathfrak{m}}(M))=\min\bigcup_{\mathfrak{p}\in\text{Att}_R(H^i_{\mathfrak{m}}(M))}\text{Ass}_{\widehat{R}}(\widehat{R}/\mathfrak{p}\widehat{R})\) for every finitely generated \(R\)-module \(M\) and every integer \(i\geqslant0\); (iii) \(\dim (R/\text{Ann}_R H^i_{{\mathfrak{m}}}(M))=\dim(\widehat{R}/\text{Ann}_{\widehat{R}}H^i_{\mathfrak{m}}(M))\) for every finitely generated \(R\)-module \(M\) and every integer \(i\geqslant0\).
0 references
local cohomology modules
0 references
Cohen-Macaulay fibers
0 references
universally catenary
0 references
attached primes
0 references
0 references