Séminaire Bourbaki

Oscar RANDAL-WILLIAMS — Homology of Hurwitz spaces and the Cohen–Lenstra heuristic for function fields, after Ellenberg, Venkatesh, and Westerland

Amphithéâtre Hermite (Institut Henri Poincaré)

Amphithéâtre Hermite

Institut Henri Poincaré

11 rue Pierre-et-Marie-Curie, 75005 Paris

Ellenberg, Venkatesh, and Westerland have established a weak form of the function field analogue of the Cohen–Lenstra heuristic, on the distribution of imaginary number fields with l-parts of their class groups isomorphic to a fixed group. They first explain how this follows from an asymptotic point count for certain Hurwitz schemes, and then establish this asymptotic by using the Grothendieck–Lefschetz trace formula to translate it into a difficult homological stability problem in algebraic topology, which they nonetheless solve. I will explain their argument, focussing on their remarkable homological stability theorem for Hurwitz spaces.