Rank one discrete valuations of $k((X_1,...X_n))$

Gr\"obner bases have been generalized by replacing monomial orders with constructions such as valuations and filtrations. We consider suitable valuations on a rational valuation field $K(x,y)$ and analyze their behavior when restricting to an underlying polynomial ring $K[x,y]$. In previous work, the corresponding value groups were subsets of ${\mathbb Q}$, and in this paper we consider the case when the value groups are isomorphic to ${\mathbb Z} \oplus {\mathbb Z}$. Bounds ...

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 $QF(R)=K$ and a $k$-valuation $\nu$ of $K$, we provide an algorithm for constructing a generating sequences for $\nu$ in $R$. We then develop a method for determining a valuation $\nu$ on $k(x,y,z)$ through the sequence of defining values. Using the above results we construct examples of valuations cen...

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero.

Let R be a real closed field and A=R[x_1,...,x_n]. Let sper A denote the real spectrum of A. There are two kinds of points in sper A : finite points (those for which all of |x_1|,...,|x_n| are bounded above by some constant in R) and points at infinity. In this paper we study the structure of the set of points at infinity of sper A and their associated valuations. Let T be a subset of {1,...,n}. For j in {1,...,n}, let y_j=x_j if j is not in T and y_j=1/x_j if j is in T. Let ...

Classically, Groebner bases are computed by first prescribing a set monomial order. Moss Sweedler suggested an alternative and developed a framework to perform such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on rational function fields of two variables that are suitable for this framework. For these valuations, we explicitly compute the image of an underlying polynomial ring and use this to per...

We extend and prove a conjecture of Bengu\c{s}-Lasnier on the parametrization of valuations on a polynomial ring by certain spaces of diskoids.

Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the m-adic completion of R. In the applications of valuation theory to commutative algebra and the study of singularities, one is often induced to replace R by its m-adic completion \hat{R} and v by a suitable extension \hat{v} to \hat{R}/P for a...

Suppose that (K, $\nu$) is a valued field, f (z) $\in$ K[z] is a unitary and irreducible polynomial and (L, $\omega$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K such that $\nu$ has nonnegative value on A and positive value on its maximal ideal, and that f (z) is in A[z]. This paper is devoted to the problem of describing the structure of the associated graded ring gr $\omega$ A[z]/(f (z)) of A[z]/(f...

This is a self-contained purely algebraic treatment of desingularization of fields of fractions $\mathbf{L}:=Q(\mathbf{A})$ of $d$-dimensional domains of the form \[\mathbf{A}:=\bar{\mathbf{F}}[\underline{x}]/\langle b(\underline{x})\rangle\] with a purely algebraic objective of uniquely describing $d$-dimensional valuations in terms of $d$ explicit (independent) local parameters and $1$ (dependent) local unit, for arbitrary dimension $d$ and arbitrary characteristic $p$. The...

This is an extended introduction to discrete valuation rings and Dedekind domains. Some natural generalizations of Dedekind domains are also (briefly) discussed including "almost Dedekind domains", Pr\"ufer domains, Krull domains, and singular integral domains of dimension 1.