Francesco Ballini

Roots of Unity on Varieties and the Pila-Zannier Method

In 2008 Pila and Zannier used a Theorem coming from Logic, proven by Pila and Wilkie, to give a new proof of the Manin-Mumford Conjecture, creating a new, powerful way to prove Theorems in Diophantine Geometry. The Pila-Wilkie Theorem gives an upper bound on the number of rational points on analytic varieties which are not algebraic; this bound usually contradicts a Galois-theoretic bound obtained by arithmetic considerations. We show how this technique can be applied to the following problem of Lang: given an irreducible polynomial f(x,y) in C[x,y], if for infinitely many pairs of roots of unity (a,b) we have f(a,b)=0, then f(x,y) is either of the form x^my^n-c or x^m-cy^n for c a root of unity.