Erdős-style geometry is concerned with difficult questions about simple geometric objects, such as counting incidences between finite sets of points, lines, etc. These questions can be viewed as asking for the possible number of intersections of a given algebraic variety with large finite grids of points. An influential theorem of Elekes and Szabó indicates that such intersections have maximal size only for varieties that are closely connected to algebraic groups. Techniques from model theory - variants of Hrushovski’s group configuration and of Zilber’s trichotomy principle - are very useful in recognizing these groups, and led to far reaching generalizations of Elekes-Szabó in the last decade. I will overview some of the recent developments in this area, in particular explaining how all of this is not just about polynomials and works for definable sets in o-minimal structures.
Tag - o-minimality
In the recent years there have been some spectacular applications of the theory of o-minimality (a branch of Model Theory) to some problems in Diophantine Geometry. It culminated in the unconditional proof of the Andre-Oort conjecture on the Zariski closure of sets of special points on Shimura varieties. We will present ideas and methods surrounding this proof.
We review the famous Yomdin-Gromov Lemma about smooth reparametrizations of semialgebraic sets, and state a version of this lemma for holomorphic reparametrizations and semialgebraic sets defined over ℚ. We then introduce o-minimal theory and illustrate how it can deeply impact diophantine geometry.
This is a series of talks on model theory by Jonathan Pila, about point counting, O-minimality and Ax-Schaunel, and the Zilber-Pink conjecture.

You must be logged in to post a comment.