English

On natural homomorphisms of local cohomology modules

Commutative Algebra 2014-07-01 v1

Abstract

Let MM be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring (R,m)(R,\mathfrak{m}) with dimR(M)=t_R(M)=t. Let II be an ideal of RR with grade(I,M)=c(I,M)=c. In this article we will investigate several natural homomorphisms of local cohomology modules. The main purpose of this article is to investigate that the natural homomorphisms TorcR(k,HIc(M))kRM^R_c(k,H^c_I(M))\to k\otimes_R M and ExtRd(k,HIc(M))ExtRt(k,M)^{d}_R(k,H^c_I(M))\to {\rm Ext}^t_R(k, M) are non-zero where d:=tcd:=t-c. In fact for a Cohen-Macaulay module MM we will show that the homomorphism ExtRd(k,HIc(M))ExtRt(k,M)^d_R(k,H^c_I(M))\to {\rm Ext}^t_R(k, M) is injective (resp. surjective) if and only if the homomorphism Hmd(HIc(M))Hmt(M)H^{d}_{\mathfrak{m}}(H^c_{I}(M))\to H^t_{\mathfrak{m}}(M) is injective (resp. surjective) under the additional assumption of vanishing of Ext modules. The similar results are obtained for the homomorphism TorcR(k,HIc(M))kRM^R_c(k,H^c_I(M))\to k\otimes_R M. Moreover we will construct the natural homomorphism TorcR(k,HIc(M))TorcR(k,HJc(M)){\rm Tor}^R_c(k, H^c_I(M))\to {\rm Tor}^R_c(k, H^c_J(M)) for the ideals JIJ\subseteq I with c=grade(I,M)=grade(J,M)c = {\rm grade}(I,M)= {\rm grade}(J,M). There are several sufficient conditions on II and JJ to prove this homomorphism is an isomorphism.

Keywords

Cite

@article{arxiv.1406.7461,
  title  = {On natural homomorphisms of local cohomology modules},
  author = {Waqas Mahmood},
  journal= {arXiv preprint arXiv:1406.7461},
  year   = {2014}
}

Comments

submitted, keyword: Commutative Algebra