Constructing examples of semigroups of valuations

Abstract: We work with rational rank 1 valuations centered in regular local rings. Given an algebraic function field

K

of transcendence degree 3 over

k

, a regular local ring

R

with

Q F (R) = K

and a

k

-valuation

u

of

K

, we provide an algorithm for constructing a generating sequences for

u

in

R

. We then develop a method for determining a valuation

u

on

k (x, y, z)

through the sequence of defining values. Using the above results we construct examples of valuations centered in

k [x, y, z]_{(x, y, z)}

and investigate their semigroups of values.

Review text

This paper provides an effective and systematic construction of generating sequences for rational rank 1 valuations centered in regular local rings of dimension 3 and applies these to construct new examples of semigroups of valuations. A generating sequence for a valuation centered in a localization \(R\) of \(k[x,y,z]\) is a sequence of polynomials whose images in the graded ring \(\mathrm{gr}_{\nu} R:=\bigoplus_{i\in\Phi}\{f\in R\mid\nu(f)\geq i\}/\{f\in R\mid\nu(f)>i\}\), where \(\Phi\) denotes the valuation semigroup of \(\nu\), generate \(\mathrm{gr}_{\nu}R\) as \(R/m_R\)-algebra. In dimension 2, the construction of such sequences has been first done by \textit{M. Spivakovsky} [Am. J. Math. 112, No. 1, 107--156 (1990; Zbl 0716.13003)] and then analogous constructions have been done by other authors as \textit{C. Favre} and \textit{M. Jonsson} [The valuative tree. Berlin: Springer (2004; Zbl 1064.14024)]. The generating sequences given in this paper are formed by two families of polynomials: one family denoted by \(\{P_i\}\) and one denoted by \(\{T_i\}\). The first one is very similar to the construction of key polynomials given by Favre and Jonsson for \(k[x,y]_{(x,y)}\) but the second one does not appear in dimension 2. The author studies different properties of these generating sequences. In particular she investigates the polynomials which are redundant in these sequences. In a second part the author introduces a new sequence of polynomials, called defining polynomials. These are built from combinatorial data and define in a unique way a valuation on \(k[x,y,z]_{(x,y,z)}\). This sequence is also formed by two families, the first one being the family \(\{P_i\}\) introduced before. Then these sequences of defining polynomials are finally used to give new examples of semigroups of valuations.

Recommendations

Cites work

Cited in

(10)

This page was built for publication: Constructing examples of semigroups of valuations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2630020)