The homology of moduli spaces of 4-manifolds may be infinitely generated

Abstract

For a simply-connected closed manifold $X$ of $\dim X\ne 4$, the mapping class group ${\pi }_0(\mathrm{Diff}(X))$ is known to be finitely generated. We prove that analogous finite generation fails in dimension 4. Namely, we show that there exist simply-connected closed smooth 4-manifolds whose mapping class groups are not finitely generated. More generally, for each $k>0$, we prove that there are simply-connected closed smooth 4-manifolds $X$ for which $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ are not finitely generated. The infinitely generated subgroup of $H_k(B\mathrm{Diff}(X);\mathbb{Z})$ which we detect are topologically trivial, and unstable under the connected sum of $S^2\times S^2$. The proof uses characteristic classes obtained from Seiberg-Witten theory.

arXiv comment19 pages, minor revisions, to appear in Forum Math. Pi

References in corpus (15)

• Homological stability for moduli spaces of high dimensional manifolds. I
• Positive scalar curvature, diffeomorphisms and the Seiberg-Witten invariants
• Generalised Miller-Morita-Mumford classes for block bundles and topological bundles
• Some finiteness results for groups of automorphisms of manifolds
• A gluing formula for families Seiberg-Witten invariants
• Theta-graph and diffeomorphisms of some 4-manifolds
• Characteristic classes via 4-dimensional gauge theory
• Mapping class groups of simply connected high-dimensional manifolds need not be arithmetic
• Non-trivial smooth families of $K3$ surfaces
• Configuration space integrals and formal smooth structures
• Homological instability for moduli spaces of smooth 4-manifolds
• The Family Seiberg-Witten Invariant and nonsymplectic loops of diffeomorphisms
• On the mapping class groups of simply-connected smooth 4-manifolds
• Moduli spaces of 3-manifolds with boundary are finite
• Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via Seiberg-Witten theory