K3 surfaces, Picard numbers and Siegel disks

Abstract

If a K3 surface admits an automorphism with a Siegel disk, then its Picard number is an even integer between 0 and 18. Conversely, using the method of hypergeometric groups, we are able to construct K3 surface automorphisms with Siegel disks that realize all possible Picard numbers. The constructions involve extensive computer searches for appropriate Salem numbers and computations of algebraic numbers arising from holomorphic Lefschetz-type fixed point formulas and related Grothendieck residues.