D. Mumford conjectured in [33] that the rational cohomology of the stable moduli space of Riemann surfaces is a polynomial algebra generated by certain classes κi of dimension 2i. For the purpose of calculating rational cohomology, one may replace the stable moduli space of Riemann surfaces by BΓ∞ , where Γ∞ is the group of isotopy classes of automorphisms of a smooth oriented connected surface of “large” genus. Tillmann’s theorem [44] that the plus construction makes BΓ∞ into an infinite loop space led to a stable homotopy version of Mumford’s conjecture, stronger than the original [24]. .
