D. Mumford conjectured in  that the rational cohomology of the stable moduli space of Riemann surfaces is a polynomial algebra generated by certain classes kappa(i) of dimension 2i. For the purpose of calculating rational cohomology, one may replace the stable moduli space of Riemann surfaces by B Gamma infinity, where Gamma infinity is the group of isotopy classes of automorphisms of a smooth oriented connected surface of "large" genus. Tillmann's theorem  that the plus construction makes B Gamma infinity into an infinite loop space led to a stable homotopy version of Mumford's conjecture, stronger than the original . We prove the stronger version, relying on Harer's stability theorem , Vassiliev's theorem concerning spaces of functions with moderate singularities ,  and methods from homotopy theory.
- mapping class group