K3 surfaces with real or complex multiplication

Abstract

Let $E$ be a totally real number field of degree $d$ and let $m⩾3$ be an integer. We show that if $md⩽21$ then there exists an $(m-2)$-dimensional family of complex projective $K3$ surfaces with real multiplication by $E$. Analogous results are proved for CM number fields and also for all known higher-dimensional hyperkähler manifolds.

31 pages; v4 corrects Lem 2.3, Theorem 8.1 and the proof of Corollary 8.2; main results unaffected; to appear in Algebraic Geometry