Stable homology for moduli spaces of manifolds

-
Søren Galatius , Stanford University

THIS IS A JOINT ALGEBRAIC TOPOLOGY / TOPOLOGY SEMINAR. There will be two separate talks: 3:00-4:00 pm (Fine 214) and 4:30-5:30 pm (Fine 314).  For a compact manifold W, possibly with boundary, we shall let Diff(W) denote the topological group of diffeomorphisms of W fixing a neighborhood of W.  My two talks shall discuss recent joint work with Randal-Williams on the topology of the classifying space BDiff(W) and related spaces.  An inclusion WW then induces a map BDiff(W)BDiff(W), and we approach the topology of BDiff(W) by relating it to BDiff(W) for other manifolds W.  In the first talk, I shall explain how to use infinite loop spaces to completely understand the "limiting" homology of BDiff(W), where the limit is over a certain direct system W=W0W1, where each Wi is obtained from the previous by attaching a handle.  The result we prove is a higher-dimensional generalization of a theorem of Madsen and Weiss.  In the second talk, I shall explain a higher-dimensional generalization of the "homological stability" theorem of J. Harer: If WW is an inclusion of compact manifolds of dimension 2n, and W is obtained from W by attaching k-handles for kn, then the induced map H(BDiff(W))H(BDiff(W)) is an isomorphism in a range of degrees (actually this isn't quite true, but I'll explain what the right statement is and why it's true).