arXiv:2108.12703v1 [math.AC] 28 Aug 2021 ooeeu da of ideal homogeneous nlclchmlg oe rm[ from comes cohomology local on ooooymodule cohomology eteirlvn da of ideal irrelevant the be eeae as generated ocp flnaeo dasitoue yPsieadSpr [ Szpiro and Peskine by introduced ideals of linkage of concept epc oteirlvn da r rva o ucetylrevalue large sufficiently for trivial are ideal irrelevant the to respect eeae.I [ In generated. eeae,a an as generated, modules. { components the of behaviour module cohomology local of components graded the that well-known nti ae,w osdrti rbe,valinkage. via problem, this consider we paper, this In euneand sequence by h-linked) rprielof ideal proper tde ymn uhr,to e o xml [ example for See too. authors, many by studied grade( Let ∗ phrases. and words Key 2010 that Assume olwn [ Following orsodn author. Corresponding SMTTCBHVORO RDDLCLCOHOMOLOGY LOCAL GRADED OF BEHAVIOUR ASYMPTOTIC R ahmtc ujc Classification. Subject Mathematics a R eaiu fteset the of behaviour Abstract. ( a R + and 0 = 0 H , , := m L R 0 R I i AYMJHNII ZDHNDL,ADKAIE SAYYARI KHADIJEH AND NADALI, AZADEH JAHANGIRI, MARYAM ⊕ ), 5 + R + n a ,tohmgnosideals homogeneous two ], over n ∈ ( M R a 0 ∈ 4 r ooeosylne over linked homogenously are M N R mdl o all for -module N h uhr osdrdtepolmo smttcbhvoro t of behaviour asymptotic of problem the considered authors the ] 0 0 sahmgnosielof ideal homogeneous a is R hysoe htti e saypoial tbei oeseilca special some in stable asymptotically is set this that showed They . suethat Assume R = ) R ssadr rdd i.e. graded, standard is n n M 0 n ) H agba yfiieymn lmnso ereoe and one, degree of elements many finitely by -algebra, IM eoe h reeatielof ideal irrelevant the denotes } eoe by denoted , R eapstvl rddcmuaieNehra ring, Noetherian commutative graded positively a be n a i ( ∈ rddlclchmlg oue,Lnaeo das eaieCohen- Relative ideals, of Linkage modules, cohomology local Graded hnfrall for Then . M Z { : grade( M R when of ) b and OUE I LINKAGE VIA MODULES R H and a M = R i ∩ n n M + R 3 ⊕ ihrsetto respect with ( a b −∞ → ∈ ) lo ntecs where case the in Also, ]). M 0 n M H , 1. ∼ eoe graded a denotes ∈ h N ) 30,1D5 34,13E05. 13C40, 13D45, 13A02, Z i ( n 0 R I grade( introduction = ∈ h e fitgr ([ integers of set the , R ; + R M when n M N , a IM ) ntecs hr ( where case the in , sasadr rddagbaoe h oa ring local the over algebra graded standard a is M R b 0 . R and h e fnnngtv nees h -hlocal i-th the integers, non-negative of set the , + if , 1 0 ,M safiieygnrtdgraded generated finitely a is : n M sacmuaieNeera igand ring Noetehrian commutative a is R ) I 1 ( b −∞ → nti ae,w td h asymptotic the study we paper, this In . M a ,[ ], sgnrtdb homogeneous a by generated is a r adt ehmgnosylne (or linked homogeneously be to said are hsi eeaiaino h classical the of generalization a is This . ) n a aua rdn orterminology (our grading natural a has 2 ) ,[ ], } R n ∈ 4 mdl.As,asm that assume Also, -module. Z smr opiae n a been has and complicated more is n [ and ] as n −∞ → 3 10 M 8 615) h asymptotic The 16.1.5]). , R ]. ]. of s 0 sfiieygnrtd tis it generated, finitely is , m ntecs where case the in , s 0 n slcland local is ) H n hyaefinitely are they and R R i mdl and -module + ( M R ∗ + ) M n = of M sfinitely is L Macaulay -regular M a n eset he a ∈ 0 N with R sa is sa is ses. R is n 2 MARYAMJAHANGIRI,AZADEHNADALI,ANDKHADIJEHSAYYARI∗

Assume that the homogeneous ideal a and R+ are h-linked over M. We show that the set grade(R+,M) {grade(a ∩ R0,HR+ (M)n)}n∈Z is asymptotically stable when n → −∞, and also we determine its stable value, in some cases, see Proposition 2.2. Also, in general case, we find a lower bound for this set. More precisely, let

R+ i fa (M) := inf{i| R+ * p0 : Ha(M)}

R+ denotes the R+-finiteness dimension of M relative to a and fR+ (M) := fR+ (M) be the finite- h ness dimension of M relative to R+. Then, we show that if a ∼(I;M) R+ and grade(R+, M)= grade(R+,M) R+ fR+ (M) then grade(a ∩ R0,HR+ (M)n) ≥ fa+R+ (M) − fR+ (M) for all n ≪ 0 (Theo- grade(R+,M) rem 2.4). As a corollary, we show that the graded components HR+ (M)n are relative R+ Cohen-Macaulay with respect to a ∩ R0 of degree fa+R+ (M) − fR+ (M), in some certain cases (Corollary 2.5). Recall that a non-zero finitely generated R-module X is said to be relative i Cohen-Macaulay with respect to the ideal c of degree n if Hc (X) = 0 for all i =6 n. i j At the end, we show that if (R0, m0) is local then the local cohomology modules Hm0R(HR+ (M)) are Artinian, for all i, j ∈ N0, when R+ is linked by an m0-primary ideal (Proposition 2.6). R R Throughout the paper, = Ln∈N0 n is a standard graded ring over the local base ring

(R0, m0), M is a finitely generated graded R-module with M =Γ6 R+ (M). Also, a denotes a proper homogeneous ideal of R and we set a0 := a ∩ R0.

2. The results

First, we recall the concept of homogeneously linked ideals from [5], as well as some basic definitions which will be used later in the paper. Definitions and Remark 2.1. Let b be a second homogeneous ideal of R.

(i) Assume that aM =6 M =6 bM and I ⊆ a ∩ b be an ideal generated by a homoge- neous M-regular sequence. Then we say that the ideals a and b are homogeneously h linked (or h-linked) by I over M, denoted a ∼(I;M) b, if bM = IM :M a and aM = IM :M b. The ideals a and b are said to be geometrically h-linked by I over M if, in addition, aM ∩ bM = IM. Also, we say that the ideal a is h-linked h over M if there exist homogeneous ideals b and I of R such that a ∼(I;M) b. a is h h-M-selflinked by I if a ∼(I;M) a. (ii) Following [3, 9.1.5], the b-finiteness dimension of M relative to a is defined to be

b i fa (M) := inf{i ∈ N0| b * p0 : Ha(M)}. In the case where b = a, in view of [3, 9.1.3], this invariant equals the finiteness dimension of M relative to a. That is

i fa(M) := inf{i ∈ N| Ha(M) is not finitely generated}. ASYMPTOTIC BEHAVIOUR OF GRADED LOCAL COHOMOLOGY MODULES VIA LINKAGE 3

fR+(M) In the next proposition, we want to study the stability of the set {grade(a0,HR+ (M)n)}n∈Z, of integers where n → −∞. This problem has already considered in [4]. Note that, by [3, R+ 6.2.7] and [5, 3.16(ii)], grade(R+, M) ≤ fR+ (M) ≤ fa+R+ (M).

h R+ Proposition 2.2. Let a ∼(I;M) R+ and set t := grade(R+, M). If fR+ (M) =6 t or fa+R+ (M)= fR+ (M) t, then grade(a0,HR+ (M)n)=0 for all n ≪ 0.

Proof. By the homogeneous Mayer-Vietoris sequence and [6, 2.2], we have the following homogeneous exact sequence of R-modules i−1 i i i i ... −→ HI (M) −→ Ha+R+ (M) −→ Ha(M) ⊕ HR+ (M) −→ HI (M) −→ .... It yields i ∼ i i (2.2) Ha+R+ (M) = Ha(M) ⊕ HR+ (M) for all i t +1 and, by [3, 6.2.7], the exact sequence

(2.3) t t t t t+1 t+1 t+1 0 −→ Ha+R+ (M) −→ Ha(M)⊕HR+ (M) −→ HI (M) −→ Ha+R+ (M) −→ Ha (M)⊕HR+ (M) −→ 0.

i i These, result that Ha(M) and HR+ (M) are respectively R+-torsion and a-torsion for all fR+ (M) fR+ (M) i =6 t. So, if fR+ (M) =6 t, then Γa(HR+ (M)) = HR+ (M). Therefore, by [3, 14.1.12] and [1, 4.8],

fR+ (M) fR+ (M) Γa0 (HR+ (M)n)= HR+ (M)n =6 0 for all n ≪ 0. This, in view of [3, 6.2.7], prove the claim. R+ Now, assume that fa+R+ (M)= t. By [9, 3.4], t ∼ t t ∼ t Γa(HR+ (M)) = Γa(ΓR+ (HI(M))) = Γa+R+ (HI (M)) = Ha+R+ (M). t So, using [4, 2.2] and [3, 14.1.12], Γa0 (HR+ (M)n) =6 0 for all n ≪ 0. This implies that fR M + ( )  grade(a0,HR+ (M)n) = 0 for all n ≪ 0, as desired.

Let N = Ln∈Z Nn be a graded R-module. Then following [8], N is called finitely graded if Nn = 0 for all but finitely many n ∈ Z. Also, we set i ga(N) := sup{k ∈ N0|Ha(N) is finitely graded for all i

R+ Remark 2.3. Note that, by [8, 2.3], if N is finitely generated, then ga(N)= fa (N).

h In view of [5, 3.17], if a ∼(I;M) R+ and one of the conditions of proposition 2.2 holds, then fR+ (M) R+ grade(a0,HR+ (M)n) = fa+R+ (M) − fR+ (M) for all n ≪ 0. In the next theorem and h corollary, we consider a case where a ∼(I;M) R+ and none of the conditions of 2.2 establish. 4 MARYAMJAHANGIRI,AZADEHNADALI,ANDKHADIJEHSAYYARI∗

fR+(M) We show that grade(a0,HR+ (M)n) is bounded bellow for all n ≪ 0 and also, in a special case, it is asymptotically stable, as n → −∞.

h R+ Theorem 2.4. Let a ∼(I;M) R+ and assume that grade(R+, M) = fR+ (M) < fa+R+ (M). fR+ (M) R+ Then grade(a0,HR+ (M)n) ≥ fa+R+ (M) − fR+ (M) for all n ≪ 0.

R+ Proof. Set t := grade(R+, M). Note that, in view of [5, 3.16(ii)], fa+R+ (M) ≥ t + 1. Now, consider the following convergence of spectral sequences [11, 11.38],

i,j i j i i+j E2 = Ha0R(HR+ (M)) ⇒ Ha+R+ (M). j By (2.2) and (2.3), HR+ (M) is a-torsion for all j =6 t. As a result, i,j (2.4) E2 = 0 for all i ≥ 1 and all j =6 t, and the above convergence of spectral sequences yields t+i 0,t+i 0,t+i 0,t+i 0,t+i 0,t+i (2.5) Γa0 (HR+ (M)n)=(E2 )n = ... =(Ei+1 )n ⊇ ker(di+1 )n =(Ei+2 )n =(E∞ )n,

R+ for all i ∈ N and all n ∈ Z. Therefore, if 1 ≤ i fa+R+ (M) − t then, by (2.2), (2.3) and 2.3, i+t HR+ (M) is finitely graded and (2.5) implies that

0,t+i 0,t+i R+ (E2 )n =(E∞ )n = 0 for all 1 ≤ i fa+R+ (M) − t and all n ≪ 0. Also, using the concept of convergence of spectral sequences and 2.3, we have i+t ∼ i,t i,t i t 0= Ha+R+ (M)n = (E∞)n =(E2 )n = Ha0 (HR+ (M)n),

R+ for all 1 ≤ i fa+R+ (M) − t and all n ≪ 0. In addition, in view of (2.4) and the assumption on t, t ∼ 0,t 0,t t 0= Ha+R+ (M)n = (E∞ )n =(E2 )n =Γa0 (HR+ (M)n), for all n ≪ 0. Therefore, by [3, 6.2.7],

t R+ grade(a0,HR+ (M)n) ≥ fa+R+ (M) − t for all n ≪ 0. 

Let N be an R-module. The cohomological dimension of N with respect to a is defined to be i cd(a, N) := sup{i ∈ Z|Ha(N) =06 }. A finitely generated R-module X is called relative Cohen-Macaulay with respect to the i ideal b of degree n if Hb(X) = 0 for all i =6 n. grade(R+,M) In the next item, using the above theorem, we show that the graded components HR+ (M)n are relative Cohen-Macaulay R0-modules with respect to a0, in some special cases. ASYMPTOTIC BEHAVIOUR OF GRADED LOCAL COHOMOLOGY MODULES VIA LINKAGE 5

Corollary 2.5. Let the situations be as in theorem 2.4 and set t := grade(R+, M). Then in t each of the following cases, HR+ (M)n is a relative Cohen-Macaulay R0-module with respect R+ t t to a0 of degree fa+R+ (M) − t for all n ≪ 0, i.e. grade(a0,HR+ (M)n) = cd(a0,HR+ (M)n)= R+ fa+R+ (M) − t for all n ≪ 0.

(i) M is relative Cohen-Macaulay with respect to a + R+. (ii) a is generated by homogeneous elements of degree 0. (iii) cd(a, M) ∈{t, t +1}.

R+ i Proof. (i) By hypothesis and [5, 3.15(ii)], cd(a+R+, M)= fa+R+ (M). Since HI (M)=0 for all i =6 t, using a homogeneous Mayer-Vietoris sequence and [6, 2.2] we have the following homogeneous exact sequences of R-modules

t t t (2.6) 0 −→ Ha+R+ (M) −→ Ha(M) ⊕ HR+ (M) −→ X −→ 0, and t (2.7) 0 −→ X −→ HI (M) −→ Y −→ 0, t t+1 where X is a submodule of HI (M) and Y is a submodule of Ha+R+ (M). Now, by affecting Γa(−) on exact sequences (2.6) and (2.7) and using [9, 3.4], the following isomorphisms have been obtained

i t ∼ i t ∼ i+t (2.8) Ha(HR+ (M)) = Ha(HI(M)) = Ha (M), for all i> 1.

R+ Also, using [6, 2.3], cd(a, M) ≤ cd(a + R+, M)= fa+R+ (M). Therefore,

i t R+ (2.9) Ha(HR+ (M)) = 0 for all i fa+R+ (M) − t. t On the other hand, by [3, 14.1.12] and the fact that HR+ (M) is R+-torsion, we have i t ∼ i t ∼ i t ∼ i t (2.10) Ha(HR+ (M))n = Ha0+R+ (HR+ (M))n = Ha0R(HR+ (M))n = Ha0 (HR+ (M)n) for all i and all n. Therefore, by (2.9),

t t R+ grade(a0,HR+ (M)n) ≤ cd(a0,HR+ (M)n) ≤ fa+R+ (M) − t, for all n ∈ Z. Now, using 2.4, the result follows. (ii) Since M is finitely generated, by (2.8), [3, 14.1.12] and [7, Theorem 1], i t ∼ i+t Ha0 (HR+ (M)n) = Ha0 (Mn) = 0 for all i> 1 and all n ≪ 0. t t So, grade(a0,HR+ (M)n) ≤ cd(a0,HR+ (M)n) ≤ 1 for all n ≪ 0. Also, by 2.4, t R+ grade(a0,HR+ (M)n) ≥ fa+R+ (M) − t ≥ 1, for all n ≪ 0. This proves the claim. i t (iii) By hypothesis and (2.8), Ha(HR+ (M)) = 0 for all i > 1 and the statement holds as part (ii).  6 MARYAMJAHANGIRI,AZADEHNADALI,ANDKHADIJEHSAYYARI∗

The cohomological finite length dimension of M is defined to be i g(M) := inf{i ∈ N | lR0 (HR+ (M)n)= ∞ for infinitely many n}, i i where lR0 (HR+ (M)n) is the length of the R0-module HR+ (M)n. The following proposition considers Artinianness of some local cohomology modules with respect to linked ideals as well as the stability of a set of integers.

h Proposition 2.6. Assume that q0 is an m0-primary ideal of R0 such that q0R ∼(I;M) R+ and set t := grade(R+, M). Then the following statements hold.

(i) The set {dimR0 Mn}n∈Z of integers is asymptotically stable for n → +∞ and it equals

t, i.e. dimR0 Mn = t for all n ≫ 0. j j (ii) HR+ (M) and Hm0R(M) are Artinian R-modules for all j =6 t. Also, if g(M) < ∞, i j then Hm0R(HR+ (M)) is Artinian for all i and all j and that g(M)= t.

Proof. (i) Since M is finitely generated, by [7, Theorem 1], R1Mn = Mn+1 for all n ≫ 0.

It shows that dimR0 Mn ≥ dimR0 Mn+1 for all n ≫ 0. Thus, there exists l ∈ N such that

dimR0 Mn = l for all n ≫ 0. On the other hand, by [3, 14.1.12] and [5, 3.9], i ∼ i ∼ i Hm0 (Mn) = Hq0 (Mn) = Hq0R(M)n = 0 for all i =6 t and all n ≫ 0. So, using [3, 6.1.4], l = t. (ii) The first statement holds by [3, 7.1.3], (2.2) and (2.3). (2.2) and (2.3), also, ensure j i j that HR+ (M) is m0R-torsion for all j =6 t, so Hm0R(HR+ (M)) is Artinian for all i and all j =6 t. For the case j = t, according to the definition of g(M), t ≤ g(M). So, by [4, 2.4], i t Hm0R(HR+ (M)) is Artinian for i =0, 1 and also it does by [3, 1.2.3] and (2.8) for all i> 1. j j Moreover, since HR+ (M) is Artinian for all j =6 t, by [7, Theorem 1], HR+ (M)n is an Artinian R0-module for all j =6 t and all n ∈ Z. Therefore, using [3, 16.1.5], j lR0 (HR+ (M)n) < ∞ for all j =6 t. As a result g(M)= t. 

References [1] M. Brodmann. Asymptotic behaviour of cohomology: Tameness, supports and associated primes. In S. Ghorpade, H. Srinivasan, and J. Verma, editors, Commutative Algebra and Algebraic Geometry, volume 390, pages 31-61, 2005. Contemporary Mathematics. [2] M. Brodmann and M. Hellus. Cohomological patterns of coherent sheaves over projective schemes. Journal of Pure and Applied Algebra, 172:165-182, 2002. [3] M. P. Brodmann and R. Y. Sharp. Local cohomology: an algebraic introduction with geometric ap- plications, volume 136 of Cambridge Studies in Advanced Mathematics. Cambridge university press, 2012. ASYMPTOTIC BEHAVIOUR OF GRADED LOCAL COHOMOLOGY MODULES VIA LINKAGE 7

[4] S. H. Hassanzadeh, M. Jahangiri, and H. Zakeri. Asymptotic behaviour and artinian property of graded local cohomology modules. Communications in Algebra, 37(11):4095-4102, 2009. [5] M. Jahangiri, A. Nadali, and Kh. Sayyari. Graded local cohomology modules with respect to the linked ideals. arxiv: 2102.09015. [6] M. Jahangiri and Kh. Sayyari. Cohomological dimension with respect to the linked ideals. Journal of Algebra and Its Applications. DOI: 10.1142/s0219498821501048. [7] D. Kirby. Artinian modules and hilbert polynomials. The Quarterly Journal of Mathematics, 24(1):47- 57, 1973. [8] T. Marley. Finitely graded local cohomology and the depths of graded algebras. Proceedings of the American Mathematical Society, 123(12):3601-3607, 1995. [9] U. Nagel and P. Schenzel. Cohomological annihilators and castelnuovo-mumford regularity. Commuta- tive Algebra, 159:307-328, 1994. [10] C. Peskine and L. Szpiro. Liaison des vari´et´es alg´ebriques. I. Inventiones mathematicae, 26(4):271-302, 1974. [11] J. J. Rotman. An introduction to homological algebra. Academic Press, 1979.

Department of Mathematics, Faculty of Mathematical Sciences and Computer, Kharazmi University, Tehran, Iran. Email address: [email protected], [email protected]

Email address: [email protected]

Email address: std [email protected], [email protected]