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.

An introduction to exotic 4-manifolds

Exotic aspherical 4-manifolds

Exotic definite four-manifolds with non-cyclic fundamental group

Constructions of Smooth 4-Manifolds

From diffeomorphisms to exotic phenomena in small 4-manifolds

New constructions and invariants of closed exotic 4-manifolds

Exotic definite four-manifolds with non-trivial fundamental group

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

Exotic 4-manifolds with small trisection genus

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

Exotic Dehn twists on 4-manifolds

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

From zero surgeries to candidates for exotic definite four-manifolds

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

Practical Software for Triangulating and Simplifying 4-Manifolds

Six Lectures on Four 4-Manifolds

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

Internal and external stabilization of exotic surfaces in 4-manifolds

Exotic almost complex circle actions on 6-manifolds

Conjugation spaces and 4-manifolds