We prove model completeness for the expansion of the real field by the Weierstrass ℘ function as a function of the variable z and the parameter (or period) τ. We need to existentially define the partial derivatives of the ℘ function with respect to the variable z and the parameter τ. To obtain this result, it is necessary to include in the structure function symbols for the unrestricted exponential function and restricted sine function, the Weierstrass ζ function and the quasi-modular form E2 (we conjecture that these functions are not existentially definable from the functions ℘ alone or even if we use the exponential and restricted sine functions). We prove some auxiliary model-completeness results with the same functions composed with appropriate change of variables. In the conclusion, we make some remarks about the non-effectiveness of our proof and the difficulties to be overcome to obtain an effective model-completeness result, and how to extend these results to appropriate expansion of the real field by automorphic forms.

In this paper, we develop three different subjects. We study and prove alternative versions of Hrushovski’s ‘stabilizer theorem’, we generalize part of the basic theory of definably amenable NIP groups to $\text{NTP}_{2}$ theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded pseudo real closed fields.

We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of ‘universal covers’ of rigid divisible commutative finite Morley rank groups.

We generalize Skriganov’s notion of weak admissibility for lattices to include standard lattices occurring in Diophantine approximation and algebraic number theory, and we prove estimates for the number of lattice points in sets such as aligned boxes. Our result improves on Skriganov’s celebrated counting result if the box is sufficiently distorted, the lattice is not admissible, and, e.g., symplectic or orthogonal. We establish a criterion under which our error term is sharp, and we provide examples in dimensions $2$ and $3$ using continued fractions. We also establish a similar counting result for primitive lattice points, and apply the latter to the classical problem of Diophantine approximation with primitive points as studied by Chalk, Erdős, and others. Finally, we use o-minimality to describe large classes of sets to which our counting results apply.

We lay the groundwork in this first installment of a series of papers aimed at developing a theory of Hrushovski–Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and closely related structures. The main result of the present paper is a canonical homomorphism between the Grothendieck semirings of certain categories of definable sets that are associated with the $\text{VF}$-sort and the $\text{RV}$-sort of the language ${\mathcal{L}}_{T\text{RV}}$. Many aspects of this homomorphism can be described explicitly. Since these categories do not carry volume forms, the formal groupification of the said homomorphism is understood as a universal additive invariant or a generalized Euler characteristic. It admits not just one, but two specializations to $\unicode[STIX]{x2124}$. The overall structure of the construction is modeled on that of the original Hrushovski–Kazhdan construction.

We present a complex analytic proof of the Pila–Wilkie theorem for subanalytic sets. In particular, we replace the use of $C^{r}$-smooth parametrizations by a variant of Weierstrass division. As a consequence we are able to apply the Bombieri–Pila determinant method directly to analytic families without limiting the order of smoothness by a $C^{r}$ parametrization. This technique provides the key inductive step for our recent proof (in a closely related preprint) of the Wilkie conjecture for sets definable using restricted elementary functions. As an illustration of our approach we prove that the rational points of height $H$ in a compact piece of a complex-analytic set of dimension $k$ in $\mathbb{C}^{m}$ are contained in $O(1)$ complex-algebraic hypersurfaces of degree $(\log H)^{k/(m-k)}$. This is a complex-analytic analog of a recent result of Cluckers, Pila, and Wilkie for real subanalytic sets.

We prove analogs of the Bezout and the Bernstein–Kushnirenko–Khovanskii theorems for systems of algebraic differential conditions over differentially closed fields. Namely, given a system of algebraic conditions on the first $l$ derivatives of an $n$-tuple of functions, which admits finitely many solutions, we show that the number of solutions is bounded by an appropriate constant (depending singly-exponentially on $n$ and $l$) times the volume of the Newton polytope of the set of conditions. This improves a doubly-exponential estimate due to Hrushovski and Pillay. We illustrate the application of our estimates in two diophantine contexts: to counting transcendental lattice points on algebraic subvarieties of semi-abelian varieties, following Hrushovski and Pillay; and to counting the number of intersections between isogeny classes of elliptic curves and algebraic varieties, following Freitag and Scanlon. In both cases we obtain bounds which are singly-exponential (improving the known doubly-exponential bounds) and which exhibit the natural asymptotic growth with respect to the degrees of the equations involved.

We study the question of which Henselian fields admit definable Henselian valuations (with or without parameters). We show that every field that admits a Henselian valuation with non-divisible value group admits a parameter-definable (non-trivial) Henselian valuation. In equicharacteristic 0, we give a complete characterization of Henselian fields admitting a parameter-definable (non-trivial) Henselian valuation. We also obtain partial characterization results of fields admitting -definable (non-trivial) Henselian valuations. We then draw some Galois-theoretic conclusions from our results.

Let $L$ be a countable language. We say that a countable infinite $L$ -structure ${\mathcal{M}}$ admits an invariant measure when there is a probability measure on the space of $L$ -structures with the same underlying set as ${\mathcal{M}}$ that is invariant under permutations of that set, and that assigns measure one to the isomorphism class of ${\mathcal{M}}$ . We show that ${\mathcal{M}}$ admits an invariant measure if and only if it has trivial definable closure, that is, the pointwise stabilizer in $\text{Aut}({\mathcal{M}})$ of an arbitrary finite tuple of ${\mathcal{M}}$ fixes no additional points. When ${\mathcal{M}}$ is a Fraïssé limit in a relational language, this amounts to requiring that the age of ${\mathcal{M}}$ have strong amalgamation. Our results give rise to new instances of structures that admit invariant measures and structures that do not.

We prove a direct image theorem stating that the direct image of a Galois formula by a morphism of difference schemes is equivalent to a Galois formula over fields with powers of Frobenius. As a consequence, we obtain an effective quantifier elimination procedure and a precise algebraic–geometric description of definable sets over fields with Frobenii in terms of twisted Galois formulas associated with finite Galois covers of difference schemes.

In this paper, we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

For each positive $n$, let $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ denote the identity obtained from the Adjan identity $(xy)(yx)(xy)(xy)(yx)\approx (xy)(yx)(yx)(xy)(yx)$ by substituting $(xy)\rightarrow (x_{1}x_{2}\ldots x_{n})$ and $(yx)\rightarrow (x_{n}\ldots x_{2}x_{1})$. We show that every monoid which satisfies $\mathbf{u}_{n}\approx \boldsymbol{v}_{n}$ for each positive $n$ and generates a variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid $U_{2}(\mathbb{T})$ (respectively, $U_{2}(\overline{\mathbb{Z}})$) of two-by-two upper triangular tropical matrices over the tropical semiring $\mathbb{T}=\mathbb{R}\cup \{-\infty \}$ (respectively, $\overline{\mathbb{Z}}=\mathbb{Z}\cup \{-\infty \}$) is nonfinitely based.

We answer a question of Masser by showing that for the Weierstrass zeta function ζ corresponding to a given lattice Λ, the density of algebraic points of absolute multiplicative height bounded by T and degree bounded by k lying on the graph of ζ, restricted to an appropriate domain, does not exceed c(log T)15 for an effective constant c > 0 depending on k and on Λ. Using different methods, we also give two bounds of the same form for the density of algebraic points of bounded height in a fixed number field lying on the graph of ζ restricted to an appropriate subset of (0, 1). In one case the constant c can be shown not to depend on the choice of lattice; in the other, the exponent can be improved to 12.

A direct application of Zorn’s lemma gives that every Lipschitz map $f:X\subset \mathbb{Q}_{p}^{n}\rightarrow \mathbb{Q}_{p}^{\ell }$ has an extension to a Lipschitz map $\widetilde{f}:\mathbb{Q}_{p}^{n}\rightarrow \mathbb{Q}_{p}^{\ell }$. This is analogous to, but easier than, Kirszbraun’s theorem about the existence of Lipschitz extensions of Lipschitz maps $S\subset \mathbb{R}^{n}\rightarrow \mathbb{R}^{\ell }$. Recently, Fischer and Aschenbrenner obtained a definable version of Kirszbraun’s theorem. In this paper, we prove in the $p$-adic context that $\widetilde{f}$ can be taken definable when $f$ is definable, where definable means semi-algebraic or subanalytic (or some intermediary notion). We proceed by proving the existence of definable Lipschitz retractions of $\mathbb{Q}_{p}^{n}$ to the topological closure of $X$ when $X$ is definable.

We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain ${\mathcal{L}}_{\unicode[STIX]{x1D714}_{1},\unicode[STIX]{x1D714}}$-sentence having a unique model of cardinality $\aleph _{1}$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this ${\mathcal{L}}_{\unicode[STIX]{x1D714}_{1},\unicode[STIX]{x1D714}}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.

We prove an analog of the Yomdin–Gromov lemma for $p$-adic definable sets and more broadly in a non-Archimedean definable context. This analog keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C}(\!(t)\!)$, in analogy to results by Pila and Wilkie, and by Bombieri and Pila, respectively. Along the way we prove, for definable functions in a general context of non-Archimedean geometry, that local Lipschitz continuity implies piecewise global Lipschitz continuity.

We prove field quantifier elimination for valued fields endowed with both an analytic structure that is $\unicode[STIX]{x1D70E}$-Henselian and an automorphism that is $\unicode[STIX]{x1D70E}$-Henselian. From this result we can deduce various Ax–Kochen–Eršov type results with respect to completeness and the independence property. The main example we are interested in is the field of Witt vectors on the algebraic closure of $\mathbb{F}_{p}$ endowed with its natural analytic structure and the lifting of the Frobenius. It turns out we can give a (reasonable) axiomatization of its first-order theory and that this theory does not have the independence property.

Nešetřil and Ossona de Mendez introduced the notion of first-order convergence, which unifies the notions of convergence for sparse and dense graphs. They asked whether, if (Gi)i∈ℕ is a sequence of graphs with M being their first-order limit and v is a vertex of M, then there exists a sequence (vi)i∈ℕ of vertices such that the graphs Gi rooted at vi converge to M rooted at v. We show that this holds for almost all vertices v of M, and we give an example showing that the statement need not hold for all vertices.

We explain which Weierstrass ${\wp}$-functions are locally definable from other ${\wp}$-functions and exponentiation in the context of o-minimal structures. The proofs make use of the predimension method from model theory to exploit functional transcendence theorems in a systematic way.

We continue the research programme of comparing the complex exponential with Zilberś exponential. For the latter, we prove, using diophantine geometry, various properties about zero sets of exponential functions, proved for $\mathbb{C}$ using analytic function theory, for example, the Identity Theorem.