arxiv:math/ v1 [math.ac] 23 Sep 2002

Transcription

1 HOW TO RESCUE SOLID CLOSURE arxiv:math/ v1 [math.ac] 23 Sep 2002 HOLGER BRENNER 3 June 2018 Abstract. We efine a closure operation for ieals in a commutative ring which has all the goo properties of soli closure (at least in the case of equal characteristic) but such that also every ieal in a regular ring is close. This gives in particular a kin of tight closure theory in characteristic zero without referring to positive characteristic. Introuction The theory of tight closure, introuce by Hochster an Huneke ([7],[8],[9], [10],[2]), is efine for rings containing a fiel of positive characteristic making use of the Frobenius enomorphism. The main applications of tight closure are to homological conjectures. For example, with this technique it is quite easy to proof that the invariant ring of an action by a linearly reuctive group on a polynomial ring is Cohen-Macaulay. This rests upon three facts of tight closure: colon-capturing, persistence an the fact that every ieal in a regular ring is tightly close. There are several ways to exten this notion to rings containing a fiel of characteristic zero, by eclaring that an element belongs to the tight closure if an only if this hols for almost all points with resiue class fiel of positive characteristic, where the relevant atas have to be expresse in an algebra over a finitely generate Z-algebra. Most results from tight closure pass then from the case of positive characteristic to characteristic zero. The theory of soli closure was introuce by Hochster in [5] in orer to give a closure operation efine for every Noetherian ring without referring to positive characteristic. It coincies with tight closure if the ring contains a fiel of positive characteristic uner some mil finiteness conitions, an it contains tight closure also in the case of a fiel of characteristic zero. However, a computation of Roberts in [12] showe that regular rings of imension 3 in characteristic zero are not solily close. This iscouraging result shows that soli closure oes not have the right properties in equal characteristic zero ([6, Introuction]). This paper proposes another closure operation, calle parasoli closure. Roughly speaking, an element h belongs to the parasoli closure of (f 1,...,f n ) R (where R is local of imension ), if the forcing algebra A for these atas is (universally) parasoli: this means that every canonical element (given by parameters in R) coming from H m (R) survive in H m (A). We list the main properties of this closure operation (compare [9, Introuction]). The parasoli closure is persistent an it lies insie soli closure. Every ieal in a regular ring is parasolily close. If the ring contains a fiel, then the contraction from a finite extension belongs to the closure. This is not clear in mixe characteristic, an I have to amit 1

2 2 HOLGER BRENNER that our closure operation has no effect on the homological conjectures in mixe characteristic. Over a fiel of positive characteristic it coincies with soli closure an hence also with tight closure uner some mil conitions. Though the efinition of parasoli closure oes not refer to positive characteristic, reuction mo p is anyway a useful metho to prove results for parasoli closure in equal characteristic zero. The theorem of Briançon-Skoa hols for parasoli closure in equal characteristic zero an we prove this with the help of the finiteness theorem of Hochster ([2, Theorem 8.4.1]. Moreover, parasoli closure contains tight closure in characteristic zero, hence also colon capturing hols for it. For a complete local Gorenstein ring we also efine an ieal which coincies with the tight closure test ieal in positive characteristic. The content of this paper is as follows. Section 1 gives the concept of a parasoli algebra an some characterizations in positive characteristic an in low imensions. Section 2 gives criteria for an algebra A over a complete local Gorenstein ring R to be parasoli in terms of the moule-sections Hom R (A,R) an the orer ieal in R. We show that a regular complete local ring is in every parasoli algebra a irect summan. Section 3 introuce the closure operation an establishes its basic properties. In section 4 we show that every ieal in a regular ring is close. Rings with this property will be calle pararegular. Section 5 is concerne with the relation between soli an parasoli closure an with tight closure in positive characteristic. In section 6 we look at the intersection of the orer ieals of all parasoli forcing algebras. We show that for a complete local Gorenstein ring over a fiel of positive characteristic this intersection is the same as the tight closure test ieal. In section 7 we give characterizations for pararegular rings in the case of a complete Gorenstein ring. In section 8 we express the atas which say that a paraclass vanishes in terms of a finitely generate Z-algebra an equations. This gives relations between the parasoli closure in positive characteristic, in zero characteristic an in mixe characteristic. We show that the equations which efine over a fiel a quotient singularity in imension two yiel also in mixe characteristic examples of pararegular, but non regular rings (this is a kin of reuction to the case of a fiel). We obtain the Theorem of Briançon-Skoa for parasoli closure in equal characteristic zero by reuction to positive characteristic using Hochster s finiteness Theorem. Furthermore we get from a result of Koh [11] a finite type criterion for universallyparasoli algebras. In section 9 we escribe results how parasoli algebras an the parasoli closure behave in the fibers of a family, an erive from this as a special case that the tight closure of an ieal in characteristic zero is containe insie the parasoli closure. 1. parasoli algebras Let R enote a local Noetherian ring of imension with maximal ieal m. Due to a theorem of Grothenieck we know that the local cohomology Hm (R) 0. Elements x 1,...,x R are calle parameters if V(x 1,...,x ) = V(m). A system of parameters efines via Čech cohomology the element 1/x 1 x Hm (R), an we call such a cohomologyclass a canonical element or a paraclass. If R contains a fiel K, then such a paraclass is 0 (The proof for this is ifferent for positive an zero

3 HOW TO RESCUE SOLID CLOSURE 3 charcateristic, see [2, Remark 9.2.4]). This is not known for mixe characteristic, but at least there exist paraclasses 0. Themainingreientofthetheoryofsoliclosureistheconceptofasolialgebra. Foraomain R, an R-algebraAis calle soli if there exists a non-trivialr-moule homomorphism ϕ : A R. If R is a local complete Noetherian omain, this is equivalent with Hm (A) 0, see [5, Corollary 2.4]. In the following efinition we require the stronger conition that all the paraclasses coming from Hm(R) shall not vanish in Hm (A). Definition 1.1. Let R enote a local Noetherian ring of imension an let A enote an R-algebra. A is calle parasoli if the image of every paraclass 0 c Hm (R) in H m (A) oes not vanish. Definition 1.2. Let R enote a Noetherian commutative ring an let A be an R-algebra. We say that A is parasoli if A m is parasoli over R m for every maximal ieal m R. We say that A is universally parasoli (even if R is not Noetherian) if for every local Noetherian ring R R the algebra A R R is a parasoli R -algebra. Remark 1.3. The conition c 0is impose only formixe characteristic,for this is not known in general. The paraclass c = 1/x 1 x Hm (R) vanishes in H m (A) (we will often say that it vanishes in A) if an only if (x 1 x ) k (x k+1 1,...,x k+1 ) hols in A for some k N. In the efinition of universally parasoli it is enough to consier only complete local rings, since completion oes not change the -th local cohomology. In equal characteristic we have only to look at complete normal omains. Some examples of parasoli algebras are gathere together in the following proposition. Proposition 1.4. Let R enote a commutative ring an let A enote an R-algebra. In the following situations A is universally parasoli. (i) R is a irect summan of A. (ii) A is faithfully flat over R. (iii) R contains a fiel an R A is a finite extension (or R A is finite an Spec A Spec R is surjective). (iv) There exists A A such that A is a universally parasoli R-algebra. Proof. We may assume that R is a local Noetherian ring of imension an we have to show that A is parasoli. (i). Let A = R V. Then the cohomological mapping Hm(R) Hm(A) = Hm (R) H m (V) is injective. (ii). In the flat case we know that H m(a) = H m(r) R A. Since A is faithfully flat, it is also pure an again the mapping is injective. (iii). Let x 1,...,x be parameters of R an let (x 1,...,x )A n be a maximal ieal of A. Then x 1,...,x are parameters in A n an their paraclass oes not vanish. (iv) is clear. Proposition 1.5. Let R enote a local Noetherian ring of imension an let ˆR be its completion. Then an R-algebra A is parasoli if an only if A = A R ˆR is parasoli over ˆR.

4 4 HOLGER BRENNER Proof. (Here I have to thank Prof. Storch for a hint) We know that Hm (R) = Hm(ˆR) an hence the mapping on the cohomology Hm(A) Hm(A ) = Hm(A) R R is injective. Hence it is enough to show that the paraclasses coming from R an from ˆR are the same up to a unit. Let x 1,...,x be parameters in ˆR an let a be the ieal they generate. Since a is primary, it is the extene ieal of an ieal b in R. The number of minimal generators oes not change, hence b is also a parameter ieal. Therefore (x 1,...,x ) = (y 1,...,y ), where y i R. Thentheyefineuptoaunitthesameparaclass. Thiscanbeprovebyreplacing inuctively x i by y i using [1, Exercises ]. Over a complete local omain a parasoli algebra is soli, an in positive characteristic these notions coincie. Lemma 1.6. Let K enote a fiel of positive characteristic p an let R enote a local Noetherian K-Algebra of imension. Let A be an R-algebra. Then the following are equivalent. (i) A is a parasoli R-algebra. (ii) There exists a paraclass c Hm(R) which oes not vanish in Hm(A). (iii) Hm (A) 0. Proof. (i) (ii) an (ii) (iii) are clear. (iii) (i). Suppose there exists a paraclass 1/(x 1 x ) which oes vanish in H m (A), an let c = a/(xr 1 xr ) be an element in H m(a). The vanishing of the paraclass means that there exists an equation in A x1 x, 1 x 1 x = a 1 (x 2 x ) k a (x 1 x 1 ) k. Let q = p e r an apply the e-th Frobenius to this equation. This shows that also the paraclass 1/(x 1 x ) q vanishes, hence also c = 0. Corollary 1.7. Let K enote a fiel of positive characteristic p an let R enote a local Noetherian K-Algebra of imension. Let A be an R-algebra. Then the following are equivalent. (i) A is universally parasoli. (ii) A R ˆR/q is soli for every minimal prime of the completion ˆR (his property is calle formally soli, see [5, Definition 3.2]). If R is a complete local omain, then A is parasoli if an only if it is universally parasoli. Proof. (i) (i) is clear, so assume that (ii) hols. Then from [5, Theorem 3.7] we know that A = A R R is soli for every Noetherian complete local omain R an 1.6 gives that A is parasoli. Example 1.8. Let R = K[[X,Y,Z]]/(XY,XZ), so that its spectrum is the union ofan affineplane ananaffine line meeting in onepoint. LetA = K[[X,Y,Z]]/(X). Then A is a parasoli R-algebra, but not universally parasoli. The following proposition characterizes parasoli R-algebras A for low imensions ( 2) by H m(a) 0. Note that the characterization is set-theoretical for = 0, topological for = 1 an algebro-geometrical for = 2.

5 HOW TO RESCUE SOLID CLOSURE 5 Proposition 1.9. Let R enote a local Noetherian ring of imension with maximal ieal m an let A enote an R-algebra. Then the following are equivalent. = 0. (i) A is parasoli. (ii) A 0. (iii) Spec A. = 1. Let x R be such that V(x) = V(m). (i) A is parasoli. (ii) H 1 m(a) 0. (iii) A A x is not surjective (this means that x k (x k+1 ) in A for all k N.) (iv) D(x) = D(mA) Spec A is not a close subset. = 2. (i) A is parasoli. (ii) H 2 m(a) 0. (iii) D(mA) Spec A is not affine. Proof. Suppose = 0. For every R-moule M we have H 0 m(m) = Γ m (M) = {v M : n N such that m n v = 0} = M. In particular H 0 m(r) = R an 1 R is the only paraclass, an it vanishes in H 0 m(a) if an only if A = 0. (ii) (iii) is clear. Suppose = 1. (i) (ii) is clear. The cohomology sequence is 0 Hm 0 (A) A A x Hm 1 (A) 0 an this gives (ii) (iii). Since this is true for every parameter x R, we conclue (ii) (i). If A A x is surjective, then we have a close embeing D(x) Spec A. On the other han, consier A A/a A x, where a is the kernel. If D(x) is close, then D(x) = V(a), but x is a unit in A/a, hence A/a = A x. Suppose = 2. (i) (ii) is again clear. If (ii) hols, then H 1 (D(mA),O A ) = Hm(A) 2 0 an D(mA) is not affine. (iii) (i). Let x,y be parameters in R an assume that c = 1/xy vanishes in Hm(A) 2 = HmA 2 (A). This means that there exists an equation 1 xy = a x k + b, a,b A. yk Hence we see that q = b/y k 1 = 1/x ay/x k an p = a/x k 1 = 1/y bx/y k are functions efine on D(x,y) = D(mA) Spec A. Furthermore we see that 1 = a x k 1y + b yk 1x = px+qy, an this shows that D(x,y) is affine ue to [4, Exercise II.2.17]. 2. Orer ieals LetAenoteanR-algebra. An R-linearhomomorphismϕ Hom R (A,R)inuce a mapping on the cohomology H m(ϕ) : H m(a) H m(r). These mappings are useful in the stuy of H m(a), in particular if R is complete.

6 6 HOLGER BRENNER Definition 2.1. Let A enote an R-algebra. The ieal is calle the orer ieal of the algebra A. U(A) = {ϕ(1) : ϕ : A R R-linear }, Remark 2.2. It is clear that this is an ieal an that an element u R belongs to U(A) if an only if u belongs to the image of some R-moule homomorphism A R. The algebra A contains R as a irect summan if an only if 1 U(A). The algebra A over the omain R is soli if an only if U(A) 0. Let R be a local Noetherian ring with resiue class fiel k an let E be an injective hull of k. Consier the Matlis-functor D( ) = Hom R (,E). Let M enote an R-moule. Then the mapping H m(m) D(D(H m(m)) is injective ue to [1, Remarks ]. This means that for an element 0 c Hm(M) there exists an R-morphism ψ : Hm(M) E such that ψ(c) 0. If R is complete, then every R-moule homomorphism E E is the multiplication by a scalar r R, see [1, Theorem ]. If furthermore R is Gorenstein, then E = Hm (R) is an injective hull of the resiue class fiel, see [1, Lemma ]. Lemma 2.3. Let R enote a local complete Gorenstein ring of imension an let A be an R-algebra. Then the mapping is bijective. Hom R (A,R) Hom R (H m(a),h m(r)), ϕ H m(ϕ) Proof. We efine an inverse mapping. Let ψ : Hm (A) H m (R) be R-linear an let a A. Consier H m(r) i H m(a) a H m(a) ψ H m(r). The whole mapping is multiplication by an element r R, an we set ϕ ψ (a) := r. This gives an R-linear mapping ϕ ψ : A R. Let ϕ : A R be given. Then (H m (ϕ) a i)( s x 1 x ) = H m (ϕ)( as x 1 x ) = ϕ(a)s x 1 x, so this is multiplication by ϕ(a). Let ψ : H m(a) H m(r) be given an let ϕ ψ as just efine. Then Hm (ϕ a ψ)( ) = ϕ ψ(a) a = ψ( ). x 1 x x 1 x x 1 x Lemma 2.4. Let R enote a complete local Gorenstein ring of imension an let A be an R-algebra. Let c H m(r). Then the following are equivalent. (i) i(c) 0 in H m (A). (ii) There exists a homomorphism ϕ : A R such that 0 H m(ϕ)(i(c)) H m(r). (iii) There exists an element u U(A) such that uc 0 in H m (R). (iv) U(A) Ann R c.

7 HOW TO RESCUE SOLID CLOSURE 7 Proof. (i) (ii). From Matlis uality we know that there exists ψ : Hm (A) Hm(R) such that ψ(c) 0. Due to 2.3 this mapping is inuce by ϕ : A R. Suppose (ii) hols. Then u = ϕ(1) satisfies (iii). From (iii) to (i) is clear, an (iii) an (iv) are the same. Corollary 2.5. Let R enote a complete local Gorenstein ring of imension an let A be an R-algebra. Then the following are equivalent. (i) A is parasoli. (ii) U(A) is containe in no annihilator of a paraclass. Proof. Follows from 2.4. There exists always a class c H m(r) (in general no paraclass) such that its annihilator is Ann R c = m. Corollary 2.6. Let R enote a complete local Gorenstein ring an let c H m(r) be a class such that Ann c = m. Let A enote an R-algebra. Then the following are equivalent. (i) R is a irect summan in A (ii) The mapping i : H m(r) H m(a) is injective. (iii) i(c) 0 in H m (A). (iv) U(A) = R. Proof. (i) (ii) an (ii) (iii) are clear. (iii) (iv). Let i(c) 0. From 2.4 we know that U(A) Ann c = m, hence U(A) contains a unit an then U(A) = R. (iv) (i) is clear. Lemma 2.7. Let R enote a local complete Gorenstein ring of imension an let A enote an R-algebra. Let i : H m(r) H m(a) enote the mapping on the local cohomology. Let u R. Then the following are equivalent. (i) u U(A). (ii) u c H m (R)(Ann R c : Ann R i(c)). (iii) u annihilates kern i. Proof. Suppose that (i) hols, say u = ϕ(1). Let r R an suppose that ri(c) = 0 in Hm (A). Then 0 = ϕ(ri(c)) = urc = an ur annihilates c. Suppose that (ii) hols, an let i(c) = 0. Then Ann i(c) = R an Ann(c) : R = Ann(c), hence u Ann(c). Suppose that (iii) hols. We have an injection Hm (R)/kern i H m (A). Due to the conition multiplication on Hm(R) by u factors through Hm(R)/kern i Hm(R). Since Hm(R) is an injective moule for a Gorenstein ring, there exists also an extension Hm (A) H m (R). This mapping comes from a mapping ϕ : A R an it must hol ϕ(1) = u. Lemma 2.8. Let R be a Noetherian local Cohen-Macaulay ring of imension an let x 1,...,x be parameters. Then the annihilator of the paraclass 1/x 1 x is just (x 1,...,x ). Proof. Every system of parameters is a regular sequence ([2, Theorem 2.1.2]). Consier the exact sequence 0 R x R R/(x ) 0. The last part of the long exact sequence is 0 H 1 m (R/(x )) H m(r) x H m(r) 0.

8 8 HOLGER BRENNER Here 1/x 1 x 1 1/x 1 x, an the R-annihilator of these elements is the same. Hence we o inuction, where the beginning is clear, since Hm(R) 0 = R for R zero-imensional an 0 = AnnR. The property that R is a irect summan of A is in general much stronger than the property that A is parasoli. For complete regular rings however these properties coincie. From this result we will euce in section 4 that every ieal in a regular ring is parasolily close. Theorem 2.9. Let R be a complete regular local ring an let A be an R-algebra. Then A is parasoli if an only if R is a irect summan of A. Proof. Let m = (x 1,...,x ), where is the imension of R. Then the annihilator of the corresponing paraclass is exactly the maximal ieal m. If A is parasoli, then ue to 2.5 we know that U(A) m, hence U(A) = R. 3. parasoli closure Let R enote a commutative ring an let f 1,...,f n an h be elements in R. Then we call the R-algebra A = R[T 1,...,T n ]/(f 1 T f n T n +h) the forcing algebra for the elements (or atas) f 1,...,f n ;h. The forcing algebra A forces h (f 1,...,f n )A an every R-algebra R B such that h (f 1,...,f n )B factors through A. Definition 3.1. Let R enote a commutative ring, let f 1,...,f n R an h R be elements. Let A enote the forcing algebra for these elements. If R is local an Noetherian, then we say that h belongs parasolily to f 1,...,f n if the forcing algebra A is parasoli. We say that h belongs universally parasolily to (f 1,...,f n ) if the forcing algebra A is universally parasoli. Lemma 3.2. Let R be a local Noetherian ring of imension an let f 1,...,f n an h be elements. Then the following hol. (i) If h (f 1,...,f n ), then it belongs parasolily to f 1,...,f n. (ii) If (f 1,...,f n ) (g 1,...,g m ) an if h belongs parasolily to f 1,...,f n, then it belongs parasolily to g 1,...,g m. (iii) If h belongs parasolily to f 1,...,f n, then also rh belongs parasolily to f 1,...,f n. (iv) Let a (f 1,...,f n ). Then h belongs parasolily to f 1,...,f n if an only if a+h belongs parasolily to them. The same is true for R any Noetherian ring if we replace parasolily by universally parasolily. Proof. (i). Let h = r 1 f r n f n, r i R. This efines a section A R, thus R is a irect summan in A, hence A is parasoli. (ii) Let f i = r i1 g r im g m for i = 1,...,n. This efines a mapping R[S 1,...,S m ]/(g 1 S g m S m +h) R[T 1,...,T n ]/(f 1 T f n T n +h) by sening S j i r ijt i. This is well efine since m m n n m g j S j +h = g j ( r ij T i )+h = ( r ij g j )T i +h. j=1 j=1 i=1 i=1 j=1

9 HOW TO RESCUE SOLID CLOSURE 9 Since the algebra on the right is parasoli, so is the algebra on the left. (iii). Here we use the mapping R[S 1,...,S n ]/(f 1 S f n S n +rh) R[T 1,...,T n ]/(f 1 T f n T n +h) which sens S i rt i. (iv). Let a = a 1 f a n f n. Then we use the mapping R[S 1,...,S n ]/(f 1 S f n S n +h) R[T 1,...,T n ]/(f 1 T f n T n +a+h) where S i T i +a i. The corresponing statement for universally parasolily follows. Definition 3.3. Let R enote a local complete Noetherian omain an let h R an f 1,...,f n R be elements. We say that h belongs to the parasoli closure of f 1,...,f n if there exists a chain of elements f n+1,...,f m = h such that f i belongs universally parasolily to f 1,...,f n,...,f i 1 for i = n+1,...,m. Lemma 3.4. Let R enote a local complete Noetherian omain an let f 1,...,f n be elements. The elements which belong to the parasoli closure of f 1,...,f n form an ieal, which epens only on the ieal (f 1,...,f n ). Proof. Let h belong to the parasoli closure. This means that there exists a chain f 1,...,f n, f n+1,...,f m = h, where f i belongs universally parasolily to f 1,...,f n,...,f i 1 for i = n + 1,...,m. This is also true if we replace h by rh ue to 3.2(iii). Let g be another element which belongs also to the parasoli closure, an let f 1,...,f n,g 1,...,g k = g be a corresponing chain. Then also f 1,...,f n,f n+1,...,f m,g 1,...,g k is such a chain ue to 3.2 (ii), an then ue to 3.2 (iv) also f 1,...,f n,f n+1,...,f m,g 1,...,g k +f m = g +h is such a chain. Definition 3.5. Let R enote a Noetherian ring an let I R enote an ieal. If R is a local complete omain, then we call the ieal just efine the parasoli closure I of I. For general R, we efine I by the conition that h I if an only if this is true for all Rm ˆ /q, where m is a maximal ieal m of R an q is a minimal prime of the completion R ˆ m (These rings are calle the local complete omains of R). Proposition 3.6. Let R enote a Noetherian ring an let I R be an ieal, I = (f 1,...,f n ). Let h R. Then the following hol. (i) If h belongs universally parasolily to I, then h I. (ii) I I (iii) If I J, then I J. (iv) The parasoli closure is persistent: If h I, then for every ring homomorphism R S, S Noetherian, it hols that h (IS). (v) Suppose that R is a local complete omain. Then I = I if an only if no h I belongs universally parasolily to (f 1,...,f n ). (vi) (I ) = I (vii) h I if an only if h (IR m ) for every localization at a maximal ieal (or at a prime ieal). (viii) h I if an only if h (IR/q) for every minimal prime ieal q of R. (ix) Suppose that R is local. Then h I if an only if h (I ˆR). Proof. (i) an (ii) are clear. In (iii) we may assume that R is a local complete omain an then thi follows from 3.2(ii). (iv). Let S S be a complete local

10 10 HOLGER BRENNER omain of S. This mapping factors then through a complete local omain R of R, an in R there exists a chain for h as in the efinition 3.3 an this gives the chain in S. (v) is clear, since every chain must start with an element which belongs universally parasolily to the ieal. (vi). Let h (I ) an let R enote a local complete omain of R. Then (I )R (IR ) ue to persistence an then h (I R ) ((IR ) ). Hence we may assume that R is a local complete omain, an the statement is clear from the efinition by chains. (vii),(viii) an (ix) are clear by efinition. Remark 3.7. A natural question here is: can we through away some of the buren in the efinition of parasoli closure which we neee to obtain the basic properties liste in 3.6? This refers in particular to the chains in 3.3, to localization an completion in 3.5 an to the use of all local Noetherian rings in the efinition of universally parasoli. As for the last point, we will show in section 8 that for K-algebras of finite type it is enough to consier only local algebras which are essentially of finite type. (A variant with some avantages is to consier only those local rings where the extene ieal of I is primary to the maximal ieal.) Lemma 3.8. Let K be a fiel an let R be a Noetherian K-algebra, let f 1,...,f n R an h R. Let ϕ : R S be a finite extension such that h (f 1,...,f n )S. Then h (f 1,...,f n ). Proof. Due to 1.4 (iii) the finite algebra S is universally parasoli. Remark 3.9. The statement in the last lemma is open in the case of mixe characteristic an equivalent to the monomial conjecture. If we woul efine a parasoli algebra by the conition that not the paraclasses c 0 o not vanish, but only these paraclasses which stay 0 in every finite extension, then the contraction property woul also hol in mixe characteristic, but then we coul not prove the regular property anymore. Example The parasoli closure of 0 consists of the nilpotent elements. One inclusion is clear from the efinition which refers to omains. If h is not nilpotent, then there exists ar R 0where h becomesaunit an then the forcingalgebra R /(h) = 0 is not parasoli. Example Let C enote a local three-imensional regular ring with maximal ieal m = (x,y,z). Let R = C/(x i +y j z k ), i,j,k 1. x an y are then parameters in R, we consier the forcing algebra for x, y an z, hence A = R[T 1,T 2 ]/(xt 1 +yt 2 z). We have then the equation x i +y j = (xt 1 +yt 2 ) k ( ). Suppose that k > i (or k > j). From the last equation we can rea off the containment x i (1 x k i T k 1 ) (y). Since k > i we have xk (x i+1 ), hence we get x i (y,x i+1 ) an this shows that D(x,y) Spec A is affine. Then the forcing algebra is not parasoli (not even soli) an z (x,y).

11 HOW TO RESCUE SOLID CLOSURE 11 Suppose that k = i ( = j. ) From the equation ( ) we see x k (1 T1 k) (y), k y k (1 T2) k (x) an x r r y k r T1T r 2 k r (x r+1,y k r+1 ) for 1 r k 1. ( ) k Suppose that k 2 an that at least one of the coefficients, 1 r k 1 r is a unit in R. Then again x n y m (x n+1,y m+1 ) for some n,m an z (x,y). 4. Regular rings Theorem 4.1. Let R be a regular local ring an let I R be an ieal. Then I = I. Proof. We may assume that R is complete. Let I = (f 1,...,f n ) an let h R an let A enote the forcing algebra. Suppose that h belongs universally parasolily to f 1,...,f n. This means in particular that A is parasoli. Hence ue to 2.9 R is a irect summan of A an then h (f 1,...,f n ). We give a secon (more constructive) proof for the case that R contains a fiel. Again we mayassume that R is complete, hence R = K[[X 1,...,X ]]. Assume that h (f 1,...,f n ). Then also h (f 1,...,f n,x1 m,...,xm ) for m Z big enough an then we fin r = (r 1,...,r ) such that h (I,X r1+1 1,...,X r +1 ), but h (I,X r1 1,Xr2+1 2,...,X r +1 ),..., h (I,X r1+1 1,...,X r 1+1 1,X r ). In particular we have hx i (I,X r1+1 1,...,X r +1 ) for every variable X i. We may replace I by (I,X r1+1 1,...,X r +1 ) = (f 1,...,f n,x r1+1 1,...,X r +1 ) an we may assume that f j = ν r f j,νx ν an also h = ν r h νx ν. There exists a K-linear form ϕ : K[[X 1,...,X ]] K given by X σ c σ such that ϕ(i) = 0, but ϕ(h) = 1. Moulo (X ri+1 i ) we have X σ f j = µ r f j,µ σx µ I, hence µ r c µf j,µ σ = 0(wheref j,λ = 0ifsomeentryofλisnegative). Furthermore X σ h = µ r h µ σx µ belongs also to I for σ > 0, hence µ r c µh µ σ = 0 for σ > 0, while µ c µh µ = 1. We consier r σ X σ rc σ (f 1 T f n T n +h) = a ν X ν, ν where a ν K[T 1,...,T n ] is the coefficient for X ν. Then for ν r we may write a ν = σ c r σ (f 1 T f n T n +h) ν σ = µ c µ (f 1 T f n T n +h) µ (r ν) = ( µ c µ f 1,µ (r ν) )T ( µ c µ f n,µ (r ν) )T n + µ c µ h µ (r ν). Since µ r c µf j,µ (r ν) = 0 for ν r an µ c µh µ (r ν) = 0 for ν < r an µ c µh µ = 1 for ν = r we see that a ν = 0 for ν < r an a r = 1. Hence we get c r σ X σ (f 1 T f n T n +h) = X r1 1 Xr +R σ where R (X r1+1 1,...,X r +1 ), which shows that the paraclass for X 1,...,X vanishes in the forcing algebra. As usual in a tight closure type theory, we make the following efinition.

12 12 HOLGER BRENNER Definition 4.2. We call a Noetherian ring R pararegular if I = I hols for every ieal I R. TheTheoremtellsusthatregularlocalringsarepararegular. Thisisalsotruefor regular rings in general, since a locally pararegular ring is pararegular (the convers is not clear). In connection with persistence we get the following two corollaries. Corollary 4.3. Let R be a Noetherian ring which is a pure subring (e. g. a irect summan) of a (para)regular ring S. Then R is pararegular. Proof. Let I R enote an ieal, an let h I. Then also h (IS) = IS, but R IS = I. Corollary 4.4. Let R be a Noetherian ring an let I R be an ieal. Then the parasoli closure of I is containe in the regular closure an in the integral closure, I I reg Ī. Proof. Let h I an let R S be a regular local ring. Then h (IS) = IS, so by efinition it lies insie the regular closure. Of course one hopes that pararegular rings are reuce, normal an Cohen- Macaulay, but we can prove only partial results. The Cohen-Macaulayness of parasoli rings follows in equal characteristic from the comparision with tight closure, see section 9. Lemma 4.5. Let R enote a Noetherian omain an let R enote its normalization. Let 0 f R. If h (f), then h/f R. If R contains a fiel, then also the converse hols. Proof. Let h (f). This is then true in all iscrete valuation omains B of R an hence h fb, so h/f B. Then h/f lies in the intersection of all valuation omains an hence in the normalization. If h/f R, then consier the inclusion R R[h/f] R an we fin h (f) in the finite extension R[h/f], which is universally parasoli if R contains a fiel. Proposition 4.6. Let R enote a Noetherian ring an suppose that R is pararegular. Then the following hols. (i) R is reuce. (ii) If R is a omain an contains a fiel, then it is normal. Proof. This follows from 3.10 an 4.5. Example 4.7. Let R = K[U,V,W]/(UV W 2 ) = K[X 2,Y 2,XY] K[X,Y] = S. Then the cohomology class c = W/UV maps to 1/XY. Therefore c 0, an its annihilator is the maximal ieal (U,V,W). The class c is no paraclass in Hm(R), 2 but in Hm 2 (S). Let A enote an R-algebra where i(c) = 0. This means that we have an equation W(UV) k = T 1 U k+1 +T 2 V k+1 an B factors through the forcing algebra A for this equation. This gives on S the forcing algebra with equation XY(X 2 Y 2 ) k = T 1 X 2(k+1) + T 2 Y 2(k+1). We know that Hm 2(A R S) = 0 ue to 4.1 an 1.9 an hence this is also true for Hm(A), 2 since A A R S is a irect summan.

13 HOW TO RESCUE SOLID CLOSURE soli closure an parasoli closure We recall the efinition of soli closure. Let R enote a Noetherian ring an let (f 1,...,f n ) = I R be an ieal, h R. Then h I sc if an only if the forcing algebra A on R ˆ m /q is soli, where m runs through the maximal ieals of R an q is a minimal prime in the completion R ˆ m. Proposition 5.1. Let R be a Noetherian ring an let I R be an ieal. Then I I sc. Proof. We may assume that R is a local complete omain. It is enough to show that an element h which belongs universally parasolily to I belongs to the soli closure of I. The forcing algebra A for I,h is then universally parasoli an so in particular soli. Proposition 5.2. Let K enote a fiel of positive characteristic p an let R enote a Noetherian K-Algebra. Let I = (f 1,...,f n ) R enote an ieal. Then I = I sc. Proof. We have alreay shown the irect inclusion, thus suppose that h I sc. Since soli closure is persistent [5, Theorem 5.6], we know for every local Noetherian complete omain R R that Hm(A ) 0, where is the imension of R an A is the forcing algebra over R. By 1.6 A is parasoli. We obtain the connection to tight closure in positive characteristic. Corollary 5.3. Let K enote a fiel of positive characteristic p an let R enote a Noetherian K-Algebra. Suppose that R is an algebra essentially of finite type over an excellent local ring or that the Frobenius enomorphism in R is finite. Then I = I = I sc hols for every ieal I R. Proof. The equation I = I sc is ue to [5, Theorem 8.6]. Remark 5.4. The conitions impose in the corollary imply that R has a completely stable weak test element for tight closure. Even without this conition it is true that the tight closure lies insie the soli closure (= parasoli closure). Example 5.5. We have a look at the example of Roberts. Let K be a fiel of characteristiczeroan consierin the polynomial ringr = K[X,Y,Z]the elements X 3,Y 3,Z 3 an X 2 Y 2 Z 2. The forcing algebra is then A = K[X,Y,Z][T 1,T 2,T 3 ]/(X 3 T 1 +Y 3 T 2 +Z 3 T 3 +X 2 Y 2 Z 2 ). This algebra is not parasoli, since the paraclass 1/XYZ oes vanish in Hm 3(A), an X 2 Y 2 Z 2 oes not belong to (X 3,Y 3,Z 3 ) = (X 3,Y 3,Z 3 ). On the other han, the computation of Roberts in [12] shows that the class 1/X 2 Y 2 Z 2 oes not vanish in Hm 3 (A) an so A is a soli algebra (at least over ˆR) an X 2 Y 2 Z 2 belongs to (X 3,Y 3,Z 3 ) sc. This example also shows that some paraclasses may survive, while others o not. 6. Orer ieal an test ieal An R-moule homomorphism A = R[T 1,...,T n ]/(f 1 T f n T n + h) R is given by T ν r ν R such that for every ν the conition f 1 r ν+e f n r ν+en = r ν

14 14 HOLGER BRENNER hols, where e i is a stanar base vector. It is in general not easy to construct such a morphism. The elements r 0 of such moule homomorphisms buil the orer ieal. We can use such orer elements to compute tight closure. Lemma 6.1. Let R be a commutative ring an let A be a forcing algebra for the elements f 1,...,f n,h. Let u U(A). Then uh (f 1,...,f n ). If furthermore R contains a fiel of positive characteristic p, then uh q I [q] for all q = p e. Proof. Let u = ϕ(1). We apply ϕ to the forcing equation an get uh = ϕ(1)h = ϕ(h) = f 1 ϕ(t 1 )+...+f n ϕ(t n ). Uner the Frobenius homomorphism the forcing equation becomes f q 1 Tq fn qtq n = hq. We apply again ϕ an get uh q = f q 1 ϕ(tq 1 )+...+fq n ϕ(tq n ). Remark 6.2. If R is a omain over a fiel of positive characteristic, an if U(A) 0, then an element u 0 can be taken to show that h I. It is not clear whether an element u such that uh q I [q] for all q = p e oes belong to the orer ieal (in the complete case). The proof of [5, Theorem 8.6] seems to give only that a power of u is an orer element. The following ieal is a caniate for a test ieal for parasoli closure. Definition 6.3. Let R enote a local Noetherian complete ring of imension. We set U(R) := U(A). A universally parasoli forcing algebra an V = c H m(r) : universally parasoli forcing algebra i : R A, i(c) = 0. Lemma 6.4. Let R enote a local complete Gorenstein ring. Then U(R) = Ann V. Proof. This follows from 2.7. Let u U(R) an let c V such that c vanishes in the universally parasoli forcing algebra A. By efinition u U(A) an then uc = 0, an this hols also in the submoule generate by such c. On the other han, suppose that u Ann V an let i : R A be a universally parasoli forcing algebra. Then kern i V an u annihilates the kernel, hence u U(A). (This corresponence is true for every family of algebras A i.) Proposition 6.5. Let R enote a local complete Gorenstein ring which contains a fiel of positive characteristic. Let T be the tight closure test ieal of R. Then T = U(R). Proof. We know that T = Ann R (0 Hm (R)), where 0 Hm (R) is the tight closure of the submoule 0 Hm(R), see [10, Proposition 4.1]. Due to 6.4 it is enough to show that V = 0 Hm (R). We know 0 Hm (R) = {s/(x 1 x ) k : s (x k 1,...,x k n) }. The inclusion 0 H m (R) V is clear, since s/(x 1 x ) k is zero in the forcing algebra for s;x k 1,...,xk an this forcing algebrais (formally soli, hence) universallyparasoli. So suppose that c = s/(x 1 x ) k vanishes in a universally parasoli algebra B. This means that there exists m 1 such that s(x 1 x ) m (x k+m 1,...,x k+m ) in B. Then the forcing algebra A for the elements s(x 1 x ) m ;x k+m 1,...,x k+m maps to B, an since B is universally parasoli also A is universally parasoli.

15 HOW TO RESCUE SOLID CLOSURE 15 Hence s(x 1 x ) m (x k+m 1,...,x k+m ) = (x k+m 1,...,x k+m ) an this means thats(x 1 x ) m /(x k+m 1 x k+m ) = s/(x k 1 xk ) 0. Thereforewehave0 Hm (R) = V. 7. Pararegular rings For a complete local Gorenstein ring there are a lot of ifferent characterizations to be pararegular. Proposition 7.1. Let R enote a local complete Gorenstein ring of imension. Let c H m(r) be a class such that Ann c = m (only in part (vii)). Then the following are equivalent. (i) R is pararegular, i.e. every ieal I R is parasolily close. (ii) Every universally parasoli forcing algebra A contains R as a irect summan. (iii) Every ieal generate by parameters is parasolily close. (iv) V = 0. (v) U(R) = R. (vi) Every universally parasoli R-algebra B contains R as a irect summan. (vii) i(c) 0 in every universally parasoli R-algebra B. Proof. (i) an (ii) are equivalent for every local complete Noetherian ring ue to 3.6 (v). (i) (iii) is clear. (iii) an (iv) are equivalent for a local complete Cohen-Macaulay ring. Suppose that (iii) hols. Let x 1,...,x be parameters an let c = s/x 1 x an suppose that i(c) = 0 vanishes in the universally parasoli forcing algebra A. This means that s(x 1 x ) k (x k+1 1,...,x k+1 ) hols in A an then A factors through the forcing algebra to x k+1 1,...,x k+1 ;s(x 1 x ) k, which is then also universally parasoli. This means that s(x 1 x ) k (x k+1 1,...,x k+1 ) = (x k+1 1,...,x k+1 ) in R an hence c = 0. For the converse suppose that s belongs universally parasolily to (x 1,...,x ). Then c = s/x 1 x is zero in the universally parasoli forcing Algebra, hence c V = 0. Then s annihilates the paraclass 1/x 1 x an since R is Cohen-Macaulay, it follows that s (x 1,...,x ). Suppose furthermore that R is a complete Gorenstein ring. The equivalence (iv) (v) follows from 6.4. (iii) (vi). Let i : R B be a universally parasoli algebra. Due to 2.7 it is enough to show that the cohomological mapping Hm(R) Hm(B) is injective. So let c = s/x 1 x an suppose that i(c) = 0. This means that s(x 1 x ) k (x k+1 1,...,x k+1 ) hols in B an then again s(x 1 x ) k (x k+1 1,...,x k+1 ) = (x k+1 1,...,x k+1 ) in R, thus c = 0. (vi) (vii) an (vi) (ii) are clear. (vii) (v). If A is a universally parasoli forcing algebra, then i(c) 0, hence U(A) Ann c = m, thus U(A) = R. Corollary 7.2. Let R enote a local Gorenstein ring. Then R is pararegular if an only if ˆR is pararegular. Proof. is always true an follows from 4.3. The converse hols because of 7.1 (iii). Remark 7.3. Since irect summans of regular rings are pararegular, we get a lot of pararegular but non-regular rings. If we work over a base fiel K, then all

16 16 HOLGER BRENNER the quotient singularities are pararegular, for example K[x,y,z]/(xy z n ). This equation yiels also in mixe characteristic pararegular rings, as the following computation shows. Example 7.4. Let C enote a local three-imensional regular ring with maximal ieal m = (x,y,z) an consier R = C/(xy z n ), n 1. The elements x an y are now parameters in R. We want to show that R is pararegular. Theannihilatorofc = z n 1 /xy H 2 m(r)isthemaximalieal(x,y,z). Due to 7.1 we have to show that if c vanishes in an R-algebra A, then A is not universally parasoli, an it is enough to look at a forcing algebra A given by an equation z n 1 (xy) k = T 1 x k+1 +T 2 y k+1, k 0. This equation yiels The equations 1 = T 1x k+1 z n 1 (xy) k + T 2y k+1 z n 1 (xy) k = T 1x z n 1 y k + T 2y z n 1 x k ( ). T 1 z y k+1 = T 1xz xy k+1 = T 1xz z n y k = T 1x z n 1 y k = 1 T 2y z n 1 x k = 1 T 2z x k+1 show that T 1 x/z n 1 y k (an also T 2 y/z n 1 x k ) is a function efine on D(x,y) Spec A. We take the 2n power of ( ) an get T 1 x 1 = ( z n 1 y k + T 2y T 1 x T 2 y z n 1 x k)2n = P( z n 1 y k)n +Q( z n 1 x k)n, where P an Q are polynomials in T 1 x/z n 1 y k an T 2 y/z n 1 x k an hence efine on D(x,y). We write T 1 x ( z n 1 y k)n = T n 1 xn z (n 1)n y kn = T n 1 xn (xy) n 1 y kn = T n 1 y n(k+1) 1x. Hence it is enough to show that T n 1 /y n(k+1) 1 is efine on D(x,y), for then we know that (x,y) is the unit ieal in the ring of global sections Γ(D(x,y),O A ) (an D(x,y) is affine an A is not parasoli). From T 1 x k+1 = z n 1 (xy) k T 2 y k+1 we get (T 1 x k+1 ) n = (z n 1 (xy) k T 2 y k+1 ) n = y kn (z n 1 x k T 2 y) n n ( ) n = y kn x i ki z (n 1)i ( T 2 y) n i i=0 n ( ) = y kn n x ki z n(i 1) z n i ( T i 2 y) n i i=0 n ( ) = y kn n x i ki (xy) i 1 ( T 2 zy) n i i=0 = ykn y n 1 n ( n )x x i ki+i ( T 2 z) n i = y(k+1)n 1 (x k+1 T 2 z) n x i=0 anhencet n 1 /y n(k+1) 1 = (x k+1 T 2 z) n /x n(k+1)+1, sothatthisfunction isefine.

17 HOW TO RESCUE SOLID CLOSURE 17 In the preceeing example it woul have been enough to consier only k = 0, as the following lemma shows. Lemma 7.5. Let R enote a local two-imensional Gorenstein ring. Let c = s/xy Hm 2 (R) be an element such that Ann c = m. Then R is pararegular if an only if D(x,y) Spec R[T 1,T 2 ]/(xt 1 +yt 2 +s) is affine. Proof. We may assume that R is complete. Due to 7.1 it is enough to show that if c = 0 in an R-algebra B, then B is not universally parasoli, an for that it is enough to show that D(x,y) Spec B is affine. If c = 0 hols in B then this algebra factors through a forcing algebra for elements x i+1,y j+1 ;sx i y j for some i,j 0. We have a ring homomorphism R[S 1,S 2 ]/(sx i y j +x i+1 S 1 +y j+1 S 2 ) R[T 1,T 2 ]/(s+xt 1 +yt 2 ) givenby S 1 y j T 1, S 2 x i T 2. This mapping is an isomorphismon D(x,y) (check locally on D(x) an D(y)), hence if D(x,y) is affine on the right, it is affine on the left (In fact D(x,y) Spec R[T 1,T 2 ]/(xt 1 +yt 2 +s) is an affine-linear bunle of rank one over D(x,y) Spec R an it is a geometric representation (as a torseur) of the class c = s/xy H 1 (D(x,y),O R ) = Hm(R)) Expressing atas over Z Suppose that a certain R-algebra is not parasoli. Then we can express this fact by finitely many equations over Z an from this we get a lot of other rings R where the corresponing algebra is also not parasoli. This gives in particular relations between the situation in positive characteristic, zero characteristic an mixe characteristic. The following lemma is the most general version of this observation. Lemma 8.1. Let D enote a commutative ring an let B be a finitely generate D-algebra. Suppose that there exists a local Noetherian D-algebra R of imension such that B D R is not parasoli. Then there exists a finitely generate D-algebra S = D[X 1,...,X,Y 1,...,Y m ]/a such that (i) S R an X 1,...,X are parameters in R. (ii) The cohomology class 1/X 1 X H(X 1,...,X )(S) is not zero. (iii) The cohomology class 1/X 1 X H(X 1,...,X ) (B D S) is zero. Moreover, for every local Noetherian S-algebra R such that X 1,...,X become parameters with non-vanishing paraclass, the algebra B D R is not parasoli. Proof. Let B be given by B = D[T 1,...,T n ]/(P 1,...,P m ). Since B D R is not parasoli, there exists parameters x 1,...,x in R (with non vanishing paraclass) such that their paraclassoes vanish in B D R = R[T 1,...,T n ]/(P 1,...,P m ). This means that (x 1 x ) k (x k+1 1,...,x k+1 ) or that we have an equation (x 1 x ) k = G 1 x k G x k+1 +H 1 P H m P m where G i,h j R[T 1,...,T n ]. Let y j R be all the coefficients of G i an H j together. Now take the finitely generate D-subalgebra S := D[x 1,...,x,y j ] R. (i) is clearby efinition an (ii) is clear, since the paraclassmaps to the paraclass in R. (iii). We have the inclusion S[T 1,...,T n ] R[T 1,...,T n ] an so the last equationholsalsoin S[T 1,...,T n ], an hence (x 1 x ) k (x k+1 1,...,x k+1 ) hols in B D S = S[T 1,...,T n ]/(P 1,...,P m ).

18 18 HOLGER BRENNER If S R is a mapping to a local Noetherian ring where the images of the X i are parameters with non-vanishing paraclass, then this class vanishes in B D R, showing that this algebra is not parasoli. Corollary 8.2. Let D = Z[F 1,...,F n,h] an let B = D[T 1,...,T n ]/(F 1 T F n T n +H) be the universal forcing algebra. Let R be a local Noetherian ring an let f 1,...,f n,h R be elements so that R is a D-algebra via F i f i, H h. Suppose that the forcing algebra B D R over R is not parasoli an that the paraclass to the parameters x 1,...,x R is 0, but vanishes in the forcing algebra. Then there exists a finitely generate Z-subalgebra S R, S = Z[F 1,...,F n,h,x 1,...,X,Y j ]/a such that the cohomology class 1/X 1 X H(X 1,...,X )(S) is not zero, but it is zero in H(X 1,...,X ) (B D S). Proof. This follows from 8.1. Remark 8.3. The previous lemma leas to the following finitely generate Z- algebras (for,n,m,k N) S = Z[F 1,...,F n,h,x 1,...,X,C ν,c 1ν,...,C ν, ν m]/a, where the relations (the generators of a = a k ) have to be choosen in such a way that they yiel the equation (X 1 X ) k +X1 k+1 C 1ν T ν +...+X k+1 C ν T ν + n C ν T ν ( T i F i +H) ν m ν m ν m in the forcing algebra for F i,h over S. This gives the relations (looking at the coefficients of each monomial T ν ) (X 1 X ) k +C 10 X1 k C 0 X k+1 +C 0 H an C 1ν X1 k C ν X k+1 +C ν H +F 1 C ν e F n C ν en, where ν m, e i is the i-th unit vector an C ν ej = 0 for ν j = 0. Corollary 8.2 may be applie to show that if some rings containing a fiel are pararegular, then also the corresponing rings in mixe characteristic are pararegular. This technique may be thought of as a kin of reuction to the fiel case. Proposition 8.4. Let G Z[X,Y,Z] be a polynomial of type G = XG 1 +YG 2 + Z n, n 1 an suppose that R = Q[X,Y,Z]/(G) is pararegular. Let C enote a three-imensional regular ring with maximal ieal m = (x,y,z). Then R = C/(G) is pararegular except for finitely many resiue characteristics. Proof. R is a local Gorenstein ring an the elements x an y are parameters. The annihilator of the class z n 1 /xy is the maximal ieal (x,y,z). Due to 7.5 we have to show that a geometric realization of this class over D(x,y) is affine. Let B = Z[X,Y,Z][T 1,T 2 ]/(G,XT 1 +YT 2 +Z n 1 ) be the forcing algebra over Z. Due to our assumption the open subset D(X,Y) Spec B Q is affine. This means that there exists an equation (XY) k +C 1 X k+1 +C 2 Y k+1 +C 3 (XT 1 +YT 2 +Z n 1 ) = 0 i=1

19 HOW TO RESCUE SOLID CLOSURE 19 in B Q. Taking into account the coefficients in C i, this equation hols also in B g, 0 g Z, hence D(X,Y) SpecZ g [X,Y,Z][T 1,T 2 ]/(G,XT 1 +YT 2 +Z n 1 ) is affine. If the resiue characteristic of R oes not ivie g, then we have a factorization Z g [X,Y,Z]/(G) R an D(x,y) is affine in the forcing algebra over R. Remark 8.5. The previous proposition may be applie to the equations xy+z n = 0, x 2 y+y k +z 2 = 0, x 2 +y 3 +z 4 = 0, x 3 +xy 3 +y 2 +z 2 = 0, x 2 +y 3 +z 5 = 0. These equations efine over Q a quotient singularity, hence they are pararegular. Hence we know by the proposition that these equations give also in mixe characteristic pararegular rings except for finitely many characteristics. If we want to have more information about the number g Z we nee to compute an explicit representation of the unit, as in example 7.4. This can be obtaine in the following way. We have an explicit quotient map ϕ : A 2 Q Spec R, ϕ(u,v) = (ϕ 1(u,v),ϕ 2 (u,v),ϕ 3 (u,v)) = (x,y,z). When we pull back the forcing algebraa for x,y,z n 1 to the regularring Q[u,v] we get aforcing algebrab overaregularring which has an easystructure, in particular we can fin functions p,q efine on D(u,v) Spec B such that p u+q v = 1. The group acts also on Spec B an on the ring of global sections Γ(D(u,v),O B ) an so we fin also invariant functions p,q such that px+qy = 1. This gives the equation in A showing that D(x,y) is affine. This metho works in principle also in higher imensions, but then it is not clear that we only have to look at one forcing algebra. Another feature of corollary 8.2 is that it allows us to apply Hochster s finiteness theorem (see [2, Theorem 8.4.1]) to parasoli closure an so to reuce statements in characteristic zero to positive characteristic. With this metho we may prove the Theorem of Briançon-Skoa in characteristic zero for parasoli closure. Proposition 8.6. Let R enote a Noetherian ring containing a fiel K an let I = (f 1,...,f n ) be an ieal. Then I n+w (I w+1 ). Proof. We may assume that R is local. In positive characteristic this is a stanar result for tight closure (see [9, Theorem 5.7]), so by 5.3 an 5.4 it is also true for parasoli closure. Lets assume that the characteristic of K is zero an assume that we have a counter example in the local ring R Q, i.e. h I n+w but h (I w+1 ). This means in particular that the forcing algebra for f 1,...,f n,h is not parasoli over R R, but since the conition on the integral closure is persistent we may assume that R = R. Let x 1,...,x R be parameters in R such that their paraclass vanishes in the forcing algebra. We have to express the relevant atas in a finitely generate Z-algebra. The conition h I n+w means that we have an equation h s +a 1 h s a s = 0, where a i (I n+w ) i = I i(n+w). This means that we may write a i = ν, ν =i(n+w) r νf ν1 1 fνn n. Furthermore the vanishing of the paraclass has to be expresse as in 8.3. Hence everything may be expresse by the Z-algebra Z[F 1,...,F n,h,r ν ( ν = i(n+w), i = 1,...,s),X 1,...,X,C 1ν,...,C ν,c ν ]/a,

20 20 HOLGER BRENNER an since this algebra has a solution of height (with respect to X 1,...,X ) in a local Noetherian ring over a fiel of characteristic zero, it has also a solution of height over a fiel of positive characteristic, see [2, Theorem 8.4.1]. This yiels a contraiction. Remark 8.7. We take a look at the situation of colon-capturing, i.e. suppose that hy t (y 1,...,y t 1 ), where y 1,...,y t are parameters. We woul like to prove that h (y 1,...,y t 1 ). This is true again via tight closure in positive characteristic, but applying the metho of the last proposition shows only that the corresponing forcing algebra is parasoli, whereas universally parasoli is not clear ue to the fact that the conition in colon-capturing is not persistent. Nethertheless we will show that colon-capturing hols for parasoli closure in equal characteristic zero in the next section. Our efinition of parasoli closure refers to all local Noetherian rings in orer to make it persistent. The following proposition escribes an important situation where it is enough to consier only algebras essentially of finite type. Proposition 8.8. Let K be a fiel an let R enote a K-algebra of finite type. Let A be an R-algebra of finite type an suppose that A = A R R is parasoli for every R R, where R is local an essentially of finite type over K. Then A is universally parasoli, i.e. A is parasoli for every Noetherian local ring R. Proof. Suppose that R R is a Noetherian local ring of imension such that A R R is not parasoli. Due to 8.1 there is a finitely generate R-subalgebra S R containing elements x 1,...,x S which are parameters in R an which have the properties of the lemma. S is also finitely generate over the fiel K an the superheight of (x 1,...,x ) is exactly. We know ue to a theorem of Koh [11] that the superheight equals the finite superheight, hence there exists a morphism essentially of finite type S R (R may be choosen to be the localization at a maximal ieal of S, S S of finite type) such that (x 1,...,x ) are parameters in the local ring R. But then their paraclass oes vanish in Hm (A ) an we have a contraiction. Corollary 8.9. Let K be a fiel an let R enote a K-algebra of finite type. Let I R be an ieal an let h R be an element, an let A enote the forcing algebra for h,i. If A is parasoli for every R R essentially of finite type over K, R local, then h I. Proof. This follows irectly from Generic properties We want to show that tight closure in equal characteristic zero is containe insie the parasoli closure. For this we have to consier a relative situation over a base scheme Spec D an we have to compare the parasoli closure in the generic fiber with the parasoli closure in the special fibers. For a D-algebra S an a point µ Spec D we enote by S µ = S D κ(µ) the ring of the fiber over µ. Later on D will be a finitely generate Z-omain (often D = Z) so that the close points have positive characteristic while the generic point has characteristic zero. Lemma 9.1. Let D be a Noetherian omain with generic point η Spec D. Let S be an omain of finite type over D such that the fibers are equiimensional of