Related papers: Definable henselian valuation rings

Let $V$ be a valuation domain of rank one and quotient field $K$. Let $\overline{\hat{K}}$ be a fixed algebraic closure of the $v$-adic completion $\hat K$ of $K$ and let $\overline{\hat{V}}$ be the integral closure of $\hat V$ in…

We employ the slice spectral sequence, the motivic Steenrod algebra, and Voevodsky's solutions of the Milnor and Bloch-Kato conjectures to calculate the hermitian $K$-groups of rings of integers in number fields. Moreover, we relate the…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

We show that if $R$ is a local domain which is dominated by a valuation $\nu$, then there does not always exist a regular local ring $R'$ which birationally dominates R and is dominated by $\nu$ and an extension of $\nu$ to the…

We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…

Let $K$ be a finite extension of $\mathbb{Q}_p$, and choose a uniformizer $\pi\in K$, and put $K_\infty:=K(\sqrt[p^\infty]{\pi})$. We introduce a new technique using restriction to $\Gal(\ol K/K_\infty)$ to study flat deformation rings. We…

Using a remainder theorem for valuations of a field, we give a new perspective on the norm function of a global field. We define the Euler totient function of a global field and recover the essential analytical properties of the classical…

We compute the \'etale cohomology ring $H^*(\text{Spec } \mathcal{O}_K,\mathbb{Z}/n\mathbb{Z})$ where $\mathcal{O}_K$ is the ring of integers of a number field $K.$ As an application, we give a non-vanishing formula for an invariant defined…

The assertion that every definable set has a definable element is equivalent over ZF to the principle $V=\text{HOD}$, and indeed, we prove, so is the assertion merely that every $\Pi_2$-definable set has an ordinal-definable element.…

Let $R$ be a discrete valuation ring, with valuation $v \colon R \twoheadrightarrow \mathbb{Z}_{\ge 0} \cup \{\infty\}$ and residue field $k$. Let $H$ be a hypersurface $\operatorname{Proj}(R[x_0,\ldots,x_n]/\langle f \rangle)$. Let $H_k$…

We show that the complement of the ring of integers in a number field K is Diophantine. This means the set of ring of integers in K can be written as {t in K | for all x_1, ..., x_N in K, f(t,x_1, ..., x_N) is not 0}. We will use global…

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…

We show that a field $K$ is model complete (in the language of rings) if and only if the Heisenberg group $H(K)$ is model complete (in the language of groups). To show that, we extend Levchuk's result about automorphisms of $H(K)$ to the…

We develop a notion of a `canonical $\mathcal{C}$-henselian valuation' for a class $\mathcal{C}$ of field extensions, generalizing the construction of the canonical henselian valuation of a field. We use this to show that the $p$-adic…

We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…

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…

It was proved by Sela and by the authors that every formula in the theory of a free group $F$ is equivalent to a boolean combination of $\exists\forall$-formulas. We also proved that the elementary theory of a free group is decidable (there…

In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language…

We introduce the notion of the definable rank of an ordered field, ordered abelian group and ordered set, respectively. We study the relation between the definable rank of an ordered field and the definable rank of the value group of its…

The purpose of this work is to investigate various notions of regularity from the perspective of finiteness conditions, with the ultimate goal of identifying broad classes of rings that are $\mathsf{K}_0$-regular. In this direction, we…