L’article comporte une méthode de calcul de fonctions de Belyi “optimales”, associées à des dessins plans. Cette étude conduit à s’interroger sur la possibilité de définir une fonction de Belyi sur le corps des modules du dessin. Pour les arbres par exemple, nous montrons que c’est toujours le cas. La preuve donne une méthode pour spécifier une telle fonction. Nous donnons ensuite un exemple de dessin qui n’admet pas de fonction de Belyi sur son corps des modules. Enfin, nous étudions la question plus générale du calcul de fonctions de Belyi pour des dessins avec ou sans automorphismes et de genre 0, et en particulier, comment calculer une fonction de Belyi définie sur le corps des modules du dessin, chaque fois que c’est possible, ou sur une extension minimale dans le cas contraire. Ceci nous conduit à présenter quelques algorithmes pour la recherche de points rationnels dans des corps de genre 0.
Belyi functions are algebraic functions with only three ramification values. In the genus zero case, we present some practical methods for computing such functions. We also prove that, unless the automorphism group of such a function is cyclic of even order, its moduli field is also a definition field, and we give explicit constructions for such a model. This leads us to looking for rational points in genus zero extensions.
@article{AIF_1994__44_1_1_0, author = {Couveignes, Jean-Marc}, title = {Calcul et rationalit\'e de fonctions de Belyi en genre 0}, journal = {Annales de l'Institut Fourier}, volume = {44}, year = {1994}, pages = {1-38}, doi = {10.5802/aif.1387}, mrnumber = {96k:11080}, zbl = {0791.11059}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1994__44_1_1_0} }
Couveignes, Jean-Marc. Calcul et rationalité de fonctions de Belyi en genre 0. Annales de l'Institut Fourier, Tome 44 (1994) pp. 1-38. doi : 10.5802/aif.1387. http://gdmltest.u-ga.fr/item/AIF_1994__44_1_1_0/
[Arms] Groups and Symmetry, U.T.M. Springer Verlag (1988). | MR 90b:20001 | Zbl 0663.20001
,[Bely] On Galois extensions of the maximal cyclotomic field, Izvestiya Ak. Nauk. SSSR, ser. mat., 43-2 (1979), 269-276. | MR 80f:12008 | Zbl 0409.12012
,[Birc] Arithmetic of noncongruence subgroups, non publié.
,[Grot] Esquisse d'un programme, non publié. | Zbl 0901.14001
,[Joux] Thèse sur les applications de LLL en cryptographie et théorie de la complexité. Sous la direction de Jacques Stern, à paraître.
,[LeLeLo] Factoring Polynomials with rational coefficients, Math. Ann., 261 (1982), 515-534. | MR 84a:12002 | Zbl 0488.12001
, . et ,[Schn] Dessins d'enfants on the Riemann sphere, à paraître. | Zbl 0823.14017
,[Serr] Corps Locaux, Hermann. | Zbl 0137.02601
,[ShVo] Drawing curves over number fields. Papers in honour of A. Grothendieck. The Grothendieck Festschrift, Birkhauser, 1990, 199-229. | MR 92f:11083 | Zbl 0790.14026
et ,[Weil] The field of definition of a variety, Amer. J. Math., 78 (1956), 509-524. | MR 18,601a | Zbl 0072.16001
,