arxiv: v1 [math.ag] 14 Sep 2016

Transcription

1 arxiv: v [math.ag] 4 Sep 06 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS MARIE JOSÉ BERTIN AND ODILE LECACHEUX Abstract. Nishiyama introduced a lattice theoretic classification of the elliptic fibrations on a K surface. In a previous paper we used his method to exhibit elliptic fibrations, up to isomorphisms, of the singular K surface of discriminant. We prove here that the list is complete with a th fibration, thanks to a remark of Elkies and Schütt. We characterize the fibration both theoretically and with a Weierstrass model.. Introduction In a previous paper [BGHLMSW], the authors gave a classification, up to automorphisms, of the elliptic fibrations on the singular K surface X whose transcendental lattice is isometric to 6. This classification was derived from the Kneser- Nishiyama method. Each elliptic fibration was given with the Dynkin diagrams characterizing its reducible fibers, the rank and torsion of its Mordell-Weil group. Hence elliptic fibrations were obtained. Later on, Elkies and Schütt informed us that we missed an elliptic fibration. More precisely, Elkies said how he discovered the lack [El]: while tabulating some information about the lattices in this genus (positive-definite even lattice of rank 8 and discriminant )...I had already done the smaller discriminants), including the sizes of their automorphism groups, and calculated their total mass (=sum of / Aut(G) ) which added up to less than the prediction of the mass formula. The discrepancy was a fraction /N so I guessed that just one lattice, with N automorphisms, was missing, and eventually figured out where I lost the rd lattice. This paper intends to complete the gap. Let us recall briefly the context. Given E an elliptic fibration on X, we define its trivial lattice by T(E) := U (W E ) root where W E denotes its frame lattice, that is the orthogonal complement of U in the Neron-Severi group N S(X). The Mordell-Weil group of E is encoded in the frame () MW(E) = W E /(W E ) root. Thus () rk(mw(e)) = rk(w E ) rk(w E ) root (MW(E)) tors = (W E ) root /(W E ) root. Date: September, 06. Key words and phrases. K surfaces, Niemeier lattices, Elliptic fibrations.

2 MARIE JOSÉ BERTIN AND ODILE LECACHEUX The Kneser-Nishiyama s method provides a determination of the frame. Starting from the transcendental lattice of X ( ) 6 0 T X =, 0 denote T the root lattice T = A A, orthogonal complement of T X ( ) in the root lattice E 8. Take a Niemeier lattice L, that is a unimodular lattice of rank 4, with root latticel root, often writtenl = N(L root ). Consider a primitive embedding φ : T L. The orthogonal complement of φ(t) in L is the frame of an elliptic fibration on X and since T is a root lattice [BGHLMSW], it suffices to consider all the primitive embeddings of T in L root to obtain all the elliptic fibrations on X. Denote W = (φ(a A )) L and N = (φ(a A )) L root and observe that W root = N root. Moreover the trivial lattice of the elliptic fibration provided by φ satisfies T(E) = U W root and we can apply formulae () and (). Now given two points P and Q of the Mordell-Weil group, we can define a height pairing. The Mordell-Weil group, up to its torsion subgroup, equipped with this height pairing, is the Mordell-Weil lattice MWL(X) which satisfies MWL(X) = W/W root. Thus we recover more than the rank and torsion but also torsion and infinite sections of the elliptic fibration. To list all the primitive embeddings of A A in the various Niemeier lattices, the authors of [BGHLMSW] used Nishiyama s tables [Nis] p.09 and p.. They noticed two primitive embeddings of A in D 6, not isomorphic by the Weyl group of D 6, namely i (A ) = (d,d 4,d,d,d ) and i (A ) = (d 6,d 4,d,d,d ) but p., Nishiyama missed the orthogonal complement in D 6 of i (A ). That is the origin of the gap which concerns the primitive embeddings of A A in L = N(D6 4) and L = N(A 9 D 6). The paper is divided in two parts. In the first part we prove that the two primitive embeddings of A in D 6 give two primitive embeddings of A A in N(D6 4) isomorphic by an element of Aut(N(D6 4 )) so lead to just one elliptic fibration up to isomorphism. On the contrary, these embeddings i and i give rise to two non isomorphic primitive embeddings in N(A 9 D 6) thus exactly to two elliptic fibrations and not only one as listed in [BGHLMSW]. Hence we obtain the th fibration denoted by # bis. We also explain the determination of the Mordell-Weil lattices. In the second part we show how to derive the corresponding elliptic fibrations from the fibration#0 of [BGHLMSW] with Weierstrass equation () and its associated graph. We set also the correspondence betweeen the results found in the first part of the paper and those coming from the graph. Acknowledgement. We are grateful to N. Elkies and M. Schütt for pointing out a missing fibration in the classification [BGHLMSW].

3 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS. Some facts concerning Niemeier lattices and their automorphisms Concerning the definitions and properties of the irreducible root lattices A n, D n, E n and their dual lattices we refer to [BGHLMSW] or [BL] and use Bourbaki s notations, as in the Dynkin diagram of D 6 (see section ). Let L a Niemeier lattice i.e. a unimodular lattice of rank 4. We define its root lattice L root = {α L/ < α,α >= } where <.,. > denotes the Z-bilinear form on L. We recall that a Niemeier lattice L is, up to an isomorphism, entirely determined by its root lattice L root ; thus it is denoted L = N(L root ). It can be realized as a sublattice of the dual lattice (L root ) of L root. Thus N(L root )/L root is a finite abelian group, called the glue code or the set of glue vectors. Writing L root = L L... L k where the L i are irreducible root lattices of type A n, D n or E n, a typical glue vector of L can be written [CS], () z = [y,y,...,y k ] wherey i is a member of the dual latticel i. Anyy i can be altered by adding a vector of L i so we may suppose that y i belongs to a standard system of representatives for the cosets of L i in L i. It is usual to choose the glue vectors to be of minimal length in their cosets. The various vectors z of () must have integral inner products with each other and be closed under addition modulo L... L k. This process is called gluing the components L,... L k... The automorphism group Aut(L root ). In the sequel we denote X Y a split extension of a group Y by a group X. We recall that Aut(L m ) = W(L m ) G (L m ) where W(L m ) is the Weyl group of L m and G (L m ) the subgroup of Aut(L m ) consisting of all Dynkin diagram automorphisms of L m. Set G 0 (L root ) := k m= W(L m), G (L root ) := k m= G (L m ) and K(L root ) the following subgroup of Aut(L root ) K(L root ) := {τ Aut(L root )/τ(l m ) = L m m, m k}. The group G 0 (L root ) is called the Weyl group of L root and is a normal subgroup of K(L root ). The group G (L root ) is a subgroup of K(L root ) and we have the relation K(L root ) = k Aut(L m ) = G 0 (L root ) G (L root ). m= For each i < j k such that L i L j, denote t ij the transposition between the entries i and j and set G (L root ) := t ij / i < j k L i L j the subgroup of Aut(L root ) of all permutations of the concerned entries. Finally we get Aut(L root ) = K(L root ) G (L root ) = (G 0 (L root ) G (L root )) G (L root ).

4 4 MARIE JOSÉ BERTIN AND ODILE LECACHEUX.. The automorphism group Aut(L). Since the spanning set = {α L/ α,α = } of L root is stable under the action of Aut(L), it follows that L root is stable under Aut(L) and we get a group homomorphism Aut(L) Aut(L root ) τ τ Lroot. Set G 0 (L) := G 0 (L root ) ; it is a normal subgroup of Aut(L). Define the subgroup of Aut(L), G (L) := Aut(L) G (L root ). They satisfy the relation K(L root ) Aut(L) = G 0 (L) G (L). Defining the subgrouph(l) of Aut(L) byh(l) := Aut(L) (G (L root ) G (L root )), it follows Aut(L) = G 0 (L) H(L). Define the subgroup G (L) of G (L root ) by G (L) := {τ G (L root )/τ τ H(L) for some τ G (L root )}. From this definition we get a surjective homomorphism π and the exact sequence π : H(L) G (L) τ τ (4) G (L) H(L) G (L). Because Aut(L) is a subgroup of Aut(L root ), we get the induced action of Aut(L) on the glue code L/L root. Moreover this action is the identity if and only if the element τ of Aut(L) belongs to G 0 (L). Finally we observe that H(L) is identical to the subgroup of G 0 (L root ) G (L root ) consisting of the elements preserving the glue code. For more details explaining how Aut(L) is obtained from Aut(L root ) and how we can construct an automorphism of L, we refer to [IS] and [IS].. The Niemeier lattice N(D 4 6) Recall first the glue vectors of D 6. They are denoted [0], [], [], [] by Conway and Sloane [CS] and δ 6, δ 6, δ 6 in [BGHLMSW] with the following correspondance [] = δ 6 = (d +d +d +4d 4 +d +d 6 ) [] = δ 6 = d +d +d +d 4 + (d +d 6 ) [] = δ 6 = (d +d +d +4d 4 +d +d 6 ), d 6 d 4 d d d and satisfy [] +[] = []. Also Aut(D 6 ) = W(D 6 ) G (D 6 ) with G (D 6 ) Z/Z which interchanges the glue vectors [] and []. Moreover N(D 4 6) = Z{D 6 D 6 D 6 D 6, glue code}. The glue code, i.e. the set of glue vectors is given by all the even permutations of [0,,,] where i denotes, by abuse of notation, the glue vector [i]. Thus A 4 is contained in Aut(N(D 4 6)). More explicitly the glue code is d

5 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS () [0,0,0,0], [0,,,], [0,,,], [0,,,], [,,,], [,0,,], [,,,0], [,,0,], [,,,], [,0,,], [,,0,], [,,,0], [,,,], [,0,,], [,,0,], [,,,0]. Lemma. Up to an isomorphism of the Weyl group W(D 6 ), there are two primitive embeddings of A in D 6, namely i (A ) = (d,d 4,d,d,d ) i (A ) = (d 6,d 4,d,d,d ). These two embeddings are interchanged by the element g G (D 6 ) interchanging d and d 6. Moreover g acts on the glue vectors of D 6 : g([]) = [], g([]) = [], g([]) = []. Proof. It follows straightforward from the definitions. Theorem. Let y be any glue vector of N(D6 4 ), y = [a,b,c,d]. Define the application of g on the glue code as g(y) = [g(a),g(b),g(c),g(d)]. Denote by τ any transposition of two components. Then τ g Aut(N(D6 4)). Proof. Consider any permutation of two elements, for example take for τ the transposition of the two last components. Observe first that τ and g commute; it follows (τ g) = Id. This allows us to present the action of τ g on the glue code as below: [0,0,0,0] [0,,,] [0,,,] [,,,] [,,,0] τ g [0,0,0,0] [0,,,] [0,,,] [,,,] [,,0,] [,,,] [,0,,] [,,,0] [,0,,] [,,0,] τ g [,,,] [,0,,] [,,0,] [,0,,] [,,,0]. Since τ g is bijective on the glue code it belongs to Aut(N(D6 4 )). The same conclusion is obtained if τ is an arbitrary transposition. Remark. The well-known isomorphism G (N(D6 4)) G (N(D6 4)) S 4 [CS] can be explicited as S 4 Aut(N(D6 4)) σ σ g e(σ) where e(σ) = 0 if σ is even and otherwise. Remark. Moreover if τ permutes the two last components, τ g fixes the glue vectors having their two first components made with 0 or, permutes the glue vectors beginning by 0 on one side and the glue vectors beginning by on the other side; also it transforms the glue vectors beginning by into the glue vectors beginning by. Corollary. The two primitive embeddings of A A in N(D 4 6 ) given by (i (A ),d 6,0,0) and (i (A ),d,0,0) are isomorphic by an element of Aut(N(D 4 6)).

6 6 MARIE JOSÉ BERTIN AND ODILE LECACHEUX Proof. We take for τ the transposition of the two last components. We get that τ g interchanges the two embeddings and by the previous theorem belongs to Aut(N(D6 4)). 4. The Niemeier lattice N(A 9 D 6) Aside the glue vectors of D 6 defined in the previous section, the glue group of A 9 is cyclic, generated by α, see for example [BL] or [CS]: α = [9a +8a +7a +6a 4 +a +4a 6 +a 7 +a 8 +a 9 ]. By abuse of notation we write for the class of α in A 9 /A 9 and more generally i for the class of iα. We recall that Aut(A 9 ) = W(A 9 ) G (A 9 ), where W(A 9 ) denotes the Weyl group and G (A 9 ) consists in the automorphisms of the Dynkin diagram of A 9 forming a group of order exchanging a i and a i for all i 9 and therefore i and i according to the above convention. This automorphism acting on the first (resp. second) factor A 9 of L root will be denoted γ (resp. γ ). It follows G (L root ) = G (A () 9 A() 9 D 6) Z/Z Z/Z Z/Z, where h exchanges the two copies of A 9. Set γ = γ γ, h = γ g and h = γ g. G (L root ) Z/Z = h, Proposition. () The subgroup G (L) = Aut(L) G (L root ) Z/Z is generated by γ. () The automorphism h of G (A () 9 A() 9 D 6) is an automorphism of G (L) = G (N(A () 9 A() 9 D 6)); moreover h h and h h belong to Aut(L). Hence the subgroup G (L) is generated by h. () The subgroup H(L) = (G (L root ) G (L root )) Aut(L) is generated by h h and h h. Proof. Recall, [CS], that the glue code is generated by [,4,0], [,0,], [0,,], and that G (L) Z/Z and G (L) Z/Z. () We verify that γ belongs to G (L root ), preserves the glue code and is of order. () According to., it suffices to exhibit an element h G (L root ) such that h h (G (L root ) G (L root )) Aut(L), i.e. preserving the glue code of L. We verify easily h h([,4,0]) = [6,,0] = [,4,0],h h([,0,]) = [0,,] and h h([0,,]) = [,0,]. Thus h Aut(L) and generates G (L) since G (L) Z/Z. () This follows from the previous item and the isomorphisms G (L) Z/Z and G (L) Z/Z [CS].

7 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS 7 Table. Contributions for the height pairing fiber IV III I n n > In Dynkin diagram E 6 E 7 A n D { n+4 i = i = j 4/ / i(n i)/n +n/4 i =, { / i = i < j / i(n j)/n /+n/4 i =, Corollary. The two primitive embeddings of A in D 6, namely i and i, correspond to at most two elliptic fibrations of X, non isomorphic by an automorphism of N(A () 9 A() 9 D 6). Proof. From the proposition we deduce that the fibration obtained with the embeddings A = a in A () 9 and i (A ) in D 6 is isomorphic by the automorphism h h to A = a 9 embedded in A () 9 and i (A ) in D 6. Similarly, the fibration obtained with the embeddings A = a in A () 9 and i (A ) in D 6 is isomorphic by the automorphism of h h to A = a 9 embedded in A () 9 and i (A ) in D 6.. From primitive embeddings to Mordell-Weil lattices Let X the K-surface of discriminant studied in [BGHLMSW]. To each primitive embedding of A A in L root for L Niemeier lattice, corresponds an elliptic fibration of X. Define W = (A A ) L and N = (A A ) L root. First observe that W root = N root. Then the configuration of singular fibers in the corresponding elliptic fibration is encoded in the trivial lattice T(X) of the elliptic fibration given by T(X) = U W root. The torsion group is given by W root /W root. The Mordell-Weil lattice M W L(X), that is the Mordell-Weil group modulo its torsion subgroup equipped with the height pairing is given by MWL(X) = W/W root, where the bar means the primitive closure. The height pairing of two points P and Q of the Mordell-Weil group is given by the Shioda s formulae (6) P,Q = + P.Ō+ Q.Ō P. Q v contr v (P,Q) and the height of P by (7) h(p) = P,P = 4+ P.Ō v contr v (P) where O denotes the zero, the bar their associated sections and v runs through the singular fibers. If Θ v,i is a component of the singular fiber Θ v and if P (resp. Q) intersects Θ v,i (resp. Θ v,j ), i < j, we recall the table of their contributions, Table.

8 8 MARIE JOSÉ BERTIN AND ODILE LECACHEUX Recall that the single components of an In fiber, n > 0, are distinguished into the near component Θ which intersects the same double component as the zero component and the far components Θ, Θ... Defining sections of our fibrations. In each class of W/N we choose a representative in order to form either a torsion or an infinite section of the fibration. The section V is defined as V = kf +mo+ω, F being the generic fiber, O the zero section, ω a well choosed glue vector in a coset of W/N. Since V has to satisfy V.F =, it follows m =. The rational integer k can be obtained from the relation V.V =, since ω.ω is even. Finally the glue vector ω is choosed so that V cuts each singular fiber in exactly one point. Then we test if the section cuts or not the zero section in order to apply the height formula (7). Sections with height 0 are torsion sections. Moreover we have to determine infinite sections with a height matrix giving the discriminant of the K surface, that is in our case, according to the formula [ScSh] (8) disc(ns(x)) = ( ) ranke(k) disc(t(x))disc(mwl(x))/(#e(k) tors ). 6. The elliptic fibration from L = N(D 4 6) Take the unique, up to Aut(L), primitive embedding of A A in L given by φ(a A ) = (i (A ),d 6,0,0). We get (i (A )) D 6 = z6 = δ 6 = [], (A ) D 6 = d x := d +d 6 +d 4 +d,d,d,d = A D 4, N := ((i (A ) A ) L root = ( z6,a D 4,D 6,D 6 ) and N root = (0,A D 4,D 6,D 6 ). Since detn = 4, detw =, it follows W/N (Z/Z). An elliptic fibration is characterized by its torsion sections, infinite sections and where these sections cut the singular fibers of the fibration. All these data are encoded in W/N and so we shall first compute these groups. Observing that [] and [] do not belong to i (A ) D 6, the elements of the glue code () belonging to W/N are only those beginning by 0 or, precisely [0,0,0,0] [0,,,] [0,,,] [0,,,] [,,,] [,0,,] [,,,0] [,,0,]. Among them only those beginning by 0 belongs to W root. Thus torsion sections can be realized only from the glue vectors [0,0,0,0],[0,,,],[0,,,],[0,,,]. Moreover we must choose in them elements belonging to W root. Since, in the coset [], δ 6 satisfies δ 6 = d +d +d +x +d D 4 A and in coset [], δ 6 = d +d +d +x D 4

9 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS 9 Table. Contributions Contr. on Contr. on Contr. on Contr. on D 4 A D 6 D 6 δ 6 [] 0 δ 6 [] / +/ +/ δ d d 4 d 6 [] / +/ +/ δ [] 0 +/ +/ Table. Contributions and heights of the sections from N(D 4 6 ) Contr. Contr. Contr. Contr. D 4 A D 6 D 6 Q 0+F +[0,,,] 0 / / 0 Q 0+F +[0,,,] / / 0 Q 0+F +[0, d d 4 d 6,,] / / 0 W 0+F +[,0,,] 0 0 / / W +Q 0+F +[,,0,] 0 0 / / W +Q 0+F +[,,,0] / 0 / W +Q 0+F +[, d d 4 d 6,,] / / / / ht. it is possible to write torsion sections from [0,,,], [0,,,] and [0,0,0,0]. It remains to find in the coset [] an element with the same property, that is δ d d 4 d 6, since δ 6 d d 4 d 6 = d +d +x +d D 4 A. The Mordell-Weil lattice being W/W root, the infinite sections can be realized from the classes [,0,,],[,,0,],[,,,0],[, d d 4 d 6,,]. The various contributions to the singular fibers can be derived from Table. Taking in account the different values δ 6 = δ 6 = (δ 6 d d 4 d 6 ) = / and δ 6 =, we can draw a table with the various contributions to height for the different sections in Table. It is easily derived that the torsion group of the elliptic fibration is isomorphic to Z/Z Z/Z and the Mordell-Weil lattice is generated by a section of height /, in concordance with the formula (8), = discns(x) = Thus we have proved the following result. Proposition. The elliptic fibration on the K-surface X derived from Niemeier lattice L = N(D 4 6) has singular fibers of type A (I ), D 4 (I 0), D 6 (I ), D 6 (I ). Its Mordell-Weil group has rank and torsion part isomorphic to Z/Z Z/Z. Its Mordell-Weil lattice is generated by an infinite section of height /.

10 MARIE JOSÉ BERTIN AND ODILE LECACHEUX 7. The elliptic fibrations from L = N(A 9 D 6) Let L be the Niemeier lattice with L = N(A () 9 A() 9 D 6). By [CS] we know that L is obtained from the following glue vectors L/L root = [,4,0],[,0,],[0,,], where denotes the coset in A 9 /A 9 of α = (9a +8a +7a +6a 4 +a +4a 6 + a 7 + a 8 + a 9 ). From Corollary we know that we have at most two elliptic fibrations coming from the Niemeier lattice L = N(A 9D 6 ) non isomorphic by an automorphism of L. We shall prove that we have effectively two. 7.. First embedding in D 6. We embed A in A () 9 by φ(a ) = a () and A in D 6 by i (A ) = (d,d 4,d,d,d ). As computed in [BGHLMSW], we obtain N = (φ(a ) i (A )) L root = [ a +a,a,...,a 9,A 9, z 6 ] with z 6 = d +d +d +4d 4 +d +d 6 and det( a +a,a,...,a 9 ) = ; thus det(n) = 6. It follows N root = [ a,...,a 9,A 9,0] A () 7 A () 9 and W/N = [, 4, 0],[, 0, ] Z/Z. Since there is no integer k satisfying k([,4,0]) N root and no integer k with k ([,0,]) N root, we deduce that W root /W root = (0) so the corresponding elliptic fibration has trivial torsion and rank. Now we want to determine the Mordell-Weil lattice of the fibration, in our case MWL(X) = W/W root W/W root. The infinite sections are derived from elements of the glue code of W/N, namely from [,4,0], [4,8,0], [6,,0], [8,6,0], [0,0,0] [,0,], [7,4,], [9,8,], [,,], [,6,]. We define sections as explained in. so we search in each coset j an element α j satisfying α j.a j = and α j.a i = 0. We obtain a unique solution α j := jα (j )a (j )a... a j. We observe that α j W for all j but j =. Thus we choose in the coset of α an element in W and cutting A 7 = a,a 4,...,a 9 in exactly one point, namely ᾱ = α a a. The elements (α,α,...,α 9 ) are in fact the dual elements (a,a,...,a 9 ). So their Gram matrix is minus the inverse matrix of the Gram matrix of the a i, namely

11 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS Table 4. Height and pairing-first embedding 6 V O+F+[α 9,α 8,] 7 8 V O+F+[α 8,α 6,0] V O+F+[α 7,α 4,] 4 V 4 O+F+[α 6,α,0] 4 V O+F+[α,0,] 0 8 V 6 O+F+[α 4,α 8,0] V 7 O+F+[α,α 6,] 6 V 8 O+F+[α,α 4,0] V 9 O+F+[α a a,α,] V O+F+[ a a a,0,0] 0 4 I 8 I <V i,v > <V i,v > ht(v i) order V V V +V V V +V V V +V 4V V V 0 V V O+F+[0,0,δ 6] V V (9) We read directly on the above matrix α = α 9 = 9,α = α 8 = 8,α = α 7 =,α 4 = α 6 =,α = and we compute ᾱ = 9. Hence we obtain the nine non zero sections V i, i 9, quoted in the Table 4. Using the entries of the matrix (9) we obtain their contributions to the singular fibers, their heights and the various V i,v and V i,v, according to formulae (6) and (7). Moreover the determinant of the height matrix of V,V is equal to 0 fitting with the formula (8). These data allow in turn to express V j for j as a linear combination of V and V. For example, looking for a relation V = av +bv, we compute V,V k = a V,V k +b V,V k with k =,. Thus we get two equations in a,b and solving the system it follows a = b =. Finally the order in the Table 4 refers to the order of the element in W/N of the corresponding section.

12 MARIE JOSÉ BERTIN AND ODILE LECACHEUX Theorem. The Mordell-Weil lattice can be generated by the section V and another section whose class in W/N is of order or (V, V,V 7,V 9 or V ). It also can be generated by V and V or V 9. The rational quadratic forms associated to these various height matrices are all equivalent to the quadratic form Q(x,y) = (6x +4xy +4y ). The sublattice of index, N/N root of W/N root, is generated by V = V and V with < V,V >= 0. Proof. We observe that the nine first sections are not in the same class modulo N root. The rational quadratic form Q(x,y) associated to the height matrix of (V, V ) is Q(x,y) = (6x +4xy +4y ). Other properties are simple transcriptions of the base change which can be derived from the last column of Table 4. For example the rational quadratic form associated to the height matrix of (V, V 9 ) is equivalent to Q(x,y) since = Finally we verify that the height matrix of (V,V ), namely 0, has deter- 0 6 minant = 0. Moreover there exists a sublattice of index generated by V and V with < V,V >= Second embedding in D 6. We embed A in A () 9 by φ(a ) = a () and A in D 6 by i (A ) = (d 6,d 4,d,d,d ). We obtain N = (φ(a ) i (A )) L root = [ a +a,a,...,a 9,A 9, z 6 ] with z 6 = d +d +d +4d 4 +d +d 6 and det( a +a,a,...,a 9 ) = ; thus det(n) = 6. It follows N root = [ a,...,a 9,A 9,0] A () 7 A () 9 and W/N = [, 4, 0],[0,, ] Z/Z. Since there is no integer k satisfying k([,4,0]) N root and no integer k with k ([0,,]) N root, we deduce that W root /W root = (0) so the corresponding elliptic fibration has trivial torsion and rank. Theorem. The Mordell-Weil lattice can be generated by the section Z and another section whose class in W/N is of order or (Z, Z,Z 7,Z 9 or Z ). It also can be generated by Z and Z or Z 9. The rational quadratic forms associated to these various height matrices are all equivalent to the quadratic form (x +y ). The sublattice of index, N/N root, is generated by Z = Z and Z. 9 6 Proof. The proof is similar to the previous proof. Corollary. The Mordell-Weil lattices for the first i and second i embeddings are not isomorphic. Thus they lead to two distinct elliptic fibrations.

13 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS Table. Height and pairing-second embedding Z O+F+[α 4,α,] Z O+F+[α 8,α 6,0] 6 6 Z O+F+[α,α 9,] 0 9 Z 4 O+F+[α 6,α,0] 4 Z O+F+[0,α,] 0 Z 6 O+F+[α 4,α 8,0] 8 Z 7 O+F+[α 8,α,] 6 Z 8 O+F+[α,α 4,0] 0 4 Z 9 O+F+[α 6,α 7,] 4 7 Z O+F+[ a a a,0,0] 0 I 8 I <Z,Z i> <Z,Z i> ht(z i) o Z Z Z +Z Z Z Z Z Z Z 4Z Z Z 0 Z Z O+F+[0,0, δ 6] Z 6Z Proof. According to the previous theorems, the Mordell-Weil lattice for the first (resp. second) embedding can be generated by the sections V and V (resp. Z and Z ) with height matrix 6 0 (resp. 0 ). 0 As we can prove easily that these two matrices are not equivalent, since there is no matrix a b with integer entries satisfying c d a b 0 a c = a + ac b + bd c d 0 ac b d + c bd + = 6 0, d 0 0 for there are no integers a and b satisfying 4(a +b ) = 6.

14 4 MARIE JOSÉ BERTIN AND ODILE LECACHEUX 8. Weierstrass equations In this second part we obtain the Weierstrass equations of the unique, up to automorphism of the Niemeier lattice N(D6 4 ), elliptic fibration denoted #6 as in [BGHLMSW] and of the two elliptic fibrations, non isomorphic by an automorphism of the Niemeier lattice N(A 9 D 6), numbered # as in [BGHLMSW] and # bis. These fibrations are given with their torsion and infinite sections and their Mordell-Weil lattices so we can easily see the parallelism between the theoretic results of the first part and the new ones coming from the Weierstrass equations. 8.. Background and method. We start from fibration #0 of ([BGHLMSW]) with Weierstrass equation () E u : y +(u +)yx+(u ) y = x, which is the universal elliptic curve with torsion structure (Z/Z) Z/Z. The points A = ( 4 (u ),0), A = ( (u+),(u+) ) and A = ( (u ),(u ) ) are -torsion points and the point P = (0,0) is a -torsion point. The singular fibers are of type I 6 for u =,, and I for,,0. The components of an I n fiber are numbered cyclically, Θ i,j being the j th component of the singular fiber above u = i and the component Θ i,0 intersecting the zero section. 8.. The graph Γ. The vertices of the graph Γ are the twelve torsion sections and the 4 components Θ i,j. Two vertices are linked by an edge if they intersect. To make it easely lisible, only some parts of this graph are drawn on the following figures. Recall first that two torsion sections do not intersect. Then, we compute for a set of generating sections, which component of singular fibers are intersected, derived for example from the method given in [Cr] or in [Si]. For the other torsion sections, we use the algebraic structure of the Néron model or the height of sections as explained below. Recall that the height of a torsion point P is 0 involving conditions on contr v (P) since from formula (7) and Table it follows 4 = v contr v (P). For example, the only possible sum of contributions for the -torsion point P is , and for a two-torsion point Since the sum of two torsion points is also a torsion point, only one torsion point intersects the component Θ i,0, for a given reducible fiber. These remarks allow us to construct Γ. Let us now summarize useful results. The point P intersects the component Θ i, (by convention Θ i, not Θ i,4 ) of the I 6 fibers and the component Θ i,0 of the I fibers. The point A intersects the components Θ,0 and Θ 0,0, the point A intersects the components Θ,0 and Θ,0. These two points intersects Θ i, for the others I 6 fibers and Θ i, for the other I fibers. 8.. Method for building elliptic fibrations from fibration #0. Recall that it is sufficient to identify a divisor D on the surface that has the shape of a singular fiber from Kodaira s list and an irreducible curve C with C.D = to find an elliptic fibration with D as a singular fiber and C as a section. The fibration is induced by the linear system D. Moreover, if we can draw two divisors D and D on the graph Γ with D.D = 0 it is easier to determine a new fibration. We must define a function, called elliptic

15 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS A P Θ, Θ, Θ, Θ, Θ, Θ, Θ,4 Θ, Θ,0 0 Θ,0 Θ, Θ,4 Θ,0 Θ, Θ,0 Θ, Θ,0 Θ, Θ, Θ, Θ,4 Θ, P Figure. Fibration #6 parameter, with divisor D D. Moreover if D and D are subgraph of Γ we use the elliptic curve E u. The method and computations are explicited for the fibration #6. 9. Fibration #6 9.. Weierstrass equation. We consider the divisors drawn in black (double circle) for D and green (dashed circle) for D on the graph (Figure ) namely D = Θ, +Θ,0 +Θ, +(0)+Θ,0 +Θ, +Θ, D = (P )+Θ, +Θ,4 +Θ, +Θ, +Θ, +(P ). The divisors D and D correspond to two singular fibers of type I of the same fibration since D.D = 0. We see also that Θ,,Θ, and A in blue are a part of another singular fiber. Let w be a parameter for the new fibration such that w = on D and 0 on D.

16 6 MARIE JOSÉ BERTIN AND ODILE LECACHEUX So the divisors D and D correspond to the same element in the Néron-Severi group NS(X). Let D = δ + and D = δ + where δ,δ are sums of sections, δ = (O) and δ = (P ) +(P ), while, are sums of components of singular fibers. It follows from the equality δ = δ in the group NS(X)/T(X) that δ δ = (0) (P ) (P ) is the divisor of a function on the elliptic curve E u, precisely the function x. The parameter w is then equal to x.f (u). We compute f (u) using three blow- up to get a pole of order on Θ,,Θ,,Θ, and obtain x w = (u ). Eliminating x in the equation of E u and setting y = (u ) z,u = + U it follows a quartic equation in z, U, w. All the transformations are summarized in the birational transformation φ : (X,Y,w) (x,y,u) leading to the following Weierstrass equation E w () E w : Y = X(X w(+4w)) ( X +w (+4w) ) with x = w(+4w)( X +4w ) (Y +X(w+)) (Y Xw w (+4w)) 4 y = (+4w) X ( X +4w ) 4 (Y +X(w+)) (Y Xw w (+4w)) 6 u = (+4w)( X +4w ) Y Xw w (+4w) +. The singular fibers are of type I for w = 0,, I 0 for w = /4, I for w =. We compute that the function w+/4 is equal to 0 on Θ ±,, giving thus with A and Θ ±, a complete description of the singular fiber I 0. The component Θ 0, is a component of the singular fiber I obtained for w = and does not intersect the new 0 section. The second component is the curve with the parametrization u = +z +z x = 9 (z ) (+z) (z ) (z +) (+z ) 4 y = 7 (+z) (z ) (z +) 4 (z ) 4 (+z ) 6. This component gives a quadratic section on E u and can be used to construct other fibrations. 9.. Sections of the fibration #6. Denote Q = (0,0), Q = (w(4w + ),0), Q = ( w (4w +),0) the two-torsion sections and W = ( 4w, w (w +)) an infinite section of E u. On the Figures and, in red bullets, can be viewed the following sections of the new fibration: Θ,,Θ,4,Θ,,Θ,4 and also P +A,P +A,P +A,P +A.

17 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS 7 P +A Θ, Θ, Θ, Θ,4 P w = 0 Θ, P Θ, Θ, P +A P +A Θ,4 Θ, Θ, Θ, Θ, A Θ, Θ, Θ,0 0 Θ,0 Θ, w = w = /4 Θ, Θ,4 P +A Figure. Fibration 6 Table 6. Heights for sections of fibration #6 Contr. on Θ,4 Θ, Θ, Θ,4 P +A P +A P +A P +A I w=0 0 0 I w= 0 0 I0 w= I w= height W Q Q +W Q Q +W Q +W Q The correspondence between sections of fibrations #0 and #6 can be settled by the transformation φ. Recall that the components Θ i,j are obtained by blowing up. For example the section P = (x = 0,y = 0) intersects the component Θ,, so this component defined by x = (u ) x,y = (u ) y satisfies y = 0. It follows that the point W corresponds to Θ, and the 0 section of the new fibration to Θ,4. For all results see Table Heights of sections. The heights of sections of the new fibration are computed with the help of the graph. For example, we can see on Figure that the section P + A intersects Θ,4 (the zero section), Θ, (I for w = 0), Θ, (I for w = ), Θ, (I 0 for w = 4 ) and Θ 0, (I for w = ). The respective contributions are then computed with Table and from formula (7) it follows h(p +A ) = 4+ (/+/++/) = /. Since the height of this section is equal to, according to formula (8), it generates the Mordell-Weil lattice. The results are summarized on Table 6.

18 8 MARIE JOSÉ BERTIN AND ODILE LECACHEUX A Θ, Θ, Θ, P Θ, Θ, Θ, Θ,4 Θ, Θ,0 0 Θ,0 Θ, Θ,4 Θ,0 Θ, P +A A Θ,0 Θ, Θ, P +A Θ, Θ,4 A +P Θ, = ω P Figure. Fibration. Fibration # The two divisors D = A +Θ, +Θ, +P +Θ, +Θ, +(A +P )+Θ, D = Θ,4 +Θ, +Θ,0 +0+Θ,0 +Θ, +(P +A )+Θ, +Θ,4 +P can be viewed as two singular fibers of an elliptic fibration with elliptic parameter p determined as explained in 9.. First we search on E u a function g with three simple poles at 0,(P ) and P +A and three zeros at P,A and A +P. Taking g = r + y y P x x P +s y y P +A x x P+A

19 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS 9 and choosing r and s satisfying g(a ) = g(a +P ) = 0, we get r = u+,s = u u+. Finally to insure poles on D set p = g u so ( x+ ( u ) ) y ( u ) x p = (u )x (x+(u+)(u ) ). We can remark that p can also be obtained from the fibration #6 and the parameter p = Y w(x w(+4w)). The usual transformations leading to a Weierstrass equation are summarized in the birational map φ : ((x,y,p) (x,y,u) with x = u = where G G 4 p x(x p(p +4p )x 4p ) 4 y = G p(x p(p +4p )x 4p ) G G 4G p x(x p(p +4p )x 4p ) 6 G = ( x p ) y+p ( p + ) x 4p 4,G = (p+)y+x p (p+)x, G = ( p x ) y px +p (p )x+8p 4,G 4 = ( p x ) y+px p (p+)x. We find then the following Weierstrass equation () y ( p + ) yx+4p y = x ( x p )( x 4p ). We denote V = (p(p ),p(p )) and V = ( 0, 4p ). The first and last line of Table 7 are computed using φ and also ω = Θ, the zero of the new fibration. From the graph (Figure ) we obtain the index of the component of the singular fibers (I 8 and I ) which a given section S meets (line and of Table 7). Then we compute the heights as explained in 9.. From formula (6), it follows < Θ,,P + A >= 0. Thus the height matrix of Θ, and P +A has determinant /0.; we recover the result: The two sections V and V generate the Mordell-Weil lattice. Table 7. Heights for sections of fibration # sect. Θ, Θ, Θ, Θ, Θ, Θ 0, A A P +A P +A I I ht V V V V V V V V V V +V V V V

20 0 MARIE JOSÉ BERTIN AND ODILE LECACHEUX A P Θ, Θ, Θ, = ω Θ, Θ, Θ, Θ,4 Θ, Θ,0 0 Θ,0 Θ, Θ,4 P +A Θ,0 Θ, Θ,0 Θ 0,0 Θ 0, Θ, Θ, P +A Θ, Θ,4 A +P Θ, P Figure 4. Fibration bis. Fibration # bis The two divisors D = Θ, +Θ, +Θ, +Θ,4 +Θ, +(P +A )+Θ 0, +(A +P ) D = Θ, +Θ, +A +Θ, +Θ,4 +Θ, +Θ,0 +0+Θ,0 +Θ, define two singular fibers of an elliptic fibration with elliptic parameter t = y+(u )(u )x (u ) (u+) (u ) (x+ 4 (u ) ), and Weierstrass equation y + ( t ) yx t y = x ( x+t )( x+4t ) with the following birational transformations

21 AUTOMORPHISMS OF CERTAIN NIEMEIER LATTICES AND ELLIPTIC FIBRATIONS Table 8. Heights for sections of fibration # bis sect Θ, Θ, Θ,4 Θ, Θ,0 Θ, P P P +A P +A I I ht Z Z Z Z 4Z Z Z Z Z Z Z Z Z (x,y,t) (x,y,u) y(x+) (x+4t )H x = 8 ((t+)y+(x+4t )(x t)) 4 y = 6 (x+) (x+4t )(y+4t x+x )H 4 ((t+)y+(x+4t )(x t)) 6 u = (t+)y (x+4t )(x++t) (t+)y+(x+4t )(x t) where H = (t+)y+(t+)(x+4t ). Notice also the relations H u = (t+)y+(x+4t )(x t) and (x+)(x+4t ) u+ = (t+)y+(x+4t )(x t). Let Z = (0,0) and Z = (,(t )(t+)). It follows from the previous formulae that the 0 section of the new fibration corresponds to u = and looking at x/(u ) and at the graph we find that the 0 section corresponds to Θ,. The correspondence between the sections of the two fibrations can be also derived and is shown on Table 8. On the same table are quoted the contributions and the heights of sections computed with the graph. Moreover we find < Θ,4,P >= +Θ, P +Θ, Θ,4 Θ,4 P 4 = 0. Thus the height matrix of the two sections Θ,4 and P is diagonal with determinant 0, so Z and Z generate the Mordell-Weil lattice. References [BGHLMSW] M.J. Bertin, A. Garbagnati, R. Hortsch, O. Lecacheux, M. Mase, C. Salgado, U. Whitcher Classifications of Elliptic Fibrations of a Singular K Surface, in Women in Numbers Europe, 7 49, Research Directions in Number Theory, Association for Women in Mathematics Series, Springer, 0. [BL] M.J. Bertin, O. Lecacheux Elliptic fibrations on the modular surface associated to Γ (8), in Arithmetic and geometry of K surfaces and Calabi-Yau threefolds, 99, Fields Inst. Commun., 67, Springer, New York, 0. [Cr] J. Cremona, Computing in component groups of elliptic curves, ANTS VIII Proceedings: A. van der Poorten, A. Stein (eds.), ANTS VIII, Lecture Notes in Computer Science 0 (008), 8 4. [CS] J.H. Conway, N.J.A. Sloane, Sphere Packings, Lattices and Groups, Springer-Verlag (99).

22 MARIE JOSÉ BERTIN AND ODILE LECACHEUX [El] N. Elkies, Private communication. [IS] M. Ishii, D. Sagaki, H. Shimakura, Automorphisms of Niemeier lattices for Miyamoto Z- orbifold construction, Mathematische Zeitschrift June 0, Volume 80, Issue, 8. [IS] D. Sagaki, H. Shimakura Application of a Z -orbifold construction to the lattice vertex operator algebras associated to Niemeier lattices, Trans. Amer. Math. Soc. 68 (06), [Nis] K. Nishiyama, The Jacobian fibrations on some K surfaces and their Mordell-Weil groups, Japan. J. Math. (N.S.) (996) [ScSh] M. Schütt, T. Shioda, Elliptic surfaces, Algebraic geometry in East Asia Seoul 008, Adv. Stud. Pure Math., 60, Math. Soc. Japan, Tokyo, (0) 60. [Si] J. H. Silverman, Computing heights on elliptic curves, Math. Comp. (8) (988) address: marie-jose.bertin@imj-prg.fr, odile.lecacheux@imj-prg.fr Current address: Université Pierre et Marie Curie (Paris 6), Institut de Mathématiques, 4 Place Jussieu, 700 PARIS, France