Equations for formal toric degenerations
Let $R$ be a complete equicharacteristic noetherian local domain and $ν$ a valuation of its field of fractions whose valuation ring dominates $R$ with trivial residue field extension. The semigroup of values of $ν$ on $R\setminus \{0\}$ is not finitely generated in general. We produce equations in an appropriate generalized power series ring for the algebra encoding the degeneration of $R$ to the toric graded algebra ${\rm gr}_νR$ associated to the filtration defined by $ν$. We apply this to represent $ν$ as the limit of a sequence of Abhyankar semivaluations (valuations on quotients) of $R$ with finitely generated semigroups.
math.AG↗