Wall's stable realization for diffeomorphisms of definite 4-manifolds

Daniel Ruberman, Sašo Strle

Let $X$ be a smooth simply connected closed 4-manifold with definite intersection form. We show that any automorphism of the intersection form of $X$ is realized by a diffeomorphis…