A note on the Nielsen realization problem for 𝐾3 surfaces

Abstract: We will show the following three theorems on the diffeomorphism and homeomorphism groups of a

K 3

surface. The first theorem is that the natural map

p i_{0} (D i f f (K 3)) o A u t (H^{2} (K 3; m a t h b b Z))

has a section over its image. The second is that, there exists a subgroup

G

of

p i_{0} (D i f f (K 3))

of order two over which there is no splitting of the map

D i f f (K 3) o p i_{0} (D i f f (K 3))

, but there is a splitting of

H o m e o (K 3) o p i_{0} (H o m e o (K 3))

over the image of

G

in

p i_{0} (H o m e o (K 3))

, which is non-trivial. The third is that the map

p i_{1} (D i f f (K 3)) o p i_{1} (H o m e o (K 3))

is not surjective. Our proof of these results is based on Seiberg-Witten theory and the global Torelli theorem for

K 3

surfaces.

Recommendations

Cites work

Cited in

(25)

This page was built for publication: A note on the Nielsen realization problem for 𝐾3 surfaces