Related papers: An exotic smooth structure on CP^2+6CP^2-bar

We show that two closed, connected $4$-manifolds with finite fundamental groups are $\mathbb{CP}^2$-stably homeomorphic if and only if their quadratic $2$-types are stably isomorphic and their Kirby-Siebenmann invariant agrees.

I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular…

This article presents the constructions of new infinite families of smooth 4-manifolds with the property that any two manifolds in the same family are homeomorphic and, from their construction, seem to be quite different, but cannot be…

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…

We show that every closed oriented smooth 4-manifold admits a complete singular Poisson structure in each homotopy class of maps to the 2-sphere. The rank of this structure is 2 outside a small singularity set, which consists of finitely…

We construct a compact PL 5-manifold $M$ (with boundary) which is homotopy equivalent to the wedge of eleven 2-spheres, $\vee^{}_{1 1}S^2$, which is "spineless", meaning $M$ is not the regular neighborhood of any 2-complex PL embedded in…

We show that there exists a link with 2 components which is not smoothly slice in $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$. By contrast, it is well-known that every knot (i.e., link with 1 component) is smoothly slice therein. Our proof…

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…

We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.

We introduce a new technique that is used to show that the complex projective plane blown up at 6, 7, or 8 points has infinitely many distinct smooth structures. None of these smooth structures admit smoothly embedded spheres with…

As was recently pointed out by McMullen and Taubes [Math. Res. Lett. 6 (1999) 681-696], there are 4-manifolds for which the diffeomorphism group does not act transitively on the deformation classes of orientation-compatible symplectic…

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 prove that a compact smooth 4-manifold admits generalized complex structures of odd type if and only if it has a transversely holomorphic 2-foliation. Consequently, there exist generalized complex structures of odd type on a circle…

When two smooth manifold bundles over the same base are fiberwise tangentially homeomorphic, the difference is measured by a homology class in the total space of the bundle. We call this the relative smooth structure class. Rationally and…

A surface $\Sigma$ in a 4-manifold $M$ is called flexible if any mapping class of the surface arises as the restriction of a diffeomorphism $(M,\Sigma) \to (M,\Sigma)$. We construct flexible surfaces in $\mathbb{C}P^2$ and $S^2 \times S^2$…

We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure.…

We construct exotic copies of $\mathbb{R}^4$ with nontrivial compactly supported mapping class groups of arbitrarily large rank. This follows from a modification of the construction of the diffeomorphism corks of arXiv:2407.04696 that makes…

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…

For every integer g greater than or equal to 2, there exist infinitely many pairwise nonhomeomorphic smooth 4-manifolds that admit genus-g Lefschetz fibrations over S^2 but do not carry any complex structure with either orientation. This…

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…