On K3 surfaces with hyperbolic automorphism groups

Abstract

We show the finiteness of the Néron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic with explicit descriptions, under the assumption that the Picard number $\ge 6$ which is optimal to ensure the finiteness. Our proof of finiteness is based on the study of genus one fibrations on K3 surfaces and recent work of Kikuta and Takatsu.

25 pages, final version to appear in Crelle's journal