Related papers: Exotically knotted closed surfaces from Donaldson'…
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…
A fundamental result in 4-manifold topology asserts that any two exotic smooth structures on a simply-connected, closed 4-manifold differ by a cork twist: the operation of removing a compact, contractible, codimension-zero submanifold and…
This paper studies properly embedded surfaces in the 4-ball that are exotically knotted (i.e., topologically but not smoothly isotopic), and leverages this local phenomenon to study surfaces in larger 4-manifolds. The main results provide a…
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…
We study the relationship between exotic R^4's and Stein surfaces as it applies to smoothing theory on more general open 4-manifolds. In particular, we construct the first known examples of large exotic R^4's that embed in Stein surfaces.…
We establish the existence of a pair of exotic surfaces in a punctured $K3$ which remains exotic after one external stabilization and have diffeomorphic complements. A key ingredient in the proof is a vanishing theorem of the family…
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…
It is known that every exotic smooth structure on a simply connected closed 4-manifold is determined by a codimention zero compact contractible Stein submanifold and an involution on its boundary. Such a pair is called a cork. In this…
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 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 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…
While the exotic diffeomorphisms turned out to be very rich, we know much less about the $b^+_2 =2$ case, as parameterized gauge-theoretic invariants are not well defined. In this paper we present a method (that is, comparing the winding…
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…
A short survey of exotic smooth structutes on 4-manifolds is given with a special emphasis on the corresponding cork structures. Along the way we discuss some of the more recent results in this direction, obtained jointly with R.Matveyev,…
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…
In this paper, we study stable equivalence of exotically knotted surfaces in 4-manifolds, surfaces that are topologically isotopic but not smoothly isotopic. We prove that any pair of embedded surfaces in the same homology class become…
We show that, for each integer n, there exist infinitely many pairs of n-framed knots representing homeomorphic but non-diffeomorphic (Stein) 4-manifolds, which are the simplest possible exotic 4-manifolds regarding handlebody structures.…
We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…
It is known that every compact Stein 4-manifolds can be embedded into a simply connected, minimal, closed, symplectic 4-manifold. By using this property, we discuss a new method of constructing corks. This method generates a large class of…
Wall-type stabilization problems investigate the collapse of exotic 4-dimensional phenomena under stabilization operations (e.g., taking connected sums with $S^2 \times S^2$). We propose an elementary approach to these problems, providing a…