New sheaf theoretic methods in differential topology
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...