  We speculate about an algebro-geometric proof of Harer's theorem on the
rational Picard group of the moduli space of smooth complex curves. In
particular, we refine the approach of Diaz and Edidin involving the Hurwitz
space which parameterizes smooth covers of the projective line.
