Related papers: Valuations with infinite limit-depth

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…

The main goal of this paper is to characterize limit key polynomials for a valuation $\nu$ on $K[x]$. We consider the set $\Psi_\alpha$ of key polynomials for $\nu$ of degree $\alpha$. We set $p$ be the exponent characteristic of $\nu$. Our…

We study the theory of a global field k as a k-vector space with a predicate for one of the absolute values on k. For example, we prove that in this language a global field with an ultrametric or real archimedean absolute value has a…

These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof…

We extend the characterization of extremal valued fields given in \cite{[AKP]} to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that…

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

Let k be a field and R a pure subring of the infinite-dimensional polynomial ring k[X1;...]. If R is generated by monomials, then we show that the equality of height and grade holds for all ideals of R. Also, we show R satisfies the weak…

We characterize all logarithmic, holomorphic vector-valued modular forms which can be analytically continued to a region strictly larger than the upper half-plane.

We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension.

Given a valued field $(K,v)$ and its completion $(\widehat{K},v)$, we study the set of all possible extensions of $v$ to $\widehat{K}(X)$. We show that any such extension is closely connected with the underlying subextension $(K(X)|K,v)$.…

We develop notions of valuations on a semiring, with a view toward extending the classical theory of abstract nonsingular curves and discrete valuation rings to this general algebraic setting; the novelty of our approach lies in the…

We prove that the sequence of MacLane key polynomials constructed in \cite{Mac1} and \cite{Sp2} for a valuation extension $(K,\nu)\subset (K(x),\mu)$ is finite, provided that both $\nu$ and $\mu$ are divisorial and $\mu$ is centered over an…

We show that a mixed characteristic valuation ring with a value group $\Gamma$, $\val$ its valuation and a residue field of characteristic $p>0$, is a filtered colimit of complete intersection $\bf Z$-algebras if $\Gamma/{\bf Z}\val(p)$ has…

This is an introduction to the author theory of cyclic p-extensions of an absolutely unramified complete discrete valuation field K with arbitrary residue field of characteristic p. In this theory a homomorphism is constructed from the…

This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the…

A complete classification of unimodular valuations on the set of lattice polygons with values in the spaces of polynomials and formal power series, respectively, is established. The valuations are classified in terms of their behaviour with…

In this paper we develop a method for constructing generating sequences for valuations dominating the ring of a two dimensional quotient singularity. Suppose that $K$ is an algebraically closed field of characteristic zero, $K[X,Y]$ is a…

For a subfield $\K$ of the field $\C$ of complex numbers, we consider curve and divisorial valuations on the algebra $\K[[x,y]]$ of formal power series in two variables with the coeficients in $\K$. We compute the semigroup Poincar\'e…

A field $k$ is called large if every irreducible $k$-curve with a $k$-rational smooth point has infinitely many $k$-points. Let $k$ be a perfect large field and let $f \in k[x]$. Consider the evaluation map $f_k: k \to k$. Assume that $f_k$…

We give a first-order definition of key polynomials, we show the links with previous definitions, that it is relevant to study key degrees, and to use a kind of valuations that we call partially multiplicative. We also prove or reprove…