Exotic definite four-manifolds with non-trivial fundamental group

Abstract

Inspired by a recent result of Levine-Lidman-Piccirillo, we construct infinitely many exotic smooth structures on some closed four-manifolds with definite intersection form and fundamental group isomorphic to $\mathbb{Z}/2\mathbb{Z}$. Similar constructions provide exotic smooth structures on further four-manifolds with fundamental group $Z/2\mathbb{Z}$, including examples with even $b_2^{+}$.

13 pages, 3 figures, minor changes, references added