For a 4-dimensional smooth manifold X, the Casson-Sullivan invariant is the obstruction for a self-homeomorphism of X to be stably pseudo-isotopic to a diffeomorphism, and is valued in the third cohomology of X with Z/2-coefficients. I will discuss the realisability of this invariant; in particular, I will show that it is stably realisable for closed, orientable, smooth 4-manifolds. I will then use this invariant and surgery theory to find many examples of 4-manifolds that admit self-homeomorphisms that are homotopic to the identity but are not pseudo-isotopic to a diffeomorphism even after arbitrarily many stabilisations.
Links:
[1] https://www.mpim-bonn.mpg.de/taxonomy/term/39
[2] https://www.mpim-bonn.mpg.de/node/3444
[3] https://www.mpim-bonn.mpg.de/node/12018