Using subresultants, we modify a recent real-algebraic proof due to Eisermann of the Fundamental Theorem of Algebra () to obtain the following quantitative information: in order to prove the for polynomials of degree d, the Intermediate Value Theorem () is requested to hold for real polynomials of degree at most d^2. We also explain that the classical algebraic proof due to Laplace requires for real polynomials of exponential degree. These quantitative results highlight the difference in nature of these two proofs.

Determining all rational points on a curve of genus at least 2 can be difficult. Chabauty's method (1941) is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the jacobian, the closure of the Mordell-Weil group with the p-adic points of the curve. If the Mordell-Weil rank is less than the genus then this method has never failed. Minhyong Kim's non-abelian Chabauty programme aims to remove the condition on the rank. The simplest case, called quadratic Chabauty, was developed by Balakrishnan, Dogra, Mueller, […]

The theme of the talk is around the theory of Igusa's local zeta functions, his broader program on local global principles, and recent progress on these via singularity theory and the minimal model program with M. Mustata and K. H. Nguyen. I will also present some new open questions that push Igusa's program further, and partial evidence obtained with K. H. Nguyen.

We fix an o-minimal expansion of the real field, M say. Definabilitynotions are with respect to M. Let F = {f_x : x in X} be a definable familyof (single valued) complex analytic functions, each one having domain somedisk, D_x say, in ?, where the parameter space X is a definable subset of ?^mfor some m. We present some finiteness theorems for such families F whichare uniform in parameters and give some applications.We also speculate on the notion of “definable” Riemann surface.

A field K is called pseudo-algebraically closed (PAC) if every absolutely irreducible variety defined over K has a K-rational point. These fields were introduced by Ax in his characterization of pseudo-finite fields and have since become an important object of study in both model theory and field arithmetic. We will explain how the analysis of a PAC field often reduces to questions about the model theory of the absolute group and describe how these reductions combine with a graph-coding construction of Cherlin, van den Dries, and Macintyre together with to […]