Related papers: An atomic approach to Wall-type stabilization prob…
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 many explicit examples of exotic pairs of surfaces in a smooth 4-manifold become smoothly isotopic after one external stabilization with $S^2\times S^2$ or $CP^2\#\overline{CP^2}$. Our results cover surfaces produced by…
In a small simply-connected closed 4-manifold, we construct infinitely many pairs of exotic codimension-$1$ submanifolds with diffeomorphic complements that remain exotic after any number of stabilizations by $ S^2 \times S^2$. We also give…
We show that the cobordism maps on Khovanov homology can distinguish smooth surfaces in the 4-ball that are exotically knotted (i.e., isotopic through ambient homeomorphisms but not ambient diffeomorphisms). We develop new techniques for…
We construct and study the skein lasagna module obtained by importing the Bar-Natan Khovanov homology package. For 4-manifolds satisfying a non-vanishing condition, we produce pairs of exotic surfaces (with boundary) by using the behavior…
A result of Baykur-Sunukjian states that homologous surfaces in a 4-manifold become isotopic after a finite number of internal stabilizations, i.e. attaching tubes to the surfaces. A natural question is how many stabilizations are needed…
We construct an example of a cork that remains exotic after taking a connected sum with $S^2 \times S^2$. Combined with a work of Akbulut-Ruberman, this implies the existence of an exotic pair of contractible 4-manifolds which remains…
In this brief note, we show that there exist smooth 4-manifolds (with nonempty boundary) containing pairs of exotically knotted 2-spheres that remain exotic after one (either external or internal) stabilization. It follows that the ``one is…
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 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…
Using 1-twist rim surgery, we construct infinitely many smoothly embedded, orientable surfaces in the 4-ball bounding a knot in the 3-sphere that are pairwise topologically isotopic, but not ambient diffeomorphic. We distinguish the…
We develop a $\mathrm{Pin}(2) \times \mathbb{Z}_2$-equivariant refinement of the lattice homotopy type for computing equivariant Seiberg--Witten Floer homotopy types. As an application, we construct a relatively exotic diffeomorphism on a…
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…
In this article, we give new means of constructing and distinguishing closed exotic four-manifolds. Using Heegaard Floer homology, we define new closed four-manifold invariants that are distinct from the Seiberg--Witten and Bauer--Furuta…
We consider the set of connected surfaces in the 4-ball with boundary a fixed knot in the 3-sphere. We define the stabilization distance between two surfaces as the minimal $g$ such that we can get from one to the other using stabilizations…
We review recent developments in differential topology with special concern for their possible significance to physical theories, especially general relativity. In particular we are concerned here with the discovery of the existence of…
We show that any closed oriented 3-manifold can be topologically embedded in some simply-connected closed symplectic 4-manifold, and that it can be made a smooth embedding after one stabilization. As a corollary of the proof we show that…
Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the…
We produce examples of pairwise non-diffeomorphic closed irreducible 4-manifolds with non-trivial free abelian fundamental group of rank less than three and small Euler characteristic. These exotic smooth structures become standard after…
This paper investigates the exotic phenomena exhibited by links of disconnected surfaces with boundary that are properly embedded in the 4-ball. Our main results provide two different constructions of exotic pairs of surface links that are…