Some rational homology computations for diffeomorphisms of odd-dimensional manifolds

Abstract

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:={\#}^g(S^n\times S^{n+1})\setminus \mathrm{int}{D}^{2n+1}$, for large $g$ and $n$, up to approximately degree $n$. The answer is that it is a free graded commutative algebra on an appropriate set of Miller--Morita--Mumford classes. Our proof goes through the classical three-step procedure: (a) compute the cohomology of the homotopy automorphisms, (b) use surgery to compare this to block diffeomorphisms, (c) use pseudoisotopy theory and algebraic $K$-theory to get at actual diffeomorphism groups.

arXiv commentFinal version, to appear in Journal of Topology

References in corpus (17)

• Homological stability for moduli spaces of high dimensional manifolds. I
• The space of metrics of positive scalar curvature
• Generalised Miller-Morita-Mumford classes for block bundles and topological bundles
• The positive scalar curvature cobordism category
• On the cohomology of Torelli groups
• Some finiteness results for groups of automorphisms of manifolds
• A vanishing theorem for tautological classes of aspherical manifolds
• Stable Moduli Spaces of High Dimensional Handlebodies
• Torelli spaces of high-dimensional manifolds
• A homological approach to pseudoisotopy theory. I
• Improved homological stability for certain general linear groups
• Homological Stability for Diffeomorphism Groups of High Dimensional Handlebodies
• Borel's stable range for the cohomology of arithmetic groups
• Rational Homological Stability for Automorphisms of Manifolds
• The family signature theorem
• The stable cohomology of self-equivalences of connected sums of products of spheres
• Diffeomorphisms of odd-dimensional discs, glued into a manifold