Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields

We prove a homological stabilization theorem for Hurwitz spaces: moduli spaces of branched covers of the complex projective line. This has the following arithmetic consequence: let ‘ > 2 be prime and A a nite abelian ‘-group. Then there exists Q = Q(A) such that, for q greater than Q, a positive fraction of quadratic extensions of Fq(t) have the ‘-part of their class group isomorphic to A.