arxiv: v2 [math.ag] 3 May 2018

Transcription

1 EXTENSIONS OF VALUATIONS TO THE HENSELIZATION AND COMPLETION arxiv: v2 [mathag] 3 May 2018 STEVEN DALE CUTKOSKY 1 Introduction Suppose that K is a field Associated to a valuation ν of K is a value group Φ ν and a valuation ring V ν with maximal ideal m ν Let R be a local domain with quotient field K We say that ν dominates R if R V ν and m ν R = m R where m R is the maximal ideal of R We have an associated semigroup S R (ν) = {ν(f) f R\(0)}, as well as the associated graded ring of R along ν (1) gr ν (R) = γ Φ ν P γ (R)/P + γ (R) = which is defined by Teissier in [18] Here γ S R (ν) P γ (R)/P + γ (R) P γ (R) = {f R ν(f) γ} and P γ + (R) = {f R ν(f) > γ} This ring plays an important role in local uniformization of singularities ([18] and [19]) The ring gr ν (R) is a domain, but it is often not Noetherian, even when R is In fact, a necessary condition for gr ν (R) to be Noetherian is that Φ ν be a finitely generated group In this paper, we answer the following question, which is a natural generalization of local uniformization Question 11 Suppose that R is a Noetherian local domain which is dominated by a valuation ν Does there exist a regular local ring R of the quotient field K of R such that ν dominates R and R dominates R, a prime ideal p of the m R -adic completion R of R such that p R = (0) and an extension ˆν of ν to the quotient field of R /p which dominates R /p such that gr ν (R ) = grˆν ( R /p)? A nonzero prime ideal p may be necessary to obtain the conclusions of Question 11, as is shown in [17] and [10] If ν has rank 1, then we easily obtain a prime p in the completion of R such that gr ν (R) = grˆν (ˆR/p) as we now indicate Suppose that R is a Noetherian local domain which is dominated by a rank 1 valuation ν For f ˆR, we write ν(f) = if there exists a Cauchy sequence {f n } in R which converges to f, and such that lim n ν(f n ) = We define ([7, Definition 52]) a prime ideal P(ˆR) = {f ˆR ν(f) = } partially supported by NSF grant DMS

2 in ˆR We then have a canonical immediate extension ˆν of ν to QF(ˆR/P(ˆR) ) which dominates ˆR/P(ˆR) The following lemma appears in [11] Lemma 12 Suppose that ν is a rank 1 valuation of a field K and R is a Noetherian local domain which is dominated by ν Let ˆν be the canonical extension of ν to QF(ˆR/P(ˆR) ) which dominates ˆR/P(ˆR) Then the inclusion R ˆR/P(ˆR) induces an isomorphism gr ν (R) = grˆν (ˆR/P(ˆR) ) Proof Suppose h ˆR \ P(ˆR) There exists a Cauchy sequence {f n } in R such that lim n f n = h Let m be a positive integer such that mν(m R ) > ˆν(h) (where ν(m R ) = min{ν(g) g m R }) There exists n 0 such that f n h m m ˆR R for n n 0 Then in ν (f n ) = inˆν (h) for n n 0 From Lemma 12, we obtain a positive answer to Question 11 for local domains R and rank 1 valuations ν which admit local unformization A positive answer to Question 11 for rank 1 valuations with the additional conclusion that R /p is a regular local ring is given in [4] and in [7, Theorem 72] for R which are essentially of finite type over a field of characteristic zero This is generalized somewhat in [6] and [9] Related to Question 11 is the following question, which we will also answer Question 13 Suppose that R is a Noetherian local domain which is dominated by a valuation ν Does there exist a regular local ring R of the quotient field K of R such that ν dominates R and R dominates R, and an extension ν h of ν to the quotient field of the Henselization (R ) h of R which dominates (R ) h such that gr ν (R ) = gr ν h((r ) h ))? A positive answer to Question 11 would imply a positive answer to Question 13 We prove the following proposition on the extension of associated graded rings under an unramified extension in [5], which gives a start on answering Question 13 Related problems are considered in [11] Proposition 14 ([5, Proposition 17]) Suppose that R and S are normal local rings such that R is excellent, S lies over R and S is unramified over R, ν is a valuation of the quotient field L of S which dominates S, and ν is the restriction of ν to the quotient field K of R Suppose that L is finite over K Then there exists a normal local ring R of K which is dominated by ν and dominates R, such that if R is a normal local ring of K which is dominated by ν and dominates R and S is the normal local ring of L which is dominated by ν and lies over R, then R S is unramified, and gr ν (S ) = gr ν (R ) R /m R S /m S We give an example at the end of of [5, Section 5] showing that it may be necessary to take R R to obtain the conclusions of Proposition 14 if ν has rank greater than 1 The ring R is regular and there is no residue field extension in the example This example shows that it may be necessary to perform a proper extension R R take R R to obtain a positive answer to Question 13 or 11, even if R is a regular local ring This problem arises from the fact that the residue field under blowing up of the center of a composite valuation can increase Related examples are considered in [11] In [11, Remark 2], it is already observed that the increase of residue field under blowing up of 2

3 the center of a composite valuation is a critical issue in understanding an extension of a valuation dominating a local domain to its completion In this paper, we show that Question 13 and Question 11 have a negative answer in general This is accomplished in Theorems 15 and 16 stated below, which are proven in Section 5 The examples of the theorems are on three dimensional regular local rings which are a localization at a maximal ideal of a polynomial ring over an arbitrary algebraically closed field Theorem 15 Suppose k is an algebraically closed field Then there exists a three dimensional regular local ring T 0, which is a localization of a finite type k-algebra, with residue field k, and a valuation ϕ of the quotient field K of T 0 which dominates T 0 and whose residue field is k, such that if T is a regular local ring of K which is dominated by ϕ and dominates T 0, T h is the Henselization of T and ϕ h is an extension of ϕ to the quotient field of T h which dominates T h, then S Th (ϕ h ) S T (ϕ), under the natural inclusion S T (ϕ) S Th (ϕ h ) Theorem 16 Suppose k is an algebraically closed field Then there exists a three dimensional regular local ring T 0, which is a localization of a finite type k-algebra, with residue field k, and a valuation ϕ of the quotient field K of T 0 which dominates T 0 and whose residue field is k, such that if T is a regular local ring of K which is dominated by ϕ and dominates T 0 and ˆT is the m T -adic completion of T, then there does not exist a prime ideal p of ˆT such that p T = (0) with an extension ˆϕ to the quotient field of ˆT/p which dominates ˆT/p such that S ˆT/p (ˆϕ) = S T (ϕ), under the natural inclusion S T (ϕ) S ˆT/p (ˆϕ) A very interesting related problem, which is still open, is [11, Conjecture 11] on the existence of scalewise birational extensions of associated graded rings [11, Conjecture 11] is a refinement of [18, Statement 519] The two results Theorem 15 and Theorem 16 of this paper are counterexamples to possible hopes of improving the statements of Conjecture 111 and Theorem 71 of [11] This paper relies on the construction of generating sequences (Section 3), using the algorithm of [8], which is a generalization of the algorithm of [17] The construction of generating sequences in a local domain which is dominated by a valuation which provide enough information to determine the associated graded ring along the valuation is an important problem Some recent papers addressing this are [9], [12], [14] and [16] 2 Notation The nonnegative integers will be denoted by N and the positive integers will be denoted by Z + If Λ is a subset of an Abelian group G then G(Λ) will denote the group generated by Λ and S(Λ) will denote the semigroup (containing zero) generated by Λ The maximal ideal of a local ring R will be denoted by m R Suppose that K is a field A local ring of K is a local domain whose quotient field is K We will say that a local domain B dominates a local domain A if A B and m B A = m A If a regular local ring B dominates a local domain A and B is a local ring of the blow up of an ideal I in A, then a strict transform of an element f A in B is a generator g of the principal ideal (f) : B IB; that is, g is a generator of the ideal of the strict transform of Spec(A/(f)) in Spec(B) If ν is a valuation of a field K, V ν will denote the valuation ring of ν, m ν will denote the maximal ideal of V ν and Φ ν will denote the value group of ν The basics of valuation 3

4 theory are explained in [21, Chapter VI] and [3, Chapter II] We will say that a valuation ν dominates a local domain R if V ν dominates R We define the semigroup S R (ν) = {ν(f) f R\{0}} 3 Construction of generating sequences of a valuation Suppose that R is a local domain and ν is a valuation dominating R A sequence of elements {P i } in R is called a generating sequence for ν if the classes in ν (P i ) of the P i in P ν(pi )/P + ν(p i ) generate gr ν(r) as an R/m R -algebra Let k be an algebraically closed field, The regular local ring R 0 = k[x,y,t] (x,y) = k(t)[x,y] (x,y) has regular parameters x,y and residue field R 0 /m R0 = k(t) We will inductively define a generating sequence P 0 = x,p 1 = y,p 2, in R 0, defining a valuation ν dominating R 0, using the method of the proof of [8, Theorem 11] The generating sequence will satisfy the good conditions of the conclusions of [8, Theorem42] Letp 1,p 2,bethesequenceofprimenumbers,excludingthecharacteristic of k Define a 1 = p 1 +1 and inductively define positive integers a i by Define for i 1 Set ν(x) = 1 and a i+1 = p i p i+1 a i +1 P i+1 = P p2 i i (1+t)x p i a i ν(p i ) = a i p i ν(x) for i 1 We have gcd(a i,p i ) = 1 for all i Thus G(ν(P 0 ),ν(p 1 )) = 1 p 1 Z and n i := [G(ν(P 0 ),,ν(p i )) : G(ν(P 0 ),,ν(p i 1 )] = p i for i 1 We have ν(p i ) > p 2 i 1 ν(p i 1) for i 2 and the value group (2) Φ ν = i 1 1 p 1 p 2 p i Z Let κ be an algebraic closure of k(t) and let α i κ be a root of f i (u) = u p i (1+t) k[u] for i 1 Since the p i are all pairwise relatively prime, by induction on i, we see that f i (u) is the minimal polynomial of α i over k(α 1,,α i 1 ) and d i := p i = [k(t)(α 1,,α i ) : k(t)(α 1,,α i 1 )] for i 1 Since n i = d i n i = p 2 i for i 1, by the algorithm of the proof of [8, Theorem 11], the P i are the generating sequence of a valuation ν dominating R 0 which has the property that setting U i = x a i for i 1, we have V ν /m ν = k({α i i 1}) with [ ] P p i i α i = V ν /m ν U i for i 1 From p 1 ν(y) = a 1 ν(x) with gcd(a 1,p 1 ) = 1, there exist a 0,b 0 Z + such that p 1 b 0 a 1 a 0 = 1 Set x = x p 1 1 ỹa 0 1, y = xa 1 1 ỹb 0 1 4

5 Then ν(x 1 ) > 0 and ν(ỹ 1 ) = 0 Set By [8, Theorem 71], are regular parameters in R 1 and R 1 = R 0 [x 1,ỹ 1 ] mν R 0 [x 1,ỹ 1 ] x 1,y 1 = P 2 x a 1p P 0,1 = x 1,P 1,1 = P 2 P a 1p 2 1 0,1 P i,1 = P i+1 P a 1p 2 1 p2 i 0,1 for i 1 is a generating sequence for ν in R 1 For i 1, we have P i+1,1 = P i+2 P a 1p 2 1 p2 i+1 0,1 = P p2 i+1 i,1 (1+t)ỹ a 0a i+1 p i+1 1 x p i+1 (p 1 a i+1 a 1 p 2 1 p2 i p i+1 ) 1 Set a i,1 = p 1 a i+1 a 1 p 2 1 p 2 ip i+1 and τ i,1 = ỹ a 0a i+1 1, a unit in R 1 for i 1 Then we have expressions (3) P i+1,1 = P p2 i+1 i,1 (1+t)τ p i+1 i,1 x p i+1 a i,1 1 for i 1 We have with gcd(a i,1,p i+1 ) = 1 for all i 1 We have that R 1 /m R1 = R 0 /m R0 [ ν(x 1 ) = 1 p 1 ν(x) = 1 p 1 and ν(p i,1 ) = a i,1 p i+1 ν(x 1 ) P p 2 1 P a 1 0 ], = R 0 /m R0 [α 1 ] = k(t)(α 1 ), n i,1 := [G(ν(P 0,1 ),,ν(p i,1 )) : G(ν(P 0,1 ),,ν(p i 1,1 ))] = n i+1 = p i+1 for i 1 and setting U i,1 = x a i,1 1 for i 1 and α i,1 = Pp i+1 i,1 V ν /m ν U i,1 Let τ i,1 R 1 /m R1 = k(t)(α 1 ) be the class of τ i,1 in V ν /m ν We have that is the minimal polynomial of α i,1 over Thus f i,1 (u) = u p i+1 (1+t)τ p i+1 i,1 R 1 /m R1 )(α 1,1,,α i 1,1 ) = k(t)(α 1,,α i ) d i,1 := [R 1 /m R1 (α 1,1,,α i,1 ) : R 1 /m R1 (α 1,1,,α i 1,1 )] = p i+1 5

6 and n i,1 := d i,1 n i,1 = p 2 i+1 for i 1 Iterating this construction, we have an infinite sequence of birational extensions of regular local rings R 0 R 1 R j which are dominated by ν where R j has regular parameters x j,y j and a generating sequence {P } for ν defined by P = x j,p = y j and for i 1, P i+ = P p2 i+j (1+t)τ p i+j x p i+j a j where τ are units in R j and gcd(a,p i+j ) = 1 We have for i 1 We have that ν(x j ) = R j /m Rj = R j 1 /m Rj 1 1 p 1 p j and ν(p ) = a p i+j ν(x j ) Pp 1+j 1 P a 1 1 = R j 1 /m Rj 1 [α 1 ] = k(t)(α 1,,α j ), n := [G(ν(P ),,ν(p )) : G(ν(P ),,ν(p i ))] = n i+j = p i+j for i 1 and setting U = x a j for i 1 and α = Pp i+j V ν /m ν U Let τ R j /m Rj = k(t)(α 1,,α j ) be the class of τ in V ν /m ν We have is the minimal polynomial of α over f (u) = u p i+j (1+t)τ p i+j R j /m Rj (α,,α i ) = k(t)(α 1,,α i 1+j ) Thus d := [R/m Rj (α,,α ) : R j /m Rj (α,,α i )] = p i+j and n := d n = p 2 i+j for i 1 Suppose A is a regular local ring of the quotient field K of R 0 which is dominated by ν and dominates R 0 Then there exists a largest l such that A dominates R l, so there exist regular parameters z and w in A such that x l and y l are monomials in z and w We thus have a factorization (by [2, Theorem 3]) (4) R l = D 0 D 1 D n = A where D 0 has regular parameters z = x l,w = y l and D i+1 has regular parameters z i+1, w i+1, such that either z i = z i+1, w i = z i+1 w i+1, or z i = z i+1 w i+1, w i = w i+1 6

7 We have shown that D 0 has a generating sequence {Q i } with Q i = P il for i 0, so that Q 0 = z 0, Q 1 = w 0, and Q i+1 = Q p2 i+l i (1+t)τ p i+l z p i+l e i,0 0 where e i,0 = a for i 1 We have D 0 /m D0 = k(t)(α 1,,α l ) Set for i 1 We have that γ i = α = [ Q p i+l i Q e i,1 0 (5) f (u) = u p i+l (1+t)τ p i+l is the minimal polynomial of γ i over so D 0 /m D0 (γ 1,,γ i 1 ) = k(t)(α 1,,α i 1+l ) [D 0 /m D0 (γ 1,,γ i ) : D 0 /m D0 (γ 1,,γ i 1 )] = p i+l We will show by induction on j that D j has a generating sequence {Q } defined by (6) Q = z j, Q 1j = w j, (7) Q 2,j = Q p 1+l c j (1+t)τ p 1+l Q p 1+l e with c j = [G(ν(Q,ν(Q )) : G(ν(Q ))] and ν(q c j ) = ν(qe ) with gcd(c j,e ) = 1 and for i 2, (8) Q i+ = Q p2 i+l (1+t)τ p i+l Q p i+l e Q p i+l f with ν(q p i+l ) = ν(q e Qf ), and with p i+j = [G(ν(Q ),,ν(q )) : G(ν(Q ),,ν(q i ))] Further, ν(q 2,j ) > p 1+l c j ν(q ) = p 1+l e ν(q ) and ν(q s,j ) > p 2 s+l 1 ν(q s ) for s > 2 We also have that D j /m Dj = k(t)(α 1,,α l ) and [ c Q j ] (9) γ 1 = Q e and γ i = Qp i+l ] Q e Qf V ν /m ν for i 2 We inductively construct thegenerating sequenceq,q, as follows Supposethat Q,Q, has been constructed We will construct Q +1,Q +1, We either have that (10) z j = z j+1 w j+1,w j = w j+1 or (11) z j = z j+1,w j = z j+1 w j+1 7

8 Suppose (10) holds, so that ν(w j ) < ν(z j ) Then (12) w j+1 = Q +1 = Q and z j+1 = Q +1 = Q Q +1 Substitute for Q, Q in Q 2,j = Q p 1+l c j (1+t)τ p 1+l Q e p 1+l, to obtain Q 2,j = Q p 1+l c j +1 (1+t)τp 1+l Q e p 1+l +1 Q p 1+l e +1 Since ν(q ) > ν(q ), and p 1+l c j ν(q ) = p 1+l e ν(q ), we have p 1+l e < p 1+l c j Thus a strict transform of Q 2,j in D j+1 is (13) Q 2,j+1 = Q 2,j Q p 1+l e +1 = Q p 1+l (c j e ) +1 (1+t)τ p 1+l Q p 1+l e +1 Suppose we have constructed the generating sequence out to Substituting into we have Q +1 = Q Q e p 1+l p 2 l+2 p2 l+i 1 +1 Q i+ = Q p2 i+l (1+t)τ p i+l Q p i+l e Q p i+l f, Q i+ = Q e p 1+l p 2 l+2 p2 l+i +1 Q p2 i+l +1 (1+t)τp i+l Q p i+l e +1 Qp i+l (e +f ) +1 We have that p 2 i+l ν(q ) = p i+l e ν(q )+p i+l f ν(q ) < p i+l (e +f )ν(q ) since ν(q ) < ν(q ), and from the inequalities for s > 2 and we have and thus (14) Q i++1 = Q i+ Q e p 1+l p 2 2+l p2 i+l +1 ν(q s,j ) > p 2 s+l 1 ν(q s ) ν(q 2,j ) > p 1+l e ν(q ) e p 1+l p 2 2+l p2 i+l < p i+l(e +f ) is a strict transform of Q i+ in D j+1 Now suppose (11) holds, so that ν(w j ) > ν(z j ) Then = Q p2 i+l +1 (1+t)τp i+l Q p i+l e +1 Qp i+l (e +f e p 1+l p 2 2+l p2 i 1+l p i+l ) +1 (15) z j+1 = Q +1 = Q and w j+1 = Q +1 = Q Q +1 Substitute for Q and Q in to obtain Q 2,j = Q p c j (1+t)τ p 1+l Q p 1+l e Q 2,j = Q p 1+l c j +1 Qp 1+l c j +1 (1+t)τp 1+l Q p 1+l e +1 8

9 Since ν(q ) > ν(q ) and p 1+l c j ν(q ) = p 1+l e ν(q ) < p 1+l e ν(q ) we have p 1+l c j < p 1+l e Thus a strict transform of Q 2,j in D j+1 is (16) Q 2,j+1 = Q 2,j Q c jp 1+l +1 = Q p 1+l c j +1 (1+t)τp 1+l Q p 1+l (e c j ) +1 Now suppose we have constructed the generating sequence out to Then substituting into Q +1 = Q Q c jp 1+l p 2 2+l p2 i 1+l +1 we have that We have Q i+ = Q p2 i+l (1+t)τ p i+l Q p i+l e Q p i+l f, Q i+ = Q p2 i+l +1 Qc jp 1+l p 2 2+l p2 i+l +1 (1+t)τ p i+l Q p i+l (e +f ) +1 Q p i+l f +1 p 2 i+l ν(q ) = p i+l e ν(q )+p i+l f ν(q ) < p i+l (e +f )ν(q ) since ν(q ) < ν(q ), and from the inequalities for s > 2 and we have and thus (17) Q i++1 = Q i+ Q c jp 1+l p 2 2+l p2 i+l +1 ν(q s,j ) > p 2 s 1+l ν(q s ) ν(q 2,j ) > p 1+l c j ν(q ), p 2 i+l p2 i 1+l p2 2+l p 1+lc j < p i+l (e +f ) = Q p2 i+l +1 (1+t)τp i+l is a strict transform of Q i+ in D j+1 Since gcd(c j,e ) = 1, (18) [G(ν(Q ),ν(q )) : G(ν(Q ))] = c j Q p i+l (e +f c j p 1+l p 2 2+l p2 i 1+l p i+l ) +1 Q p i+l f +1 and since G(ν(Q +1 ),ν(q +1 ),,ν(q s,j+1 )) = G(ν(Q ),ν(q ),,ν(q s,j )) for s 1, we have (19) [G(ν(Q ),ν(q ),,ν(q )) : G(ν(Q ),ν(q ),,ν(q i ))] = p i+l for i 2 Dividing the relation (7) by Q p 1+l e and taking the residue in V ν /m ν, we obtain (20) 0 = Q 2,j Q p 1+l e = f (γ 1 ) wheref, definedby (5), is theminimal polynomial of γ 1 over D j /m Dj = k(t)(α 1,,α l ) Dividing the relation (8) by (Q e (21) 0 = Qf [ )p i+l, and taking the residue in Vν /m ν, we obtain ] Q i+ (Q e Qf )p i+l 9 = f (γ i ),

10 where f, defined by (5), is the minimal polynomial of γ i over D j /m Dj (γ 1,,γ i 1 ) for i 2 We now verify (9) by induction on j If we are in case (10), then the formula follows for j +1 from induction and (12), (13) and (14) If we are in case (11), then the formula follows for j +1 from induction and (15), (16) and (17) The formula D(i) of [8, Theorem 42] holds for the Q,Q, That is, if we have a natural number i, a positive integer m and natural numbers f n (s) for 1 n i such that 0 f 1 (s) < p 1+l c j for 1 s m and 0 f n (s) < p 2 n+l for 2 s m and 1 n i If ν(q f 0(s) Q f 1(s) Q f i(s) ) = ν(q f 0(1) Q f 1(1) Q f i(1) ) for 1 s m, then [ f Q 0 (2) 0j Q f 1(2) Q f ] i(2) 1, Q f 0(1) 0j Q f 1(1) Q f,, i(1) [ f Q 0 (m) 0j Q f 1(m) Q f i(m) Q f 0(1) 0j Q f 1(1) Q f i(1) are linearly independent over D j /m Dj = k(t)(α 1,,α l ) This formula follows from induction on i and (9), (5), (18) and (19) as in the proof of D(i) of [8, Theorem 42] Since ν has rank 1 by (2), the fact that Q,Q, is a generating sequence in D j is verified as in the proof of [8, Theorem 410 and Lemma 49] 4 Construction of unramified extensions which have larger valuation semigroups Let notation be as in the previous section Let K = k(t,x,y) Let A be a regular local ring of K which dominates R 0 and is dominated by ν Then there exists a factorization of of the form (4) Let R 0 R l = D 0 D n = A (22) λ be a p 1+l -th root of 1+t in an algebraic closure of K, L = K(λ) and ν be an extension of ν to L Let ω k be a primitive p 1+l -th root of unity Let p = p 1+l and f(u) = u p (1+t), theminimal polynomial of λ over K Let B = A[λ] The ring B is finite over A We have the formula for the discriminant D L/K (1,λ,,λ p 1 ) = ( 1) p(p 1) 2 p i=1 df du (ωi λ) by [13, Proposition 85 on page 204] and [13, Formula (4) on page 204] Thus D L/K (1,λ,,λ p 1 ) = ( 1) p(p 1) 2 p p (1+t) p 1 Now 1+t R 0 and 1+t m R0, so 1+t m A Thus the discriminant ideal D(B/A) in A is equal to A, and so B is normal and A B is unramified by [3, Proposition 143] and [3, Theorem 144] Let C = B mν B Then A C is unramified, and so C is a regular local ring, since the maximal ideal of C is generated by a regular system of parameters in A Proposition 41 With the above notation, we have inequalities of semigroups S C (ν) S A (ν), under the natural inclusion S A (ν) S C (ν) 10 ]

11 Proof Since A = D n in (4), A has regular parameters z n,w n and a generating sequence defined by (6), (7) and (8) so We have Q 0,n = z n,q 1,n = w n,q 2,n, S A (ν) = S({ν(Q i,n ) i 0}) (23) ν(q i+1,n ) > ν(q i,n ) for i 1, and [G(ν(Q 0,1 ),ν(q 1,n )) : G(ν(Q 0,n )] = c n (24) [G(ν(Q 0,n ),ν(q 1,n ),,ν(q i+1,n )) : G(ν(Q 0,n ),ν(q 1,n ),,ν(q i,n ))] = p i+l+1 for i 1 By (7), we have We have Q 2,n = Q p 1+l cn 1,n (1+t)τ p 1+l Q p 1+l e 1,n 0,1 = w p 1+l cn n (1+t)τ p 1+l z p 1+l e 1,n n γ 1 = [ w c n n z e 1,n n ] V ν /m ν V ν /m ν Let β = [λτ ] V ν /m ν which is nonzero since λ and τ are units in C There exists at most one index j with 1 j p 1+l such that ω j β = γ 1 We have that h j = w p 1+l n ω j λτ z e 1,n n C for all j If ω j β γ 1, then ν(h j ) = e 1,n ν(z n ) Since p 1+l ν(h j ) = ν(q 2,n ) > p 1+l e 1,n ν(z n ), j=1 there exists a unique value of j such that ω j β = γ 1, and ν(h j ) > e 1,n ν(z n ) If ν(h j ) S A (ν), we must then have that ν(h j ) S(ν(z n ),ν(w n )), since ν(h j ) = ν(q 2,n ) (p 1+l 1)e 1,n ν(z n ) < ν(q 2,n ) and by (23) Thus ν(q 2,n ) G(ν(z n ),ν(w n )), which is a contradiction to (24) Let µ be a valuation of V ν /m ν = k(t)[{(1 + t) 1 p i } i Z+ ] which is an extension of the (t)-adic valuation on k[t] (t) The value group of µ is Z Let ϕ be the composite valuation of ν and µ on K, so that the valuation ring of ϕ is V ϕ = π 1 (V µ ) where π : V ν V ν /m ν is the residue map ([3, Section 10]) The residue field of ϕ is V ϕ /m ϕ = V µ /m µ = k Let T 0 = k[t,x,y] (t,x,y), which is dominated by ϕ Proposition 42 Suppose that T is a regular local ring of K which dominates T 0 and is dominated by ϕ Then there exists a finite separable extension field L of K such that T is unramified in L Further, if ϕ is an extension of ϕ to L, and if U is the normal local ring of L which lies over T and is dominated by ϕ, then the following properties hold: 1) U is a regular local ring 2) the extension T U is unramified with no residue field extension 3) S U (ϕ) S T (ϕ) under the natural inclusion S T (ϕ) S U (ϕ) 11

12 Proof Let R 0 = (T 0 ) mν T 0 = k(t)[x,y] and A = T mν T By consideration of the factorization R 0 R l A = D n in (4), let λ be a p 1+l -th root of 1+t in an extension field of K, and let L = K(λ) (as in (22)) Let ϕ be an extension of ϕ to L and let ν be the extension of ν to L with which ϕ is composite Let U be the normal local ring of L which is dominated by ϕ and lies over T Then U is a regular local ring and the extension T U is unramified with no residue field extension, by the argument before Proposition 41 and since V ϕ /m ϕ = V ϕ /m ϕ = k by [21, Corollary 2, page 26] Let C = U mν U Then C is a regular local ring and A C is unramified (by the argument before Proposition 41) We have that (25) S C (ν) S A (ν) by Proposition 41 By the explanation on [3, page 56] or [21, Theorem 17, page 43], we have a commutative diagram of homomorphisms of value groups, where the horizontal sequences are short exact and the vertical arrows are injective, 0 Φ µ Φ ϕ Φ ν 0 0 Φ µ Φ ϕ Φ ν 0, which induce a commutative diagram of homorphisms of semigroups, where the horizontal arrows are surjective and the vertical are injective, S T (ϕ) S A (ν) S U (ϕ) S C (ν) We will show that the first horizontal arrow is surjective The proof for the second horizontal arrow is the same Suppose α S A (ν) Then there exists f A such that ν(f) = α There exists g T \(x,y) such that gf T Thus ϕ(g) Φ µ and ϕ(gf) = ϕ(g)+ϕ(f) so ϕ(gf) S T (ϕ) maps onto ν(f) = α Thus S T (ϕ) S U (ϕ) by (25) 5 Proofs of Theorems 15 and 16 We first give the proof of Theorem 15 A Henselization T h of T can be constructed as follows, as is explained in [15, Chapter VII] Let N be a separable closure of K Then N is an (infinite) Galois extension of K with Galois group G(N/K) Let E be a local ring of the integral closure of T in N, and let G s (E/T) = {σ G(N/K) σ(e) = E} A Henselization T h of T is then T h = E Gs (E/T), which is a local ring of the fixed field M = N Gs (E/T) of G s (E/T) which lies over T LetK LbethefieldextensionofProposition42 ChooseanembeddingK L N of L as a subfield of N, and let U be the local ring of the integral closure of T in L which is dominated by E By Proposition 42, U is unramified over T with no residue field extension Thus G s (E/T) G(N/L) (cf [2, Section 2] or [5, Section 4]) Thus we have that L = N G(N/L) N Gs (E/T) = M Thus U is dominated by T h since U = E L and T h = E M Let ϕ = ϕ h L Then ϕ dominates U and T h dominates U, so S U (ϕ) S Th (ϕ h ) But S U (ϕ) S T (ϕ) by Proposition 42, so S Th (ϕ h ) S T (ϕ) 12

13 We now give the proof of Theorem 16 By [15, Theorem 435], the completion ˆT of T is a Henselian local ring, and so by [15, Theorem 303], ˆT dominates the Henselization T h of T Now T h = F m where F is the integral closure of T in the quotient field M of T h and m is a maximal ideal of F Suppose q is a nonzero prime ideal of T h Then there exists a nonzero element f q, so that f = g h where g,h F and h m Now g is integral over T and T is normal, so the norm N K(g)/K (g) satisfies 0 N K(g)/K (g) q T by [20, Theorem 4, page 260] and [20, formula (15) on page 91] Thus q T (0) Suppose there exists a prime ideal p in ˆT with an extension ˆϕ of ϕ to the quotient field of ˆT/p which dominates ˆT/p such that S ˆT/p (ˆϕ) = S T (ϕ) Then p T h = (0), and so ˆT/p dominates T h Let ϕ h be the restriction of ˆϕ to the quotient field of T h We then have natural inclusions S T (ϕ) S Th (ϕ h ) S ˆT/p (ˆϕ) But S T (ϕ) S Th (ϕ h ) by Theorem 15, giving a contradiction to our assumption that S ˆT/p (ˆϕ) = S T (ϕ) References [1] S Abhyankar, On the valuations centered in a local domain, Amer J Math 78 (1956), [2] S Abhyankar, Local uniformization on algebraic surfaces over ground fields of characteristic p 0, Annals Math 63 (1956), [3] S Abhyankar, Ramification theoretic methods in algebraic geometry, Princeton Univ Press, 1959 [4] SD Cutkosky, Local factorization and monomialization of morphisms, Astérisque 260, 1999 [5] SD Cutkosky, Finite generation of extensions of associated graded rings along a valuation, to appear in the Journal of the London Math Soc [6] SD Cutkosky and S El Hitti, Formal prime ideals of infinite value and their algebraic resolution, Ann Fact Sci Toulouse Math 19 (2010), [7] SD Cutkosky and L Ghezzi, Completions of valuation rings, Contemp Math 386 (2005), [8] SD Cutkosky and Pham An Vinh, Valuation semigroups of two dimensional local rings, Proceedings of the London Mathematical Society 108 (2014), [9] S El Hitti, Perron transforms, Comm Algebra 42 (2014), [10] W Heinzer and J Sally, Extensions of valuations to the completion of a local domain, J Pure and Appl Algebra 71 (1991), [11] FJ Herrera Govantes, FJ Olalla Acosta, M Spivakovsky, G Teissier, Extending a valuation centered in a local domain to its formal completion, Proc London Math Soc 105 (2012), [12] O Kashcheyeva, Constructing examples of semigroups of valuations, J Pure Appl Algebra 200 (2016), [13] S Lang, Algebra, Revised third edition, Springer Verlag, 2002 [14] M Moghaddam, A construction for a class of valuations of the field K(X 1,,X d,y) with large value group, Journal of Algebra, 319, 7 (2008), [15] M Nagata, Local Rings, Interscience publishers, New York, London, 1962 [16] J Novacoski and M Spivakovsky, Key polynomials and pseudo-convergent sequences, J Algebra 495 (2018), [17] M Spivakovsky, Valuations in function fields of surfaces, Amer J Math 112 (1990), [18] B Teissier, Valuations, deformations and toric geometry, Valuation theory and its applications II, FV Kuhlmann, S Kuhlmann and M Marshall, editors, Fields Institute Communications 33 (2003), Amer Math Soc, Providence, RI,

14 [19] B Teissier, Overweight deformations of affine toric varieties and local uniformization, in Valuation theory in interaction, Proceedings of the second international conference on valuation theory, Segovia-El Escorial, 2011 Edited by A Campillo, F-V- Kehlmann and B Teissier European Math Soc Publishing House, Congress Reports Series, Sept 2014, [20] O Zariski and P Samuel, Commutative Algebra Volume I, Van Nostrand, 1958 [21] O Zariski and P Samuel, Commutative Algebra Volume II, Van Nostrand, 1960 Steven Dale Cutkosky, Department of Mathematics, University of Missouri, Columbia, MO 65211, USA address: cutkoskys@missouriedu 14