Dehn twists and the Nielsen realization problem for spin 4–manifolds | Synapse