Abstract: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 source manifold with $\mathbb{Z}/2$-coefficients. We prove that for all orientable pairs of homeomorphic, smooth $4$-manifolds this invariant can be realised fully after stabilising with a single $S^2\times S^2$. As an application, we obtain that topologically isotopic surfaces in a smooth, simply-connected $4$-manifold become smoothly isotopic after sufficient external stabilisations. We further demonstrate cases where this invariant can be realised fully without stabilisation for self-homeomorphisms, which includes for manifolds with finite cyclic fundamental group. This method allows us to produce many examples of homeomorphisms which are not stably pseudo-isotopic to any diffeomorphism but are homotopic to the identity. Finally, we reinterpret these results in terms of finding examples of smooth structures on $4$-manifolds which are diffeomorphic but not stably pseudo-isotopic.

Non-smoothable homeomorphisms of $4$-manifolds with boundary

Exotic aspherical 4-manifolds

Diffeomorphisms of 4-manifolds with boundary and exotic embeddings

The Casson-Sullivan invariant for homeomorphisms of 4-manifolds

Irreducible 4-manifolds can admit exotic diffeomorphisms

Exotic Dehn twists on 4-manifolds

$4$-manifolds with boundary and fundamental group $\mathbb{Z}$

From diffeomorphisms to exotic phenomena in small 4-manifolds

Conformally invariant rigidity theorems on four-manifolds with boundary

Infinite homotopy stable class for 4-manifolds with boundary

On the automorphism groups of hyperbolic manifolds

Exotic definite four-manifolds with non-cyclic fundamental group

On homology planes and contractible $4$-manifolds

A note on homotopy and pseudoisotopy of diffeomorphisms of $4$-manifolds

New constructions and invariants of closed exotic 4-manifolds

Smooth structures on non-orientable $4$-manifolds via twisting operations

Lipschitz Smoothings of Polyhedral Manifolds

A compactness theorem for hyperkaehler 4-manifolds with boundary

Differentiable Rigidity Theorems on 4-Manifolds

Four-manifolds, two-complexes and the quadratic bias invariant