Formal prime ideals of infinite value and their algebraic resolution (Q2430121)

Suppose that \(R\) is a local domain essentially of finite type over a field of characteristic \(0\), and \(\nu\) a valuation of the quotient field of \(R\) which dominates \(R\). The rank of such a valuation often increases upon extending the valuation to a valuation dominating \(\widehat R\), the completion of \(R\). There are several papers where this phenomenon is studied. In [Contemp. Math. 386, 13--34 (2005; Zbl 1216.13013)], \textit{S.~D.~Cutkosky} and \textit{L.~Ghezzi} handle this phenomenon when the rank of \(\nu\) is \(1\) by resolving the prime ideal of infinite value, but give an example showing that when the rank is greater than \(1\), there is no natural ideal in \(\widehat R\) that leads to this obstruction. In the paper under review, the authors extend the result of Cutkosky and Ghezzi on the resolution of prime ideals of infinite value to valuations of arbitrary rank.