1.1. ONE of the most striking results in algebraic geometry in recent years was the global Torelli theorem for K3 surfaces. A K3 surface S is by definition a nonsingular complex compact analytic variety of dimension 2 whose first Betti number and first Chern class are both zero. When S is projective, there is a hyperplane section class L in the second cohomology H2(S, Z) of S such that the evaluation of the square L2 of this class against the fundamental cycle [SJ is always a positive even integer, known as the degree of the surface S. Since the work of Grothendieck and Mumford (see [6], [14]) it had been known for some time that K3 surfaces of a given degree d form a coarse moduli space K,. In 1971, PiatetskiShapiro and Shafarevich proved that the periods of K3 surfaces give rise to an injection of this moduli space K, into an arithmetic quotient space D/T,, where D is the bounded hermitian domain associated to SO(2, 19; [w) and F,, is an arithmetic subgroup in SO(2, 19; [w) (see [17]). Subsequent work by Kulikov and many others refined this theorem in various ways (see [2], [4], [I 11, [20], [21]). In particular, it was proven that the period map is an isomorphism K, z D/T, and hence there is a link between the theory of K3 surfaces and arithmetic subgroups Fd of SO(2, 19; @--analogous to the classical situation of the moduli space of elliptic curves and SL(2; Iw).
Read full abstract