The Mumford conjecture predicts the ring of rational characteristic classes for surface bundles with oriented connected fibers of large genus. The first proof in [11] relied on a number of well known but difficult theorems in differential topology. Most of these difficult ingredients have been eliminated in the years since then. This can be seen particularly in [7] which has a second proof of the Mumford conjecture, and in the work of Galatius [5] which is concerned mainly with a “graph” analogue of the Mumford conjecture. The newer proofs emphasize Tillmann’s theorem [23] as well as some sheaf-theoretic concepts and their relations with classifying spaces of categories. These notes are an overview of the shortest known proof, or more precisely, the shortest known reduction of the Mumford conjecture to the Harer-Ivanov stability theorems for the homology of mapping class groups. Some digressions on the theme of classifying spaces and sheaf theory are included for motivation.
@article{127120, author = {Michael Weiss}, title = {New sheaf theoretic methods in differential topology}, journal = {Archivum Mathematicum}, volume = {044}, year = {2008}, pages = {549-567}, zbl = {1212.57008}, mrnumber = {2501584}, language = {en}, url = {http://dml.mathdoc.fr/item/127120} }
Weiss, Michael. New sheaf theoretic methods in differential topology. Archivum Mathematicum, Tome 044 (2008) pp. 549-567. http://gdmltest.u-ga.fr/item/127120/
Introduction to Differential Topology, Engl. edition, Cambridge University Press, New York (1982); German ed. Springer-Verlag, New York (1973). | MR 0674117
On the notion of geometric realization, arXiv:math/0304064. | MR 2119142 | Zbl 1073.55010
A fibre bundle description of Teichmüller theory, J. Differential Geom. 3 (1969), 19–43. (1969) | MR 0276999 | Zbl 0185.32901
Teichmüller theory for surfaces with boundary, J. Differential Geom. 4 (1970), 169–185. (1970) | MR 0277000 | Zbl 0194.52802
Stable homology of automorphism groups of free groups, arXiv:math/0610216.
Mod $p$ homology of the stable mapping class group, Topology 43 (2004), 1105–1132. (2004) | Article | MR 2079997 | Zbl 1074.57013
The homotopy type of the cobordism category, arXiv:math/0605249. | MR 2506750
Stability of the homology of the mapping class groups of oriented surfaces, Ann. of Math. (2) 121 (1985), 215–249. (1985) | MR 0786348
Stabilization of the homology of the Teichmüller modular groups, Algebra i Analiz 1 (1989), 120–126, translation in Leningrad Math. J. 1 (1990), 675–691. (1989) | MR 1015128
The stable mapping class group and $Q\mathbb{C}P^\infty _+$, Invent. Math. 145 (2001), 509–544. (2001) | Article | MR 1856399
The stable moduli space of Riemann surfaces: Mumford’s conjecture, Ann. of Math. (2) 165 (2007), 843–941. (2007) | MR 2335797 | Zbl 1156.14021
Homology fibrations and the “group-completion” theorem, Invent. Math. 31 (1976), 279–284. (1976) | Article | MR 0402733 | Zbl 0306.55020
The homology of the mapping class group, J. Differential Geom. 24 (1986), 1–14. (1986) | MR 0857372 | Zbl 0618.57005
Construction of universal bundles. II, Ann. of Math. (2) 63 (1956), 430–436. (1956) | Article | MR 0077932 | Zbl 0071.17401
Classifying spaces and classifying topoi, Lecture Notes in Math. 1616, Springer-Verlag, New York, 1995. (1995) | MR 1440857 | Zbl 0838.55001
Characteristic classes of surface bundles, Bull. Amer. Math. Soc. 11 (1984), 386–388 11 (1984), 386–388. (1984) | Article | MR 0752805 | Zbl 0579.55006
Characteristic classes of surface bundles, Invent. Math. 90 (1987), 551–557 90 (1987), 551–557. (1987) | Article | MR 0914849 | Zbl 0641.57004
Towards an enumerative geometry of the moduli space of curves, Arithmetic and Geometry, Vol. II, Progr. in Maths. series 36, 271–328, Birkhäuser, Boston, 1983, pp. 271–328. (1983) | MR 0717614 | Zbl 0554.14008
Two theorems on the mapping class group of a surface, Proc. Amer. Math. Soc. 68 (1978), 347–350 68 (1978), 347–350. (1978) | Article | MR 0494115 | Zbl 0391.57009
Classifying spaces and spectral sequences, Inst. Hautes Études Sci. Publ. Math. 34 (1968), 105–112. (1968) | Article | MR 0232393 | Zbl 0199.26404
Categories and cohomology theories, Topology 13 (1974), 293–312. (1974) | Article | MR 0353298 | Zbl 0284.55016
The topology of spaces of rational functions, Acta Math. 143 (1979), 39–72. (1979) | Article | MR 0533892 | Zbl 0427.55006
On the homotopy of the stable mapping class group, Invent. Math. 130 (1997), 257–275. (1997) | Article | MR 1474157 | Zbl 0891.55019
What does the classifying space of a category classify?, Homology, Homotopy Appl. 7 (2005), 185–195. (2005) | MR 2175298 | Zbl 1093.57012