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 (G i )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 (v i )i∈ℕ of vertices such that the graphs G i rooted at v i 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.

We study countable saturation of metric reduced products and introduce continuous fields of metric structures indexed by locally compact, separable, completely metrizable spaces. Saturation of the reduced product depends both on the underlying index space and the model. By using the Gelfand–Naimark duality we conclude that the assertion that the Stone–Čech remainder of the half-line has only trivial automorphisms is independent from ZFC (Zermelo-Fraenkel axiomatization of set theory with the Axiom of Choice). Consistency of this statement follows from the Proper Forcing Axiom, and this is the first known example of a connected space with this property.

We prove that if $y''=f(y,y',t,\alpha ,\beta ,\ldots)$ is a generic Painlevé equation from among the classes II, IV and V, and if $y_1,\ldots,y_n$ are distinct solutions, then $\mathrm{tr.deg}(\mathbb{C}(t)(y_1,y'_1,\ldots,y_n,y'_n)/\mathbb{C}(t))=2n$. (This was proved by Nishioka for the single equation $P_{{\rm I}}$.) For generic Painlevé III and VI, we have a slightly weaker result: $\omega $-categoricity (in the sense of model theory) of the solution space, as described below. The results confirm old beliefs about the Painlevé transcendents.

We prove that groups definable in o-minimal structures have Cartan subgroups, and only finitely many conjugacy classes of such subgroups. We also delineate with precision how these subgroups cover the ambient group.

We explain how the André–Oort conjecture for a general Shimura variety can be deduced from the hyperbolic Ax–Lindemann conjecture, a good lower bound for Galois orbits of special points and the definability, in the $o$ -minimal structure ${ \mathbb{R} }_{\mathrm{an} , \mathrm{exp} } $ , of the restriction to a fundamental set of the uniformizing map of a Shimura variety. These ingredients are known in some important cases. As a consequence a proof of the André–Oort conjecture for projective special subvarieties of ${ \mathcal{A} }_{6}^{N} $ for an arbitrary integer $N$ is given.

We prove a “special point” result for products of elliptic modular surfaces, elliptic curves, multiplicative groups and complex lines, and deduce a result about vanishing linear combinations of singular moduli and roots of unity.

We address the question of the dualizability of nilpotent Mal’cev algebras, showing that nilpotent finite Mal’cev algebras with a nonabelian supernilpotent congruence are inherently nondualizable. In particular, finite nilpotent nonabelian Mal’cev algebras of finite type are nondualizable if they are direct products of algebras of prime power order. We show that these results cannot be generalized to nilpotent algebras by giving an example of a group expansion of infinite type that is nilpotent and nonabelian, but dualizable. To our knowledge this is the first construction of a nonabelian nilpotent dualizable algebra. It has the curious property that all its nonabelian finitary reducts with group operation are nondualizable. We were able to prove dualizability by utilizing a new clone theoretic approach developed by Davey, Pitkethly, and Willard. Our results suggest that supernilpotence plays an important role in characterizing dualizability among Mal’cev algebras.