On Izumi's theorem on comparison of valuations

DOI10.2996/KMJ/1301576758zbMATH Open1222.13004arXiv0810.2479OpenAlexW1993872896MaRDI QIDQ534540FDOQ534540

Authors: Mohammad Moghaddam 

Publication date: 18 May 2011

Published in: Kodai Mathematical Journal (Search for Journal in Brave)

Abstract: We prove that the sequence of MacLane key polynomials constructed in cite{Mac1} and cite{Sp2} for a valuation extension $(K,u)subset(K(x),mu)$ is finite, provided that both $u$ and $mu$ are divisorial and $mu$ is centered over an analytically irreducible local domain $(R,frakm)subsetK[x]$. As a corollary, we prove Izumi's theorem on comparison of divisorial valuations. %We show that the existence of Izumi constants is equivalent to the finiteness of the sequence of the MacLane key-polynomials. We give explicit bounds for the Izumi constant in terms of the key polynomials of the valuations. We show that this bound can be attained in some cases.

Full work available at URL: https://arxiv.org/abs/0810.2479

Recommendations

• Comparison of divisorial valuations
• Of limit key polynomials
• Key polynomials
• The analogue of Izumi's theorem for Abhyankar valuations
• On the implicit constant fields and key polynomials for valuation algebraic extensions

zbMATH Keywords

divisorial valuations\(i\)-adic expansionsGaussian valuationsIzumi constantMacLane sequence of key polynomialsmonomials of \(i\)-adic formpseudo-valuationsweighted basis

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18)

Cited In (6)

• Comparison of divisorial valuations
• On comparability conditions and generalized valuation maps
• Title not available (Why is that?)
• Divisorial valuations via arcs
• A refinement of Izumi's theorem
• Ultrametric properties for valuation spaces of normal surface singularities

This page was built for publication: On Izumi's theorem on comparison of valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q534540)