Related papers: Definable henselian valuations

In the article "Picard-Vessiot theory of differentially simple rings" we established a Picard-Vessiot theory over differentially simple rings which may not be fields. Differential modules over such rings were proven to be locally free but…

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

We determine what are the fields of values of the irreducible $p$-height zero characters of all finite groups for $p=2$; we conjecture what they should be for odd primes, and reduce this statement to a problem on blocks of quasi-simple…

In this note, we study the Cohen-Macaulayness of non-Noetherian rings. We show that Hochster's celebrated theorem that a finitely generated normal semigroup ring is Cohen-Macaulay does not extend to non-Noetherian rings. We also show that…

The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…

We introduce \emph{residually dominated groups} in pure henselian valued fields of equicharacteristic zero, as an analogue of stably dominated groups introduced by Hrushovski and Rideau-Kikuchi. We show that when $G$ is a residually…

Let F be a field complete for a real valuation. It is a standard result in valuation theory that a finite extension of F admits a valuation basis if and only if it is without defect. We show that even otherwise, one can construct bases in…

Abhyankar showed that for a finite tame extension $L_1/K$ and a finite extension $L_2/K$ of $\mathfrak{P}$-adic fields, the condition $[\nu L_1 : \nu K]$ divides $[\nu L_2 : \nu K]$ is sufficient to eliminate ramification, that is, $L_1…

We study residually transcendental extensions of a valuation $v$ on a field $E$ to function fields of hyperelliptic curves over $E$. We show that $v$ has at most finitely many extensions to the function field of a hyperelliptic curve over…

The epicenter of this paper concerns Pfister quadratic forms over a field $F$ with a Henselian discrete valuation. All characteristics are considered but we focus on the most complicated case where the residue field has characteristic 2 but…

In this article, we study the structure of finitely ramified mixed characteristic valued fields. For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th…

We show that a finite-dimensional tame division algebra D over a Henselian field F has a maximal subfield Galois over F if and only if its residue division algebra has a maximal subfield Galois over the residue field of F. This generalizes…

We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field…

A henselian valued field $K$ is called separably tame if its separable-algebraic closure $K^{\operatorname{sep}}$ is a tame extension, that is, the ramification field of the normal extension $K^{\operatorname{sep}}|K$ is…

We extend results of Denef, Zahidi, Demeyer and the second author to show the following. (1) Rational integers have a single-fold Diophantine definition over the ring of integral functions of any function field of characteristic 0. (2)…

The Multivariate Hensel Lemma for local rings is usually proved as a consequence of the Grothendieck version of Zariski's Main Theorem. This version deals with a more general situation that is a priori much more difficult. In this paper, we…

In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This…

Suppose that $(K,v_0)$ is a valued field, $f(x)\in K[x]$ is a monic and irreducible polynomial and $(L,v)$ is an extension of valued fields, where $L=K[x]/(f(x))$. Let $A$ be a local domain with quotient field $K$ dominated by the valuation…

Let D be a valued division algebra, finite-dimensional over its center F. Assume D has an unramified splitting field. The paper shows that if D contains a maximal subfield which is Galois over F (i.e. D is a crossed product) then the…

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…