On Izumi's theorem on comparison of valuations (Q534540)

Some of the results are as follows: Theorem 3.6. Assume that \((K,\nu)\subset (L,\mu)\) is a valuation extension and \(\{U_i,\beta_i\}_{i\leq\alpha}\) is a weighted basis of \(K[x]\), with respect to \((K,\nu)\) with \(\mu=\omega_\alpha\), and \(\nu,\mu\) are divisorial valuations. Assume in addition that \(\mu\) is centered over an analytically irreducible domain \((R,\mathfrak m)\). Then the number of MacLane key polynomials of the divisorial valuation \((L,\mu)\) is finite, i.e. \(\alpha<\omega\). The proof implies that, if \(L/K\) is of transcendental type, the condition of analytical irreducibility is not needed for proving finiteness; an example is given that this condition is necessary if \(L/K\) is of algebraic type. The author proves Izumi's theorem as one of the consequences: Theorem 1.1. Assume that \(\mu\) and \(\mu'\) are two divisorial \(k\)-valuations of a field \(K/k\) such that \(K\) is the quotient field of an analytically irreducible local domain \((R,\mathfrak m)\subset K\). Assume also that \(\mu, \mu'\) are both centered over \((R,\mathfrak m)\). Then, there exists a real number \(c>0\) such that \(\mu(y)<c\mu'(y)\), for \(y\in\mathbb R\setminus\{0\}\). Consequently, the Izumi constant of these two valuations, namely \(c_R(\mu,\mu'):=\sup_{y\in R\setminus\{0\}}\{\mu(y)/\mu'(y)\}\) is well-defined. Furthermore, the author gives (in Theorems 4.3 and 4.5) explicit bounds for the Izumi constant in terms of the key polynomials and shows that the bounds are attainable in some cases.