Related papers: Definable henselian valuations

Suppose that $R$ is a local domain essentially of finite type over a field of characteristic 0, and $\nu$ a valuation of the quotient field of $R$ which dominates $R$. The rank of such a valuation often increases upon extending the…

We provide a characterisation of differentially large fields in arbitrary characteristic and a single derivation in the spirit of Blum axioms for differentially closed fields. In the case of characteristic zero, we use these axioms to…

Let $(K, v)$ be a Henselian valued field satisfying the following conditions, for a given prime number $p$: (i) central division $K$-algebras of (finite) $p$-primary dimensions have Schur indices equal to their exponents; (ii) the value…

T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure…

We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S…

In this paper we present a characterization for the defect of a simple algebraic extensions of valued fields. This characterization generalizes the known result for the henselian case, namely that the defect is the product of the relative…

We prove that every ultraproduct of $p$-adics is inp-minimal (i.e., of burden $1$). More generally, we prove an Ax-Kochen type result on preservation of inp-minimality for Henselian valued fields of equicharacteristic $0$ in the RV…

We give explicit formulas witnessing IP, \IPn or TP2 in fields with Artin-Schreier extensions. We use them to control $p$-extensions of mixed characteristic henselian valued fields, allowing us most notably to generalize to the \NIPn…

In this paper, we present a criterion for $(K,v)$ to be henselian and defectless in terms of finite complete sequences of key polynomials. For this, we use the theory of Mac Lane-Vaqui\'e chains and abstract key polynomials. We then prove…

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…

We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed, or algebraically closed field F, we give a sufficient condition for a valued subfield of the field of generalized power…

We extend the formalism and results on motivic integration from ["Constructible motivic functions and motivic integration", Invent. Math., Volume 173, (2008) 23-121] to mixed characteristic discretely valued Henselian fields with bounded…

Minimal pairs of definition were introduced by Alexandru, Popescu and Zaharescu to study residue transcendental extensions. In this paper we obtain analogous results in the value transcendental case. We introduce the notion of minimal…

We generalize Deligne's equivalence between the categories of regular-singular connections on the formal punctured disk and on the punctured affine line to the case where the base is a strictly Henselian discrete valuation ring of equal…

Pre-$H$-fields are ordered valued differential fields satisfying some basic axioms coming from transseries and Hardy fields. We study pre-$H$-fields that are differential-Hensel-Liouville closed, that is, differential-henselian, real…

Let $K$ be a field with $G_K(2) \simeq G_{\mathbb{Q}}(2)$, where $G_F(2)$ denotes the maximal pro-2 quotient of the absolute Galois group of a field $F$. We prove that then $K$ admits a (non-trivial) valuation $v$ which is 2-henselian and…

In this paper, we give a valuation formula for rational top differential forms of function fields in characteristic zero for arbitrary Abhyankar places generalizing the classical valuation at prime divisors. This enables us to define log…

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…

For an arbitrary valued field $(K,v)$ and a given extension $v(K^*)\hookrightarrow\Lambda$ of ordered groups, we analyze the structure of the tree formed by all $\Lambda$-valued extensions of $v$ to the polynomial ring $K[x]$. As an…

The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…