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.

19 pages, minor revisions, to appear in Forum Math. Pi

References in corpus (9)

• Theta-graph and diffeomorphisms of some 4-manifolds
• 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
• Moduli spaces of 3-manifolds with boundary are finite
• Families of diffeomorphisms, embeddings, and positive scalar curvature metrics via Seiberg-Witten theory
• The Family Seiberg-Witten Invariant and nonsymplectic loops of diffeomorphisms
• Homological instability for moduli spaces of smooth 4-manifolds
• On the mapping class groups of simply-connected smooth 4-manifolds