arxiv:math/ v1 [math.ca] 27 Nov 2003

Transcription

1 arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations (modulo salar equivalene) with index n and projetive monodromy group of order 2N, for given n Zand N N. This is done by performing the ombinatoris of the dessins d enfants assoiated to the Belyi overs whih transform hypergeometri equations into Lamé equations by pull-bak. 1 Introdution The integral Lamé equation with parameters B, g 2, g C and n Z is the seond order differential equation on the P 1 given by p(z) d2 y dz p (z) dy (n(n + 1)z + B)y = 0, (1) dz where p(z) := 4z g 2 z g has nonzero disriminant, i.e. g2 27g2 0. The parameter n is alled the index. We are interested in Lamé equations with a basis of solutions whih are algebrai (over C(z)). Suh solutions an in fat our for non integer n Q, but in this artile we restrit to n Z, hene the word integral in integral Lamé equation. It is known that if there exists a basis of algebrai solutions, then the projetive monodromy group is dihedral, see for example [BW, Cor..4] or [vdw, Thm ]. If in equation (1) we replae z by λz (for a nonzero λ C), we get a new Lamé equation with the same index n, but with the parameters (B, g 2, g ) replaed by (B/λ, g 2 /λ 2, g /λ ). These substitutions indue a natural equivalene relation on the spae of all Lamé equations. Two Lamé equations whih are equivalent w.r.t. this equivalene relation are alled salar equivalent. Now it is also known that for given n Z and N N there are only finitely many Lamé equations modular salar equivalene with index n and projetive monodromy group dihedral of order 2N. This an be proven in different ways, see for example [BW, Thm. 4.6], [vdw, Thms , 6.7.9] or [Lit1, Thm 4.1]. Throughout this artile the number of Lamé equations modular salar equivalene with index n and projetive monodromy group dihedral of order 2N will be denoted by L(n, N). 1

2 In [Lit1] it is desribed how the problem of alulating L(n, N) an be translated in ounting the number of dessins d enfants ompatible with presribed ramifiation data. In the same artile the ombinatoris are performed for n = 1, obtaining a result earlier obtained in [Chi]. In [Lit2] an attempt was made to perform the ombinatoris for n = 2. In this artile we perform the ombinatoris for general n N. 2 The Combinatoris Following [Lit1], we write the Lamé equation as in equation 1, but now with p(z) := 4z(z 1)(z λ) and λ C {0, 1}. Aording to [Chi] the funtions (Belyi overs) F : P 1 P 1 whih transform, by pull-bak, hypergeometri equations into Lamé equations with index n and projetive monodromy group dihedral of order 2N, have the following ramifiation data. 0 1 λ 1 +nn/2 points with multipliity 2 +n points with multipliity N n+1 +(nn 2n 4)/2 points with multipliity 2 Table 1: Case Ia 0 1 λ 1 1 +(nn 1)/2 points with multipliity 2 +n points with multipliity N n+1 +(nn 2n )/2 points with multipliity 2 Table 2: Case Ib 0 1 λ (nn 2)/2 points with multipliity 2 +n points with multipliity N 0 1 2n+1 +(nn 2n 2)/2 points with multipliity 2 Table : Case I 0 1 λ (nn )/2 points with multipliity 2 +n points with multipliity N 0 2n+1 +(nn 2n 1)/2 points with multipliity 2 Table 4: Case Id 2

3 0 1 λ 1 +nn/2 points with multipliity 2 N/2 N/2 +n 1 points with multipliity N 0 1 2n+1 +(nn 2n 2)/2 points with multipliity 2 Table 5: Case II The tables have the following meaning. All the possible branhing points, i.e. 0, 1 and, are ontained in the first olumn. In the three orresponding rows, the inverse images (whih are given in the first row) together with the multipliities an be read of in the obvious way. For more information we refer to [Lit1] or [Lit2]. Theorem 1 Let n, N N, then the number of dessins d enfants ompatible with the tables above equals n(n + 1)(N 1)(N 2)/12 + 2/ε(n, N), where { 1 if N and n 1 (mod ); ε(n, N) := 0 otherwise. Proof Let n, N N and suppose n > 1. First onsider ase I, it will not be neessary to onsider the four ases Ia, Ib, I, Id separately. In all four ases there are n points above, all with multipliity N. So the assoiated dessins onsist of n ells all with valeny N. Furthermore, there are n 1 yles, whih have beginning and end in the point p := and lines, emanating from p. There are no further intersetions. In this artile, whenever we draw dessins d enfants, we will not draw the verties. a line a yle Figure 1: a line and a yle, not taken into aount the valenies We define the valeny of a line as the number of edges of that line and the valeny of a yle as half the number of edges of that yle. With these definitions we define the valeny of a ell as the sum of the valenies of the lines it ontains and the yles that bound it. We note that the valeny of a ell equals the multipliity of the inverse image of lying in the ell. We see that the boundary of every ell ontains exatly one ore two yles (sine we assumed n > 1). A ell with exatly one yle in its boundary will be alled a simple ell. Sine all the ells have the same valeny and there are only three lines, there an be no more than three simple ells. There is of ourse a minimum of two simple ells. These two

4 ases, that of two simple ells (ase A) and that of three simple ells (ase B), will be onsidered seperately. We first onsider ase A. If we do not take into aount the lines and the valenies of the yles, it is easy to see that there is only one possibility for the dessin. It has the following shape: n 1 yles Figure 2: ase A This an also be drawn in a more symmetri way as follows: n odd: n even: n 1 2 yles n 1 n n yles 1 yles 1 yles yle Figure : ase A We will now take into aount the three lines (but still do not take into aount the valenies). Eah of the two simple ells must ontain at least one line (sine every ell has the same valeny). If eah of the three lines are ontained in a simple ell, there is (beause of rotational symmetry) only one possibility. We all this ase AI. The dessin has the following shape: 4

5 n 1 yles a b Figure 4: ase AI If there is a line whih is not ontained in a simple ell, there are n 2 possible ells that an ontain it. For every of these n 2 ells the line an lie on two different sides, but if we take into aount the rotational symmetry, we see that the number of possibilities is redued by a fator two. So in this ase we arrive at exatly n 2 different kinds of dessins. We all this ase AII. The dessins are of the following shape: n 1 yles a b Figure 5: ase AII where the line whih is not ontained in a simple ell an always be drawn on the left side. We will now take into aount the valenies of the yles and lines. Let a, b, N denote the valenies as given in figures 4 and 5. In both ases we have a+b+ = N (and a, b, 1). Furthermore, it is easy to see (by indution) that for every suh triple (a, b, ) there is exatly one possible dessin (for a fixed shape of the 5

6 dessin). Now there are (N 1)(N 2)/2 possible triples (a, b, ). We onlude that there are exatly (N 1)(N 2)/2 possible dessins of type AI and there are exatly (n 2)(N 1)(N 2)/2 possible dessins of type AII. So there are exatly (n 1)(N 1)(N 2)/2 possible dessins of type A. Now onsider ase B. If we do not take into aount the valenies of the ells and lines, one easily obtains (by indution) that the dessins are of the following shape: a x yles b y yles z yles Figure 6: ase B We first onsider these dessins without taking into aount rotational symmetry. Sine x+y+z = n 1 (and x, y, z 1) there are (n 2)(n )/2 possibilities for the triple (x, y, z). Note that for n = 2, we also arrive at the orret answer, namely zero. We will now take into aount the valenies of the yles and lines. Let a, b, N denote the valenies as given in figure 6. We have a + b + = N (and a, b, 1). Furthermore, it is easy to see (by indution) that for every suh triple (a, b, ) there is exatly one possible dessin (for fixed x, y, z and not taken into aount the rotational symmetry yet). Now there are (N 1)(N 2)/2 possible triples (a, b, ). We onlude that there are (n 2)(n )(N 1)(N 2)/4 possible dessins of type B, not taken into aount the rotational symmetry. If we now do take into aount the rotational symmetry, we see that we have ounted every dessin three times, exept when the dessin has a three fold rotational symmetry. There is exatly one dessin with a three fold rotational symmetry if and only if N and the number of yles are divisible by, i.e. N and n 1 (mod ), otherwise there are no suh dessins. We onlude that there are 6

7 exatly ( 1 (n 2)(n )(N 1)(N 2) 4 ) + 2ε(n, N) = (n 2)(n )(N 1)(N 2) + 2 ε(n, N) 12 possible dessins of type B. So the total number of dessins of type I equals (n 1)(N 1)(N 2)/2 + (n 2)(n )(N 1)(N 2)/12+2/ε(n, N) = n(n+1)(n 1)(N 2)/12+2/ε(n, N). It remains to be proven that there are no dessins of type II. In ase II there are n + 1 points above, n 1 with multipliity N and two with multipliity N/2. So the assoiated dessins onsist of n + 1 ells, n 1 with multipliity N and two with multipliity N/2. Furthermore, there are n yles and 1 line, whih emanate from p =. There are no further intersetions. From the fat that there are two ells with valeny stritly smaller than N, all other ells have valeny N and there is one line, we onlude that (again) there are either 2 simple ells (ase C) or simple ells (ase D). First onsider the ase of two simple ells. We distinguish the following two ases. Case CI: the line is ontained in a simple ell. Case CII: the line is not ontained in a simple ell. n yles n yles a a b d e b Figure 7: left: ase CI, right: ase CII Let a, b, N denote the valenies as given in the left part of figure 7. We must have a = N/2 and by indution we obtain that all the non simple ells have valeny N and that b = N/2. So b + > N/2, but this means that there is only one ell with valeny N/2. We onlude that there are no dessins of type CI. Let a, b,, d, e N denote the valenies as given in the right part of figure 7. We must have a = b = N/2. Sine all non simple ells must have valeny N, we obtain by indution that = d = N/2. So + d + e > N, but this means that there is a ell with valeny larger that N. We onlude that there are no dessins of type CII. 7

8 Now onsider the ase of three simple ells. The line must lie in a simple ell and the dessin has the following shape: e x yles a b y yles d z yles Figure 8: ase D Let a, b,, d, e N denote the valenies as given in figure 8. We must have a = b = N/2. Sine all non simple ells must have valeny N we obtain by indution that = d = N/2. So + d + e > N, but this means that there is a ell with valeny larger that N. We onlude that there are also no dessins of type D. So there are no dessins of type II. We note that for n = 1 the proof that there are no dessins of type II also applies (but only ase CI has to be onsidered and there is only one yle). We have proven our theorem for n > 1. For n = 1 the ombinatoris was done in [Lit1] (and for n = 1 the result was already obtained in [Chi] by other means), but the ombinatoris an be simplified signifiantly as follows. As noted before there are no dessins orresponding to type II. So let us onsider ase I. There is only one point above, whih has multipliity N. So the assoiated dessins onsist of one ell with valeny N. Furthermore there are no yles and three lines, who ome together in the point p =. The dessin has the following shape: 8

9 Figure 9: n = 1 Let a, b, denote the valenies of the three lines. If we do not take into aount the rotational symmetry, then the number of dessins equals the number of triples (a, b, ) with a + b + = N (and a, b, 1). There are (N 1)(N 2)/2 suh triples. If we now do take into aount the rotational symmetry, we see that we have ounted every dessin three times, exept when the dessin has a three fold rotational symmetry. There is exatly one dessin with a three fold rotational symmetry if and only if N, otherwise there are no suh dessins. We onlude that there are exatly 1 ( (N 1)(N 2) 2 ) (N 1)(N 2) + 2ε(1, N) = + 2 ε(1, N) 6 possible dessins when n = 1. This finishes the proof. Now theorem 1 ombined with proposition.1 in [Lit1] gives rise to the following. Theorem 2 Let n Z and N N. Then n(n + 1) L(n, d) = (N 1)(N 2) + 2 ε(n, N), (2) 12 d N where ε(n, N) is as in theorem 1. Let N N. We denote by φ(n) Euler s totient funtion, i.e. φ(n) := {k Z 0 k < N, gd(k, N) = 1} and by Ψ(N) the two dimensional analog, i.e. Ψ(N) := {(k 1, k 2 ) Z 2 0 k 1, k 2 < N, gd(k 1, k 2, N) = 1}. From the theorem above, together with the well known results Ψ(d) = N 2, we easily obtain the following. d N φ(d) = N and d N 9

10 Corollary Let n Z and N N. If N = 1, then L(n, N) = 0. If N 1, then n(n + 1) L(n, N) = (Ψ(N) φ(n)) + 2 ǫ(n, N), 12 where { 1 if N = and n 1 (mod ); ǫ(n, N) := 0 otherwise. Referenes [BW] Frits Beukers and Alexa van der Waall, Lamé Equations with Algebrai Solutions, to appear in J. Differential Equations. [Chi] F. Chiarellotto, On Lamé Operators whih are Pull-Baks of Hypergeometri Ones, Trans. Amer. Math. So., 47(8): , [Lit1] R. Litanu, Counting Lamé Differential Operators, Rend. Sem. Mat. Univ. Padova, 107: , [Lit2] R.Litanu, Lamé Operators with Finite Monodromy, to appear. [vdw] Alexa van der Waall, Lamé Equations with Finite Monodromy, Universiteit Utreht, Utreht, 2002, Thesis. On-line referene: 10