Related papers: Uniform existential definitions of valuations in f…

We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is…

We describe the valuations following infinitely near singular points of a (singular) holomorphic foliation in the complex plane. They appear to be those satisfying a generalization of L'Hopital's rule. With them, we characterize dicritical…

Let $R$ be a local ring of characteristic $p>0$ which is $F$-finite and has perfect residue field. We compute the generalized Hilbert-Kunz invariant for certain modules over several classes of rings: hypersurfaces of finite representation…

In this note we study one-dimensional definable sets in power series fields with perfect residue fields. Using the description of automorphisms given by Schilling, in \cite{S44}, we show that such sets are unions of existentially definable…

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary…

Let $R$ be a 2-dimensional normal excellent henselian local domain in which 2 is invertible and let $L$ and $k$ be respectively its fraction field and residue field. Let $\Omega_R$ be the set of rank 1 discrete valuations of $L$…

In the context of Hilbert's tenth problem, an outstanding open case is that of complex entire functions in one variable. A negative solution is known for polynomials (by Denef) and for exponential polynomials of finite order (by Chompitaki,…

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…

We consider initial value problems for differential-algebraic equations in a possibly infinite-dimensional Hilbert space. Assuming a growth condition for the associated operator pencil, we prove existence and uniqueness of solutions for…

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings…

Given a generically finite local extension of valuation rings $V \subset W$, the question of whether $W$ is the localization of a finitely generated $V$-algebra is significant for approaches to the problem of local uniformization of…

One of the main open problems regarding decidability of the existential theory of rings is the analogue of Hilbert's Tenth Problem (HTP) for the ring of entire holomorphic functions in one variable. In the direction of a negative solution,…

We show how suitable extensions $(L|K,v)$ of prime degree of valued fields give rise to definable coarsenings of the valuation rings of $L$ and $K$. In the case of Artin-Schreier and Kummer extensions with wild ramification, we can also…

The paper introduces a (universal) C*-algebra of continuous functions vanishing at infinity on the n-dimensional quantum complex space. To this end, the well-behaved Hilbert space representations of the defining relations are classified.…

In his unpublished preprint "Definable Valuations" Koenigsmann shows that every field that admits a t-henselian topology is either real closed or separably closed or admits a definable valuation inducing the t-henselian topology. To show…

We prove that Z in definable in Q by a formula with 2 universal quantifiers followed by 7 existential quantifiers. It follows that there is no algorithm for deciding, given an algebraic family of Q-morphisms, whether there exists one that…

We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive…

A study of the relation between a noetherian local domain with a given valuation and its associated graded ring with respect to the valuation, which in some cases is an esentially toric variety, possibly of infinite embedding dimension, but…