Arxiv:1806.07522V2 [Math.AC] 22 May 2019 of Fsnuaiiso Leri Aite.Re [ Rees Varieties
Total Page:16
File Type:pdf, Size:1020Kb
TIGHT CLOSURE OF POWERS OF IDEALS AND TIGHT HILBERT POLYNOMIALS KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA Abstract. Let (R, m) be an analytically unramified local ring of positive prime characteristic p. ∗ ∗ For an ideal I, let I denote its tight closure. We introduce the tight Hilbert function HI (n) = n ∗ ∗ ℓ(R/(I ) ) and the corresponding tight Hilbert polynomial PI (n), where I is an m-primary ideal. It ∗ is proved that F -rationality can be detected by the vanishing of the first coefficient of PI (n). We find the tight Hilbert polynomial of certain parameter ideals in hypersurface rings and Stanley-Reisner rings of simplicial complexes. 1. Introduction Let (R, m) be a d-dimensional Noetherian local ring and I be an m-primary ideal. Let I be n n the integral closure of I. The Rees algebra of I is denoted by R(I) = ⊕n∈ZI t where t is an −1 n n indeterminate. The integral closure of R(I) in R[t,t ] is R(I) = ⊕n∈ZI t . We use ℓ(M) to denote the length of an R-module M. David Rees [14] showed that if R is analytically unramified then R(I) is a finite module over R(I). This implies that for all large n, the normal Hilbert function n of I, HI (n)= ℓ(R/I ) is a polynomial of degree d. This is called the normal Hilbert polynomial of I and it is denoted by P I (n). We write n + d − 1 n + d − 2 P (n)= e (I) − e (I) + · · · + (−1)de (I). I 0 d 1 d − 1 d Here e0(I) = e(I), the multiplicity of I and the coefficients ei(I) for i = 0, 1,...,d are called the normal Hilbert coefficients of I. The normal Hilbert coefficients play an important role in the study of singularities of algebraic varieties. Rees [15] proved that if (R, m) is a 2-dimensional analytically arXiv:1806.07522v2 [math.AC] 22 May 2019 unramified normal local ring then it is pseudo-rational if and only if e2(I) = 0 for all m-primary ideals I of R. Shiroh Itoh [9] proved that if R is Cohen-Macaulay and analytically unramified, then e3(I) ≥ 0. Moreover, if R is Gorenstein and I is generated by a regular sequence so that I = m, then e3(I) = 0 if and only if r(I) ≤ 2. Here r(I) = min{n | IIn = In+1}. The integer r(I) is called the normal reduction number of I. Itoh [9] proved that if r(I) ≤ 2, then R(I) is Cohen-Macaulay. He The first author is supported by a UGC fellowship, Govt. of India. Key words and phrases: Tight closure of powers of ideals, Hilbert polynomial, tight Hilbert polynomial, diagonal hypersurface ring, Stanley-Reisner ring, the HIp condition. 2010 AMS Mathematics Subject Classification: Primary: 13A35, 13D40, Secondary: 13F55, 13H10. 2 KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA conjectured that if e3(I) = 0, then r(I) ≤ 2. This is known in some cases [2], [10], however, it remains open in the general case. Now let R have prime characteristic p> 0. Let I∗ denote the tight closure of I. Then I ⊂ I∗ ⊂ I. If (R, m) is analytically unramified, then the filtration {(In)∗} is also I-admissible, i.e., the Rees ∗ n ∗ n algebra R (I) = ⊕n∈Z(I ) t is a finite R(I)-module. Therefore, the tight Hilbert function of I, ∗ n ∗ namely, HI (n)= ℓ(R/(I ) ) is a polynomial of degree d for large n. We call this polynomial as the ∗ tight Hilbert polynomial of I and denote it by PI (n). We write the tight Hilbert polynomial as n + d − 1 n + d − 2 P ∗(n)= e(I) − e∗(I) + · · · + (−1)de∗(I). I d 1 d − 1 d One of the main objectives of this paper is to initiate a study of the tight Hilbert polynomial since preliminary results obtained in this paper indicate its close connection with F -singularities. Recall that R is called an F -rational local ring if ideals of principal class in R are tightly closed. We show that if R is a Cohen-Macaulay analytically unramified local ring, then R is F -rational if ∗ and only if e1(I) = 0 for some parameter ideal I of R. It is, therefore, reasonable to expect that the other coefficients of the tight Hilbert polynomial of I may have a close connection with the properties of R. We, therefore, calculate the tight Hilbert polynomial of parameter ideals in certain hypersurface rings and Stanley-Reisner rings of simplicial complexes. Here is a summary of the contents of the paper. In section 2, we set the notation and recall certain definitions and results needed in later sections. In section 3, we introduce the condition HIp. Definition 1.1. Let R be a d-dimensional Noetherian local ring. Let I be an ideal generated by an R-regular sequence. An I-admissible filtration F = {In} is said to satisfy the condition HIp if for all n ≥ p, n−p n−p In+1 ∩ I = Ip+1I . n Let R(F) denote the Rees algebra ⊕n∈ZInt of the filtration F = {In}. Suppose I = (x1,...,xd), −1 where x1,...,xd is an R-regular sequence and let J = (t ,x1t,...,xdt) be an R(I)-ideal. Itoh n 2 proved that for the I-admissible filtration F = {I }, vanishing of HJ (R(F))0 implies the inter- section theorem In+1 ∩ In = InI, for all n ≥ 1. Let r(F) denote the reduction number of the filtration F. We find a formula of the Hilbert-Samuel polynomial of an I-admissible filtration F which satisfies the condition HIp, for all p ≤ r(F) − 2. Theorem 1.2. Let R be a d-dimensional Cohen-Macaulay Noetherian local ring and I be an ideal generated by an R-regular sequence. Let F = {In} be an I-admissible filtration. If F satisfies the condition HIp, for p ≤ r = r(F) − 2, then for all i = 1,...,d, ∞ k Ik+1 ei(F)= ℓ . i − 1 IIk k i X= −1 TIGHT CLOSURE OF POWERS OF IDEALS AND TIGHT HILBERT POLYNOMIALS 3 Let (R, m)bea d-dimensional analytically unramified local ring and let I be an m-primary ideal. ∗ n ∗ ∗ In section 4, we prove that for large n, HI (n)= ℓ(R/(I ) ) is a polynomial, PI (n), of degree d and with coefficients in Q. We shall prove: Theorem 1.3. Let (R, m) be a d-dimensional analytically unramified Cohen-Macaulay local ring ∗ with positive prime characteristic p. Then R is F -rational if and only if e1(I) = 0, for some parameter ideal I. We shall prove that in positive prime characteristic p, the Huneke-Itoh intersection theorem is indeed true for tight closure filtration of a complete intersection. Proposition 1.4. Let R be a Noetherian ring and I be an ideal generated by a regular sequence. Then for all n ≥ 1, In ∩ (In+1)∗ = InI∗. The above proposition for tight closures of powers of I will enable us to find the tight Hilbert polynomial of I when the tight reduction number is at most two. In section 5, we calculate the tight Hilbert polynomial in diagonal hypersurface rings. Let R = F[[X, Y, Z]]/(XN + Y N + ZN ), where N ≥ 2 and F is an infinite field of characteristic p and p ∤ N. Let x,y,z denote the images of X, Y, Z respectively in R. Let I = (y, z) and m = (x,y,z). We show that if N = 2, then R is F -rational and if N ≥ 3, then for all k ≥ 1, (Ik)∗ = mk+1 + Ik and the tight reduction number of I, r∗(I)= N − 2. In section 6, we calculate tight closure of power product of ideals generated by linear systems of parameters in Stanley-Reisner rings of simplicial complexes. Let ∆ be a (d − 1)-dimensional simplicial complex on n vertices and k be a field of char p> 0. Then R = k[∆] = k[X1,...,Xn]/I∆ is a d-dimensional ring. Let x1,...,xn denote the images of X1,...,Xn respectively in R, m = (x1,...,xn) be the unique maximal homogeneous ideal of k[∆] and I1,...,Ig be ideals generated by linear systems of parameters. Let s1,s2,...,sg ∈ N. We prove that s s s1 s2 g s1 s2 g ∗ ms1+s2+···+sg I1 I2 · · · Ig = (I1 I2 · · · Ig ) = . Let h(∆) = (h0, h1,...,hd) denote the h-vector of k[∆]. The Hilbert series of R is of the form h + h λ + · · · + h λd H(k[∆], λ)= 0 1 d . (1 − λ)d d (i) Set h(λ)= h0 + h1λ + · · · + hdλ . Let h (λ) denote the i-th derivative of h(λ) with respect to λ. Let s1,s2,...,sg ∈ N with s1 + s2 + · · · + sg = n +1. Then d R R h(i)(1) n + d − i ℓ = ℓ = (−1)i . s1 s2 sg ∗ mn+1 i! d − i (I1 I2 · · · Ig ) i X=0 4 KRITI GOEL, VIVEK MUKUNDAN, AND J. K. VERMA ∗ s1 s2 sg In particular, ed(I1 I2 · · · Ig )= hd, for any s1,s2,...,sg ∈ N. We generalize a theorem of Rees [15] for Stanley-Reisner rings. Recall that for a simplicial complex ∆ with f-vector f(∆) = (f−1,f0,...,fd−1), the Euler characteristic of ∆ is denoted by d−1 χ(∆) = f0 − f1 + · · · + (−1) fd−1. The simplicial complex ∆ is said to be Eulerian if χ(∆) = 1. Set S = (s1,s2,...,sd), Si = Si sj si−1 (s1,...,si−1,si − 1,si+1,...,sd) and I = ( j6=i Ij )Ii , for all i = 1, 2,...,d.