Lecture notes for the talks of David Nadler at the MSRI summer school "New Geometric Techniques in Number Theory"