arXiv:2005.00231v2 [math.AG] 14 Nov 2020 hr h polynomials the where (1.5) U rnhdaogtedvsrdfie y∆ by defined divisor the along branched eto ,w ics h eainwt h ofiuainsaeo six of space configuration the with relation the discuss we 4, Section lrfrso egt ,4 ,8 0 0 2 n 0wt he re three with 30 and 12, 10, 10, 8, 6, 4, 4, weights of forms ular etettlsaeo principal a of space total the be (1.2) nt oouei O( in covolume finite h anrsl fti ae stefollowing: the 1.1. is Theorem paper this of result main The (1.4) h etrspaces vector The χ fmdlrfrs eas rt h urn fmdlrfrswithout forms modular of the write also We forms. modular of (1.3) ar( pair g ftp IV. type of (1.1) elements hw httepro a ie nioopimfo h oremod coarse the from isomorphism an gives map P period the that shows eto ] h lblTrliterm[P theorem Torelli global the 3], Section let (ii) ⊥ plrzdK ufcst h quotient the to surfaces K3 -polarized 7→ (i) ∈ hsppri raie sflos nScin2 epoeta h co the that prove we 2, Section In follows: as organized is paper This ie rmtv sublattice primitive a Given Let T E Char(Γ) g f f 7 ,j Y, H IGO OUA OM OF FORMS MODULAR OF RING THE = | ⊥ T ( ( T sbsdo h td famdl pc fK surfaces. o K3 relations of three space with moduli 30 a and of 12, study 10, the 10, on 8, 6, based 4, is 4, weights of forms Abstract. γz αz E ∈ T ealtieo intr (2 signature of lattice a be faK surface K3 a of ) g 7 = ) P = ) A plrzdK ufcsi h obecvro h egtdproject weighted the of cover double the is surfaces K3 -polarized e O( satisfying (O(2 : = : T Hom(Γ = χ α ytesm ybl A symbol. same the by ) ( P − h rddrn fmdlrfrswt hrcesof characters with forms modular of ring graded The γ , k ⊥ ) 4; f eso httern fmdlrfrswt hrcesfrO(2 for characters with forms modular of ring the that show We f A ( eteotooa atc n Γ = Γ and lattice orthogonal the be Z ( z k z T (Γ o any for ) )) g o any for ) ∆ | , ⊗ P χ , ∼ = C 8 ( id = R D Y × fmdlrfrscnttt h ring the constitute forms modular of ) C t sahlmrhcfunction holomorphic a is ) ) ,a ), [ , D n rmtv atc embedding lattice primitive a and : t e = 4 TUIANGN N AUH UEDA KAZUSHI AND NAGANO ATSUHIRA ∆ P t , : α =  P yaueo oain ewieteiaeo ne h injection the under Γ of image the write we notation, of abuse By . γ oua form modular 20 6 [Ω] ∈ t , ( ∈ C  fsgaue(1 signature of t 8 Ω ) C × A n , Γ. e t , and , ∈ bnl over -bundle × (Γ) ∈ 10 o oiieinteger positive a for ) and , P t , T S ˇ ( A 1. M P : T 7,B7]adtesretvt ftepro a [Tod80] map period the of surjectivity the and BR75] S71, 12 = ˇ ⊗ 20 ∆ (Γ) plrzdK surface K3 -polarized s , ⊗ Introduction : ( M 60 C k = t ∞ =0 4 .W ieapofo hoe . nScin3 In 3. Section in 1.1 Theorem of proof a give We ). C ( : on s ,

t = D ) ) χ (Ω 10 / ρ , ∈

M r ie in given are k D 1 ftebuddHriindomain Hermitian bounded the of Γ Char(Γ) ∞ M s , D =0 (Ω , − )=0 = Ω) ihrsett fweight of Γ to respect with 30 , endb 11.Fradsrt ugopΓof Γ discrete a For (1.1). by defined A )o h 3ltieΛ lattice K3 the of 1) )=0 = Ω) ] / k f (Γ) ( O(2 A s P : 4 2 k , → D e . etesbru fO(Λ of subgroup the be (Γ − , (Ω , 4; n χ , ∆ (3.4) j (Ω , Z and 8 Ω) : ) C egt ,2,ad6.Teproof The 60. and 20, 8, weights f ( ain fwihs8 0 n 60; and 20, 8, weights of lations ntesneo iui Nk9]i a is [Nik79a] Nikulin of sense the in ) , P ֒ t Ω) ) satisfying , IHCHARACTERS WITH > s , → (2.12) 10 2 ie on lines 0 > O(2

Pic − 0 hrcesas characters l ceeo pseudo-ample of scheme uli

, ∆ and , 4; , Y. v space ive 4; 20 K3 Z remdl ceeof scheme moduli arse sepandi [Dol96, in explained As Z ( P ) t sgnrtdby generated is ) : ) = 2 sgnrtdb mod- by generated is k s , (3.6) olwn [MSY92]. following E ∈ 30 2 8 K3 Z P ⊥ − ossigof consisting ) respectively. (4 E n character and ∆ 8 , 60 ⊥ 6 , ( U t 8 )) ⊥ , 10 , U , ⊥ 12) U, Acknowledgment: We thank Kenji Hashimoto for valuable discussions, and the anonymous referee for suggestions for improvement. A. N. was partially supported by JSPS Kakenhi (18K13383, MEXT LEADER). K. U. was partially supported by JSPS Kakenhi (15KT0105, 16K13743, 16H03930).

2. The coarse moduli space of U⊥E7⊥E7-polarized K3 surfaces

Consider the even lattice P1 := U⊥E7⊥E7 of signature (1, 15), and fix a primitive embedding of P1 into the K3 lattice ΛK3, which is unique up to the action of O(ΛK3) by [Nik79b, Theorem 1.14.4]. ⊥ The orthogonal lattice T1 := P1 is isometric to U⊥U⊥A1⊥A1. We write Γ1 :=ΓP1 . Let σ1 ∈ O(T1) be the reflection along the (−4)-vector obtained as the sum of the bases (−2)-vectors of two A1 summands in T1. It fixes U⊥U ⊂ T1 and interchanges two A1 summands. It extends to an element of O(ΛK3) whose restriction to P1 interchanges two E7 summands. One can easily see that the group O(T1)/Γ1 is generated by the class of σ1 (see the proof of Proposition 4.1 below).

Theorem 2.1. The A(Γ1) of automorphic forms with respect to Γ1 is given by 2 (2.1) A(Γ1)= C[t4, t6, t8, t10,s10, t12]/(s10 − ∆20(t)), where the lower indices indicate the weights, and ∆20(t) is defined in (2.12).

Proof. Giving a P1-polarized K3 surface is equivalent to giving an elliptic K3 surface with a section ∗ ∗ and two singular fibers containing an E7-configuration (i.e., of Kodaira type II or III ), which we may assume to lie above 0 and ∞ on the base P1. An elliptic K3 surface with a section admits a Weierstrass model of the form 2 3 (2.2) z = y + g2(x, w)y + g3(x, w) in P(1, 4, 6, 1) (cf. e.g. [SS10, Section 4]). Recall that the elliptic surface (2.2) has a singular fiber of ∗ ∗ 1 type either II or III at a ∈ P only if orda g2(x, w) ≥ 3 and orda g3(x, w) ≥ 5 (cf. e.g. [Mir89, Table IV.3.1]). This requires 5 3 4 4 3 5 (2.3) g2(x, w)= u5,3x w + u4,4x w + u3,5x w , 7 5 6 6 5 7 (2.4) g3(x, w)= u7,5x w + u6,6x w + u5,7x w . 1 It has a singularity worse than rational double points on the fiber at a ∈ P if and only if orda(g2) ≥ 4 and orda(g3) ≥ 6 (cf. e.g. [Mir89, Proposition III.3.2]). This is the case if and only if either u3,5 = u5,7 = 0 (for a = 0) or u5,3 = u7,5 = 0 (for a = ∞). The parameter 6 (2.5) u =(u5,3,u4,4,u3,5,u7,5,u6,6,u5,7) ∈ U := C \{u3,5 = u5,7 =0 or u5,3 = u7,5 =0} appearing in the Weierstrass model (2.2) is unique up to the action of (C×)2 given by × 2 3 (i+j)/2 (2.6) C ∋ λ: ((x,y,z,w), (ui,j)i,j) 7→ (x, λ y,λ z,w), (λ ui,j)i,j) and × −1 i−j (2.7) C ∋ µ: ((x,y,z,w), (ui,j)i,j) 7→ ((µ x,y,z,µw), (µ ui,j)i,j). Note that the former C×-action rescales the holomorphic volume form wdx ∧ dy ∧ dz (2.8) Ω = Res 2 3 z − y − g2(x, w; u)y − g3(x, w; u) as 2 3 wdx ∧ d(λ y) ∧ d(λ z) −1 (2.9) Ωλu = Res 3 2 2 3 2 = λ Ωu, (λ z) − (λ y) − g2(x, w; λ · u)(λ y) − g3(x, w; λ · u) whereas the latter (which comes from the automorphism of the base P1 fixing 0 and ∞) keeps it × invariant. The categorical quotient T := U/Cµ is the coarse moduli scheme of pairs (Y, Ω) consisting 0 of a P1-polarized K3 surface Y and a holomorphic volume form Ω ∈ H (ωY ) on Y . The coordinate ring C[T ] of T is generated by six elements

(2.10) t4 := u4,4, t6 := u6,6, t8 := u5,3u3,5,

(2.11) t10 := u5,3u5,7 + u3,5u7,5, s10 := u5,3u5,7 − u3,5u7,5, t12 := u7,5u5,7 2 with one relation 2 2 (2.12) s10 = ∆20(t) := t10 − 4t8t12. The boundary of the affinization T := Spec C[T ] is given by ∼ (2.13) {t8 = t10 = s10 = t12 =0} = Ct4 × Ct6 . The period map induces an isomorphism of the graded ring of modular forms and the coordinate ring × C[T ]. The weight of the is identified with the weight of the Cλ -action, and Theorem 1.1 is proved.  3. Modular forms of O(2, 4; Z) with characters

The lattice T1 has a unique extension T1 ⊂ T2 ⊂ T1 ⊗ Q of index 2 to an odd unimodular lattice ∼ ⊥2 ⊥2 ∼ ⊥2 ⊥4 T2 = U ⊥ h−1i = h1i ⊥ h−1i , and T1 is the sublattice of T2 consisting of even elements; ∼ (3.1) T1 = {v ∈ T2 |hv, vi ∈ 2Z} . ∼ It follows that O(T2) = O(2, 4; Z) can naturally be identified with O(T1) as a subgroup of O(T1 ⊗ Q), so that ∼ hσ1i (3.2) A(O(T2)) = A(O(T1)) = A(Γ1) .

Since σ1 acts on U by sending ui,j to uj,i, one obtains a proof of the following: Theorem 3.1 ([Vin10, Theorem 1]). The graded ring A(O(2, 4; Z)) of automorphic forms is given by

(3.3) A(O(2, 4; Z)) = C[t4, t6, t8, t10, t12] where the lower indices indicate the weights. In fact, this proof of Theorem 3.1 already appears in [CMS19]. In particular, (2.2) is identical to [CMS19, (4.13)] up to an obvious change of coordinates. Note that ‘isomorphisms of H ⊕ E7(−1) ⊕ E7(−1) lattice polarized K3 surfaces’ in [CMS19, Proposition 4.3.(b)] come from the action of σ1, and as such are not isomorphisms of lattice polarized K3 surfaces in the sense of [Dol96]. The coarse moduli space M := D/ O(T1) of P1-polarized K3 surfaces up to the action of σ1 is ∼ an open subvariety of its Satake–Baily–Borel compactification Proj A(O(T1)) = P(4, 6, 8, 10, 12). Al- though M and the the quotient M := [D/ O(T1)] are closely related, the canonical morphism M → M is not an isomorphism even in codimension 1. In order to obtain an orbifold which is isomorphic to M in codimension 1 (so that the total coordinate rings are isomorphic), we first con- sider the stacky weighted projective space P := P(4, 6, 8, 10, 12), defined as the quotient of C5 \ 0 by a C×-action with this weight. The morphism M → M lifts to a morphism M → P, which is an isomorphism in codimension 0, since the generic stabilizers are {± id} on both sides. Stabilizers of M along divisors come from reflections, and besides σ1 appearing above, there are two more reflections that one can easily find in O(T1). The first one, which we call σ2, is the reflection along the (−2)-vector whose reflection hyperplane is defined by

(3.4) ∆8(t) := t8.

In terms of P1-polarized K3 surfaces, this divisor corresponds to the locus where the Picard lattice contains U⊥E7⊥E8. The second one, which we call σ3, is the reflection along the (−2)-vector whose reflection hyperplane corresponds to the locus where the Picard lattice contains U⊥E7⊥E7⊥A1. 3 2 3 In order to describe this locus, first consider the discriminant 4g2(x, w; t) + 27g3(x, w; t) of y + 9 9 g2(x, w; t)y + g3(x, w; t) as a polynomial in y, which is the product of x w and a homogeneous polynomial h(x, w; t), of degree 6 in (x, w) and degree 12 in t. Note that the discriminant of the n i n−i polynomial i=0 aix w with respect to (x, w) is homogeneous of degree 2(n − 1) in Z[a0,...,an] if deg a0 = ··· = deg an = 1. It follows that the discriminant k120(t) of h(x, w; t) with respect to (x, w) is a homogeneousP polynomial of degree 2 · 5 · 12 = 120 in t. A general point on the divisor of P(4, 6, 8, 10, 12) defined by k120(t) corresponds to the locus where two fibers of Kodaira type I1 collapse into one fiber. This divisor has two components; a general point on one corresponds to the 1 case when there exists a point p = [x : w] on P such that neither g2 nor g3 vanishes at p, and a 3 general point on the other component corresponds to the case when both g2 and g3 vanishes at p. In the former case, the resulting singular fiber is of Kodaira type I2, and the surface acquires an A1-singularity. In the latter case, the resulting singular fiber is of Kodaira type II, and the surface does not acquire any new singularity. The defining equation of the latter component is the resultant of g2 and g3. It is given as the determinant

u5,3 u4,4 u3,5 u5,3 u4,4 u3,5 (3.5) r20(t)= u7,5 u6,6 u5,7

u7,5 u6,6 u5,7

of the Sylvester matrix, which is homogeneous of degree 20. As shown in [HU, Lemma 6.1], the 3 polynomial k120(t) is divisible by r20(t) , and a direct calculation using a computer system shows that the quotient

3 (3.6) ∆60(t) := k120(t)/r20(t) is irreducible. Recall from [AGV08, Cad07] that the root construction is an operation which adds a stabilizer along a divisor. Let T be the obtained from P by the root construction of order 2 along the divisor on P defined by ∆88(t) := ∆8(t)∆20(t)∆60(t), which is the quotient of the double cover of P branched along ∆88(t) by the group G of deck transformations. The Picard group of T (or the G-equivariant Picard ∗ group of P) is generated by the pull-back OT(1) := p OP(1) of the generator OP(1) of the Picard group of P by the structure morphism p: T → P and three line bundles OT(Di) for i = 4, 10, 30 such that 0 2 0 ∼ 0 the space H (OT(Di)) is generated by an element si satisfying si = ∆i ∈ H (OT(i)) = H (OP(i)). The ramification formula for the canonical bundle gives ∼ ∗ (3.7) ωT = p ωP ⊗ OT(D4 + D10 + D30) ∼ (3.8) = OT(−40) ⊗ OT(D4 + D10 + D30) ∼ (3.9) = OT(4) ⊗ OT(−44 + D4 + D10 + D30).

Note that OT(−44 + D4 + D10 + D30) is an element of order two in Pic T. By comparing (3.9) with

(3.10) ωM ∼= OM(4) ⊗ det which follows from (the proof of) [HU, Proposition 5.1], one concludes that M has no further stabilizer along a divisor, so that the lift M → T of M → P is an isomorphism in codimension 1. It follows that Pic M ∼= Pic T is isomorphic to Z ⊕ (Z/2Z)3, and the total coordinate ring (also known as the Cox ring) of M is given by

0 ∼ 2 2 2 (3.11) H (L) = C[t4, t6, t8, t10, t12,s4,s10,s30]/(s4 − ∆8(t),s10 − ∆20(t),s30 − ∆60(t)). M L∈MPic

A character of O(T1) gives a line bundle on M, so that the ring A(O(T1)) of modular forms with characters is a subring of the total coordinate ring, which in fact is the whole of it since any line bundle on M comes from a character in the case at hand. Thise can be seen by noting that the universal cover D → M factors through a (Z/2Z)3-cover defined by the equation appearing on the right hand side of (3.11), so that the line bundles OT(−i + Di) for i =4, 10, 30 come from characters of the orbifold fundamental group of M, which is isomorphic to O(T1) by definition. Note that (4.5) below produces two distinct elements of order two in Char(O(T1)); one comes from the sign representation of S6 and the other comes from the unique non-trivial representation of hτi. Yet another element of order two comes from the determinant representation det: O(T1) → {±1}, which does not belong to the subgroup of Char(O(T1)) generated by the above two characters. Since det(g) = −1 for any reflection g ∈ O(T1), the character of the modular form s4s10s30 is det. As we explain in Section 4, the characters of the modular forms s10 and s30 come from the non-trivial representation of hτi and the sign representation of S6 respectively. 4 4. Configuration of six lines on the plane 2 Let L1,...,L6 be six lines on P in very general position, and Y be the K3 surface obtained as the resolution of 15 ordinary double points on the double cover of P2 branched along the union of these 2 ∼ six lines. Fix an isometry H (Y ; Z) = ΛK3 and regard the Picard lattice P3 of Y as a sublattice of ΛK3. The lattice P3 is an even lattice of signature (1, 15) generated by the classes of strict transforms of the lines and 15 exceptional divisors. The primitive embedding of P3 into ΛK3 is unique up to the action of O(ΛK3) by [Nik79b, Theorem 1.14.4]. The orthogonal lattice T3 of P3 inside ΛK3 is ∼ isometric to T2(2) = U(2)⊥U(2)⊥A1⊥A1, so that one has ∼ (4.1) O(T3) = O(T2). + + Set Γ3 := ΓP3 and Γ(2) := {g ∈ O(T3) | g ≡ idT3 mod 2} . The intersection Γ(2) := Γ(2) ∩ O (T3) + + of Γ(2) with the subgroup O (T3) ⊂ O(T3) of index two preserving the connected component D of D = D+ ∪D− is the monodromy group of the hypergeometric function of type (3,6) studied extensively in [MSY92].

Proposition 4.1. One has Γ3 = Γ(2).

Proof. It follows from [Nik79b, Corollary 1.5.2] that Γ3 is the kernel of the natural homomorphism from O(T3) to the group of automorphisms of the discriminant group of T3 (i.e., the quotient of the ∨ ∨ .( dual lattice T3 := Hom(T3, Z) by the natural injection T3 ֒→ T3 It is shown in [MSY92, Proposition 2.7.3 and Corollary 2.7.4] that Γ(2)+ is a reflection group generated by reflections along 20 (−2)-vectors given on [MSY92, p. 103]. One can easily check that ∨ every reflection acts on T3 /T3 as the identity, so that Γ(2) ⊂ Γ3. On the other hand, it is shown in [MSY92, Proposition 2.8.2] that the quotient group O(T3)/Γ(2) is the finite group given by Y 0 (4.2) 4 Y ∈ Sp(2, Z/2Z), η ∈{I , U} , 0 η 4 2 2  2  where

T (4.3) Sp(2, Z/2Z) := Y4 ∈ GL(4, Z/2Z) Y4 (U ⊕ U)Y4 = U ⊕ U . Note that Sp(2, Z/2Z) is generated by

1 1 1 I U I 2 (4.4) 0 1 , , U , 2 , and 1 1 ,   I2   U   I2   1   0 1       and isomorphic to the symmetric group S6 of degree 6. One can easily see that if h ∈ O(T3)/Γ(2) is ∨  not the identity, then h induces a non-trivial transformation on T3 /T3, so that Γ(2) = Γ3.

We write the element of order 2 in O(T3)/Γ3 represented by I4 ⊕ U as τ, so that ∼ (4.5) O(T3)/Γ3 = S6 ×hτi . The Igusa quartic is the Siegel modular variety of genus 2, which can naturally be identified with the moduli spaces of • principally polarized abelian surfaces, • genus two curves, and • hyperelliptic curves of genus two, i.e., configurations of six points on P1. It can be described as a quartic hypersurface in P4, defined by the equations 5

(4.6) xi =0, i=0 X 5 2 5 2 4 (4.7) xi =4 xi i=0 ! i=0 X 5 X 5 2 6 ∼ 2 in P . The GIT quotient X(3, 6) of (P ) by the action of PGL3 = Aut P with respect to the democratic weight is known to be the double cover of P4 branched along the Igusa quartic by [DO88]. The period map from the configuration space X(3, 6) of six lines on P2 in general position to the modular variety M3 := D/Γ3 extends to an isomorphism from X(3, 6) to the Satake–Baily– Borel compactification M 3 of M3 by [MSY92]. As explained in [MSY92, Section A.2], the action of τ on M3 gives an involution on M3 whose fixed locus is the moduli space of six points on a conic, ∼ 4 which can naturally be identified with the Igusa quartic; the natural projection M 3 → M 3/ hτi = P 4 is a double cover of P branched along the Igusa quartic. The residual action of S6 on M3/ hτi 6 is the projectivization of the the natural action of S6 on {(x1,...,x6) ∈ A | x1 + ··· + x6 =0} by permutation of coordinates. The quotient

∼ ∼ 4 ∼ (4.8) D/ O(T3) = M3/S6 ×hτi = P /S6 = Spec A(O(T3)) is the weighted projective space P(2, 3, 4, 5, 6) = Proj C[t4, t6, t8, t10, t12], where t2i are symmetric functions of degree i in x1,...,x6. The projection ∼ (4.9) M1 := D/Γ1 →D/ O(T1) = P(2, 3, 4, 5, 6) is the double cover branched along the hypersurface defined by ∆20(t). It follows that the character ∼ ∼ of s10 is the composite of O(2, 4; Z) = O(T3) → O(T3)/Γ3 = S6 ×hτi→hτi and the non-trivial representation of hτi. Since the branch locus of the double cover of P(2, 3, 4, 5, 6) associated with the sign representation S 2 of 6 is the discriminant ∆60(t)= 1≤i

References [AGV08] Dan Abramovich, Tom Graber, and Angelo Vistoli, Gromov-Witten theory of Deligne-Mumford stacks, Amer. J. Math. 130 (2008), no. 5, 1337–1398. MR 2450211 (2009k:14108) [BR75] Dan Burns, Jr. and Michael Rapoport, On the Torelli problem for k¨ahlerian K − 3 surfaces, Ann. Sci. Ecole´ Norm. Sup. (4) 8 (1975), no. 2, 235–273. MR 0447635 [Cad07] Charles Cadman, Using stacks to impose tangency conditions on curves, Amer. J. Math. 129 (2007), no. 2, 405–427. MR 2306040 (2008g:14016) [CMS19] A. Clingher, A. Malmendier, and T. Shaska, Six line configurations and string dualities, Comm. Math. Phys. 371 (2019), no. 1, 159–196. MR 4015343 [DO88] Igor Dolgachev and David Ortland, Point sets in projective spaces and theta functions, Ast´erisque (1988), no. 165, 210 pp. (1989). MR 1007155 [Dol96] I. V. Dolgachev, Mirror symmetry for lattice polarized K3 surfaces, J. Math. Sci. 81 (1996), no. 3, 2599–2630, Algebraic , 4. MR 1420220 (97i:14024) [HU] Kenji Hashimoto and Kazushi Ueda, The ring of modular forms for the even unimodular lattice of signature (2,10), arXiv:1406.0332. [Mir89] Rick Miranda, The basic theory of elliptic surfaces, Dottorato di Ricerca in Matematica. [Doctorate in Mathematical Research], ETS Editrice, Pisa, 1989. MR 1078016 (92e:14032) [MSY92] Keiji Matsumoto, Takeshi Sasaki, and Masaaki Yoshida, The monodromy of the period map of a 4-parameter family of K3 surfaces and the hypergeometric function of type (3, 6), Internat. J. Math. 3 (1992), no. 1, 164. MR 1136204 [Nik79a] V. V. Nikulin, Finite groups of automorphisms of K¨ahlerian K3 surfaces, Trudy Moskov. Mat. Obshch. 38 (1979), 75–137. MR 544937 (81e:32033) [Nik79b] , Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–177, 238. MR 525944 (80j:10031) [PSˇS71]ˇ I. I. Pjatecki˘ı-Sapiroˇ and I. R. Safareviˇc,ˇ Torelli’s theorem for algebraic surfaces of type K3, Izv. Akad. Nauk SSSR Ser. Mat. 35 (1971), 530–572. MR 0284440 (44 #1666) [SS10] Matthias Sch¨utt and Tetsuji Shioda, Elliptic surfaces, in East Asia—Seoul 2008, Adv. Stud. Pure Math., vol. 60, Math. Soc. Japan, Tokyo, 2010, pp. 51–160. MR 2732092 (2012b:14069) [Tod80] Andrei N. Todorov, Applications of the K¨ahler-Einstein-Calabi-Yau metric to moduli of K3 surfaces, Invent. Math. 61 (1980), no. 3, 251–265. MR 592693 [Vin10] E. B. Vinberg, Some free of automorphic forms on symmetric domains of type IV, Transform. Groups 15 (2010), no. 3, 701–741. MR 2718942 6 Faculty of and Physics, Institute of Science and Engineering, Kanazawa University, Kakuma, Kanazawa, Ishikawa, 920-1192, Japan Email address: [email protected] Graduate School of Mathematical Sciences, The University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo, 153-8914, Japan. Email address: [email protected]

7