Given a system of polynomial equations in m complex variables with solution set of dimension d, if we take finite subsets X_i of C each of size at most N, then the number of solutions to the system whose ith co-ordinate is in X_i is easily seen to be bounded as O(N^d). We ask: when can we improve on the exponent d in this bound?Hrushovski developed a formalism in which such questions become amenable to the tools of model theory, and in particular observed that incidence bounds of Szemeredi-Trotter type […]

Originating in the theory of unitary group representations, the notion of spectral gap has played a huge role in many of the deep results in the theory of von Neumann algebras in the last couple of decades. Recently, with my collaborators, we are slowly understanding the model-theoretic significance of spectral gap, in particular its connection with definability. In this talk, I will discuss a few of our recent observations in this direction and speculate on some further possible developments. I will assume no knowledge of von Neumann algebras nor continuous […]

The Chabauty method often allows one to find the rational points on curves of genus at least 2 over the rationals, but has a lot of limitations. On a theoretical level, the Mordell-Weil rank of the Jacobian of the curve has to be strictly smaller than its genus. In practice, even when this condition is satisfied, the relevant Coleman integrals can usually only be computed for hyperelliptic curves. We will report on recent work of ours (with different combinations of collaborators) on extending the method to more general curves. In […]

Zilber conjectured that the complex field equipped with the exponential function is quasiminimal: every definable subset of the complex numbers is countable or co-countable. If true, it would mean that the geometry of solution sets of complex exponential-polynomial equations and their projections is somewhat like algebraic geometry. If false, it is likely that the real field is definable and there may be no reasonable geometric theory of these definable sets.I will report on some progress towards the conjecture, including a proof when the exponential function is replaced by the approximate […]