Generating sequences and semigroups of valuations on 2-dimensional normal local rings (Q2214722)

Let \(\alpha\) and \(\beta\) be primitive \(m\)-th root and \(n\)-th root of unity, respectively, let \(K\) be an algebraically close field of characteristic zero and let \(R=K[X,Y]\) be a polynomial ring in two variables over \(K\) with \(m=(X,Y)\) its maximal ideal. The author gives a characterization for the existence of a rational rank one non discrete valuation dominating \(R_m\) with a generating sequence of eigenfunctions for a subgroup, \(H\), of \(\langle\alpha\rangle\times\langle\beta\rangle\) using the greatest common divisor of \(m\) and \(n\). He also gives a method for computing the semigroup of values of elements of \(K[X,Y]^H\). Finally, he shows that this kind of valuation restricted to the quotient field of a local domain does not split in \(K[X,Y]_m\). The paper es quite technical so a good backgroud is required to fully understand it.