Toute courbe de genre 1 est une courbe elliptique E, dont l'équation peut s'écrire Z Y2 = V(X, Z) où V est un polynôme homogène de degré 4 ayant quatre racines sont distinctes. Nous avons alors le revêtement V : E P1 (X : Y : Z) (X : Z) qui a quatre valeurs de ramification d'ordre 2, l'ensemble R des racines de V.
Si nous composons ce revêtement avec une fonction de Belyi de P1 dans P1 telle que (R) soit inclus dans {0, 1, }, nous obtenons un revêtement de genre 1, ramifié au dessus de {0, 1, }.
Si la liste des valences du revêtement est [r1, ..., rc; p1, ..., pa; q1, ..., qb], on obtient la liste des valences du revêtement o en doublant les valences correspondant à R et répétant les autres. Par exemple, le double de [3; 2 1; 2 1] est [6; 42; 222] le double de [3; 2 1; 2 1] est [6; 42; 411] et le double de [4 3; 3 2 2; 2 2 2 1] est [8 6; 4 4 3 3; 2 2 2 2 2 2 1 1].
C'est la méthode utilisée par Birch [7] pour la plupart de ses exemples de dessins de genre 1, sous la forme du double d'un dessin de genre 0.
Il ne s'agit pas ici de trouver la fonction de Belyi d'un dessin dont on connaît les degrés de ramification ou la monodromie, mais de trouver la fonction de Belyi d'un dessin de genre 0 pour lequel les points et sont à une position prédéfinie. Plus précisément, nous cherchons une fonction non ramifiée hors de {0, 1, }
(x) = i=1...n (x-i)ri
où les i sont fixés dans P1 et distincts et les ri sont des inconnues dans Z. Par construction, les points de ramification de cette fonction sont les zéros et pôles de sa dérivée logarithmique ' / . Belyi [6] propose une solution dans le cas où les i sont entiers.
On calcule les déterminants de Vandermonde W = DetVdM(1, 2, ... , n) et wi = (-1)i-1DetVdM(1, ... , [i] , ... , n), où n > 1 et où [i] signifie qu'on omet i. Ils sont liés par l'identité
i=1...n wi/(x-i) = W i=1...n 1/(x-i)
d'où on déduit par exemple que i=1...n wi = 0. Or il se trouve que '(x) / (x) = i=1...n ri / (x-i). Si les i sont entiers, les wi aussi, ils permettent alors de construire .
Nous commençons par étudier localement la fonction de Belyi. Nous choisissons une valeur de ramification parmi {0, 1, }, par exemple 0, et un point (de ramification) p 0 d'ordre n. Un voisinage de p dans la surface X est par exemple un disque centré en p, dans lequel la fonction de Belyi est équivalente à xn. Sa réciproque est donc équivalente à une racine n-ième.
Pour reformuler ceci de façon plus canonique, nous introduisons comme dans [17] des uniformisantes f,n pour chaque fléchette f. La réciproque de la fonction de Belyi peut alors être exprimée localement comme une série en f,n.
Nous avons donc 6N formules locales. L'égalité de ces séries en des points qui sont dans l'intersection de leurs domaines de convergence peut être utilisée pour en déduire une description de X et de la fonction de Belyi.