Related papers: On localizing groups of exotic diffeomorphisms of …

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…

We provide an approach to study exotic phenomena in relatively small 4-manifolds that captures many different exotic behaviors under one umbrella. These phenomena include exotic smooth structures on 4-manifolds with $b_2=1$, examples of…

We prove that there exist infinitely many contractible compact smooth $4$-manifolds $C$ that admit absolutely exotic diffeomorphisms of infinite order in $\pi_0(\mathrm{Diff}(C))$. By ``absolutely", we mean that isotopies are not required…

We establish constraints on the topology of smooth Lefschetz fibrations with $4$-dimensional fibers, by studying the family Bauer-Furuta invariant. To compute this invariant, we analyze the framed bordism class of 1-dimensional…

We prove that every 4-dimensional oriented handlebody without 3- and 4-handles can be modified to admit infinitely many exotic smooth structures, and moreover prove that their genus functions are pairwise equivalent. We furthermore show…

By extending a result of Kronheimer-Mrowka to the family setting, we prove a gluing formula for the family Seiberg-Witten invariant. This formula allows one to compute the invariant for a smooth family of 4-manifolds by cutting it open…

We introduce a method to detect exotic surfaces without explicitly using a smooth 4-manifold invariant or an invariant of a 4-manifold-surface pair in the construction. Our main tools are two versions of families (Seiberg-Witten)…

We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…

In this article, we show that, at least for non-simply connected case, there exist an infinite family of nondiffeomorphic symplectic 4-manifolds with the same Seiberg-Witten invariants. The main techniques are knot surgery and a covering…

We define family versions of the invariant of 4-manifolds with contact boundary due to Kronheimer and Mrowka and use these to detect exotic diffeomorphisms of 4-manifolds with boundary. Further, we show the existence of the first example of…

We introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large…

We prove a localization theorem for exotic diffeomorphisms, showing that every diffeomorphism of a compact simply-connected 4-manifold that is isotopic to the identity after stabilizing with one copy of $S^2 \times S^2$, is smoothly…

This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be…

Using Real Seiberg--Witten theory, Miyazawa introduced an invariant of certain 4-manifolds with involution and used this invariant to construct infinitely many exotic involutions on $\mathbb{CP}^2$ and infinitely many exotic smooth…

For a simply-connected closed manifold $X$ of $\dim X \neq 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…

We show how to construct absolutely exotic smooth structures on compact 4-manifolds with boundary, including contractible manifolds. In particular, we prove that any compact smooth 4-manifold W with boundary that admits a relatively exotic…

The aim of this paper is to produce infinite exotic structures on smooth closed oriented $4-$manifolds with fundamental group isomorphic to the infinite dihedral group, assuming that $b_2^+$ and $b_2^-$ are at least $12$.

We prove that a variety of examples of minimal complex surfaces admit exotic diffeomorphisms, providing the first known instances of exotic diffeomorphisms of irreducible 4-manifolds. We also give sufficient conditions for the boundary Dehn…

We show that no exotic $\mathbb{R}^4$ admits a complete Riemannian metric with uniformly positive isotropic curvature and with bounded geometry. This is essentially a corollary of the main result in [Hu1], and was stated in [Hu2] without…

We study exotic smoothings of open 4-manifolds using the minimal genus function and its analog for end homology. While traditional techniques in open 4-manifold smoothing theory give no control of minimal genera, we make progress by using…