The Lang-Vojta conjecture and smooth hypersurfaces over number fields.
ENS Salle WSiegel proved the finiteness of the set of solutions to the unit equation in a number ring, i.e., for a number field K with ring of integers O, the equation x+y=1 has only finitely many solutions in O*. That is, reformulated in more algebro-geometric terms, the hyperbolic curve P^1-{0,1,infinite} has only finitely many 'integral points'. In 1983, Faltings proved the Mordell conjecture generalizing Siegel's theorem: a hyperbolic complex algebraic curve has only finitely many integral points. Inspired by Faltings's and Siegel's finiteness results, Lang and Vojta formulated a general finiteness […]