K3 surfaces with a symplectic automorphism of order 4

Abstract: Given

X

a K3 surface admitting a symplectic automorphism

a u

of order 4, we describe the isometry

a u^{*}

on

H^{2} (X, m a t h b b Z)

. Having called

i l d e Z

and

i l d e Y

respectively the minimal resolutions of the quotient surfaces

Z = X / a u^{2}

and

Y = X / a u

, we also describe the maps induced in cohomology by the rational quotient maps

X i g h t a r r o w i l d e Z, X i g h t a r r o w i l d e Y

and

i l d e Y i g h t a r r o w i l d e Z

: with this knowledge, we are able to give a lattice-theoretic characterization of

i l d e Z

, and find the relation between the N'eron-Severi lattices of

X, i l d e Z

and

i l d e Y

in the projective case. We also produce three different projective models for

X, i l d e Z

and

i l d e Y

, each associated to a different polarization of degree 4 on

X

.

This page was built for publication: K3 surfaces with a symplectic automorphism of order 4