Extensions of valuations to the completion of a local domain (Q1175529): Difference between revisions

Let \((R,m)\) be a normal local domain of dimension \(n>1\) and \(V\) a valuation domain birationally dominating \(R\). If the \(m\)-adic completion \(\hat R\) is a domain then there exists a valuation domain \(W\) extending \(V\) and birationally dominating \(\hat R\) [see \textit{S. Abhyankar}, Ann. Math. (2) 63, 491--526 (1956; Zbl 0108.16803), lemma 13]. The aim of this paper is to show that if \(\hat R\) is a normal domain then there exists a unique valuation domain \(W\) as above. This statement generalizes \textit{H. Göhner}'s result from J. Algebra 34, 403--429 (1975; Zbl 0308.13023) and \textit{M. Spivakovsky}'s result from case \(n=2\) [see Am. J. Math. 112, No. 1, 107--156 (1990; Zbl 0716.13003)].