Local cohomology with support in a parameter ideal (Q2376524)

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.