On invariants and endomorphism rings of certain local cohomology modules

Abstract: Let

(R, m a t h f r a k m)

denote an

n

-dimensional Gorenstein ring. For an ideal

I s u b s e t R

with

g r a d e I = c

we define new numerical invariants

a u_{i, j} (I)

as the socle dimensions of

H_{m a t h f r a k m}^{i} (H_{I}^{n - j} (R))

. In case of a regular local ring containing a field these numbers coincide with the Lyubeznik numbers

l a m b d a_{i, j} (R / I)

. We use

a u_{d, d} (I), d = d i m R / I,

to characterize the surjectivity of the natural homomorphism

f : h a t R o H o m_{h a t R} (H_{I h a t R}^{c} (h a t R), H_{I h a t R}^{c} (h a t R))

. As a technical tool we study several natural homomorphisms. Moreover we prove a few results on

a u_{i, j} (I)

.

Review text

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.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: On invariants and endomorphism rings of certain local cohomology modules

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