Related papers: Higher order corks

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…

In this note we classify the diffeomorphism classes rel. boundary of smooth h-cobordisms between two fixed 1-connected 4-manifolds in terms of isometries between the intersection forms.

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

Any smooth, closed oriented 4-manifold has a surface diagram of arbitrarily high genus g>2 that specifies it up to diffeomorphism. The goal of this paper is to prove the following statement: For any smooth, closed oriented 4-manifold M,…

We study locally flat, compact, oriented surfaces in $4$-manifolds whose exteriors have infinite cyclic fundamental group. We give algebraic topological criteria for two such surfaces, with the same genus $g$, to be related by an ambient…

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…

Kreck proved that two $2q$-manifolds are stably diffeomorphic if and only if they admit normally bordant normal $(q-1)$-smoothings over the same normal $(q-1)$-type $(B,\xi)$. We show that stable diffeomorphism can be replaced by…

Closed (and simply-connected) manifolds whose dimensions are greater than 4 are classified via sophisticated algebraic and abstract theory such as surgery theory and homotopy theory. It is difficult to handle 3 or 4-dimensional closed…

We show examples of pairs of smooth, compact, homeomorphic 4-manifolds, whose diffeomorphism types are distinguished by the topology of the singular sets of smooth stable maps defined on them. In this distinction we rely on results from…

In this paper, we first prove that any closed simply connected 4-manifold that admits a decomposition into two disk bundles of rank greater than 1 is diffeomorphic to one of the standard elliptic 4-manifolds: $\mathbb{S}^4$,…

We show that, under a certain condition, contact 5-manifolds can `coarsely' distinguish smooth structures on compact Stein 4-manifolds via contact open books. We also give a simple sufficient condition for an infinite family of Stein…

We show that for any connected smooth manifold $M$ of dimension different from $3$ the restriction of the compact-open topology to the diffeomorphism group of $M$ is minimal, i.e. the group does not admit a strictly coarser Hausdorff group…

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…

It is well known that for any exotic pair of simply connected closed oriented 4-manifolds, one is obtained from the other by twisting a compact contractible submanifold via an involution on the boundary. By contrast, here we show that for…

We construct the first examples of non-smoothable self-homeomorphisms of smooth $4$-manifolds with boundary that fix the boundary and act trivially on homology. As a corollary, we construct self-diffeomorphisms of $4$-manifolds with…

Consider a dihedral cover $f: Y\to X$ with $X$ and $Y$ four-manifolds and $f$ branched along an oriented surface embedded in $X$ with isolated cone singularities. We prove that only a slice knot can arise as the unique singularity on an…

We prove that there exist infinitely many contractible compact smooth $4$-manifolds $C$ that admit absolutely exotic diffeomorphisms of infinite order in $\pi_0(\mathrm{Diff}(C))$. By ``absolutely", we mean that isotopies are not required…

In this article, we show that, at least for non-simply connected case, there exist an infinite family of nondiffeomorphic symplectic 4-manifolds with the same Seiberg-Witten invariants. The main techniques are knot surgery and a covering…

We prove necessary and sufficient conditions for a smooth surface in a 4-manifold X to be pseudoholomorphic with respect to some almost complex structure on X. This provides a systematic approach to the construction of pseudoholomorphic…

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…