Related papers: Non-existence theorems on infinite order corks

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$.

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…

A pair of closed, smooth $4$-manifolds $M$ and $M'$ are stably exotic if they are stably homeomorphic but not stably diffeomorphic, where stabilisation refers to connected sum with copies of $S^2 \times S^2$. Orientable stable exotica do…

In this paper, we investigate existence of inequivalent smooth structures on closed smooth non-orientable 4-manifolds building upon results of Akbulut, Cappell-Shaneson, Fintushel-Stern, Gompf, and Stolz. We add to the number of known…

Attaching a Casson handle to a slice disk complement yields a smooth 4-manifold that is homeomorphic to $\mathbb{R}^4$. We show that if two slice knots have sufficiently different knot Floer homology, then the resulting exotic…

In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth…

We show that for any finitely presented group $G$, there is a simply connected closed 4-manifold containing an infinite family of topologically isotopic but smoothly inequivalent 2-links whose 2-link group is $G$. We also show that, if $G$…

We show the homotopy spheres $\Sigma_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W \to \partial W$ is $S^4$. To do this we first show that…

We give several criteria on a closed, oriented 3-manifold that will imply that it is the boundary of a (simply connected) 4-manifold that admits infinitely many distinct smooth structures. We also show that any weakly fillable contact…

For every integer $k\geq 2$, we construct infinite families of mutually nondiffeomorphic irreducible smooth structures on the topological $4$-manifolds $(2k-1)(S^2\times S^2)$ and $(2k-1)(\CP#\CPb)$, the connected sums of $2k-1$ copies of…

We construct an infinite family of mutually non-diffeomorphic irreducible smooth structures on the topological 4-manifold $S^2 \times S^2$.

We prove that there exist infinitely many topologically slice knots which cannot bound a smooth null-homologous disk in any definite 4-manifold. Furthermore, we show that we can take such knots so that they are linearly independent in the…

We construct an infinite family of hyperbolic, homologically thin knots that are not quasi-alternating. To establish the latter, we argue that the branched double-cover of each knot in the family does not bound a negative definite…

Building on the algebraic framework developed by Hendricks, Manolescu, and Zemke, we introduce and study a set of Floer-theoretic invariants aimed at detecting corks. Our invariants obstruct the extension of a given involution over any…

For suitable finite groups G, we construct contractible 4-manifolds C with an effective G-action on $\partial C$ whose associated pairs (C,g) for all $g \in G$ are distinct smoothings of the pair $(C,\partial C)$. Indeed C embeds in a…

We study torsion in the integral cohomology of a certain family of $2n$-dimensional orbifolds $X$ with actions of the $n$-dimensional compact torus. Compact simplicial toric varieties are in our family. For a prime number $p$, we find a…

Invariant manifolds are of fundamental importance to the qualitative understanding of dynamical systems. In this work, we explore and extend MacKay's converse KAM condition to obtain a sufficient condition for the nonexistence of invariant…

By using corks we construct diffeomorphic ribbon disks $D\subset B^{4}$, which are non-isotopic rel boundary to each other.

We prove that any closed simply-connected smooth 4-manifold is 16-fold branched covered by a product of an orientable surface with the 2-torus, where the construction is natural with respect to spin structures. In particular this solves…

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…