arxiv:math/ v1 [math.ac] 4 Oct 2002

Transcription

1 arxiv:math/ v1 [math.ac] 4 Oct 2002 Q GORENSTEIN SPLINTER RINGS OF CHARACTERISTIC p ARE F REGULAR ANURAG K. SINGH Department of Mathematics, University of Michigan, Ann Arbor, USA Receive: 5 May, 1998, revise: 6 October, Introuction A Noetherian integral omain R is sai to be a splinter if it is a irect summan, as an R moule, of every moule finite extension ring, see [Ma]. In the case that R contains the fiel of rational numbers, it is easily seen that R is splinter if an only if it is a normal ring, but the notion is more subtle for rings of characteristic p > 0. It is known that F regular rings of characteristic p are splinters, an Hochster an Huneke showe that the converse is true for locally excellent Gorenstein rings, [HH4]. In this paper we exten their result by showing that Q Gorenstein splinters are F regular. Our main theorem is: Theorem 1.1. Let R be a locally excellent Q Gorenstein integral omain of characteristic p > 0. Then R is F regular if an only if it is a splinter. These issues are closely relate to the question of whether the tight closure I of an ieal I of a characteristic p omain agrees with its plus closure, i.e., I + = IR + R, where R + enotes the integral closure of R in an algebraic closure of its fraction fiel. We always have the containment I + I, an Smith showe that equality hols if I is a parameter ieal in an excellent omain R, see [Sm1]. An excellent omain R of characteristic p is splinter if an only if for all ieals I of R, we have I + = I. For an excellent local omain R of characteristic p, Hochster an Huneke showe that R + is a big Cohen Macaulay algebra, see [HH2]. For further work on R + an plus closure see [Ab, AH]. Our main references for the theory of tight closure are [HH1, HH3, HH4]. Although tight closure is primarily a characteristic p notion, it has strong connections with the stuy of singularities of algebraic varieties over fiels of characteristic zero. For Q Gorenstein rings essentially of finite type over 1

2 2 ANURAG K. SINGH a fiel of characteristic zero, it is known that F regular type is equivalent to log terminal singularities, see [Ha, Sm2, Sm3, Wa]. Consequently our main theorem offers a characterization of log terminal singularities in characteristic zero, see Corollary Preliminaries By the canonical ieal of a Cohen Macaulay normal omain (R, m), we shall mean an ieal of R which is isomorphic to the canonical moule of R. We next recor some results that we shall use later in our work. Lemma 2.1. Let (R, m) be a Cohen Macaulay local omain with canonical ieal J. Fix a system of parameters y 1,...,y for R, an let s J be an element which represents a socle generator in J/(y 1,...,y )J. Then for t N, the element s(y 1...y ) t 1 is a socle generator in J/(y t 1,...,yt )J. The ieals I t = (y t 1,...,yt )J : R s form a family of irreucible ieals which are cofinal with the powers of the maximal ieal m of R. Proof. See the proof of [HH4, Theorem 4.6]. Lemma 2.2. Let R be a Cohen Macaulay normal omain with canonical ieal J. Pick y 1 0 in J. Then there exists an element y 2 not in any minimal prime of y 1 an γ J such that y i 2 J(i) γ i R for all positive integers i. Proof. This is [Wi, Lemma 4.3]. Lemma 2.3. Let (R,m) be a normal local omain an J an ieal of pure height one, which has orer n when regare as an element of the ivisor class group Cl(R). Then for 0 < i < n, we have J (i) J (n i) J (n) m. Proof. Let J (n) = αr. Clearly J (i) J (n i) αr, an it suffices to show that J (i) J (n i) αr. If J (i) J (n i) = αr, then J (i) is an invertible fractional ieal, an so must be a projective R moule. Since R is local, J (i) is a free R moule, but this is a contraiction since J (i) cannot be principal for 0 < i < n. Discussion 2.4. Let (R, m) be a Q Gorenstein Cohen Macaulay normal local omain, with canonical ieal J. Let n enote the orer of J as an element of the ivisor class group Cl(R), an pick α R such that J (n) = αr. Consier the subring R[JT,J (2) T 2,... ] of R[T], an let S = R[JT,J (2) T 2,... ]/(αt n 1).

3 Q GORENSTEIN SPLINTER RINGS OF CHARACTERISTIC p ARE F REGULAR 3 Note that S has a natural Z/nZ graing where [S] 0 = R, an for 0 < i < n we have [S] i = J (i) T i. We claim that the ieal m = m + JT + J (2) T J (n 1) T n 1 is a maximal ieal of S. Since each J (i) is an ieal of R, we nee only verify that J (i) T i m m for 0 < i < n 1, but this follows from Lemma 2.3. Note furthermore that m n ms. 3. The main result Proof of Theorem 1.1. The property of being a splinter localizes, as oes the property of being Q Gorenstein. Hence if the splinter ring R is not F regular, we may localize at a prime ieal P Spec R which is minimal with respect to the property that R P is not F regular. After a change of notation, we have a splinter (R,m) which has an isolate non F regular point at the maximal ieal m. This shows that R has an m primary test ieal. However since R is a splinter it must be F pure, an so the test ieal is precisely the maximal ieal m. Note that by [Sm1, Theorem 5.1] parameter ieals of R are tightly close, an R is inee F rational. Let im R =. Choose a system of parameters for R as follows: first pick a nonzero element y 1 J. Then, by Lemma 2.2, pick y 2 not in any minimal prime of y 1 such that y i 2 J(i) γ i R for a fixe element γ J, for all positive integers i. Exten y 1,y 2 to a full system of parameters y 1,...,y for R. Since y 1 J, there exists u R such that s = uy 1 is a socle generator in J/(y 1,...,y )J. Let Y enote the prouct y 1...y. Consier the family of ieals {I c } c N as in Lemma 2.1. If R is not F regular, there exists an irreucible ieal I c = (y c 1,...,yc )J : R s which is not tightly close, specifically Y c 1 I c. Consequently sy c 1 (y c 1,...,yc )J. In the ring S, this says that sy c 1 (y c 1,...,yc )JS an so sty c 1 (y c 1,...,yc )JTS (y c 1,...,yc )S. We shall first imitate the proof of [Sm1, Lemma 5.2] to obtain an equational conition from this statement. To simplify notation, let z = sty c 1 an x i = y c i for 1 i. We then have z (x 1,...,x )S. Consier the maximal ieal m = m+jt +J (2) T 2 + +J (n 1) T n 1 of S an the highest local cohomology moule H m (S) = lim S/(xi 1,...,xi ),

4 4 ANURAG K. SINGH where the maps in the irect limit system are inuce by multiplication by x 1 x. Since the test ieal of R is m, if Q 0 is a power of p greater than n, we have m Q 0 z q (x q 1,...,xq )S for all q = pe. Let η enote [z + (x 1,...,x )S] viewe as an element of Hm (S), an N be the S submoule of Hm(S) spanne by all F e (η) where e N. Since Hm (S) is an S moule with DCC, there exists e 0 such that the submoules generate by F e 0 (N) an F e (N) agree for all e e 0. Hence there exists an equation of the form F e 0 (η) = a 1 F e 1 (η) + + a k F e k (η) with a 1,...,a k S an e 0 < e 1 e 2 e k. If some a i is not a unit, we may use suitably high Frobenius iterations on the equation above, an the fact that for Q 0 n we have m Q 0 F e (η) = 0 for all e N, to replace the above equation by one in which the coefficients which occur are inee units. Hence we have an equation F e (η) = a 1 F e 1 (η) + + a k F e k(η) where e < e 1 e 2 e k an a 1,...,a k are units. Let q = p e, q i = p e i for 1 i k an X = x 1...x. Rewriting our equation we have [z q X q k q + (x q k 1,...,x q k )S] = a 1 [z q 1 X q k q 1 + (x q k 1,...,x q k )S] + + a k [z q k + (x q k 1,...,x q k )S], i.e., [z q X qk q a 1 z q 1 X q k q 1 a k z q k + (x q k 1,...,x q k )S] = 0. Since the ring S may not necessarily be Cohen Macaulay, we cannot assume that the maps in the irect limit system lim S/(x i 1,...,xi ) are injective. However for a suitable positive integer b we o obtain the equation (zx b 1 ) Q (x bq 1,..., xbq, zxbq 1, z p X bq p,..., z Q/p X bq Q/p )S, where Q = q k. Going back to the earlier notation an setting t = bc, we have (sty t 1 ) Q (y tq 1,...,ytQ, sty tq 1, (st) p Y tq p,...,(st) Q/p Y tq Q/p )S. Note that 1 T = αt n 1 S, an multiplying the above by 1 T Q, we get (sy t 1 ) Q (y tq T Q,..., ytq T Q, sy tq 1 1 T Q 1, sp Y tq p 1 T Q p,......,s Q/p Y tq Q/p 1 T Q Q/p)S.

5 Q GORENSTEIN SPLINTER RINGS OF CHARACTERISTIC p ARE F REGULAR 5 Since (sy t 1 ) Q [S] 0 = R, we may intersect the ieal above with R to obtain (sy t 1 ) Q (y tq 1 J(Q),..., y tq J(Q), sy tq 1 J (Q 1), s p Y tq p J (Q p),... Replacing s = uy 1 above, we get..., s Q/p Y tq Q/p J (Q Q/p) )R. (uy 1 Y t 1 ) Q (y tq 1 J(Q),..., y tq J(Q), (uy 1 )Y tq 1 J (Q 1), (uy 1 ) p Y tq p J (Q p),..., (uy 1 ) Q/p Y tq Q/p J (Q Q/p) )R. Let Z = Y y 1 = y 2...y. We then have (uz t 1 ) Q y tq 1 (y tq 1 J(Q), y tq 2,..., ytq, uytq 1 ZtQ 1 J (Q 1), u p y tq 1 ZtQ p J (Q p),..., u Q/p y tq 1 ZtQ Q/p J (Q Q/p) )R. Using the fact that y 1,...,y are a system of parameters for the Cohen Macaulay ring R, we get (uz t 1 ) Q (J (Q), y tq 2,..., ytq, uztq 1 J (Q 1), u p Z tq p J (Q p),......, u Q/p Z tq Q/p J (Q Q/p) )R. Consequently there exists a J (Q), b i R an c p e J (Q Q/pe) such that (uz t 1 ) Q = a + i=2 b i y tq i + c 1 uz tq 1 + c p u p Z tq p + + c Q/p u Q/p Z tq Q/p. V Q i For 2 i, consier the following equations in the variables V 2,...,V : = b i + c 1 V i ( Z y i ) tq t + c p V p i (Z y i ) tq tp + + c Q/p V Q/p i ( Z y i ) tq tq/p. Since these are monic equations efine over R, there exists a moule finite normal extension ring R 1, with solutions v i of these equations. Working in the ring R 1, let w = uz t 1 v i yi. t Combining the earlier equations, we have w Q = a + c 1 wz tq t + c p w p Z tq tp + + c Q/p w Q/p Z tq tq/p. Multiplying this equation by y Q 2 an using the fact that yi 2 J(i) γ i R for all positive integers i, we get (wy 2 ) Q = 0 γ Q + 1 wy 2 γ Q 1 + p (wy 2 ) p γ Q p + + Q/p (wy 2 ) Q/p γ Q Q/p. i=2

6 6 ANURAG K. SINGH Since the ring R 1 is normal, The above equation gives an equation by which wy 2 /γ is integral over the ring R 1. Since R 1 is normal, we have wy 2 γr 1. Combining this with w = uz t 1 i=2 v iyi t, we have an so uz t 1 y 2 = wy 2 + ( i=2 v i y t i )y 2 (J, y t+1 2, y 2 y t 3,..., y 2y t )R 1, uz t 1 y 2 (J, y t+1 2, y 2 y t 3,..., y 2y t )+ = (J, y t+1 2, y 2 y t 3,..., y 2y t )R. Since y 2 is not in any minimal prime of J, we get uz t 1 (J,y t 2,yt 3,...,yt )R. Multiplying this by y 1, we get sz t 1 (y 1 J, y 1 y t 2, y 1y t 3,..., y 1y t )R (y 1, y t 2, yt 3,..., yt )J, but this contraicts the fact that s generates the socle in J/(y 1,...,y )J. Corollary 3.1. Let (R, m) be an excellent integral omain of imension two over a fiel of characteristic p > 0. Then R is a splinter if an only if it is F regular. Proof. The hypotheses imply that R is F rational, an so has a torsion ivisor class group by a result of Lipman, [Li]. Hence R must be Q Gorenstein. Definition 3.2. Let R = K[X 1,...,X n ]/I be a omain finitely generate over a fiel K of characteristic zero. We say R is of splinter type if there exists a finitely generate Z algebra A K an a finitely generate free A algebra R A = A[X 1,...,X n ]/I A such that R = R A A K, an for all maximal ieals µ in a Zariski ense subset of SpecA, the fiber rings R A A A/µ (which are rings over fiels of characteristic p) are splinter. Using the equivalence of F regular type an log terminal singularities for rings finitely generate over a fiel of characteristic zero (see [Ha, Sm3, Wa]) we obtain the following corollary: Corollary 3.3. Let R be a finitely generate Q Gorenstein omain over a fiel of characteristic zero. Then R has log terminal singularities if an only if it is of splinter type. Acknowlegement It is a pleasure to thank Melvin Hochster for several valuable iscussions on tight closure theory.

7 Q GORENSTEIN SPLINTER RINGS OF CHARACTERISTIC p ARE F REGULAR 7 References [Ab] I. Aberbach. Tight closure in F rational rings. Nagoya Math. J. 135 (1994), [AH] I. Aberbach an M. Hochster. Finite Tor imension an failure of coherence in absolute integral closures. J. Pure Appl. Algebra 122 (1997), [Ha] N. Hara. A characterisation of rational singularities in terms of injectivity of Frobenius maps. Amer. J. Math. 120 (1998), [HH1] M. Hochster an C. Huneke. Tight closure, invariant theory, an the Briançon-Skoa theorem. J. Amer. Math. Soc. 3 (1990), [HH2] M. Hochster an C. Huneke. Infinite integral extensions an big Cohen-Macaulay algebras. Ann. of Math. (2) 135 (1992), [HH3] M. Hochster an C. Huneke. F regularity, test elements, an smooth base change. Trans. Amer. Math. Soc. 346 (1994), [HH4] M. Hochster an C. Huneke. Tight closure of parameter ieals an splitting in moule-finite extensions. J. Algebraic Geom. 3 (1994), [Li] J. Lipman. Rational singularities, with applications to algebraic surfaces an unique factorization. Inst. Hautes Étues Sci. Publ. Math. 36 (1969), [Ma] F. Ma. Splitting in integral extensions, Cohen-Macaulay moules an algebras. J. Algebra 116 (1988), [Sm1] K. E. Smith. Tight Closure of parameter ieals. Invent. Math. 115 (1994), [Sm2] K. E. Smith. F rational rings have rational singularities. Amer. J. Math. 119 (1997), [Sm3] K. E. Smith. Vanishing theorems, singularities, an effective bouns in algebraic geometry via prime characteristic local algebra. In Algebraic geometry Santa Cruz, J. Kollár, R. Lazarsfel an Davi R. Morrison (es.) Proc. Sympos. Pure Math. vol. 62 (Amer. Math. Soc., Provience, RI, 1997), pp [Wa] K.-i. Watanabe. F purity an F regularity vs. log canonical singularities. Preprint. [Wi] L. Williams. Uniform stability of kernels of Koszul cohomology inexe by the Frobenius enomorphism. J. Algebra 172 (1995), Present aress: Department of Mathematics, University of Illinois, 1409 W. Green Street, Urbana, IL 61801, USA singh6@math.uiuc.eu