Saturation for valuations on two-dimensional regular local rings (Q1579097)

The working assumptions are that \((R, m)\) is a regular local ring of Krull dimension 2, that there is an algebraically closed coefficient field \(k\) of \(R\), and that for the field \(F\) of fractions of \(R\), \(v:F^*\rightarrow \Phi\) is a valuation, with \(R_v\) the corresponding valuation ring. The authors define the notion of saturation with respect to such a valuation thus extending classical definitions as well as obtaining some results in this respect that help them to deduce some geometric properties. One result is as follows: If one of the following five invariants is known, the remaining four can be deduced: (1) The sequence of values, up to equivalence; (2) the Puiseux exponents; (3) the maximal contact values, up to equivalence; (4) the characteristic exponents, up to equivalence, (5) the semigroup \(S(R)\) of the pair \((S(R),\overline\beta_{g+1})\), up to equivalence. In fact, if \(\{\beta_i\}_{0\leq i<g+2}\) is the characteristic sequence of \(R\), and \(R^\sim\) is the saturation of \(R\) with respect to the valuation \(v\), then knowing the pair \((S(R^\sim),\beta^*)\) up to normalization is equivalent to knowing the characteristic sequence up to normalization (thus equivalent to knowing all the aforementioned 5 items).