Key points are not available for this paper at this time.
For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z₄₌+₂ and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely many distinct smooth structures up to diffeomorphism. Moreover, we construct infinite families of non-complex irreducible fake projective planes with diverse fundamental groups.
Baykur et al. (Thu,) studied this question.