Related papers: Higher order corks
Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some…
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…
For a generic anti-canonical hypersurface in each smooth toric Fano 4-fold with rank 2 Picard group, we prove there exist three isolated rational curves in it. Moreover, for all these 4-folds except one, the contractions of generic…
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 construct an infinite family of simply connected, pairwise nondiffeomorphic 4-manifolds, all homeomorphic to 3CP^2 blown up at 9 points.
This is a survey article about the connections between knot theory and four-dimensional topology. Every four-manifold can be represented in terms of a link, by a Kirby diagram. This point of view has led to progress in computing invariants…
In this article we prove that, if $X$ is a smooth $4$-manifold containing an embedded double node neighborhood, all knot surgery $4$-manifolds $X_K$ are mutually diffeomorphic to each other after a connected sum with $\mathbb{CP}^2$. Hence,…
This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…
We show that there exist infinitely many simply connected compact Stein 4-manifolds with b_2=2 such that they are all homeomorhic but mutually non-diffeomorphic, and they are Stein fillings of the same contact 3-manifold on their…
We undertake a systematic investigation of compact aspherical manifolds with boundary; motivated by the plethora of examples in the bounded case and by the beauty of the theory in the closed case. Our main theorems give a homological…
This paper studies the homotopy and homeomorphism classifications of $4$-manifolds with boundary. Given $4$-manifolds $X_0$ and $X_1$ with fundamental group $\pi$, we consider the problem of extending a homotopy equivalence $h \colon…
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…
Closed (and simply-connected) manifolds whose dimensions are larger than 4 are central geometric objects in classical algebraic topology and differential topology. They have been classified via algebraic and abstract objects. On the other…
We show that any simply connected topological closed $4$-manifold punctured along any compact, totally disconnected tame subset $\Lambda$ admits a continuum of smoothings which are not diffeomorphic to any leaf of a $C^{1,0}$ codimension…
Gompf showed that for $K$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $K \# -K$ into a cork boundary. We derive a general Floer-theoretic condition on $K$ under which this is the case. Our…
We construct infinite families of topologically isotopic but smoothly distinct knotted spheres in many simply connected 4-manifolds that become smoothly isotopic after stabilizing by connected summing with $S^2 \times S^2$, and as a…
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…
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 provide the first explicit example of a cork of $\mathbf{CP}^2 \# 8\overline{\mathbf{CP}^2}$. This result gives the current smallest second Betti number of a standard simply-connected closed $4$-manifold for which an explicit cork has…
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…