Intro to Lawrence-Venkatesh's proof of Mordell-Faltings
Abstract
This talk will be the first in a spin-off series on the Lawrence-Venkatesh approach to showing that every hyperbolic curve$/K$ has finitely many $K$-points. In this talk, we will give the overall outline of the approach and prove several of the preliminary results, such as Faltings' finiteness theorem for semisimple Galois representations.