Non-smoothable four-manifolds with cyclic fundamental group

Abstract

In [HT], two of us constructed a closed oriented 4-dimensional manifold with fundamental group $\Z$ that does not split off $S^1\times S^3$. In this note we show that this 4-manifold, and various others derived from it, do not admit smooth structures. Moreover, we find an infinite family of 4-manifolds with exactly the same properties (and same intersection form on $H_2$). As a corollary, we obtain topologically slice knots that are not smoothly slice in any rational homology ball.