Related papers: Henselian valued fields and inp-minimality

We construct, for any symplectic, unitary or special orthogonal group over a locally compact nonarchimedean local field of odd residual characteristic, a type for each Bernstein component of the category of smooth representations, using…

The Alesker-Bernig-Schuster theorem asserts that each irreducible representation of the special orthogonal group appears with multiplicity at most one as a subrepresentation of the space of continuous translation-invariant valuations with…

We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings…

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to $\mathbb{Z}$-largeness,…

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability…

We prove the explicit characterization of the so-called "best f" for degree $p$ Artin-Schreier and degree $p$ Kummer extensions of Henselian valuation rings in residue characteristic $p$. This characterization is mentioned briefly in [Th16,…

For a field of characteristic $\ne 2$ we study vector spaces that are graded by the weight lattice of a root system, and are endowed with linear operators in each simple root direction. We show that these data extend to a graded semisimple…

We study metric valued fields in continuous logic, following Ben Yaacov's approach, thus working in the metric space given by the projective line. As our main result, we obtain an approximate Ax-Kochen-Ershov principle in this framework,…

Let (K,v) be a valued field, Y a K-variety, G an algebraic group over K (not necessarily smooth), and f: X->Y a G-torsor over Y. We consider the induced map X(K)-->Y(K), which is continuous for the topologies deduced from the valuation. Let…

This paper finds a classification, up-to an isomorphism, of abelian torsion groups realizable as Brauer groups of major types of Henselian valued primarily quasilocal fields with totally indivisible value groups. When $E$ is a quasilocal…

We previously showed that the inverse limit of standard-graded polynomial rings with perfect coefficient field is a polynomial ring, in an uncountable number of variables. In this paper, we show that the same result holds with 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…

We prove non-vanishing modulo p, for a prime $\ell$ different from p, of central critical Rankin-Selberg L-values with anticyclotomic twists of $\ell$-power conductor. The L-function is Rankin product of a cusp form and a theta series of…

We let R be an o-minimal expansion of a field, V a convex subring, and $(R_0, V_{0})$ an elementary substructure of (R,V). We let L be the language consisting of a language for R, in which R has elimination of quantifiers, and a predicate…

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Motivated by Emmanuel Kowalski's exponential sums over definable sets in finite fields, we generalize Ax's theorem on pseudo-finite fields to a continuous-logic setting allowing for an additive character. The role played by Weil's Riemann…

For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/K$ is an abelian extension if the upper ramification breaks are integers and…

Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on…

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

We prove that the graded quotients of the filtration by ramification groups of any henselian discrete valuation field of residue characteristic $p>0$ are $F_p$-vector spaces. We define an injection of the character group of each graded…