Related papers: Corks with large shadow-complexity and exotic 4-ma…

We construct an infinite order loose cork.

We study $5$-dimensional $h$-cobordisms of Morgan-Szab\'o complexity $2$. We compute the monopole Floer homology and the action of the twisting involution of the protocork boundary associated with such $h$-cobordisms, obtaining an…

We show that there exists an exotic pair of $4$-manifolds with boundary whose trisection genera are $4$. We also construct genus-$3$ relative trisections for an infinite family of contractible $4$-manifolds introduced by Akbulut and Kirby.

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

The shadow-complexity is an invariant of closed $4$-manifolds defined by using $2$-dimensional polyhedra called Turaev's shadows, which, roughly speaking, measures how complicated a $2$-skeleton of the $4$-manifold is. In this paper, we…

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 produce infinite families of exotic actions of finite cyclic groups on simply connected smooth 4-manifolds with nontrivial Seiberg-Witten invariants.

For any finitely presentable group $G$, we show the existence of an isolated complex surface singularity link which admits infinitely many exotic Stein fillings such that the fundamental group of each filling is isomorphic to $G$. We also…

We prove for any positive integer $n$ there exist boundary-sum irreducible ${\mathbb Z}_n$-corks with Stein structure. Here `boundary-sum irreducible' means the manifold is indecomposable with respect to boundary-sum. We also verify that…

We construct closed, aspherical, smooth 4-manifolds that are homeomorphic but not diffeomorphic. These provide counterexamples to a smooth analog of the Borel conjecture in dimension four. Our technique is to apply the `reflection group…

We investigate two specific contractible manifolds (one Stein, and the other non-Stein) whose boundaries have non-trivial mapping class groups. In both cases we show that every diffeomorphism of their boundary extends to a diffeomorphism of…

One strategy for distinguishing smooth structures on closed $4$-manifolds is to produce a knot $K$ in $S^3$ that is slice in one smooth filling $W$ of $S^3$ but not slice in some homeomorphic smooth filling $W'$. In this paper we explore…

We produce infinitely many distinct irreducible smooth 4-manifolds homeomorphic to #(2m+1)(CP^2 # -CP^2) and #(2n+1)(S^2 x S^2), respectively, for each m>3 and n>4. These provide the smallest exotic closed simply connected 4-manifolds with…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We construct a new family {K_n} of simply connected symplectic 4-manifolds with the property c_1^2(K_n)/chi(K_n) -> 9 (as n goes to infinity).

We show that $\mathbb{C}^2$ contains pairs of properly embedded, smooth complex curves that are isotopic through homeomorphisms but not diffeomorphisms of $\mathbb{C}^2$. The construction is based on realizing corks as branched covers of…

A {\em snark} is a cubic cyclically 4-edge connected graph with edge chromatic number four and girth at least five. We say that a graph $G$ is {\em odd 2-factored} if for each 2-factor F of G each cycle of F is odd. In this paper, we…

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 show that for any po sitive integer $m$, there exist order $n$ Stein corks. The boundaries are cyclic branched covers of slice knots embedded in the boundary of corks. By applying these corks to generalized forms, we give a method…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…