arxiv: v2 [math.ag] 9 Nov 2018

Transcription

1 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. arxv: v2 [math.ag] 9 Nov 2018 Abstract. Let X be a sngular algebrac varety defned over a feld k, wth quotent feld K(X). Lets 2bethehghestmultplctyofX andf s(x)thesetofpontsofmultplctys. IfY F s(x) s a regular center and X X 1 s the blow up at Y, then the hghest multplcty of X 1 s less than or equal to s. A sequence of blow ups at regular centers Y F s(x ), say X X 1 X n, s sad to be a smplfcaton of the multplcty f the maxmum multplcty of X n s strctly lower than that of X, that s, f F s(x n) s empty. In characterstc zero there s an algorthm whch assgns to each X a unque smplfcaton of the multplcty. However, the problem remans open when the characterstc s postve. In ths paper we wll study fnte domnant morphsms between sngular varetes β : X X of generc rank r 1 (.e., [K(X ) : K(X)] = r). We wll see that, when mposng sutable condtons on β, there s a strong lnk between the strata of maxmum multplcty of X and X, say F s(x) and F rs(x ) respectvely. In such case, we wll say that the morphsm s strongly transversal. When β : X X s strongly transversal one can obtan nformaton about the smplfcaton of the multplcty of X from that of X and vce versa. Fnally, we wll see that gven a sngular varety X and a fnte feld extenson L of K(X) of rank r 1, one can construct (at least locally, n étale topology) a strongly transversal morphsm β : X X, where X has quotent feld L. Contents 1. Introducton 2 Part I. Transversalty 4 2. Transversalty and fnte morphsms 4 3. Presentatons of transversal morphsms 6 4. Transversalty and blow ups 8 Part II. Rees algebras and elmnaton Rees algebras and local presentatons of the multplcty Elmnaton algebras 16 Part III. Strong transversalty Characterzaton of strongly transversal morphsms On the constructon of strongly transversal morphsms 28 References Mathematcs Subject Classfcaton. 14E15. Key words and phrases. Multplcty, fnte morphsms, sngulartes, Rees algebras. The authors were partally supported from the Spansh Mnstry of Economy and Compettveness, through the Severo Ochoa Programme for Centres of Excellence n R&D (SEV ), and through MTM P (MINECO/FEDER). 1

2 2 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. 1. Introducton Let X be a varety of a perfect feld k. Along these notes, all varetes wll be assumed to be reduced and rreducble. The multplcty along ponts of X defnes an upper sem-contnuous functon, say mult : X N, whch assgns to each pont ξ X the multplcty of the local rng O X,ξ wth respect to ts maxmal deal. Under the prevous hypotheses, the multplcty functon along ponts of X has the followng property: X s regular at a pont ξ f and only f mult(ξ) = 1. Thus, one can characterze the set of sngular ponts of X by Sng(X) = {ξ X mult(ξ) 2}. Assume that the scheme X s sngular,.e., that maxmult(x) 2. Set s = maxmult(x) and let F s (X) denote the set of ponts of maxmum multplcty of X. It can beproved that the multplcty does not ncrease when blowng up along regular centers contaned n F s (X) (for a proof of ths fact see [27]; there t s mentoned that the statement was frst proved by Dade n [10]). Namely, gven a closed regular center Y F s (X) and the blow up of X along Y, say π 1 : X 1 = Bl Y (X) X, one has that mult(ξ 1 ) mult(ϕ(ξ 1 )) for every ξ 1 X 1. Thus maxmult(x 1 ) maxmult(x). A blow up of ths form wll be called a F s -permssble blow up. Attendng to Dade s result, t s natural ask whether there exsts a sequence of F s -permssble blow ups, say such that π X = X 0 1 X 1... X l, maxmult(x 0 ) = = maxmult(x l 1 ) > maxmult(x l ). Asequencewththsproperty, whenevertexsts, wllbecalledasmplfcaton of F s (X). Notethat, f one could fnd a smplfcaton of F s (X) for every s 2 and for every X wth maxmult(x) = s, then one could also fnd a resoluton of sngulartes of X by teratng ths process (the resoluton would be acheved when the maxmum multplcty of the scheme, after a fnte number of blow ups, lowers to 1). Ths approach dffers from Hronaka s proof of resoluton of sngulartes, as he uses the Hlbert-Samuel functon nstead of the multplcty. We refer here to [7] where the semcontnuty of ths nvarant along ponts of a sngular scheme s studed n the frst chapter (Theorem1.34), and the behavor under blowups s carefully treated n the second chapter. The exstence of a smplfcaton of F s (X) has already been proved for the case n whch X s a sngular varety defned over a feld k of characterstc zero (cf. [34]). However, the problem remans open n the case of postve characterstc. In ths work we wll study fnte morphsms between sngular varetes, β : X X. We wll show that, under sutable condtons, there s a lnk between the stratum of maxmum multplcty of X, say F s (X), and that of X, say F s (X ). In ths settng we present a noton of blow up of a fnte morphsm so that f Y F s (Y) s regular, then β(y) F s (X) s regular too, and there s a commtutatve dagram of blow ups and fnte morphsms: X β π 2 X 1 β 1 X X 1. (notce that ths parallels the stuaton n whch X s embedded n some scheme V and Y X s a center; then after the blow up at Y, there s agan an embeddng of the strct transform of X n the transform of V, say X 1 V 1 and a commutatve dagram of blow ups and mmersons). Now the dea s that, gven a sngular varety X wth maxmum multplcty s 2, one can construct a sutable varety X wth maxmum multplcty s 2, endowed wth a sutable fnte π l

3 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 3 morphsm β : X X, n such way that one can obtan nformaton about the process of smplfcaton of F s (X) from that of F s (X ). These deas are developed n more detal n the followng lnes. Transversal morphsms. Let β : X X beafnteand domnant morphsmof sngularvaretes over a perfect feld k. Set s = maxmult(x) and let r = [K(X ) : K(X)] denote the generc rank of the morphsm β. Usng Zarsk s multplcty formula for fnte projectons(see Theorem 2.2) one can prove that the maxmum multplcty on X s bounded by rs. Moreover, f maxmult(x ) = rs, one can showthat themageof F rs (X ) sts nsdef s (X) andthat F rs (X )s mappedhomeomorphcally to ts mage n F s (X) (see secton 2). When the prevous equalty holds,.e., when maxmult(x ) = rs, we wll say that the morphsm β : X X s transversal. In ths work we wll study condtons under whch, gven a transversal morphsm β : X X, the set F rs (X ) s mapped surjectvely onto F s (X), n such a way that F rs (X ) and F s (X) are homeomorphc. In addton, we wll requre ths condton to be preserved by sequences of F s - permssble blow ups. Namely, we wll requre that any sequence of F s -permssble blow ups over X, say π 1 π X = X 0 2 π l X 1... nduces a sequence of F rs -permssble blow ups over X and a commutatve X β X 1 β 1 X l 1 β l 1 X l X l X X 1 X l, wth the followng propertes: ) β : X X s s transversal for l 1; ) F rs (X ) s homeomorphc to F s(x ) for l 1; and ) maxmult(x l ) < rs f and only f maxmult(x ) < s. When a transversal morphsm β : X X satsfes these propertes for every sequence of F s - permssble blow ups over X, we shall say that β s strongly transversal. In secton 6 we wll show that, f two varetes X and X are lnked by a strongly transversal morphsm, say β : X X, then the processes of smplfcaton of F s (X) and F rs (X ) are equvalent, n the sense that any smplfcaton of F s (X) nduces a smplfcaton of F rs (X ) and vce-versa. Characterzaton of strong transversalty. Let X be a sngular varety defned over a perfect feld k wth maxmum multplcty s 2. There s a graded O X -algebra that one can naturally attach to thestratum of maxmum multplcty of X, whch we shall denote by G X. In characterstc zero, ths algebra encodes nformaton about the process smplfcaton of F s (X) (see Remark 7.10). Moreover, gven a transversal morphsmβ : X X, theres anatural ncluson of G X nto G X (see [1, Proposton 6.3]). In secton 7 we wll show that strong transversalty can be characterzed n terms of the algebras G X andg X. Namely, n Theorem7.2 wewll prove that, f k has characterstc zero, then β : X X s strongly transversal f and only f G X s ntegral over G X. In the case of postve characterstc, the characterzaton s just partal, as strong transversalty mples that G X s ntegral over G X but the converse fals n general. In Example 7.5 we gve a counterexample for the latter case. Constructon of strongly transversal morphsms. The last secton s devoted to the constructon of strongly transversal morphsms. Consder a sngular varety X over a perfect feld k wth maxmum multplcty s 2 and feld of fractons K. Gven a feld extenson L K of rank r = [L : K], we would lke to fnd a sngular varety X wth feld of fractons L endowed wth a strongly transversal morphsm β : X X. Although we do not know whether t s possble to fnd such X wth a strongly transversal morphsm β : X X n general, at least we can prove that t possble to do a smlar constructon locally n étale topology, as explaned below. X l 1 β l

4 4 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. Let ξ F s (X) be a fxed pont n the stratum of maxmum multplcty of X. For an étale neghborhood of X at ξ, say X X, let K denote the feld of fractons of X, and set L = L K K (as t wll be explaned, when X normal, X can be assumed to be rreducble). Note that, n ths settng, L mght not be a feld. However, as by base change t s étale over L, t should be reduced and, as t s fnte (of rank r) over K, t should be a drect sum of felds over K. In Theorem 8.2 we wll show that, for a sutable étale neghborhood X of X at ξ, t s possble to fnd a scheme Z wth quotent rng L endowed wth a strongly transversal morphsm β : Z X. To conclude, we menton that, for techncal reasons, to prove ths last result we wll assume that X s normal. Actually, the constructon can also be done wthout ths assumpton: n the general case, however, some detals are rather techncal whle the man deas of the constructon reman the same. On the organzaton of the paper. The paper s organzed n three parts. In Part I we study transversal morphsms. Secton 2 s devoted to presentng the noton of transversal morphsms; propertes of such morphsms are studed n Proposton 2.7 and Corollary 2.8. The man purpose of secton 3 s to gve a local presentaton of transversal morphsms. Ths s the content of Lemma 3.6. In Secton 4 we study the compatblty of transversalty wth blow ups at regular equmultple centers (theblow up of a fnte morphsm). Themanresults Theorem4.4, whchleads usnaturally to the noton of strongly transversal morphsm (see Defnton 4.7). Part II s entrely devoted to present the basc results on Rees algebras that we need to state and proof Theorems 7.2 and 8.2. Rees algebras wll allow us to work wth equatons wth weghts: ths turns out to be a useful language to descrbe the maxmum multplcty locus of an algebrac varety defned over a perfect feld k. To conclude, strongly transversal morphsms are studed n Part III. Here Theorems 7.2 and 8.2 are proven. We thank A. Bento, D. Sulca, and S. Encnas for stmulatng dscussons on ths subject. Part I. Transversalty 2. Transversalty and fnte morphsms Let (R,M) be a local Noetheran rng, and let a R be an M-prmary deal. Observe that, for n > 0, the quotent rng R/a n has fnte length when regarded as an R-module. Let us denote ths length by λ(r/a n ). It can be shown that, for n 0, the value of λ(r/a n ) s gven by a polynomal n n wth ratonal coeffcents, say λ(r/a n ) = c d n d + c d 1 n d c 0 Q[n], where d = dm(r), whch s known as the Hlbert-Samuel polynomal of R wth respect to a. In addton, t can be shown that c d = e d! for some e N. The nteger e s called the multplcty of R wth respect to a, and we shall denote t by e a (R). The multplcty of a Noetheran scheme X at a pont ξ X s defned as that of the local rng O X,ξ wth respect to ts maxmal deal General settng and notaton. Let X and X be algebrac varetes over a perfect feld k wth quotent felds K = K(X) and L = K(X ) respectvely. Suppose that β : X X s a fnte domnant morphsm of generc rank r := [K(X ) : K(X)]. We wll be assumng that the maxmum multplcty of X s s 1, and wll denote by F s (X) the (closed) set of ponts of maxmum multplcty s of X. As we wll see, under these condtons, the maxmum multplcty at ponts of X s at most rs, and we denote by F sr (X ) the closed set (possbly empty) of ponts of multplcty sr of X. Snce our arguments wll be of local nature, n several parts of ths paper we may assume that both, X and X are affne, say X = Spec(B) and X = Spec(B ), and that there s a fnte extenson B B. In ths case we wll use F s (B) (resp. F sr (B )) to denote F s (X) (resp. F sr (X )). Moreover, we wll see that the prevous dscusson also apples to the case n whch X s an equdmensonal scheme of fnte type over k wth total rng of fractons K(X ).

5 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 5 Theorem 2.2 (Zarsk s multplcty formula for fnte projectons [36, Theorem 24, p. 297]). Let (B,m) be a local doman, and let B be a fnte extenson of B. Let K denote the quotent feld of B, and let L = K B B. Let M 1,...,M r denote the maxmal deals of the sem-local rng B, and assume that dmb M = dmb, = 1,...,r. Then e B (m)[l : K] = e B M (mb M )[k : k], 1 r where k s the resdue feld of B M, k s the resdue feld of (B,m), and [L : K] = dm K L. As a consequence of Zarsk s formula, f P s a prme deal n B and p = P B, one has that e B P (PB P ) e B P (pb P ) e B p (pb p )[L : K]. (2.2.1) That s, the maxmum of the multplcty at ponts of Spec(B ) = X s bounded by the generc rank of the projecton tmes the maxmum of the multplcty at ponts of Spec(B) = X. Namely, maxmult(x ) [L : K] maxmult(x). (2.2.2) 2.3. The (*) condton. Wth the same notaton and hypotheses as n Theorem 2.2 we wll say that condton (*) holds at P Spec(B ) f: ( ) e B P (PB P) = e Bp (pb p )[L : K]. Note that, n partcular, e B P (PB P ) e B P (pb P ). Hence, condton (*) s satsfed at P f and only the followng three condtons hold smultaneously: () P s the only prme n B domnatng p (.e., B P = B B B p ); () B p /pb p = B P /PB P ; () e B P (pb P ) = e B P (PB P ). In partcular, condton (*) necessarly holds for all prmes P B where the multplcty s sr, where s s the maxmum multplcty n Spec(B), and r = [L : K]. Remark 2.4. Suppose that B and B are formally equdmensonal locally at any prme. Then, as we wll see n Secton 3, condton () s equvalent to sayng that pb P s a reducton of PB P,.e., that the deal PB P s ntegral over pb P (cf. Theorem 3.2). Defnton 2.5. Let X be a varety over a perfect feld k, and let X be ether a varety or a reduced equdmensonal scheme of fnte type over k. Let K be the feld of ratonal functons of X and let L be the total rng of fractons of X. We wll say that a k-morphsm β : X X s transversal f t s fnte and domnant, and the followng equalty holds: maxmult(x ) = [L : K] maxmult(x). We wll say that an extenson of k-algebras of fnte type B B, where B s a doman, and B s reduced and equdmensonal, s transversal f the correspondng morphsm of schemes, say β : Spec(B ) Spec(B), s so. Remark 2.6. By defnton, f β : X X s a transversal morphsm of generc rank r = [L : K] and X has maxmum multplcty s 1, then X has maxmum multplcty rs and the equalty s attaned n (2.2.1) for all ponts n F rs (X ). Thus condton (*) holds at all ponts of F rs (X ). Proposton 2.7. Let β : X X be a transversal morphsm of generc rank r and let s = max mult(x). Then: (1) β(f sr (X )) F s (X); (2) F sr (X ) s homeomorphc to β(f sr (X )) F s (X).

6 6 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. Proof. It suffces to argue locally, so we may assume that X = Spec(B) and X = Spec(B ). Now t follows from the dscusson n 2.3 that the maxmum multplcty at ponts of Spec(B ) s rs, and that condton (*) necessarly holds for all prmes n F sr (B ). Furthermore, f Q F sr (B ) and q = Q B then necessarly e Bq (qb q ) = s, so β(f sr (X )) F s (X). Therefore β nduces an njectve morphsm, say β : F sr (X ) F s (X), whch s proper and hence t nduces an homeomorphsm β : F sr (X ) β(f sr (X))( F s (X)). Corollary 2.8. Suppose that the extenson B B s transversal of generc rank r. Let s be the maxmum multplcty at ponts of Spec(B), let Q F sr (B ) and let q := B Q. Then: (1) The extenson B/q B /Q s fnte; (2) The feld of fractons of B/q, say K(q), equals the feld of fractons of B /Q, say K(Q); (3) If P B s a prme deal contanng Q, p := P B, P = P/Q, and p = p/q, then e B/q (p) = e B/q (p)[k(q) : K(q)] = e B /Q(P). In other words, the fnte extenson B/q B /Q s bratonal and bjectve, and the multplcty at correspondng ponts s the same. In partcular, B /Q s regular f and only f B/q s regular, and n that case necessarly B/q = B /Q. Proof. The statement n (1) s clear and (2) follows from condton () of 2.3. As for (3) note here that Spec(B /Q) F sr (B ), and the condtons (), () and () of 2.3, whch hold for all P contanng Q, are nherted by P = P/Q( B /Q) Summarzng. Wth the same notaton and conventons as 2.1, f β : X X s transversal, then from Corollares 2.7 and 2.8 t follows that: (1) β(f sr (X )) F s (X); (2) F sr (X ) s homeomorphc to β(f sr (X )); (3) If Y F sr (X ) s an rreducble regular subscheme, then β(y) F s (X) s an rreducble regular subscheme; (4) If Z F s (X) s an rreducble closed regular subscheme, and f β 1 (Z) F sr (X ), then β 1 (Z) red s regular. 3. Presentatons of transversal morphsms The noton of multplcty s closely related to that of ntegral closure of deals. Gven deals I J n a Noetheran rng B, there are several (equvalent) formulatons for J to be ntegral over I, or say for I to beareducton of J. Northcott and Rees ntroduced the noton of reducton. Gven deals I J as above, I s a reducton of J f IJ n = J n+1 for some n 0 or, equvalently, f the ncluson B[IW] B[JW] s a fnte extenson of subrngs n B[W]. In ths case, f X Spec(B) denotes the blow up at I and X Spec(B) s the blow up at J, there s a factorzaton X X nduced by ths fnte extenson, whch s also a fnte morphsm. The noton of reducton of an deal J n B wll appear naturally when studyng the fbers of the blow up, whch s a noton that relates to that of the ntegral closure of J A frst connecton of ntegral closure wth the noton of multplcty s gven by the followng Theorem of Rees. A Noetheran local rng (A,M) s sad to be formally equdmensonal (quasunmxed n Nagata s termnology) f dm(â/ˆp) = dm(â) at each mnmal prme deal ˆp n the completon Â. Theorem 3.2 (Rees Theorem, [29]). Let (A,M) be a formally equdmensonal local rng, and let I J be two M-prmary deals. Then I s a reducton of J f and only f e A (I) = e A (J) A generalzaton of Rees Theorem. Theorem 3.2 can be generalzed to the case of (nonnecessarly) M-prmary deals, see Theorem 3.4 below. Before statng the theorem, we wll revew

7 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 7 some of the terms that appear among the hypotheses. Let I denote an deal n a local rng (A,M). Let f : Z Spec(A) be the blow up at I, and let f 0 : Z 0 Spec(A/I) be the proper morphsm nduced by restrcton. Northcott and Rees defned the analytc spread as: l(i) = dm(a/m A Gr I (A)) = δ +1, where δ s the dmenson of the fber of f over the closed pont of Spec(A), or equvalently, the dmenson of the fber of f 0 over the closed pont. Note that l(i) = dm(a) when I s M-prmary. Theheght of I, say ht(i), s mn(dma q ) as q runsthrough all prmes contanng I, and we clam that l(i) ht(i), wth equalty f and only f all fbers of f 0 have the same dmenson (see [21, 2]). The nequalty holds because the dmenson of the fbers of f 0 : Z 0 Spec(A/I) s an upper semcontnuous functon on prmes of A/I (ths result s due to Chevalley, cf. [12, Theorem ]). In addton, f q s mnmal contanng I, the dmenson of the fber over q s dm A q. Fnally, let I J s a reducton n a Noetheran rngb, and let X Spec(B) and X Spec(B) denote the blow ups at I and J (respectvely). Snce there s a factorzaton X X whch s fnte, l(ib P ) = l(jb P ) at any prme P n B. Theorem 3.4 (Böger, cf. [21, Theorems 2 and 3]). Let (A,M) be a formally equdmensonal local rng. Fx an deal I A so that ht(i) = l(i). Consder another deal J A so that I J I. Then I s a reducton of J f and only f e Aq (IA q ) = e Aq (JA q ) for each mnmal prme q of I. Along these notes we wll consder and study the blow ups along regular centers. The followng theorem relates the noton of equmultplcty wth that of the fber dmenson at the blow up (analytc spread), studed by Dade, Hronaka, and Schckhoff. Theorem 3.5 (Hronaka-Schckhoff, [21, Corollary 3, p. 121]). Let (A, M) be a formally equdmensonal local rng, and let p A be a prme deal so that A/p s regular. Then ht(p) = l(p) n A f and only f the local rngs A and A p have the same multplcty. Lemma 3.6 (Presentaton of transversal extensons). Let B be a doman of fnte type over a perfect feld k wth maxmum multplcty s (s 1), and let B B be a transversal extenson of generc rank r (see 2.1 and Defnton 2.5). Let P F sr (B ) be a prme, and let p = B P. Then: (1) The extenson of local rngs B p B P s fnte. Moreover, there are elements θ 1,...,θ m B P ntegral over pb P such that B P = B p[θ 1,...,θ m ]; (2) If n addton B /P s a regular rng, then the θ 1,...,θ m can be chosen n P, and P s the ntegral closure of pb n B. Proof. (1) The extenson B p B P s fnte, thus there are elements ω 1,...,ω m B P so that B P = B p[ω 1,...,ω m ]. The quotent feld of B p, say K(p), s equal to the quotent feld of B P, say K(P). Hence there are elements α 1,...,α m B q such that α = ω K(p) = K(P). Settng θ := ω α one has that θ P and B P = B q[θ 1,...,θ m ]. Snce PB P s ntegral over pb P each θ s ntegral over pb P. (2) Set B = B[θ 1,...,θ m ]. By condton (3) of Corollary 2.8, B /P = B/p. So clearly θ 1,...,θ m can be modfed by takng θ 1 α 1,...,θ m α m, α B, and we may assume that they are n P. The dscusson n 2.3, more precsely n condton (), apples for the local rngs B p B P, and therefore pb P s a reducton of PB P or say that PB P s the ntegral closure of pb P. Our clam now s that P s the ntegral closure of pb at the rng B. It suffces to check that ths clam holds locally at every maxmal deal M B contanng P. We wll apply Theorem 3.4 at B M to prove ths latter clam: Let m = M B, as B /P s regular and equal to B/pB, t follows that B m /pb m s a regular local rng. Under these condtons, as B s a doman and the multplcty of B m concdes wth that of B p, Theorem 3.5 asserts that l(p) = ht(p) n B m. Now, snce the extenson B m B M s fnte, we have that ht(pb M ) = ht(p), and the blow up of B M at pb M s fnte over the blow up of B m at pb m. Ths mples that the fbers over the closed ponts have the same dmenson. Thus l(pb M ) = l(p), and therefore l(pb M ) = ht(pb M ) n B M.

8 8 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. Recall that e B P (PB P ) = e B P (pb P ) by condton () of 2.3 and Theorem 3.2. Now, snce PB M s the only mnmal prme of pb M, the clam follows from Theorem 3.4 (takng A = B M, I = pb M, and J = PB M ). 4. Transversalty and blow ups Let X be an equdmensonal scheme of fnte type over a perfect feld k wth maxmum multplcty s. As we wll see, there are some types of transformatons that play an mportant role n the study of the multplcty. We wll say that a morphsm X X 1 s an F s -local transformaton f t s of one of the followng types: ) The blow up of X along a regular center Y contaned n F s (X). Ths wll be called an F s -permssble blow up, or smply a permssble blow up when there s no confuson wth s. In ths case we wll also say that Y s an F s -permssble center. ) An open restrcton,.e., X 1 s an open subscheme of X. In order to avod trval transformatons, we wll always requre X 1 F s (X). ) The multplcaton of X by an affne lne, say X 1 = X A 1 k. Note that, n ether case, maxmult(x) maxmult(x 1 ) (see [10]). We wll say that a sequence of transformatons, say ϕ 1 ϕ X = X 0 2 ϕ X 1... n X n, s an F s -local sequence on X f ϕ s an F s -local transformaton of X 1 for = 1,...,n, and s = maxmult(x 0 ) =... = maxmult(x n 1 ) maxmult(x n ). In the followng lnes we wll study the behavor of transversalty under local sequences. The man result s Theorem 4.4. Remark 4.1 (multplcty and étale morphsms). The behavor of the multplcty s naturally compatble wth étale topology. Namely, gven an equdmensonal scheme X of fnte type over k and an étale morphsm ε : X X, one has that mult( ξ) = mult ( ε( ξ) ) for every ξ X. Moreover, every F s -local sequence over X, say X X 1 X l, nduces by base change an F s -local sequence over X, say and a commutatve dagram, where each ε s étale. X X ε X1 Xl, X 1 ε 1 Xl X X 1 X l, Consder a fnte morphsm of schemes, say β : X X, a closed center Y X, and ts mage n X, say Y = β(y ). In general, there s no natural map from the blow up of X at Y to the blow up of X at Y. The next lemma provdes a condton under whch such map exsts, and moreover t s fnte. Lemma 4.2. Let γ : B B be a homomorphsm of Noetheran rngs. Consder two deals, say I B, and J B, such that γ(i)b s a reducton of J. Let X Spec(B) be the blow at I and ε l

9 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 9 let X Spec(B ) be the blow up at J. Then there exsts a unque morphsm β 1 : X X whch makes the followng dagram commutatve: Spec(B ) X (4.2.1) Spec(B) X. In addton, f B s fnte over B, then β 1 s also fnte. Proof. Snce J s ntegral over γ(i)b, we have γ(i)j n = J n+1 for some n 0 (see [23, p. 156], and [20, Lemma 1.1, p. 792]). Therefore γ(i)j n O X = J n+1 O X. Observe that, by defnton, JO X s an nvertble sheaf of deals over X. Hence J n O X s also nvertble, and, n ths way, γ(i)j n O X = J n+1 O X mples γ(i)o X = JO X. In partcular, ths means that γ(i)o X s nvertble over X. Thus, by the unversal property of the blow up at I, X Spec(B), there exsts a unque morphsm of schemes, say β 1 : X X, makng (4.2.1) commutatve. For the second clam, fx a set of generators of I over B, say I = f 1,...,f r. Recall that X = Proj(B[IW]), and X = Proj(B [JW]). From the exstence of β 1, wededucethat X s covered by the affne charts assocated to γ(f 1 ),...,γ(f r ),.e., those gven by the rngs [ (B ] [JW]) γ(f )W 0 (the homogeneous part of degree 0 of (B [JW]) γ(f )W). Snce B s fnte over B, and γ(i)b s a reducton of J, the graded algebra B [JW] s fnte over B[IW]. Hence [ (B ] [JW]) γ(f )W s fnte 0 over [(B[IW]) f W] 0 for = 1,...,r, and therefore β 1 s fnte. Remark 4.3. Let B B be a fnte extenson of Noetheran domans, and consder two deals I B and J B so that J s ntegral over IB. Let X Spec(B ) be the blow up at J and let X Spec(B) be the blow up at I. Fx generators of I and J, say I = x 1,...,x r, and J = x 1,...,x r,θ 1,...,θ s, where θ 1,...,θ s are ntegral over IB. Under these hypotheses, the Lemma says there s a natural fnte map X X. Note that X can be covered by r affne charts of the form Spec(B 1 ),...,Spec(B r ), wth B = B[ x1 x,..., xr x ]. Moreover, from the second part of the proof t follows that X can be covered by r affne charts of the form Spec(B 1 ),...,Spec(B r ), [ where B = B x1 x,..., xr x, θ 1 x,..., θs x ], and the map X X s locally gven by the extenson B B, whch s fnte. Theorem 4.4. Let X be a varety wth maxmum multplcty s and let β : X X be a transversal morphsm of generc rank r. Then: ) An F rs -permssble center on X, say Y F rs (X ), nduces an F s -permssble center on X, say Y = β(y ) F s (X), and a commutatve dagram of blow ups of X at Y, say X X 1, and of X at Y, say X X 1, as follows, β 1 X β X 1 β 1 X X 1, where β 1 s fnte of generc rank r. In addton, f F rs (X 1 ), then F s(x 1 ), and the morphsm β 1 s transversal. ) Any sequence of F rs -permssble blow ups on X, X X 1 X N 1 X N, nduces a sequence of F s -permssble blow ups on X, and a commutatve dagram as follows, X β X 1 X N 1 X N β 1 β N 1 X X 1 X N 1 X N, β N

10 10 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. where each β s fnte of generc rank r. Moreover, f F rs (X N ), then F s(x N ), and the morphsm β N s transversal. Proof. Property ) follows from ) by nducton on N. Thus we just need to prove ). Note that the center Y = β(y ) s F s -permssble by 2.9. The varetes X and X can be locally covered by affne charts of the form Spec(B) and Spec(B ), wth the morphsm β beng gven by a fnte extenson B B. Let P B and P B denote the deals of defnton of Y and Y respectvely. By Lemma 3.6, P s ntegral over the extended deal PB. Then, under these hypotheses, Lemma 4.2 says that there s natural fnte morphsm β 1 : X 1 X 1 whch makes the dagram n ) commutatve. Snce the blow up of an ntegral scheme along a proper center s bratonal, the generc rank of β 1 concdes wth that of β. That s, β 1 s a fnte morphsm of generc rank r, whch proves the frst part of ). For the second part of the clam, recall frst that the multplcty does not ncrease when blowng up along permssble centers, and hence maxmult(x 1 ) s, and maxmult(x 1 ) rs. In addton, the map β : X 1 X 1 has generc rank r. Thus F rs (X 1 ) mples F s(x 1 ). In partcular, f F rs (X 1 ), then the morphsm β : X 1 X 1 s transversal. Remark 4.5. Consder a transversal morphsm β : X X as n the Theorem. As ponted out at the begnnng of the secton, we are nterested n studyng the behavor of F rs (X ) and F s (X). Snce the set F rs (X ) s homeomorphc to ts mage n F s (X) va β, for any open subset U X, one can fnd an open subset U X satsfyng U F rs (X ) = β 1 (U) F rs (X ). In ths settng we wll say that U X s an F rs -permssble restrcton f there s an open subset U X so that U = β 1 (U). Thus, as a consequence of Theorem 4.4, one readly checks that every F rs -local sequence on X, say X X 1 X N, nduces an F s-local sequence on X, and a commutatve dagram as follows, X β X 1 β 1 X N 1 β N 1 X N X X 1 X N 1 X N, where each β s fnte of generc rank r. In addton, f F rs (X N ), then β N s transversal. Normalzaton and transversal morphsms. Let X be a sngular varety over a feld k wth maxmum multplcty s 2. The normalzaton of X, say X, s endowed wth a natural fnte morphsmβ : X X whchsdomnantandbratonal. Hence, byzarsk sformula(theorem2.2), maxmult(x) maxmult(x). In addton, f the equalty holds, then β : X X s transversal, and F s (X) s mapped homeomorphcally to β(f s (X)) F s (X) (see Corollary 2.7 and 2.9). Assume that the morphsm β : X X s transversal,.e., that maxmult(x) = maxmult(x). In ths case, Theorem 4.4 says that any sequence of blow ups along regular equmultple centers on X nduces a sequence of blow ups on X. As a consequence of ths result, one can also establsh a relaton between sequences of normalzed blow ups on X and sequences of blow ups on X, as long as transversalty s preserved. Recall that the normalzed blow up of X along a closed center Y X s the normalzaton of the blow up of X along Y. Corollary 4.6. Let X 0 be a varety over a feld k, and let X 0 denote the normalzaton of X 0. Assume that maxmult(x 0 ) = maxmult(x 0 ). Let X 0 X 1 X l 1 X l be a sequence of normalzed blow ups along closed regular centers Y Maxmult(X 1 ), such that maxmult(x 0 ) = = maxmult(x l 1 ) maxmult(x l ). Then there s a natural sequence of blow ups on X 0, say X 0 X 1 X l 1 X l, along closed regular centers Y Maxmult(X ), so that maxmult(x 0 ) = = maxmult(x l 1 ) maxmult(x l ), and X s the normalzaton of X for = 1,...,l. β N

11 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 11 Proof. It suffces to prove the case l = 1 (the general case follows by nducton on l). Snce maxmult(x 0 ) = maxmult(x 0 ), the natural morphsm β 0 : X 0 X 0 s transversal, and hence Y 0 = β 0 (Y 0 ) Maxmult(X 0 ) defnes a regular center n X 0. Let X 1 X be the blow up at Y 0 and let X 1 X 0 be the blow up at Y 0. Then by Theorem 4.4, there s a bratonal map, say X 1 X 1, whch s fnte. Let X 1 be the normalzaton of X 1. Then t follows that X 1 s the normalzaton of X 1. Moreover, f maxmult(x 1 ) = maxmult(x 0 ), then maxmult(x 1 ) = maxmult(x 0 ), and the morphsm β 1 : X 1 X 1 s agan transversal. Strongly transversal morphsms. Let β : X X be transversal morphsm of generc rank r and suppose that X has maxmum multplcty s 2. Under these hypotheses, Theorem 4.4 says that any sequence of F rs -permssble blow ups on X nduces a sequence of F s -permssble blow ups on X. In general, the converse to ths Theorem, by blowng up centers over X, fals because β does not map F rs (X ) surjectvely to F s (X). Hence not every center contaned n F s (X) nduces a center n F rs (X ). Ths observaton motvates the followng defnton. Defnton 4.7. We wll say that a transversal morphsm of generc rank r, β : X X, s strongly transversal f F rs (X ) s homeomorphc to F s (X) va β, and every F rs -local sequence over X, say X X 1 X N, nduces an F s-local sequence over X n the sense of Remark 4.5, and a commutatve dagram as follows, X β X 1 β 1 X N 1 β N 1 X N X X 1 X N 1 X N, β N (4.7.1) where each β s fnte of generc rank r (see Remark 4.5 above), and nduces a homeomorphsm between F rs (X ) and F s(x ). In ths case we wll also say that F rs (X ) s strongly homeomorphc to F s (X). Note n partcular that ths defnton yelds F rs (X N ) = f and only f F s(x N ) =. Remark 4.8. Ths defnton s equvalent to sayng that any F s -local sequence on X nduces an F rs -local sequence on X, and a commutatve dagram lke (4.7.1). In partcular, note that the homeomorphsm between F rs (X ) and F s (X) s preserved by transformatons. Remark 4.9. Note that, n vrtue of 2.9, checkng that a fnte morphsm β : X X of generc rank r s strongly transversal s equvalent to showng that β : X X maps F rs (X ) surjectvely onto F s (X) (where s denotes the maxmum multplcty of X), and that ths property s preserved by any F s -local sequence. From the pont of vew of resoluton of sngulartes, β : X X s strongly transversal f and only f the processes of lowerng the maxmum multplcty of X and X are equvalent. In the case of varetes over a feld of characterstc zero, t s possble to gve a characterzaton of strong transversalty n terms of Rees algebras (see Theorem 7.2 n Secton 7). In the next two sectons we ntroduce the theory of Rees algebras and elmnaton. Part II. Rees algebras and elmnaton 5. Rees algebras and local presentatons of the multplcty Let X be a d-dmensonal algebrac varety defned over a perfect feld k. When seekng a resoluton of sngulartes of X we may start by constructng a sequence of blow ups along closed regular equmultple centers, say X X 1... X m 1 X m, so that maxmult(x) = maxmult(x 1 ) = = maxmult(x m 1 ) > maxmult(x m ). In general, the maxmum multplcty locus of a varety does not defne a regular center. Thus the multplcty functon has to be refned n order to obtan regular centers at each stage of the

12 12 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. process. It s n ths settng that the machnery provded by Rees algebras comes n handy. For a more detaled ntroducton to Rees algebras and ther use n resoluton of sngulartes we refer to [6] or [11] (we wll not go nto these detals here). In ths paper we wll use Rees algebras n the formulaton and the proof of Theorem 7.2 and n the proof of Theorem 8.2. Thus, we wll devote the present secton and the next to revew the man defntons and results on Rees algebras that we wll be needng n sectons 7 and 8. Defnton 5.1. Let B beanoetheran rng, and let {I n } n N be a sequence of deals n B satsfyng the followng condtons: I 0 = B; and I k I l I k+l for all l,k N. The graded subrng G = n 0 I nw n of the polynomal rng B[W] s sad to be a B-Rees algebra, or a Rees algebra over B, f t s a fntely generated B-algebra. A Rees algebra can be descrbed by gvng a fnte set of generators, say {f 1 W n 1,...,f s W ns }, wth f B for = 1...,s, n whch case we wll wrte G = B[f 1 W n 1,...,f s W ns ] B[W]. The noton of Rees algebra extends naturally to schemes. Consder a non-necessarly affne scheme V. We wll say that a quas-coherent subsheaf G O V [W] s a Rees algebra over V, or smply an O V -Rees algebra, f V can be covered by affne charts of the form U = Spec(B), where Γ(U,G) s a Rees algebra over B. Note that, n ths way, there s a natural one-to-one correspondence between the Rees algebras defned over a rng B, and those defned over the affne scheme Spec(B). Thus sometmes we wll abuse our notaton, and we wll make no dstncton between them The sngular locus of a Rees algebra. [32, 1.2] Let G = n N I nw n be a Rees algebra over a regular scheme V. The sngular locus of G s defned by Sng(G) := n 1{ξ V ν ξ (I n ) n}, where ν ξ (I n ) denotes the order of the deal sheaf I n at ξ. When V s excellent, Sng(G) turns out to be a closed subset of V. In addton, when V s affne, put V = Spec(S), and G s generated by elements f 1 W N 1,...,f s W Ns, one has that (see [11, Proposton 1.4]): s Sng(G) = {ξ V ν ξ (f ) N }. = If X s a varety over a perfect feld k, then, locally n an (étale) neghborhood U of a pont of maxmum multplcty, there s an embeddng n a smooth varety V over k and an O V -Rees algebra G such that Maxmult(X) U = SngG, where Maxmult(X) denotes the (closed) set of ponts of maxmum multplcty of X. In fact, ths equalty holds n a very strong sense, to be defned n 5.7. Ths ssue wll be treated along ths secton (see Theorem 5.10, and the dscusson n 5.12 for more precse detals). We shall ndcate n 5.11 that a smlar statement can be made for the maxmum value of the Hlbert-Samuel functon on X (see [15]) Transforms of Rees algebras by local sequences. Transforms by permssble blow ups. Let V be a regular scheme, and let G be a Rees algebra on V. A regular closed subscheme Y V s sad to be permssble for G = n J nw n O V [W] f Y SngG. A permssble blow up s the blow up at a permssble center, V V 1. If H 1 V 1 denotes the exceptonal dvsor, then for each n N, one has that J n O V1 = I(H 1 ) n J n,1 for some sheaf of deals J n,1 O V1. The transform of G n V 1 s then defned as G 1 := n J n,1w n (see [11, Proposton 1.6]). Transforms by smooth morphsms. Let V V 1 be ether the restrcton to some open subset V 1 of V or the multplcaton by an affne space, say V 1 = V k A n k. Then we defne the transform G 1 of G n V 1 as the pull-back of G n V 1. A G-local sequence over V s a local sequence over V, π 1 π m 1 π (V = V 0,G = G 0 ) 0 (V 1,G 1 ) (V m,g m ), (5.4.1)

13 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 13 where each π s ether a permssble monodal transformaton for G O V [W] (and G +1 s the transform of G n the sense of 5.4), or a smooth morphsm (and G +1 s the pull-back of G n V +1 ). Defnton 5.5. Let V be a regular scheme, and G an O V -Rees algebra. A resoluton of G conssts on a sequence of permssble blow ups, say so that Sng(G m ) =. (V = V 0,G = G 0 ) (V 1,G 1 ) (V m,g m ), Local presentatons of the multplcty In 5.4 and Defnton 5.5 we dscussed about local sequences of transformatons of a Rees algebra G over a regular scheme V. In the next defnton we wll fx a sngular varety X and wll consder local transformatons on X. Defnton 5.6. We wll say that a sequence of transformatons X = X 0 X 1... X m s a mult(x)-local sequence f for = 0,...,m 1, X X +1 s ether blow at a smooth center Y Maxmult(X ), or else X +1 = X A 1 k and X X +1 s the smooth morphsm defned by the natural projecton. Defnton 5.7. We wll say that mult(x) s locally representable for a scheme X, f for each pont ξ MaxmultX there s an open (étale) neghborhood (whch we denote agan by X to ease the notaton), an embeddng n some regular scheme, say X V, and a O V -Rees algebra G so that the followng condtons hold: (1) There s an equalty, Maxmult(X) = Sng(G), of closed sets; (2) Every mult(x)-local sequence as n Defnton 5.6, say X = X 0 X 1... X m wth maxmult(x) = maxmult(x 0 ) = = maxmult(x m 1 ) maxmult(x m ) nduces a G-local sequence (V = V 0,G = G 0 ) (V 1,G 1 ) (V m,g m ), (5.7.1) and: Maxmult(X ) = Sng(G ) for = 1,...,m 1; f maxmult(x m 1 ) = maxmult(x m ), then Maxmult(X m ) = Sng(G m ); f maxmult(x m 1 ) > maxmult(x m ), then Sng(G m ) =. (3) Conversely, any G-local sequence as (5.7.1) wth Sng(G ) for = 0,...,m 1, nduces an mult(x)-local sequence X = X 0 X 1... X m wth maxmult(x) = maxmult(x 0 ) = = maxmult(x m 1 ) maxmult(x m ), and: Maxmult(X ) = Sng(G ) for = 1,...,m 1; maxmult(x m 1 ) = maxmult(x m ) f Maxmult(X m ) = Sng(G m ), maxmult(x m 1 ) > maxmult(x m ) f Sng(G m ) = It can be proved that the prevous condton s fulflled for varetes defned over a prefect feld, at least locally n étale topology. Namely, gven a varety X over a perfect feld k, and a pont ξ X, there exsts an étale neghborhood of X at ξ, say U, a closed mmerson of U nto a regular varety V, and an O V -Rees algebra G satsfyng condtons (1), (2) and (3) (see [34, 7]). Ths local embeddng, together wth the Rees algebra G, wll be called a local presentaton of Max mult(x). Remark 5.9. Hereafter, when we refer to a local presentaton of X, we shall smply wrte a par (V,G), assumng that a closed mmerson X V has already been fxed, and omttng the fact that X V mght by defned n an étale neghborhood. Theorem [34, 5] Let X be an equdmensonal scheme of fnte type over a perfect feld k, and let s = max mult(x). Then, mult(x) s locally representable.

14 14 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U Hlbert-Samuel vs. Multplcty. In [15] Hronaka proves that the Hlbert-Samuel functon of an algebrac varety X, or more precsely the stratum of ponts havng the same Hlbert- Samuel functon, s locally representable. There, nstead of mult(x)-local sequences, one has to consder HS X -local sequences: set MaxHS X as the closed set of ponts wth maxmum Hlbert- Samuel functon on X. We wll say that X = X 0 X 1... X m s an HS X -local sequence f for 0 m 1, the morphsm X X +1 s ether a blow up at a smooth center Y MaxHS X (ths s normal flatness), or else X X +1 s a smooth morphsm wth X +1 = X A 1 k. By consderng the Hlbert-Samuel functon, or the multplcty functon, we ultmately seek to producearesoluton of sngulartes of X. In the frstcase, we seek for a resoluton by blowng up at normally flat centers; n the second case, one uses equmultple centers. Over felds of characterstc zero, n ether of these two approaches, Rees algebras can be used n order to produce such centers (as was done n 5.8 for the case of the multplcty) Some deas behnd the proof of Theorem Here we seek for local representatons of the multplcty on X n the sense of Defnton 5.7. Suppose that X s affne, say X = Spec(B), where B s an equdmensonal algebra of fnte type over a perfect feld k. Fx a closed pont ξ F s (X). After replacng X by a sutable étale neghborhood of ξ, we may assume that there exsts aregulardomans B sothat B safnteextenson ofs ofgenercranks, whchnecessarly satsfes property (*) from 2.3 at ξ. Then, choose θ 1,...,θ m B so that B = S[θ 1,...,θ m ]. These elements nduce a surjectve morphsm S[Z 1,...,Z m ] B = S[θ 1,...,θ m ], where Z 1,...,Z m represent varables, and we can take V = Spec(S[Z 1,...,Z m ]). Observe that ths morphsmnduces a natural embeddngof X nto V. Moreover, snce θ s ntegral over S, t has a mnmal polynomal over K, the feld of fractons of S. Denote t by f (Z ) K[Z ], and set d = deg(f ). It can be shown that the coeffcents of these polynomals actually belong to S,.e., that f (Z ) S[Z ]. Fnally, (see [34, 7.1] for detals), a local presentaton of F s (X) s gven by the Rees algebra: G V = O V [f 1 (Z 1 )W d 1,...,f m (Z m )W dm ] O V [W]. Comparng dfferent presentatons: weak equvalence and canoncal representatves. Consder an equdmensonal scheme X where mult(x) s representable va local embeddngs, and fxapontξ Maxmult(X). Inprncple, theremaybemanypresentatonsofmaxmult(x)(locally at ξ) comng from dfferent mmersons and Rees algebras. As we want to use local presentatons to fnd a resoluton of sngulartes of X n the case of characterstc zero, one would lke to show that two dfferent presentatons lead to the same process of resoluton. Assume that a closed mmerson X V has been fxed, and that we have two presentatons of Maxmult(X) gven by two O V -Rees algebra G and G. Then, we would lke that G and G lead to the same process of resoluton. As both of them represent Maxmult(X), we have that Sng(G) = Maxmult(X) = Sng(G ), and ths equalty s preserved by local sequences. Ths motvates the followng defnton. Defnton Two Rees algebras G and G over a regular scheme V are weakly equvalent f: (1) Sng(G) = Sng(G ). (2) Any G-local sequence on V, say V V 1 V m, s a G -local sequence, and vce-versa. (3) For any local sequence as that n (2), f G and G denote the transforms of G and G on V respectvely, we have that Sng(G ) = Sng(G ). It s easy to see that weak equvalence defnes an equvalence relaton on the famly of O V -Rees algebras, and thus each O V -Rees algebra G has a class of equvalence. By defnton, f an O V -Rees algebra represents Maxmult(X) (va a fxed mmerson X V), any other element of ts class also do so. It can be proved that two weakly equvalent O V -Rees algebras nduce the same nvarants, and hence they share the same process of resoluton of Rees algebras (over felds of characterstc zero). In ths way one can see that the process of smplfcaton of the maxmum multplcty of a sngular varety X s ndependent of the local presentatons chosen (see [6, 27] or [11]).

15 FINITE MORPHISMS AND SIMULTANEOUS REDUCTION OF THE MULTIPLICITY 15 Remark Consder a Rees algebra G defned over a smooth varety V. One can consder a tree wth V as ts root and consstng on all the G-local sequences as n (5.4.1). Ths tree wll be called the tree of permssble transformatons of G, and we shall denote t by F V (G). Gven another Rees algebra G over V, f every G-local sequence nduces a G -local sequence, then we shall say that F V (G) F V (G ). Note that, wth ths notaton, G s weakly equvalent to G f and only f F V (G) F V (G ) and F V (G ) F V (G) and, n such case, we shall wrte F V (G) = F V (G ) Integral closure. Consder a regular doman S, and a S-Rees algebra G S[W]. We defne the ntegral closure of G, whch we shall denote by G, as that of G regarded as a rng, nsde ts feld of fractons. Snce S s normal, S[W] s normal, and hence G S[W]. In addton, f S excellent, G s fntely generated over S (see [12, ) and v)]). Thus G s agan a Rees algebra over S. As ntegral closure s a concept of local nature, ths noton extends naturally to non-affne schemes. In ths way, gven a regular excellent scheme V, and an O V -Rees algebra G, we may talk unambguously about the ntegral closure of G, say G, whch s agan an O V -Rees algebra. Remark Observe that the regularty of S (resp. V) does not play an essental role on the prevous dscusson. Thus the concept of ntegral closure extends to any Rees algebra defned over a normal excellent doman (resp. normal excellent scheme). Lemma 5.17 (cf. [11, Proposton 5.4]). Let V be a regular excellent scheme, and G an O V -Rees algebra. Then the ntegral closure of G, say G, s weakly equvalent to G Dfferental Rees algebras. Let S be a smooth algebra over a perfect feld k. For any non-negatve nteger n, denote by Dff n S k the module of dfferental operators of order at most n of S over k. A Rees algebra over S, say G = N I W, s sad to be dfferentally saturated (wth respect to k) f the followng condton holds: for any homogeneous element fw N G, and any dfferental operator Dff n S k, wth n < N, we have that (f)wn n G. In partcular, I +1 I, snce Dff 0 S k Dff 1 S k. Note that ths noton extends naturally to Rees algebras defned on a smooth varety over k, say V: n ths case, we denote by Dff n V k the sheaf of dfferental operators of V over k, and the condton of beng dfferentally saturated s defned locally. Gven a smooth varety over a perfect feld k, and an arbtrary O V -Rees algebra G, there s a natural way to construct the smallest dfferentally saturated algebra contanng G (see [33, Theorem 3.4]), whch we wll denote by Dff(G). It can be checked that Dff(G) s agan fntely generated over O V (cf. [33, Proof of Theorem 3.4]), and hence t s a Rees algebra. Moreover Dff(G) s weakly equvalent to G (see Graud s Lemma [11, Theorem 4.1]). Theorem 5.19 ([16], [4, Theorem 3.10]). Let V be a regular varety over a perfect feld k. Then two O V -Rees algebra G and G are weakly equvalent f and only f Dff(G) = Dff(G ). In partcular, ths theorem says that Dff(G) s the canoncal representatve of the class of G. A generalzaton of ths result to the case of varetes over non-perfect felds can be found n [2, Theorem 6.6.8] Relatve Dfferental Rees algebras. Let β : V V be a smooth morphsm of smooth schemes defned over a perfect feld k wth dmv > dmv. Then, for any nteger s, the sheaf of relatve dfferental operators of order at most s, Dff s V/V, s locally free over V. We wll say that a sheaf of O V -Rees algebras G = n I n W n s a β-relatve dfferental Rees algebra or smply a β-dfferental Rees algebra f there s an affne coverng {U } of V, such that for every homogeneous element fw N G and every Dff n V/V (U ) wth n < N, we have that (f)w N n G (n partcular, I +1 I snce Dff 0 V/V Dff 1 V/V ). Gven an arbtrary Rees algebra G over V there s a natural way to construct a β-relatve dfferental algebra wth the property of beng the smallest contanng G, and we wll denote t by Dff V/V (G) (see [31, Theorem 2.7]). Relatve dfferental Rees algebras wll play a role n the defnton of the so called elmnaton algebras that wll be treated n Secton 6.

16 16 CARLOS ABAD, ANA BRAVO, AND ORLANDO E. VILLAMAYOR U. The Rees algebra assocated to Max mult(x). Theorem [1, Theorem 5.3] Let X be a sngular varety defned over a perfect feld k. Suppose that there are two mmersons X V 1 and X V 2 together wth two Rees algebras G 1 and G 2 over V 1 and V 2 respectvely such that (V 1,G 1 ) and (V 2,G 2 ) represent the stratum of maxmum multplcty of X (see Defnton 5.7). Then the O X -algebras Dff(G 1 ) X and Dff(G 2 ) X are equal up to ntegral closure. Remark Recall that a stuaton as n the prevous theorem can always be acheved locally n étale topology (see 5.8). Moreover, t can be shown that f X X 1 and X X 2 are two étale neghborhoods together wth embedngs X 1 V 1 and X 2 V 2 where two Rees algebras attached to the maxmum multplcty locus are defned, then there s an étale (common) neghborhood X of X, X 1, and X 2, and two embeddngs, X Ṽ 1 and X Ṽ2 together wth two Rees algebras, say G 1 and G 2 defned on Ṽ1 and Ṽ2 respectvely, representng the maxmum multplcty of X. Ths s the sense n whch the prevous theorem should be nterpreted (see [6, 29]). Defnton Let X be a sngular varety over a perfect feld k wth maxmum multplcty s > 1. Gven a local presentaton of Maxmult(X) as n Defnton 5.7, say (V,G), we defne the Rees algebra attached to Maxmult(X) to be G X := Dff(G) X. Remark Gven a sngular varety X over a perfect feld k, local presentatons of Max mult(x) exst only n étale topology (see 5.8 and 5.9). Thus G X s only defned locally n étale topology. Theorem 5.21 says that G X does not depend on the choce of the local presentaton (V,G). 6. Elmnaton algebras In the prevous secton we dscussed about local presentatons of the multplcty for a gven varety X va some par (V, G). Ths has been useful to prove algorthmc resoluton of sngulartes n characterstc zero usng the multplcty as man nvarant. In ths context, one advantage of usng the multplcty nstead of the Hlbert-Samuel functon(the nvarant used by Hronaka n[13]) s that, at least when the characterstc s zero, t can be shown that the lowerng of the maxmum multplcty of X s equvalent to resolvng a Rees algebra defned n some d-dmensonal regular scheme, where d s the dmenson of X. Ths follows from the fact that the local presentaton of the multplcty s found by consderng a sutable fnte projecton from X to some regular scheme Z (see 5.12 and Example 6.19 below). The prevous dscusson leads to the followng queston. Once a par (V,G) s gven, one may wonder whether there s another (V,G ) wth dmv < dmv somehow equvalent to (V,G). That s, we would lke, (1) that Sng(G) be homeomorphc to Sng(G ) n some sense, and (2), that ths homeomorphsm be preserved by local sequences. Ths would mean that fndng a resoluton of G s equvalent to fndng a resoluton of G, the latter beng less complex snce the problem concerns an ambent space of lower dmenson. Ths would allow us to resolve Rees algebras by usng an nductve argument. Ths s the motvaton behnd the theory of elmnaton algebras treated n ths secton (further detals about elmnaton algebras can be found n [5], [6], [32], and [31]). To defne an elmnaton algebra for a gven one, the startng pont wll be a par (V,G) as before, and some smooth morphsm to a (smooth) scheme of lower dmenson β : V V. To be able to talk about elmnaton we wll requre some addtonal condtons on β (whch wll be made precse n Defnton 6.2 below). Now, as we wll see, the dfculty here s that f we are gven a G-permssble sequence over V we would lke to be able to defne (n a natural way) another over V together wth smooth morphsms β and commutatve dagrams: V β V 1 β 1 V V 1... V l β l V l....