Exotic definite four-manifolds with non-cyclic fundamental group

Abstract

We construct infinitely many pairwise non-diffeomorphic smooth structures on a definite $4$-manifold with non-cyclic fundamental group $\mathbb{Z}/2\times \mathbb{Z}/2$.

arXiv comment11 pages, comments welcome!