Related papers: Transfer principles and the Kato-Kuzumaki conjectu…

We prove, assuming resolution of singularities in positive characteristic, an analogue of Siegel's theorem on sum of squares in positive characteristic. The method of proof combines techniques from central simple algebras with model theory…

The Rubio de Francia extrapolation theorem is a very powerful result which states that in order to show that certain operators satisfy weighted norm inequalities with Muckenhoupt weights it suffices to see that the corresponding…

We give a function field specific, algebraic proof of the main results of class field theory for abelian extensions of degree coprime to the characteristic. By adapting some methods known for number fields and combining them in a new way,…

For a big tt-category, we give a characterization of the Telescope Conjecture (TC) in terms of definable tensor-ideals generated by homological residue fields. We formulate a stalk-locality property of (TC) and prove that it holds in the…

Criteria for distillability, and the property of having a positive partial transpose, are introduced for states of general bipartite quantum systems. The framework is sufficiently general to include systems with an infinite number of…

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 define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field,…

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of…

We state and prove an analogue of the Kakeya conjecture for the local field $\mathbb{F}_q(\!(t)\!)$. This extends Arsovski's result on the Kakeya conjecture to local fields of positive characteristic. We also prove the Kakeya maximal…

We first prove that the well known transfer principle of A. P. Calder\'on can be extended to the vector-valued setting and then we apply this extension to vector-valued inequalities for the Hardy-Littlewood maximal function to prove the…

We provide axiomatization and relative quantifier elimination for valued fields equipped with an automorphism, in residue characteristic zero. Similar results are known under strong assumptions on the interaction between the automorphism…

It is proved that, if $K$ is a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field satisfying a mild condition, then any abelian variety over $K$ with potentially good reduction has finite…

Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity…

Building on work of Kuhlmann and Lisinski, we study the theory of the Hahn series field $\mathbb{F}_{q}(\!(\mathbb{Q})\!)$, over a finite field $\mathbb{F}_{q}$, equipped with the $t$-adic valuation, in a language of valued fields. We prove…

For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios…

Let $k$ be a $d$-local field such that the corresponding $1$-local field $k^{(d-1)}$ is a $p$-adic field and $C$ a curve over $k$. Let $K$ be the function field of $C$. We prove that for each $n,m \in \mathbf{N}$, and hypersurface $Z$ of…

The following homotopy lifting theorem is proved: Let $\phi, \psi: B \to D/I$ be homotopic $\ast$-homomorphisms and suppose $\psi$ lifts to a (discrete) asymptotic homomorphism. Then $\phi$ lifts to a (discrete) asymptotic homomorphism.…

Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…

In this note, we promote an infinite Kadison transitivity theorem on massive $C^*$-algebras, including the Calkin algebra. This transitivity stems from the analog of countable degree-1 saturation on pure states which is inherited from these…

These notes develop the foundations of Milnor-Witt K-theory for fields of arbitrary characteristic, without any perfectness assumptions. Extending the work of Morel and Feld, we establish all functorial properties of Milnor-Witt K-theory…