On natural homomorphisms of local cohomology modules
Let M be a non-zero finitely generated module over a finite dimensional commutative Noetherian local ring (R,m) with dimR(M)=t. Let I be an ideal of R with grade(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))→k⊗RM and ExtRd(k,HIc(M))→ExtRt(k,M) are non-zero where d:=t−c. In fact for a Cohen-Macaulay module M we will show that the homomorphism ExtRd(k,HIc(M))→ExtRt(k,M) is injective (resp. surjective) if and only if the homomorphism Hmd(HIc(M))→Hmt(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))→k⊗RM. Moreover we will construct the natural homomorphism TorcR(k,HIc(M))→TorcR(k,HJc(M)) for the ideals J⊆I with c=grade(I,M)=grade(J,M). There are several sufficient conditions on I and J to prove this homomorphism is an isomorphism.