Related papers: Characterizing NIP henselian fields

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Combining a characterisation by B\'elair, Kaplan, Scanlon and Wagner of certain $\rm NIP$ valued fields of characteristic $p$ with Dickson's construction of cyclic algebras, we provide examples of noncommutative $\rm NIP$ division ring of…

Given a polynomial with integral coefficients, one can inquire about the possible residues it can take in its image modulo a prime $p$. The sum over the distinct residues can sometimes be computed independent of the prime $p$; for example,…

Let T be an NIP L-theory and T' be an enrichment. We give a sufficient condition on T' for the underlying L-type of any definable (respectively invariant) type over a model of T' to be definable (respectively invariant) as an L-type.…

In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…

We estimate the fraction of isogeny classes of abelian varieties over a finite field which have a given characteristic polynomial P(T) modulo l. As an application we find the proportion of isogeny classes of abelian varieties with a…

Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…

We show that every definable nested family of closed and bounded subsets of a $P$-minimal field $K$ has non-empty intersection. As an application we answer a question of Darni\`ere and Halupczok showing that $P$-minimal fields satisfy the…

We classify irreducible unitary representations of the group of all infinite matrices over a $p$-adic field ($p\ne 2$) with integer elements equipped with a natural topology. Any irreducible representation passes through a group $GL$ of…

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…

We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier…

In the spirit of the Ax-Kochen-Ershov principle, we show that in certain cases the burden of a Henselian valued field can be computed in terms of the burden of its residue field and that of its value group. To do so, we first see that the…

We consider random fields admitting a spectral representation with infinitely divisible integrator and prove some of their properties.

We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…

Let K be a valued field of characteristic p>0 with non-p-divisible value group. We show that every finite embedding problem for K whose kernel is a p-group is properly solvable.

Given a scheme in characteristic p together with a lifting modulo p^2, we construct a functor from a category of suitably nilpotent modules with connection to the category of Higgs modules. We use this functor to generalize the…

We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula…

We continue investigating the structure of externally definable sets in NIP theories and preservation of NIP after expanding by new predicates. Most importantly: types over finite sets are uniformly definable; over a model, a family of…

We give a classification of irreducible admissible modulo $p$ representations of a split $p$-adic reductive group in terms of supersingular representations. This is a generalization of a theorem of Herzig.

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…