Associated primes of local cohomology modules and Matlis duality (Q952567)

From MaRDI portal





scientific article; zbMATH DE number 5365187
Language Label Description Also known as
English
Associated primes of local cohomology modules and Matlis duality
scientific article; zbMATH DE number 5365187

    Statements

    Associated primes of local cohomology modules and Matlis duality (English)
    0 references
    0 references
    0 references
    12 November 2008
    0 references
    Let \((R,m)\) be a commutative noetherian local ring and \(I\) an ideal of \(R\). This paper contains two new results. It is proven that \(H^{2}_{I}(R):={\varinjlim}\text{Ext}^{2}_{R}(R/I^{n},R)\) has finitely many associated prime ideals, in the case that \(R\) is regular. If \(i<d:=\dim R\), then by inspection of the proof of Theorem 2.2.1 of \textit{M. Hellus} [Commun. Algebra 33, No. 11, 3997--4009 (2005; Zbl 1101.13026)], one can find easily that \(\{\mathfrak p\in \text{Spec} R ~ | ~ x_1,\cdots x_i \text{ is a system of parameters for } R/ \mathfrak p \text{ and } \text{ht} \mathfrak p= d-i\}\) is a subset of \(\text{Ass} D(H^{i}_{(x_1,\cdots x_i)}(R))\) where \(D\) is Matlis duality functor. The authors by using of prime avoidance, show that the first set is infinite. So they second main result state that \(\text{Ass} D(H^{i}_{(x_1,\cdots x_i)}(R))\) is an infinite set. We note that \(\text{Ass} D(H^{i}_{(x_1,\cdots x_d)}(R))\) is finite, if \(x_1,\cdots x_d\) becomes a full system of parameters for \(R\).
    0 references
    Associated primes
    0 references
    Cofinite module
    0 references
    Cohomological dimension
    0 references
    Local cohomology
    0 references
    Matlis duality
    0 references
    Regular local ring
    0 references

    Identifiers