Motivic representations and finite rational points
Abstract
I will briefly introduce the Chabauty-Kim argument for effective finiteness results on "topologically rich enough" curves. I will then introduce the Fontaine-Mazur conjecture and show how it provides an effective proof of Faltings' Theorem.
In the case of non-CM elliptic curves minus a point, following work of Federico Amadio Guidi, I'll show how the relevant input for effective finiteness is provided by the vanishing of adjoint Selmer groups proven by Newton and Thorne.