English

On Lyubeznik's invariants and endomorphisms of local cohomology modules

Commutative Algebra 2009-05-07 v3 Algebraic Geometry

Abstract

Let (R,m)(R, \mathfrak m) denote an nn-dimensional Gorenstein ring. For an ideal IRI \subset R of height cc we are interested in the endomorphism ring B=\HomR(HIc(R),HIc(R)).B = \Hom_R(H^c_I(R), H^c_I(R)). It turns out that BB is a commutative ring. In the case of (R,m)(R,\mathfrak m) a regular local ring containing a field BB is a Cohen-Macaulay ring. Its properties are related to the highest Lyubeznik number l=dimk\ExtRd(k,HIc(R)).l = \dim_k \Ext_R^d(k,H^c_I(R)). In particular RBR \simeq B if and only if l=1.l = 1. Moreover, we show that the natural homomorphism \ExtRd(k,HIc(R))k\Ext_R^d(k, H^c_I(R)) \to k is non-zero.

Keywords

Cite

@article{arxiv.0704.2007,
  title  = {On Lyubeznik's invariants and endomorphisms of local cohomology modules},
  author = {Peter Schenzel},
  journal= {arXiv preprint arXiv:0704.2007},
  year   = {2009}
}

Comments

Revised, extended and corrected version