Dehn twists on K3-type 4-manifolds are not homotopy coherently Nielsen realizable.
problem Homotopy coherent Nielsen realization problem for Dehn twists on 4-manifolds
method Using family Seiberg-Witten theory
result Failure of the classical Nielsen realization problem in K3-type 4-manifolds