Abstract:We initiate the study of exotic Dehn twists along 3-manifolds $\neq S^3$ inside $4$-manifolds, which produces the first known examples of exotic diffeomorphisms of contractible 4-manifolds, more generally of definite 4-manifolds, and exotic diffeomorphisms of 4-manifolds with $\neq S^3$ boundary that survive after one stabilization. We also construct the smallest closed 4-manifold known to support an exotic diffeomorphism. These exotic diffeomorphisms are the Dehn twists along certain Seifert fibered 3-manifolds. As a consequence, we get loops of diffeomorphisms of 3-manifolds that topologically extend to some 4-manifolds $X$ but not smoothly so, implying the non-surjectivity of $\pi_1(\mathrm{Diff}(X)) \to \pi_1(\mathrm{Homeo}(X))$. Our method uses $2$-parameter families Seiberg-Witten theory over $\mathbb{RP}^2$, while known methods to detect exotic diffeomorphisms used $1$-parameter families gauge-theoretic invariants. Using a similar strategy, we construct a new kind of exotic diffeomorphisms of 4-manifolds, given as commutators of diffeomorphisms.

Exotic definite four-manifolds with non-trivial fundamental group

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

Exotic definite four-manifolds with non-cyclic fundamental group

Smooth structures on four-manifolds with finite cyclic fundamental groups

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

New constructions and invariants of closed exotic 4-manifolds

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

Exotic aspherical 4-manifolds

From diffeomorphisms to exotic phenomena in small 4-manifolds

An introduction to exotic 4-manifolds

Exotic 4-manifolds with small trisection genus

Exotic diffeomorphisms on $4$-manifolds with $b_2^+ = 2$

From zero surgeries to candidates for exotic definite four-manifolds

The structure of 3-manifolds with 2-generated fundamental group

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

Constructions of Smooth 4-Manifolds

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

Exotic Dehn twists on 4-manifolds

Exotic almost complex circle actions on 6-manifolds

Irreducible 4-manifolds can admit exotic diffeomorphisms

Simple examples of affine manifolds with infinitely many exotic models