Hokuto Konno, Abhishek Mallick and Masaki Taniguchi
Geometry & Topology 30 (2026) 2395–2429
DOI: 10.2140/gt.2026.30.2395
Abstract
We initiate the study of exotic Dehn twists along 3-manifolds embedded in 4-manifolds.
This yields the first known examples of exotic diffeomorphisms of contractible
4-manifolds; more generally, it produces exotic diffeomorphisms of definite 4-manifolds,
as well as exotic diffeomorphisms of 4-manifolds (whose boundary is not diffeomorphic to
) that
persist after one stabilization. In particular, we obtain the first example of a
diffeomorphism of a contractible 4-manifold that is not isotopic to the identity. We
also construct the smallest closed 4-manifold currently known to support an exotic
diffeomorphism. These exotic diffeomorphisms arise as Dehn twists along certain
Seifert fibered 3-manifolds. As a consequence, we obtain loops of diffeomorphisms of
3-manifolds that extend topologically, but not smoothly, over some 4-manifold
. This implies
that the map
is not surjective. Our method uses Seiberg–Witten theory for a 2-parameter family
over
,
whereas previous methods for detecting exotic diffeomorphisms relied on 1-parameter
family gauge-theoretic invariants. Using a similar strategy, we also construct a new
type of exotic diffeomorphism of 4-manifolds, realized as commutators of
diffeomorphisms.
Keywords
exotic diffeomorphism, Dehn twists along Seifert
$4$-manifolds, Seiberg–Witten theory for families of
$4$-manifolds, Donaldson's diagonalization theorem for
families