Related papers: The theory DCF$_p$A exists for $p>0$

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

We establish a Primitive Element Theorem for fields equipped with several commuting operators such that each of the operators is either a derivation or an automorphism. More precisely, we show that for every extension $F \subset E$ of such…

There exists an absolute constant $C$ with the following property. Let $A \subseteq \mathbb{F}_p$ be a set in the prime order finite field with $p$ elements. Suppose that $|A| > C p^{5/8}$. The set \[ (A \pm A)(A \pm A) = \{(a_1 \pm…

This paper generalizes a theorem of Hida on the structure of ordinary representations on unitary groups to $P$-ordinary representations, where $P$ is a general parabolic subgroup of some general linear group. When $P$ is minimal, we recover…

A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent…

We obtain a Bogomolov type of result for the additive group scheme in characteristic $p$. Our result is equivalent with a Bogomolov theorem for Drinfeld modules defined over a finite field.

We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…

In this note we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued…

Let A be a regular domain of dimension d containing an infinite field and let n be an integer with 2n\geq d+3. For a stably free A-module P of rank n, we prove that (i) P has a unimodular element if and only if the euler class of P is zero…

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,…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem,…

We develop, for an l-adic etale sheaf on a complete trait of characteristic p>0, the notion of characteristic variety. Our approach, inspired by the microlocal analysis of Kashiwara and Schapira, is a complement to our ramification theory…

We show that each local field $\mathbb{F}_q((t))$ of characteristic $p > 0$ is characterised up to isomorphism within the class of all fields of imperfect exponent at most $1$ by (certain small quotients of) its absolute Galois group…

We show that if a group automorphism of a Cremona group of arbitrary rank is also a homeomorphism with respect to either the Zariski or the Euclidean topology, then it is inner up to a field automorphism of the base-field. Moreover, we show…

We prove the Existential Closedness conjecture for the differential equation of the $j$-function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the $j$-function…

Let k be an algebraically closed field of odd characteristic. We describe derivations of a large class of quantizations of affine normal Poisson varieties over k.

Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\mathbb{F}$ be an algebraically closed field of characteristic $0$. Recently, together with Bouc, we introduced the notion of functorial equivalences between blocks…