Local cohomology with support in a parameter ideal

The authors examine local cohomology modules with support in a parameter ideal. They establish some results concerning the heights of the annihilators and the finiteness of the vector-space dimension of the scole of these local cohomlogy modules in low dimension or codimension. Recall that for a module \(X\) over a local ring \((R,\mathfrak m,k)\), the socle of \(X\) is defined as \(\mathrm{Soc}_R(X):=\Hom_R(k,X)\). We summarize some of the results of this paper below. Let \((R,\mathfrak m,k)\) be a complete local domain with identity and \(M\) a non-zero finitely generated \(R\)-module. Set \(d:=\dim R\) and let \(\underline{x}=x_1,\dots, x_n\) be part of a system of parameters of \(R\). (i) If \(n=0, 1, d-1\) or \(d\), then \(\mathrm{Soc}_R(H_{(\underline{x})}^i(M))\) is a finite dimensional \(k\)-vector space for all \(i\). (ii) If, for some \(j\), \(M\) satisfies Serre's condition \({\mathbf S}_{j-1}\), then \(\mathrm{Soc}_R(H_{(\underline{x})}^i(M))\) is a finite dimensional \(k\)-vector space for all \(i\leq j\). (iii) If \(d\leq 4\) and \(M\) is torsion-free, then \(\mathrm{Soc}_R(H_{(\underline{x})}^i(M))\) is a finite dimensional \(k\)-vector space for all \(i\). (iv) If \(M\) is torsion-free, then \(\mathrm{Ann}_R(H_{(\underline{x})}^n(M))\) has hight \(0\). (v) If \(M\) is torsion-free and \(n=0, 1, 2, d-1\) or \(d\), then \(\mathrm{Ann}_R(H_{(\underline{x})}^i(M))\) has height at least 2 for all \(i\leq n-1\). The authors conclude the paper by providing some examples to show that their result do not hold in general.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Local cohomology with support in a parameter ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2376524)