Abstract:Ruberman in the 90's showed that the group of exotic diffeomorphisms of closed 4-manifolds can be infinitely generated. We provide various results on the question of when such infinite generation can localize to a smaller embedded submanifold of the original manifold. Our results include: (1) All known infinitely generated groups of exotic diffeomorphisms of 4-manifolds detected by families Seiberg-Witten theory do not localize to any topologically (locally-flatly) embedded rational homology balls in the ambient 4-manifold. (2) Many exotic diffeomorphisms cannot be obtained as Dehn twists along homology spheres (under mild assumptions). (3) There is no contractible 4-manifolds with Seifert fibered boundary that have a universal property for exotic diffeomorphisms analogous to a universal cork. In addition, there is no universal compact 4-manifold $W$ such that the set of exotic diffeomorphisms of a 4-manifold can localize to an embedding of $W$. (4) Certain infinite generations of exotic diffeomorphism groups do localize to a non-compact subset $V$ with a small Betti number, but not to any compact subset of $V$. (5) An analogous result holds for mapping class groups of 4-manifolds.

Some examples of small irreducible exotic 4-manifolds with free abelian fundamental group

From diffeomorphisms to exotic phenomena in small 4-manifolds

Exotic definite four-manifolds with non-trivial fundamental group

Irreducible 4-manifolds with abelian non-cyclic fundamental group of small rank

Exotic definite four-manifolds with non-cyclic fundamental group

New Exotic four-manifolds with $\mathbb{Z}/2\mathbb{Z}$ fundamental group

New constructions and invariants of closed exotic 4-manifolds

Exotic aspherical 4-manifolds

Smooth structures on four-manifolds with finite cyclic fundamental groups

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

Exotic 4-manifolds with small trisection genus

From zero surgeries to candidates for exotic definite four-manifolds

Diffeotopy groups of non-compact 4-manifolds

On localizing groups of exotic diffeomorphisms of 4-manifolds

Practical Software for Triangulating and Simplifying 4-Manifolds

Topologically trivial proper 2-knots

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

A menagerie of SU(2)-cyclic 3-manifolds

Exotically knotted 2-spheres and the fundamental groups of their complements

A recipe for exotic 2-links in closed 4-manifolds whose components are topological unknots