Related papers: An obstruction to smooth isotopy in dimension 4

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 use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism…

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

A diffeomorphism $f$ of a compact manifold $X$ is pseudo-isotopic to the identity if there is a diffeomorphism $F$ of $X\times I$ which restricts to $f$ on $X\times 1$, and which restricts to the identity on $X\times 0$ and $\partial…

In this article, we construct countably many mutually non-isotopic diffeomorphisms of some closed non simply-connected 4-manifolds that are homotopic to but not isotopic to the identity, by surgery along $\Theta$-graphs. As corollaries of…

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…

We define obstructions which obstruct topological pseudo-isotopies from being isotopic to isotopies in dimension four. These match the smooth obstructions of Hatcher-Wagoner for smooth pseudo-isotopies, and accordingly are valued in certain…

This note serves to record examples of diffeomorphisms of closed smooth $4$-manifolds $X$ that are homotopic but not pseudoisotopic to the identity, and to explain why there are no such examples when $X$ is orientable and its fundamental…

We obtain constraints on the topology of families of smooth $4$-manifolds arising from a finite dimensional approximation of the families Seiberg-Witten monopole map. Amongst other results these constraints include a families generalisation…

Given a closed, smooth 4-manifold $X$ and self-diffeomorphism $f$ that is topologically pseudo-isotopic to the identity, we study the question of whether $f$ is moreover smoothly pseudo-isotopic to the identity. If the fundamental group of…

A compact 4-dimensional manifold is a non-singular graph-manifold if it can be obtained by the glueing T^2-bundles over compact surfaces (with boundary) of negative Euler characteristics. If none of glueing diffeomorphisms respect the…

This article surveys gauge theory for families and its applications to the comparison between the diffeomorphism group and the homeomorphism group of $4$-manifolds, up to 2021.

Consider a smooth $4$-manifold $X$ and a diffeomorphism $f : X \to X$. We give an obstruction in the form of an adjunction inequality for an embedded surface in $X$ to be isotopic to its image under $f$. It follows that the minimal genus of…

This article investigates a new gauge theoretic approach to Einstein's equations in dimension 4. Whilst aspects of the formalism are already explained in various places in the mathematics and physics literature, our first goal is to give a…

An obstruction theory for representing homotopy classes of surfaces in 4-manifolds by immersions with pairwise disjoint images is developed, using the theory of non-repeating Whitney towers. The accompanying higher-order intersection…

A standard fact about two incompressible surfaces in an irreducible 3-manifold is that one can move one of them by isotopy so that their intersection becomes $\pi_1$-injective. By extending it on the maps of some 3-dimensional…

This article provides a survey of gauge theory for families, with a particular focus on its applications to diffeomorphism groups of $4$-manifolds that were developed during the period 2021--2025.

One approach to produce a pair of homeomorphic-but-not-diffeomophic closed 4-manifolds is to find a knot which is smoothly slice in one but not the other. This approach has never been run successfully. We give the first examples of a pair…

This article analyzes the interplay between symplectic geometry in dimension four and the invariants for smooth four-manifolds constructed using holomorphic triangles introduced in math.SG/0110169. Specifically, we establish a non-vanishing…

This article presents a new and more elementary proof of the main Seiberg-Witten-based obstruction to the existence of Einstein metrics on smooth compact 4-manifolds. It also introduces a new smooth manifold invariant which conveniently…