In the o-minimal setting, parametrizations of definable sets form a key component of the Pila-Wilkie counting theorem. A similar strategy based on parametrizations was developed by Cluckers-Comte-Loeser and Cluckers-Forey-Loeser to prove an analogue of the Pila-Wilkie theorem for subanalytic sets in p-adic fields. In joint work with R. Cluckers and I. Halupczok, we prove the existence of parametriza- tions for arbitrary definable sets in Hensel minimal fields, leading to a counting theorem in this general context. [-]

We will present some of the original definitions, results, and proof techniques about Pfaffian functions on the reals by Khovanskii.
A simple example of a Pfaffian function is an analytic function $f$ in one variable $x$ satisfying a differential equation $f^\prime = P(x,f)$ where $P$ is a polynomial in two variables. Khovanskii gives a notion of complexity of Pfaffian functions which in the example is just the degree of $P$. Using this complexity, he proves analogues of Bézout's theorem for Pfaffian curves (say, zero loci of Pfaffian functions in two variables), with explicit upper bounds in terms of the ocurring complexities.
We explain a recent application by J. Pila and others to a low-dimensional case of Wilkie's conjecture on rational points of bounded height on restricted Pfaffian curves. The result says that the number of rational points of height bounded by $T$, on a transcendental restricted Pfaffian curve, grows at most as a power of log$(T)$ as $T$ grows. This improves the typical upper bound $T^\epsilon$ in Pila-Wilkie's results in general o-minimal structures, the improvement being due to extra geometric Bézout-like control.
In the non-archimedean setting, I will explain analogues of some of these results and techniques, most of which are (emerging) work in progress with L. Lipshitz, F. Martin and A. Smeets. Some ideas in this case come from work by Denef and Lipshitz on variants of Artin approximation in the context of power series solution.[-]

Given two algebraic curves $X$, $Y$ over a finite field we might want to know if there is a rational map from $Y$ to $X$. This has been looked at from a number of perspectives and we will look at it from the point of view of diophantine geometry by viewing the set of maps as $X(K)$ where $K$ is the function field of $Y$. We will review some of the known obstructions to the existence of rational points on curves over global fields, apply them to this situation and present some results and conjectures that arise.[-]

We will present work in progress, joint with Hexi Ye, towards a conjecture of Bogomolov, Fu, and Tschinkel asserting uniform bounds for common torsion points of nonisomorphic elliptic curves. We introduce a general approach towards uniform unlikely intersection bounds based on an adelic height pairing, and discuss the utilization of this approach for uniform bounds on common preperiodic points of dynamical systems, including torsion points of elliptic curves.[-]

The Green–Griffiths–Lang–Vojta conjectures relate the hyperbolicity of an algebraic variety to the finiteness of sets of “rational points”. For instance, it suggests a striking answer to the fundamental question “Why do some polynomial equations with integer coefficients have only finitely many solutions in the integers?”. Namely, if the zeroes of such a system define a hyperbolic variety, then this system should have only finitely many integer solutions.
In this talk I will explain how to verify some of the algebraic, analytic, and arithmetic predictions this conjecture makes. I will present results that are joint work with Ljudmila Kamenova.[-]