arxiv:math/ v1 [math.ac] 22 Mar 2004

Transcription

1 ASYMPTOTIC BEHAVIOR OF THE LENGTH OF LOCAL COHOMOLOGY arxiv:math/ v1 [math.ac] Mar 004 STEVEN DALE CUTKOSKY, HUY TÀI HÀ, HEMA SRINIVASAN, AND EMANOIL THEODORESCU Abstract. Let k be a field of characteristic 0, R = k[x 1,...,x d ] be a polynomial ring, and m its maximal homogeneous ideal. Let I R be a homogeneous ideal in R. In this paper, we show that λ(h m(r/i 0 n )) λ(ext d R n d = (R/In,R( d))) n d always exists. This it has been shown to be e(i) for m-primary ideals I in a local Cohen Macaulay d! ring [Ki, Ko1, Th, Th], where e(i) denotes the multiplicity of I. But we find that this it may not be rational in general. We give an example for which the it is an irrational number thereby showing that the lengths of these extention modules may not have polynomial growth. Introduction Let R = k[x 1,...,x d ] be a polynomial ring over a field k, with graded maximal ideal m, and I R a proper homogeneous ideal. We investigate the asymptotic growth of λ(ext d R (R/In,R)) as a function of n. When R is a local Gorenstein ring and I is an m-primary ideal, then this is easily seen to be equal to λ(r/i n ) and hence is a polynomial in n. A theorem of Kirby, Kodiyalam and Theodorescu [Ki, Ko1, Th, Th] extends this to m-primary ideals in local Cohen Macaulay rings R. We consider homogeneous ideals in a polynomial ring which are not m-primary and show that a it exists asymptotically although it can be irrational. In our setting, by local duality, λ(ext d R(R/I n,r( d))) = λ(h 0 m(r/i n )) and thus this becomes a problem of asymptotic lengths of local cohomology modules. In recent years, a great deal of interest has been given to investigating asymptotic behavior of algebraic invariants of powers of I. Cutkosky, Herzog and Trung[CHT], and Kodiyalam[Ko] independently proved that reg(r/i n ) is a linear function in n for n 0 (see also [Ch, GGP]). When I n is replaced by its saturation (I n ) sat, the problem becomes much subtler. It is no longer true that reg(r/(i n ) sat ) is always asymptotically a polynomial in n as shown in [Cu]. Examples are given in [Cu, CEL] showing reg(r/(i that it is possible for n ) sat ) n to be an irrational number. Further, Cutkosky, Ein and reg(r/(i Lazarsfeld [CEL] showed that the it n ) sat ) n always exists. Along this theme, Hoa and Hyry [HoH] recently studied the existence of similar its where the regularity of R/I n is replaced by its a-invariants. This paper addresses a closely related question. We prove 1991 Mathematics Subject Classification. 13D40, 14B15, 13D45. Key words and phrases. powers of ideals, local cohomology, Hilbert function, linear growth. The first author was partially supported by NSF. The third author was partially supported by NSA. 1

2 Theorem 0.1. Let k be a field of characteristic zero, R = k[x 1,...,x d ] be a polynomial ring of dimension d > 1, and m its maximal homogeneous ideal. Let I R be a homogeneous ideal of R. Then, the it always exists. λ(hm 0 (R/In )) λ(ext d R n d = (R/In,R( d))) n d In fact, we prove (in Theorem 1.3) that if R is a coordinate ring of a projective variety which has λ(h depth at is irrelevant ideal, then the it m 0 (R/In )) exists, and (Corollary 1.4) if R is Gorenstein, then λ(h m(r/i 0 n )) λ(ext d n d = R(R/I n,r( d))) n d. We willalsogiveanexamplewhere λ(h0 m (R/In )) tends toanirrationalnumberasn (Theorem n d.). This, in particular, shows that, just like reg(r/(i n ) sat ), λ(h 0 m (R/In )) is not asymptotically a polynomial in n. Theorem 0.1 is proved in Section 1. To do this, we express λ(h 0 m (R/In )) as a sum of two components, the geometric component σ(n), and the algebraic component τ(n), and show that both its σ(n) τ(n) n d and n d exist. For the first it, we express σ(n) as h 0 (Y,N n ) for some line bundle N over a projective scheme Y of dimension d, and investigate the it h 0 (Y,N n ) n d. For the later one, we write τ(n) as the Hilbert function of a finitely generated graded k-algebra of dimension (d + 1). In Theorem 0., we use the construction illustrated in [Cu] by the first author to give an example where the it proved to exist in Section 1 is an irrational number. Theorem 0.. There exists a nonsingular projective curve C P 3 C such that if I R = C[x 1,...,x 4 ] is the defining ideal of C, and m is the homogeneous maximal ideal of R, then Of course, Theorem 0. has a local analog. n d λ(hm 0 (R/In )) n 4 Q. Theorem 0.3. There exists a regular local ring S of dimension 4 which is essentially of finite type over the complex numbers C, and an ideal J S such that λ(ext d S(S/J n,s))) n d is an irrational number. In particular, λ(ext d S(S/J n,s))) is not a polynomial or a quasi-polynomial for large n. The proofs of Theorems 0. and 0.3 will be given in section. In contrast to the example of Theorem 0.3, if (S,m,k) is a Cohen-Macaulay local ring of dimension d and J is an m-primary ideal, then λ(ext d (S/J n,s) is a polynomial of degree d for large n ([Ki], [Th]). In fact, λ(ext d S(S/J n,s))) n d = e(i) d!

3 where e(i) is the multiplicity of I ([Th]). In the case when S is Gorenstein, this follows easily from local duality, since for all n. λ(ext d (S/J n,s)) = λ(h 0 ms(s/j n )) = λ(s/j n ) Suppose that I is a homogeneous ideal in the coordinate ring R of a projective variety of depth at the irrelevant ideal. Then (c.f. Remark 1.5), if hti = d = dim (R), we have that where e(i) is the multiplicity of I. λ(hm 0 (R/In )) n d = e(i) d! In contrast, if hti < d then λ(h m(r/i 0 n )) n d (0.1) does not have such a simple arithmetic interpretation. The example of Theorem 0. of this paper is of a height prime ideal in a polynomial ring R of dimension 4 such that (0.1) is an irrational number. However, in many cases, such as when I is a regular prime with hti < d in a polynomial ring R of dimension d, we have that the it (0.1) is 0. More generally, if hti < d and the analytic spread l(i) < d then the integral closure I n has no m-primary component for large n [M, Theorem 3]. Since depth(r m ), I n = H 0 (spec(r) {m},i n ), and H 0 m (R/In ) = H 1 m (In ) = H 0 (spec(r) {m},i n )/(I n ) = 0 for large n. Thus if I is a normal ideal (I n = I n for all n) with analytic spread l(i) < d we have that H 0 m (R/In ) = 0 for large n and the it (0.1) is thus 0. In fact, Catalin Ciuperca has shown us that even if I is not normal, with l(i) < d, then the it (0.1) is zero. 1. The existence theorem In this section, we prove the main theorem of the paper. We shall start by recalling some notations and terminology, and prove a few preinary results. Suppose R is a graded ring, and I R a homogeneous ideal. The Rees algebra of I is the subalgebra R[It] of R[t]. The Rees algebra R[It] has a natural bi-gradation given by R[It] (m,n) = (I n ) m t n. Suppose A = m,n Z A (m,n) is a bi-graded algebra. For a tuple of positive integers = (a,b), A = n Z A (an,bn) is call a -diagonal subalgebra of A. Lemma 1.1. Suppose a domain R is a finitely generated graded k-algebra of dimension δ, and I R is a homogeneous ideal generated in degrees d such that hti 1. Let A = R[It] be the Rees algebra of I over R. (i) For any tuple = (a,b) of positive integers such that a db, A is a finitely generated graded k-algebra. 3

4 (ii) For any tuple = (a,b) of positive integers such that a > db, dima = δ. Proof. It is easy to see that A = k[(i b ) a ] is the k-algebra generated by elements of (I b ) a. Thus, (i) is clear. (ii) follows from [HgT, Lemma.] since R is a domain. The following Lemma is stated in an example in [La]. Lemma 1.. Suppose that Y is a projective variety of dimension d over a field k of characteristic zero, and L is a line bundle on Y. Then, the it n d exists, and is a positive real number if L is big. Proof. It follows from [I, Theorem 10.] that sup n d implies that n d = 0. Suppose that L is big (that is, κ(l) = d). It follows from [I, Theorem 10.] that inf To prove the lemma, it suffices to show that sup n d n d > 0. = inf n d. = 0 if L is not big (κ(l) < d). This Let ε > 0 be an arbitrary positive number. By applying the theorem of Fujita [Fu] (and from the definition of sup), there exists a birational morphism θ : Z Y together with an effective Q-divisor E on Z such that H = θ L E is a semiample Q-divisor with H d > sup n d ε. Let q be the smallest positive integer such that qe is integral (or equivalently, qh is integral). Since qe is effective, there is a natural injection O Z O Z (qe). This gives an injection O Z (lqh) O Z (lqe + lqh) = θ L lq for any integer l > 0. Thus, h 0 (Z,O Z (lqh)) h 0 (Z,θ L lq ) for any integer l > 0. Furthermore, since qh is semiample, there exists c > 0 such that for any i 1 (c.f. Corollary 6.7 [F]). Thus h i (Z,O Z (lqh)) c(l d ) (1.1) h 0 (Z,O Z (lqh)) = χ(lqh)+o(l d ) = (lq)d H d +O(l d 1 ), d! where χ denotes the Euler characteristic. We have an exact sequence of coherent O Y modules 0 O Y θ O Z F 0 where F is supported on a closed subset of Y of dimension < d. From the exact sequences 0 L lq θ θ L lq F L lq 0 4

5 we have h 0 (Y,L lq ) = h 0 (Z,θ L lq )+O(l d 1 ). Hence, In summary, we have H d h 0 (Z,O Z (lqh)) = (lq) d inf h 0 (Y,L lq ) (lq) d. sup n d < H d +ε inf h 0 (Y,L lq ) (lq) d +ε. (1.) Since ε is taken to be arbitrary, by (1.), to prove the lemma, we only need to show that inf n d = inf h 0 (Y,L lq ) (lq) d. (1.3) Since L is big, there exists a constant n 0 such that > 0 for any n n 0 (as follows from [I, Theorem 10.]). This implies that, for each 0 r < q, there exists an effective divisor F r on Y such that O Y (F r ) = L n0+r. For l > 0, we have exact sequences 0 L lq L lq+n0+r O Fr L lq+n0+r 0. Taking the long exact sequences of cohomologies, we get Thus, 0 H 0 (Y,L lq ) H 0 (Y,L lq+n0+r ) H 0 (F r,o Fr L lq+n0+r ). h 0 (Y,L lq+n0+r ) (lq) d h0 (Y,L lq+n0+r ) (lq) d Since every component of F r has dimension d 1 < d, we have (1.4) now gives us inf h 0 (F r,o Fr L lq+n0+r ) (lq) d = 0. h 0 (Y,L lq ) (lq) d Moreover, since n 0 is fixed and 0 r < q, we have Therefore, for any 0 r < q. Hence, inf inf h 0 (Y,L lq+n0+r ) inf (lq) d h 0 (Y,L lq ) (lq) d h 0 (Y,L lq ) (lq) d = inf = inf = inf = inf h0 (F r,o Fr L lq+n0+r ) (lq) d. (1.4) h 0 (Y,L lq+n0+r ) (lq) d. h 0 (Y,L lq+n0+r ) (lq +n 0 +r) d. h 0 (Y,L lq+n0+r ) (lq +n 0 +r) d n d. (1.3) is proved, and so is the lemma. 5

6 Theorem 1.3. Let R = k[x 1,...,x p ]/J be the quotient of a polynomial ring k[x 1,...,x p ] over a field k of characteristic zero by a homogeneous prime ideal J. Let m be the maximal homogeneous ideal of R. Suppose that depth(r m ). Let d be the dimension of R. Let I R be a homogeneous ideal of R. Then, the it λ(h 0 m (R/In )) n d By duality, we obtain the following corollary. Corollary 1.4. With the notations of Theorem 1.3, suppose that R is Gorenstein. Then λ(hm 0 (R/In )) λ(ext d R n d = (R/In,R( d)))) n d always exists. Proof of Theorem 1.3: The problem is trivial if hti = 0. If hti = d then there is a very simple proof (see the Remark after this proof). Suppose hti 1. Let I be the ideal sheaf associated to I on V = ProjR. From the exact sequence 0 I n R R/I n 0, we get H 0 m(r/i n ) = H 1 m(i n ). The Serre-Grothendieck correspondence gives us the exact sequence depth(r m ) implies that m 0 0 I n m 0 H 0 (V,I n (m)) H 1 m (In ) 0. H 0 (V,I n (m)) = H 0 (spec(r) {m},i n ) = (I n ) where (I n ) is the intersection of the primary components of I n which are not m-primary. By the theorem of Swanson [S] there exists a number e > 0 such that (I n ) m = (I n ) m for any m en and n 1. Therefore, we have where σ(n) = λ(h 1 m(i n )) = σ(n) τ(n), (1.5) h 0 (V,I n (m)) and τ(n) = λ((i n ) m ). (1.6) We will take e to be bigger than the degrees of homogeneous generators of I. The theorem will be σ(n) τ(n) proved if we can show that both its n d and n d exist. σ(n) Let us first consider d. Let π : X V be the blowing up of V along I. Let us denote n M = π O V (1) and L = IO X. Let η : Y = P(O X M) X be the projectivization of the vector bundle O X M on X. Then, dimy = dimx +1 = d. Let N = O Y (e) η L. We have h 0 (Y,N n ) = h 0 (X,S en (O X M) L n ) = h 0 (X,M m L n ). Furthermore, it follows from [H, Exercise II.5.9] (see also [CEL, Lemma 3.3] and [HaT]) that π L n = I n for n 0. Thus, for n 0, h 0 (Y,N n ) = h 0 (V,O V (m) I n ) = 6 h 0 (V,I n (m)) = σ(n).

7 By Lemma 1., h 0 (Y,N n ) n d exists. Hence, there exists a it σ(n) n d. Now, let us consider τ(n) n d. Suppose I is generated by F 1,...,F l R and degf j = d j for 1 j l. Let S = R[s,F 1 t,...,f l t] R[s,t] be the Rees algebra of the ideal IR[s] over the polynomial ring R[s]. S can be viewed as a bi-graded ring with degx i = (1,0) for 1 i d, degs = (1,0), and degf j t = (d j,1) for 1 j l. Take an abitrary element f S. We observe that degf = (en,n) if and only if f has the following form f = m 1+ +m l =n en d 1m 1 d l m l j=0 where b j R is homogeneous of degree j. Thus the map Φ n : S (en,n) b j s en d1m1 d lm l j F m1 1 F m l l t n, (I n ) m defined by Φ n (f(s,t)) = f(0,1) is a k-vector space isomorphism. Hence, λ(s (en,n) ) = λ((i n ) m ) = τ(n). Let T = n=0s (en,n), then T = S with = (e,1). Since S is a finitely generated bi-graded k- algebraand eis takento be biggerthan d j for all1 j l, it followsfrom Lemma1.1that T is a finitely generated k-algebra and dimt = d+1. Thus, the Hilbert function H(T,n) = dim k T n = λ(s (en,n) ) is given by a polynomial of degree d in n for n 0 with a rational leading coefficient. This implies the existence of the it The theorem is proved. τ(n) n d R. (1.7) Remark 1.5. Let assumptions be as in the statement of Theorem 1.3. If hti = d we have that H 0 m(r/i n ) = R/I n for all n, so that λ(h 0 m(r/i n )) is the Hilbert polynomial of I for large n. Thus λ(hm 0 (R/In )) n d = e(i) d! where e(i) is the multiplicity of I. In the proof we in fact have that σ(n) = en h0 (V,O V (m)) in this special case.. Irrational asymptotic behaviour In this section, we will give examples, stated in Theorems 0. and 0.3 of the introduction, in which the it proved to exist in Section 1 is an irrational number. This exhibits how complicated the length λ(h 0 m(r/i n )) can be asymptotically. In fact, we will show that the construction given by the first author in [Cu] provides an example. Let S be a K3 surface defined over the complex field C with Pic(S) = Z 3. We can therefore identify Pic(S) with integral points (x,y,z) Z 3. Take S to be the K3 surface which has the intersection form q(x,y,z) = 4x 4y 4z, (.1) 7

8 where q(d) = D for any divisor D Pic(S). Such a surface S exists as shown in [Cu]. It is shown there that a divisor D on S is ample if and only if it is in the interior of NE(S) = {(x,y,z) R 3 4x 4y 4z 0,x 0}. Moreover, S is embedded into P 3 by the divisor H = (1,0,0). Suppose (a,b,c) Z 3 is such that a > 0, a b c > 0, b +c Q. (.) Since (a,b,c) is in the interior of NE(S), the divisor A = (a,b,c) is ample on S. Let C be a nonsingular curve on S such that C A. Again, C exists as shown in [Cu]. Let R = C[x 1,...,x 4 ] be the coordinate ring of P 3, and let I be the defining ideal of C in P 3. We will show that there exist (a,b,c) Z 3 satisfying (.) and a curve C as above, such that λ(h m(r/i 0 n )) n 4 Q, (.3) where m = (x 1,...,x 4 ) is the maximal homogeneous ideal of R. Theorem 0. is thus an immediate consequence. As in proved in (1.5), (1.6) and (.1) of Theorem 1.3, λ(hm 0 (R/In )) σ(n) τ(n) n 4 = n 4 + n 4, τ(n) where n 4 Q. It remains to show that there exist (a,b,c) Z 3 satisfying (.) and a curve C as above, such that σ(n) n 4 Q. Let I be the ideal sheaf of I on P 3. Let π : X P 3 be the blowing up of P 3 along the ideal sheaf I. There exists a hyperplane H of P 3 such that H S = H. Let H be the pull-back to X of H, and E the exceptional divisor of the blowing up. Let λ 1 = a b +c and λ = a+ b +c. The following facts were proved in [Cu]. Lemma.1. Suppose λ > 7. Then, (1) h 0 (S,O S (mh nc)) = 0 if m < λ n. () h 0 (S,O S (mh nc)) = 1 (mh nc) + if m > λ n. (3) h 1 (X,O X (m H ne)) = 0 if m > λ n. Proof. (1) follows from [Cu, Remark 6]. () is a consequence of [Cu, Theorem 7]. (3) follows from [Cu, Theorem 9]. It was pointed out in [Cu, (11)] that π O X (m H ne) = I n (m), (.4) R i π O X (m H ne) = 0, for i > 0. (.5) 8

9 Thus, we can use the cohomology groups of O X (m H ne) to calculate σ(n). For convenience, we will use H i (X,m H ne) and H i (S,mH nc) to denote H i (X,O X (m H ne)) and H i (S,O S (mh nc)), respectively. When there is no danger of confusion, we shall further omit the space X and S in these cohomology groups. It was also shown in [Cu, (1)] that there exists the following exact sequence: 0 O X ((m 4) H (n 1)E) O X (m H ne) O S (mh nc) 0. (.6) The existence of the desired example follows from the following theorem. Theorem.. There exist (a,b,c) Z 3 satisfying (.) and a corresponding nonsingular curve C such that, if I R is the defining ideal of C, then and σ(n) n 4 Q, λ(hm 0 (R/In )) n 4 Q. Proof. Taking the long exact sequence of cohomology groups from the exact sequence (.6), we get 0 H 0 ((m 4) H (n 1)E) H 0 (m H ne) H 0 (mh nc) H 1 ((m 4) H (n 1)E). It follows from Lemma.1 that H 0 (m H ne) = H 0 ((m 4) H (n 1)E) if m < λ n, (.7) H 0 (m H ne) = H 0 ((m 4) H (n 1)E) H 0 (mh nc) if m > λ n. (.8) Write m = 4n+r. Consider the following cases. Case 1: r < 0. Since λ > 4, we have m < λ n. Thus, using (.7) and successive induction, we get H 0 (m H ne) = H 0 (r H) = H 0 (O P 3(r)) = 0. (.9) Case : r 0. If r > (λ 4)n, i.e. m > λ n, then using (.8) and successive induction, we get h 0 (m H ne) = n h0 ((r +4k)H kc)+n+h 0 (O P 3(r)). Lemma.1 now gives h 0 (m H ne) = 1 n ((r +4k)H kc) +n+h 0 (O P 3(r)). (.10) [ On the other hand, if r < (λ 4)n, then put t = and (.8), we get r λ 4 ]. By successive induction using both (.7) h 0 (m H ne) = t h0 ((r +4k)H kc)+h 0 (O P 3(r)) = 1 t ((r+4k)h kc) +t+h 0 (O P 3(r)). 9

10 By (.4), we have σ(n) = = = r= 4n 1 r= 4n + h 0 (m H ne) h 0 ((r +4n) H ne) [(λ h 0 ((r +4n) H 4)n] ne)+ h 0 ((r +4n) H ne) r=[(λ 4)n]+1 This together with (.9), (.10) and () gives us σ(n) = = [(λ 4)n] + 1 r=[(λ 4)n]+1 [(λ 4)n] h 0 ((r +4n) H ne). [ ] r λ 4 [ ((r+4k)h kc) + [ r=[(λ 4)n]+1 ( [λ 4)n] r λ 4 ] +h 0 (O P 3(r)) ( ) 1 n ((r +4k)H kc) +n+h 0 (O P 3(r)) ] r λ 4 ((r+4k)h kc) ( 1 n ((r +4k)H kc) )+ [ r ] ) +n( [(λ 4)n] 1). λ 4 h 0 (O P 3(r)) and Let Let V(n) = Q(s,r) = 1 ( [λ 4)n] s ((r +4k)H kc), [ r ] ) +n( [(λ 4)n] 1) λ 4 U(n) = h 0 (O P 3(r)). P(s,r) = Q(s,r) Q(s 1,r) = 1 ((r +4s)H sc) 10

11 with the convention that Q(s,r) = 0 for s < 1. For simplicity, let us also denote λ = λ 4. Then, we can rewrite σ(n) as follows: σ(n) = r=[λ]+1 P(1,r)+ + r=[λ(n 1)]+1 P(n 1,r)+ r=+1 Q(n,r)+U(n)+V(n). (.11) Let us consider one term r=[λl]+1p(l,r) of the sum (.11) for some 1 l n 1. From the intersection form q of (.1) we have λn] r=[λl]+1 P(l,r) = r=[λl]+1 ( (r+(4 a)l) (b +c )l ) = ( (r+(4 a)l) (b +c )l ) ( (r +(4 a)l) (b +c )l ) r=1 [λl] r=1 ( ) = 3 ()3 +(4 a)l() +((4 a) b c )l () ( ) 3 ([λl])3 +(4 a)l([λl]) +((4 a) b c )l ([λl]) + +( 1 3 +(4 a)l)+[λl] +( 1 3 +(4 a)l)[λl]. Note that λl 1 < [λl] < λl for any l. Thus, we have r=[λl]+1 ( ) P(l,r) = 3 (λn)3 +(4 a)l(λn) +((4 a) b c )l (λn) ( ) 3 (λl)3 +(4 a)l(λl) +((4 a) b c )l (λl) +F(n,l) where F(n,l) is a function such that there exists a polynomial G(n,l) of degree with positive real coefficients satisfying F(n,l) < G(n,l) for all n,l N. Taking the sum as l goes from 1 to (n 1), we get n 1 l=1 r=[λl]+1 ( P(l,r) = 3 λ3 n 4 +(4 a)λ n 4 + ) 3 ((4 a) b c )λn 4 ( 1 6 λ3 n (4 a)λ n ((4 a) b c )λn 4 ) +O(n 3 ). We also have n Q(n,r) = ( (r+(4 a)k) (b +c )k ) = r n+(4 a)rn + 3 ((4 a) b c )n 3 +H(n,r) 11

12 where H(n,r) is a real polynomial of degree in n and r. Thus, r=+1 Q(n,r) = where A Q. Moreover, U(n) = r=1 Q(n,r) r=1 Q(n, r) ( = 3 (e 4)3 n 4 +(4 a)(e 4) n 4 + ) 3 ((4 a) b c ) 4 ( 3 n()3 +(4 a)n () + ) 3 ((4 a) b c )n 3 +O(n 3 ) ( = An 4 3 λ3 n 4 +(4 a)λ n 4 + ) 3 ((4 a) b c )λn 4 +O(n 3 ), h 0 (O P 3(r)) = ( ) r +3 3 = 1 4 (e 4)4 n 4 +O(n 3 ) = Bn 4 +O(n 3 ) with B Q. Further, we have V(n) = O(n ). Hence, ( 1 σ(n) = (A+B)n 4 6 λ3 + 1 (4 a) λ + 1 ) ((4 a) b c )λ n 4 +O(n 3 ). Finally, take a = 4,b = 3 and c =, then clearly (a,b,c) satisfies all the requirements in (.) and λ = a+ b +c > 7. We have σ(n) = (A+B)n n 4 +O(n 3 ), where A,B Q. Therefore, σ(n) n 4 = A+B Q. 3 The theorem is proved. We now prove Theorem 0.3. Let I and R be the ideal and ring of this section. Let m = (x 1,...,x r ), S = R m, J = I m. Let E be the injective hull of C. by local duality (c.f. Theorem [BH]). Thus Hom S (H 0 ms(s/j n ),E) = Ext d S(S/J n,s) λ(ext d S (S/Jn,S)) = λ(h 0 ms (S/Jn )) = λ(h 0 m (R/In )) for all n (c.f. Proposition 3..1 [BH]). Now the theorem follows from Theorem 0.. References [BH] W. Bruns and J. Herzog. Cohen-Macaulay rings. Cambridge studies in advanced mathematics 39, Cambridge University Press, Cambridge. [Ch] K. A. Chandler. Regularity of the powers of an ideal. Commun. Algebra. 5 (1997), [CHTV] A. Conca, J. Herzog, N.V. Trung and G. Valla. Diagonal subalgebras of bi-graded algebras and embeddings of blow-ups of projective spaces. American Journal of Math. 119 (1997), [Cu] S.D. Cutkosky. Irrational asymptotic behaviour of Castelnuovo-Mumford regularity. J. reine angew. Math. 5 (000), [CEL] S.D. Cutkosky, L. Ein, and R. Lazarsfeld. Positivity and complexity of ideal sheaves. Math. Ann. 31 (001), [CHT] Cutkosky, S.D., Herzog, J. and Trung, N.V. (1999). Asymptotic behaviour of the Castenuovo-Mumford regularity. Compositio Math. 118, [Fu] T. Fujita. Approximating Zariski decomposition of big line bundles. Kodai Math. J. 17 (1994),

13 [F] T. Fujita. Semipositive line bundles. Journal of the Faculty of Science, The University of Tokyo 30 (1983), [GGP] A.V. Geramita, A. Gimigliano, and Y. Pitteloud. Graded Betti numbers of some embedded rational n-folds. Math. Ann. 301 (1995), [HaT] H. Tài Hà and N.V. Trung. Arithmetic Cohen-Macaulayness of blow-ups. Preprint. [H] R. Hartshorne. Algebraic Geometry. GTM 5 Springer Verlag (1977) Berlin Heidelberg. [HoH] L.T. Hoa and E. Hyry. On local cohomology and Hilbert function of powers of ideals. Preprint. [HgT] N.D. Hoang and N.V. Trung. Hilbert polynomials of non-standard bigraded algebras. Preprint. axiv:math.ac/ [I] S. Iitaka, Algebraic Geometry. GTM 76, Springer Verlag, New York, Heidelberg, Berlin. [Ki] D. Kirby. Hilbert functions and the extension functor. Math. Proc. Camb. Phil. Soc. 105 (1989), no. 3, [Ko1] V. Kodiyalam. Homological invariants of powers of an ideal. Proc. Amer. Math. Soc. 118 (1993), no. 3, [Ko] V. Kodiyalam. Asymptotic behaviour of Castelnuovo-Mumford regularity. Proc. Amer. Math. Soc. 18 (000), no., [La] R. Lazarsfeld. Positivity in Algebraic Geometry. Book to be published. [M] S. McAdam. Asymptotic prime divisors and analytic spreads. Proc. AMS 80 (1980), [STV] A. Simis, N.V. Trung and G. Valla. The diagonal subalgebra of a blow-up algebra. J. Pure Appl. Algebra. 15 (1998), no. 1-3, [S] I. Swanson, Powers of ideals: Primary decompositions, Artin-Rees Lemma and Regularity. Math. Annalen 307 (1997), [Th] E. Theodorescu. Derived functors and Hilbert polynomials. Math. Proc. Camb. Phil. Soc. 13 (00), [Th] E. Theodorescu. Derived functors and Hilbert polynomials, University of Kansas thesis, (00). Department of Mathematics, University of Missouri, Columbia MO 6501, USA address: cutkoskys@missouri.edu, tai@math.missouri.edu, srinivasanh@missouri.edu, theodore@math.missouri.edu 13