Singularities and vanishing cycles in number theory over function fields - Will Sawin (2020)