Stable homology for moduli spaces of manifolds
Stable homology for moduli spaces of manifolds
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 W⊂W′ 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=W0⊂W1⊂…, 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 W⊂W′ is an inclusion of compact manifolds of dimension 2n, and W′ is obtained from W by attaching k-handles for k≥n, 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).