MacLane-Vaquié chains of valuations on a polynomial ring

Abstract

Let $(K,v)$ be a valued field. We review some results of MacLane and Vaquié on extensions of $v$ to valuations on the polynomial ring $K[x]$. We introduce certain MacLane-Vaquié chains of residually transcendental valuations, and we prove that every valuation $μ$ on $K[x]$ is a limit of a finite or countably infinite MacLane-Vaquié chain. This chain underlying $μ$ is essentially unique and contains arithmetic data yielding an explicit description of the graded algebra of $μ$ as an algebra over the graded algebra of $v$.