Related papers: Gluck twisting 4-manifolds with odd intersection f…

It is one of the most important facts in 4-dimensional topology that not every spherical homology class of a 4-manifold can be represented by an embedded sphere. In 1978, M. Freedman and R. Kirby showed that in the simply connected case,…

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

In this paper, we study surfaces embedded in $4$-manifolds. We give a complete set of moves relating banded unlink diagrams of isotopic surfaces in an arbitrary $4$-manifold. This extends work of Swenton and Kearton-Kurlin in $S^4$. As an…

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…

Let $M$ be a closed, oriented, smooth $4-$manifold with intersection form $\Gamma$, $A(\Gamma)$ the automorphism group of $\Gamma$ and $D(M)$ the subgroup induced by orientation-preserving diffeomorphisms of $M$. In this note we study the…

In this note we apply a 4-fold sum operation to develop an associativity rule for the pairwise symplectic sum. This allows us to show that certain diffeomorphic symplectic $4$-manifolds made out of elliptic surfaces are in fact…

We investigate the realisability of the Casson-Sullivan invariant for homeomorphisms of smooth $4$-manifolds, which is the obstruction to a homeomorphism being stably pseudo-isotopic to a diffeomorphism, valued in the third cohomology of…

The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…

Let $S$ be a $P^2$-knot which is the connected sum of a 2-knot with normal Euler number 0 and an unknotted $P^2$-knot with normal Euler number $\pm2$ in a closed 4-manifold $X$ with trisection $T_{X}$. Then, we show that the trisection of…

Here we discuss an example of topologically isotopic but smoothly non-isotopic pair of 2-spheres in a simply connected 4-manifold, which become smoothly isotopic after stabilizing by connected summing with S^2 x S^2.

For manifolds equipped with group actions, we have the following natural question: To what extent does the equivariant cohomology determine the equivariant diffeotype? We resolve this question for Hamiltonian circle actions on compact,…

For a non-orientable closed surface standardly embedded in the 4-sphere, a diffeomorphism over this surface is extendable if and only if this diffeomorphism preserves the Guillou-Marin quadratic form of this embedded surface.

We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…

A hypersymplectic structure on a 4-manifold is a triple of symplectic forms for which any non-zero linear combination is again symplectic. In 2006, Donaldson conjectured that on a compact 4-manifold any hypersymplectic structure can be…

We prove that a closed 4-manifold has shadow-complexity zero if and only if it is a kind of 4-dimensional graph manifold, which decomposes into some particular blocks along embedded copies of S^2 x S^1, plus some complex projective spaces.…

We give necessary and sufficient conditions for a closed smooth 6-manifold N to be diffeomorphic to a product of a surface F and a simply connected 4-manifold M in terms of basic invariants like the fundamental group and cohomological data.…

Concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index <=2 (``Heegard'' decompositions).Sample result: Two 2-complexes are (up to 2-deformation) dual spines of a Heegard decomposition of…

For every $k \geq 2$ we construct infinitely many $4k$-dimensional manifolds that are all stably diffeomorphic but pairwise not homotopy equivalent. Each of these manifolds has hyperbolic intersection form and is stably parallelisable. In…

We prove the following result: Let $(X,g_0)$ be a complete, connected 4-manifold with uniformly positive isotropic curvature and with bounded geometry. Then there is a finite collection $\mathcal{F}$ of manifolds of the form $\mathbb{S}^3…