On invariants and endomorphism rings of certain local cohomology modules (Q2376685): Difference between revisions

Let \(R\) be an \(n\)-dimensional complete local ring with maximal ideal \(\mathfrak m\) and \(I \subset R\) an ideal of grade \(c\). Several authors were interested in the endomorphism ring of the local cohomology module \(H_I^p(R)\). Let \(f \: R \to \text{Hom}(H_I^p(R), H_I^p(R))\) be the natural map. We know that \(H_I^p(R) = 0\) if \(p < c\) or if \(p > n\). \textit{M. Eghbali} and the second author [Commun. Algebra 40, No. 11, 4295--4305 (2012; Zbl 1273.13027)] studied \(f\) in the case of \(p =n\). They showed that \(f\) is surjective if and only if \(R/ \ker f\) satisfies Serre's \((S_2)\) condition. In the present paper, the authors are concentrated to the case of \(p = c\). They assume that \(R\) is Gorenstein and proved that \(f\) is surjective if and only if \(\dim_{R/\mathfrak m} \text{Hom}(R/\mathfrak m, H_{\mathfrak m}^{n-c} H_I^c(R)) = 1\). The left hand side of the equation above is called the \(\tau\)-number of \(I\). It is equal to the Lyubeznik number if \(R\) is an equi-characteristic regular local ring.