On the Homotopy Coherent Nielsen Realization Problem for K3-Type 4-Manifolds

Yujie Lin, Yi Sha

We study the homotopy coherent analogue of the Nielsen realization problem for smooth 4-manifolds. Using family Seiberg-Witten theory, we prove that for K3-type 4-manifolds and the…