The diffeomorphism group of a K3 surface and Nielsen realization
scientific article