Pseudo-isotopy versus isotopy for homeomorphisms of 4-manifolds

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 Whitehead groups. We show that our obstructions are fully realisable, and we use these realisations to build homeomorphisms of $Y\times S^1$ for many 3-manifolds $Y$ that are pseudo-isotopic to the identity but not isotopic to the identity.