Annihilator of local cohomology of homogeneous parts of a graded module

Author(s):  
Tran Do Minh Chau ◽  
Nguyen Thi Kieu Nga ◽  
Le Thanh Nhan

Let [Formula: see text] be a homogeneous graded ring, where [Formula: see text] is a Noetherian local ring. Let [Formula: see text] be a finitely generated graded [Formula: see text]-module. For [Formula: see text] set [Formula: see text]. Denote by [Formula: see text] the set of all prime ideals of [Formula: see text] containing [Formula: see text]. For [Formula: see text], let [Formula: see text] be the set of all [Formula: see text] such that [Formula: see text] In this paper, we prove that the sets [Formula: see text] and [Formula: see text] do not depend on [Formula: see text] for [Formula: see text]. We show that the annihilators [Formula: see text], [Formula: see text] are eventually stable, where [Formula: see text] for [Formula: see text]. As an application, we prove the asymptotic stability of some loci contained in the non-Cohen–Macaulay locus of [Formula: see text].

2019 ◽  
Vol 18 (12) ◽  
pp. 1950238
Author(s):  
Yavar Irani ◽  
Kamal Bahmanpour ◽  
Ghader Ghasemi

Let [Formula: see text] be a Noetherian local ring and [Formula: see text], [Formula: see text] be two finitely generated [Formula: see text]-modules. In this paper, it is shown that [Formula: see text] and [Formula: see text] for each [Formula: see text] and each integer [Formula: see text]. In particular, if [Formula: see text] then [Formula: see text]. Moreover, some applications of these results will be included.


2016 ◽  
Vol 15 (04) ◽  
pp. 1650070 ◽  
Author(s):  
Ghader Ghasemi ◽  
Kamal Bahmanpour ◽  
Jafar A’zami

Let [Formula: see text] be a commutative Noetherian local ring, which is a homomorphic image of a Gorenstein local ring and [Formula: see text] an ideal of [Formula: see text]. Let [Formula: see text] be a nonzero finitely generated [Formula: see text]-module and [Formula: see text] be an integer. In this paper we show that, the [Formula: see text]-module [Formula: see text] is nonzero and [Formula: see text]-cofinite if and only if [Formula: see text]. Also, several applications of this result will be included.


2015 ◽  
Vol 22 (spec01) ◽  
pp. 935-946 ◽  
Author(s):  
Majid Rahro Zargar ◽  
Hossein Zakeri

Let (R, 𝔪) be a commutative Noetherian local ring and M an R-module which is relative Cohen-Macaulay with respect to a proper ideal 𝔞 of R, and set n := ht M𝔞. We prove that injdim M < ∞ if and only if [Formula: see text] and that [Formula: see text]. We also prove that if R has a dualizing complex and Gid RM < ∞, then [Formula: see text]. Moreover if R and M are Cohen-Macaulay, then Gid RM < ∞ whenever [Formula: see text]. Next, for a finitely generated R-module M of dimension d, it is proved that if [Formula: see text] is Cohen-Macaulay and [Formula: see text], then [Formula: see text]. The above results have consequences which improve some known results and provide characterizations of Gorenstein rings.


2008 ◽  
Vol 15 (03) ◽  
pp. 457-462 ◽  
Author(s):  
A. Mafi ◽  
H. Saremi

Let R be a commutative Noetherian local ring, 𝔞 an ideal of R, and M a finitely generated generalized f-module. Let t be a positive integer such that [Formula: see text] and t > dim M - dim M/𝔞M. In this paper, we prove that there exists an ideal 𝔟 ⊇ 𝔞 such that (1) dim M - dim M/𝔟M = t; and (2) the natural homomorphism [Formula: see text] is an isomorphism for all i > t and it is surjective for i = t. Also, we show that if [Formula: see text] is a finite set for all i < t, then there exists an ideal 𝔟 of R such that dim R/𝔟 ≤ 1 and [Formula: see text] for all i < t.


1988 ◽  
Vol 104 (3) ◽  
pp. 451-478 ◽  
Author(s):  
Kikumichi Yamagishi

Throughout this paper A denotes a Noetherian local ring with maximal ideal m and M denotes a finitely generated A-module. Moreover stands for the ith local cohomology functor with respect to m (cf. [10]). We refer to [15] for unexplained terminolog.


2014 ◽  
Vol 21 (04) ◽  
pp. 605-614 ◽  
Author(s):  
Kamal Bahmanpour ◽  
Reza Naghipour ◽  
Monireh Sedghi

Let M be a non-zero finitely generated module over a commutative Noetherian local ring (R, 𝔪). In this paper we consider when the local cohomology modules are finitely generated. It is shown that if t ≥ 0 is an integer and [Formula: see text], then [Formula: see text] is not 𝔭-cofinite. Then we obtain a partial answer to a question raised by Huneke. Namely, if R is a complete local ring, then [Formula: see text] is finitely generated if and only if 0 ≤ n ∉ W, where [Formula: see text]. Also, we show that if J ⊆ I are 1-dimensional ideals of R, then [Formula: see text] is J-cominimax, and [Formula: see text] is finitely generated (resp., minimax) if and only if [Formula: see text] is finitely generated for all [Formula: see text] (resp., [Formula: see text]). Moreover, the concept of the J-cofiniteness dimension [Formula: see text] of M relative to I is introduced, and we explore an interrelation between [Formula: see text] and the filter depth of M in I. Finally, we show that if R is complete and dim M/IM ≠ 0, then [Formula: see text].


2011 ◽  
Vol 18 (spec01) ◽  
pp. 815-818
Author(s):  
Amir Mafi

Let (R, 𝔪) be a commutative Noetherian local ring and N a finitely generated R-module with dim M =d. It is shown that M is a sequentially Cohen-Macaulay module if and only if the modules [Formula: see text] are either 0 or co-Cohen-Macaulay of Noetherian dimension i for all 0 ≤ i ≤ d.


2017 ◽  
Vol 230 ◽  
pp. 35-47 ◽  
Author(s):  
HOP D. NGUYEN ◽  
THANH VU

This work concerns the linearity defect of a module $M$ over a Noetherian local ring $R$, introduced by Herzog and Iyengar in 2005, and denoted $\text{ld}_{R}M$. Roughly speaking, $\text{ld}_{R}M$ is the homological degree beyond which the minimal free resolution of $M$ is linear. It is proved that for any ideal $I$ in a regular local ring $R$ and for any finitely generated $R$-module $M$, each of the sequences $(\text{ld}_{R}(I^{n}M))_{n}$ and $(\text{ld}_{R}(M/I^{n}M))_{n}$ is eventually constant. The first statement follows from a more general result about the eventual constancy of the sequence $(\text{ld}_{R}C_{n})_{n}$ where $C$ is a finitely generated graded module over a standard graded algebra over $R$.


2009 ◽  
Vol 79 (1) ◽  
pp. 59-67 ◽  
Author(s):  
YAN GU ◽  
LIZHONG CHU

AbstractLet (R,𝔪) be a commutative Noetherian local ring, letIbe an ideal ofRand letMandNbe finitely generatedR-modules. Assume that$\mathrm {pd} (M)=d\lt \infty $,$\dim N=n\lt \infty $. First, we give the formula for the attached primes of the top generalized local cohomology moduleHId+n(M,N); later, we prove that if Att(HId+n(M,N))=Att(HJd+n(M,N)), thenHId+n(M,N)=HJd+n(M,N).


2000 ◽  
Vol 43 (1) ◽  
pp. 73-94
Author(s):  
Koji Nishida

AbstractLet (A, m) be a Noetherian local ring such that the residue field A/m is infinite. Let I be arbitrary ideal in A, and M a finitely generated A-module. We denote by ℓ(I, M) the Krull dimension of the graded module ⊕n≥0InM/mInM over the associated graded ring of I. Notice that ℓ(I, A) is just the analytic spread of I. In this paper, we define, for 0 ≤ i ≤ ℓ = ℓ(I, M), certain elements ei(I, M) in the Grothendieck group K0(A/I) that suitably generalize the notion of the coefficients of Hilbert polynomial for m-primary ideals. In particular, we show that the top term eℓ (I, M), which is denoted by eI(M), enjoys the same properties as the ordinary multiplicity of M with respect to an m-primary ideal.


Sign in / Sign up

Export Citation Format

Share Document