A refinement of Izumi's Theorem

S. Boucksom (1) , Charles Favre (2) , Mattias Jonsson

1 IMJ - Institut de Mathématiques de Jussieu
2 CMLS - Centre de Mathématiques Laurent Schwartz

We improve Izumi's inequality, which states that any divisorial valuation v centered at a closed point 0 on an algebraic variety Y is controlled by the order of vanishing at 0. More precisely, as v ranges through valuations that are monomial with respect to coordinates in a fixed birational model X dominating Y, we show that for any regular function f on Y at 0, the function v--> v(f)/\ord_0(f) is uniformly Lipschitz continuous as a function of the weight defining v. As a consequence, the volume of v is also a Lipschitz continuous function. Our proof uses toroidal techniques as well as positivity properties of the images of suitable nef divisors under birational morphisms.

Domaines: Algèbre commutative [math.AC]; Géométrie algébrique [math.AG]

S. Boucksom, Charles Favre, Mattias Jonsson (Dir.). A refinement of Izumi's Theorem. Eur. Math. Soc. pp. 55-81, 2014, Valuation theory in interaction, 978-3-03719-149-1. ⟨hal-00793190⟩