Overweight deformations of affine toric varieties and local uniformization

  • Bernard Teissier

    UMR 7586 du CNRS, Paris, France
Overweight deformations of affine toric varieties and local uniformization cover

A subscription is required to access this book chapter.

Abstract

Given an equicharacteristic complete noetherian local ring with algebraically closed residue field , we first present a combinatorial proof of \emph{embedded} local uniformization for zero-dimensional valuations of whose associated graded ring with respect to the filtration defined by the valuation is a finitely generated -algebra. The main idea here is that some of the birational toric maps which provide embedded pseudo-resolutions for the affine toric variety corresponding to also provide local uniformizations for on . These valuations are necessarily Abhyankar (for zero-dimensional valuations this means that the value group is with ).\Par In a second part we show that conversely, given an excellent noetherian equicharacteristic local domain with algebraically closed residue field, if the zero-dimensional valuation of is Abhyankar, there are local domains which are essentially of finite type over and dominated by the valuation ring (-modifications of ) such that the semigroup of values of on is finitely generated, and therefore so is the -algebra . Combining the two results and using the fact that Abhyankar valuations behave well under completion gives a proof of local uniformization for rational Abhyankar valuations and, by a specialization argument, for all Abhyankar valuations. \par As a by-product we obtain a description of the valuation ring of a rational Abhyankar valuation as an inductive limit indexed by of birational toric maps of regular local rings. One of our main tools, the valuative Cohen theorem, is then used to study the extensions of rational monomial Abhyankar valuations of the ring to monogenous integral extensions and the nature of their key polynomials. In the conclusion we place the results in the perspective of local embedded resolution of singularities by a single toric modification after an appropriate re-embedding.