Calculating and drawing Belyi pairs

G. Shabat

Zapiski Nauchnykh Seminarov POMI, Combinatorics and graph theory. Part V, Tome 446 (2016), pp. 182-220

Résumé

The article contains a survey of the current state of the constructive part of the theory of dessin d'enfants. Namely, it is devoted to the actual establishing the correspondence between Belyi pairs and their combinatorial-topological representation. This correspondence is established in terms of the categorical equivalences, for which the necessary categories are introduced. Several connections with arithmetic are discussed. A section is devoted to one of the possible generalizations of the theory, in which the 3 branch points, allowed for the Belyi functions, are replaced by 4. Several direction of further research are presented.

Bibliographie

[1] N. Adrianov, G. Shabat, “Unicellular cartography and Galois orbits of plane trees”, Geometric Galois actions, v. 2, London Mathematical Society Lecture Note Series, 243, 1997, 13–24 | MR | Zbl

[2] F. Beukers, H. Montanus, “Explicit calculation of elliptic K3-surfaces and their Belyi-maps”, London Math. Soc. Lecture Note Ser., 352, Cambridge Univ. Press, Cambridge, 2008, 33–51 | MR | Zbl

[3] B. Birch, “Non-congruence subgroups, covers and drawings”, The Grothendieck theory of dessins d'enfants, London Math. Soc. Lecture Note Ser., 200, Cambridge Univ. Press, Cambridge, 1994, 25–46 | MR | Zbl

[4] A. Bobenko, M. Skopenkov, Discrete Riemann surfaces: linear discretization and its convergence, J. reine angew. Math., 2014 ; arXiv: 1210.0561 | DOI

[5] F. Bogomolov, Yu. Tschinkel, “Unramified correspondences”, Algebraic Number Theory and Algebraic Geometry, Contemp. Math., 300, Amer. Math. Soc., Providence, RI, 2002, 17–25 | DOI | MR | Zbl

[6] L. P. Bowers, K. Stephenson, “Uniformizing dessins and Belyi maps via circle packing”, Memoirs of the American Mathematical Society, 805, 2004, 78–82 | MR

[7] J. Bétréma, D. Péré, A. K. Zvonkin, Plane trees and their Shabat polynomials, Catalog Rapport interne du LaBRI, Bordeaux, 1992

[8] J.-M. Couveignes, “Calcul et rationalité de fonctions de Belyi en genre 0”, Annales de l'institut Fourier, 44:1 (1994), 1–38 | DOI | MR | Zbl

[9] M. H. Cueto, The field of moduli and fields of definition of dessins d'enfants, Trabajo de Fin de Master, Universidad Autónoma de Madrid, 2014

[10] V. Dremov, G. Shabat, Fried families of curves, In preparation

[11] P. Dunin-Barkowski, G. Shabat, A. Popolitov, A. Sleptsov, “On the Homology of Certain Smooth Covers of Moduli Spaces of Algebraic Curves”, Diff. Geom. and its Applications, 40 (2015), 86–102 | DOI | MR | Zbl

[12] N. D. Elkies, “The Klein quartic in number theory”, The Eightfold Way: The Beauty of Klein's Quartic Curve, Cambridge Univ. Press, 1999, 51–102 | MR

[13] N. D. Elkies, “The complex polynomials $P(x)$ with $\operatorname{Gal}(P(x)-t)\simeq\mathsf M_{23}$”, The open book series, 1:1 (2013), 359–367 | DOI | MR | Zbl

[14] G. Faltings, “Endlichkeitssatze fur abelsche Varietaten uber ZahlKorpern”, Invent. Math., 73 (1983), 349–366 ; “Erratum”, Invent. Math., 75 (1984), 381 | DOI | MR | Zbl | DOI | MR

[15] M. Fried, “Arithmetic of 3 and 4 branch point covers: A bridge provided by noncongruence subgroups of $\mathsf{SL}_2(\mathbb Z)$”, Progress in Math., 81, Birkhauser, 1990, 77–117 | DOI | MR

[16] E. Girondo, G. Gonzalez-Diez, Introduction to Compact Riemann Surfaces and Dessins d'Enfants, London Mathematical Society Student Texts, 2012

[17] W. Goldring, “Unifying Themes Suggested by Belyi's Theorem”, Number Theory, Analysis and Geometry, Serge Lang Memorial Volume, Springer-Verlag, 2011, 181–214 | MR

[18] A. Grothendieck, “Esquisse d'un programme (1984 manuscript)”, Geometric Galois actions, v. 1, London Math. Soc. Lecture Note Ser., 242, Cambridge Univ. Press, Cambridge, 1997, 5–48, With an English translation on pp. 243–283 | MR | Zbl

[19] P. Guillot, An elementary approach to dessins d'enfants and the Grothendieck–Teichmüller group, 20 Aug 2014, arXiv: 1309.1968v2[math GR] | MR

[20] E. Hallouin, E. Riboulet-Deyris, Computation of some Moduli Spaces of covers and explicit $\mathsf S_n$ and $\mathsf A_n$ regular $\mathbb Q(T)$-extensions with totally real fibers, 2008, arXiv: math/0202125v1[math.NT]

[21] R. A. Hidalgo, A computational note about Fricke-Macbeath's curve, Jun 2012, arXiv: 1203.6314v3[math.CV]

[22] Y.-H. He, J. McKay, J. Read, “Modular subgroups, dessins d'enfants and elliptic K3 surfaces”, LMS J. Comp. Math., 16 (2013), 271–318 | DOI | MR | Zbl

[23] M. van Hoeij, R. Vidunas, “Belyi functions for hyperbolic hypergeometric-to-Heun transformations”, J. Algebra (to appear) | MR

[24] A. Hurwitz, R. Courant, Vorlesungen über allgemeine Funktionentheorie und elliptische Funktionen, Springer, 1964 | MR | Zbl

[25] A. Javanpeykar, P. Bruin, “Polynomial bounds for Arakelov invariants of Belyi curves”, Algebra and Number Theory, 8:1 (2014), 89–140 | DOI | MR | Zbl

[26] A. Javanpeykar, R. von Känel, Szpiro's small points conjecture for cyclic covers, Mar 2014, arXiv: 1311.0043v2[math.NT] | MR

[27] U. C. Jensen, A. Ledet, N. Yui, Generic Polynomials, Constructive Aspects of the Inverse Galois Problem, Cambridge University Press, 2002 | MR | Zbl

[28] G. A. Jones, D. Singerman, “Maps, hypermaps and triangle groups”, The Grothendieck Theory of Dessins d'Enfant, London Math. Soc. Lecture Notes, 200, Cambridge Univ. Press, 1994, 115–146 | MR

[29] G. A. Jones, M. Streit, J. Wolfart, “Wilson's map operations on regular dessins and cyclotomic fields of definition”, Proc. London Math. Soc., 100 (2010), 510–532 | DOI | MR | Zbl

[30] F. Klein, Lectures on the Icosahedron, Dover Phoenix Editions, 2003; F. Klein, Lektsii ob ikosaedre i reshenii uravnenii pyatoi stepeni, Nauka, M., 1989 | MR

[31] Yu. Yu. Kochetkov, Short catalog of plane ten-edge trees, arXiv: 1412.2472v1

[32] M. Kontsevich, “Intersection theory on the moduli space of curves and the matrix Airy function”, Comm. Math. Phys., 147:1 (1992), 1–23 | DOI | MR | Zbl

[33] S. K. Lando, A. K. Zvonkin, Graphs on Surfaces and Their Applications, Encyclopaedia of Mathematical Sciences: Lower-Dimensional Topology II, 141, Springer-Verlag, Berlin–New York, 2004 ; S. K. Lando, A. K. Zvonkin, Grafy na poverkhnostyakh i ikh prilozheniya, Izd-vo MTsNMO, M., 2010 | DOI | MR | Zbl

[34] H. W. Lenstra, P. Stevenhagen, “Chebotarev and his density theorem”, The Mathematical Intelligencer, 18 (1996), 26–37 | DOI | MR | Zbl

[35] S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics, 5, second ed., Springer, 1998 | MR | Zbl

[36] Yu. I Manin, Private communication, around 1975

[37] Yu. I. Manin, Kolmogorov complexity as a hidden factor of scientific discourse: from Newton's law to data mining, Talk at the Plenary Session of the Pontifical Academy of Sciences on “Complexity and Analogy in Science: Theoretical, Methodological and Epistemological Aspects” (Casina Pio IV, Nov. 5–7, 2012)

[38] Yu. Matiyasevich, Generalized Chebyshev polynomials, , 1998 http://logic.pdmi.ras.ru/~yumat/personaljournal/chebyshev/chebysh.htm

[39] R. Miranda, U. Persson, “Configurations of $I_n$ fibers on elliptic K3 surfaces”, Math. Z., 201 (1989), 339–361 | DOI | MR | Zbl

[40] C. Mercat, Discrete period matrices and related topics, 2002, arXiv: math-ph/0111043v2

[41] M. Mulase, M. Penkava, “Ribbon Graphs, Quadratic Differentials on Riemann Surfaces, and Algebraic Curves Defined over $\overline{\mathbb Q}$”, The Asian Journal of Mathematics, 2:4 (1998), 875–920 | DOI | MR

[42] D. Oganesyan, “Abel pairs and modular curves”, Zapiski POMI, 446, 2016, 165–181

[43] F. Pakovich, “Combinatoire des arbres planaires et arithmétique des courbes hyperelliptiques”, Ann. Inst. Fourier, 48:2 (1998), 323–351 | DOI | MR

[44] R. C. Penner, “Perturbative series and the moduli space of Riemann surfaces”, J. Differential Geom., 27:1 (1988), 35–53 | MR | Zbl

[45] M. Romagny, S. Wewers, “Hurwitz spaces”, Groupes de Galois arithmétiques et différentiels, Sémin. Congr., 13, Soc. Math. France, Paris, 2006, 313–341 | MR | Zbl

[46] L. Schneps, “Dessins d'enfants on the Riemann sphere”, The Grothendieck Theory of Dessins d'Enfant, London Math. Soc. Lecture Notes, 200, Cambridge Univ. Press, 1994, 47–77 | MR | Zbl

[47] J.-P. Serre, Cohomologie galoisienne, Lecture Notes in Mathematics, 5, cinquième édition, révisée et complétée, Springer-Verlag, Berlin, 1994 | DOI | MR | Zbl

[48] G. Shabat, The Arithmetics of 1-, 2- and 3-edged Grothendieck dessins, Preprint IHES/M/91/75

[49] G. Shabat, “On a class of families of Belyi functions”, Proc. of the 12th International Conference FPSAC-00, eds. D. Krob, A. A. Mikhalev, A. V. Mikhalev, Springer-Verlag, Berlin, 2000, 575–581 | MR

[50] G. B. Shabat, V. A. Voevodsky, “Drawing curves over number fields”, The Grothendieck Festschrift, v. III, Progr. Math., 88, 1990, 199–227 | MR | Zbl

[51] J. Sijsling, J. Voight, On computing Belyi maps, Nov. 2013, arXiv: 1311.2529v3[math.NT] | MR | Zbl

[52] D. Singerman, J. Wolfart, “Cayley Graphs, Cori Hypermaps, and Dessins d'Enfants”, Ars Mathematica Contemporanea, 1 (2008), 144–153 | MR | Zbl

[53] S. Stoilow, Leçons sur les principes topologiques de la théorie des fonctions analytiques, Gauthier-Villars, Paris, 1956 | MR

[54] L. Zapponi, “Fleurs, arbres et cellules: un invariant galoisien pour une famille d'arbres”, Compositio Math., 122:1 (2000), 13–133 | MR

[55] P. Zograf, Enumeration of Grothendieck's dessins and KP hierarchy, March 2014, arXiv: 1312.2538v3

[56] A. Zvonkin, How to draw a group?, Discrete Mathematics, 180 (1998), 403–413 | DOI | MR | Zbl

[57] A. K. Zvonkin, “Functional composition is a generalized symmetry”, Symmetry: Culture and Science, 22:3–4, Special issue on Tesselations (2011), 391–426

[58] N. M. Adrianov, “On plane trees with a prescribed number of valency set realizations”, J. Math. Sci., 158:1 (2009), 5–10 | DOI | MR | Zbl

[59] N. M. Adrianov, A. K. Zvonkin, “Weighted trees with primitive edge rotation groups”, J. Math. Sci. (N.Y.), 209:2 (2015), 160–191 | DOI | MR | Zbl

[60] N. M. Adrianov, Yu. Yu. Kochetkov, A. D. Suvorov, G. B. Shabat, “Mathieu groups and plane trees”, Fundam. Prikl. Mat., 1:2 (1995), 377–384 | MR | Zbl

[61] N. M. Adrianov, N. Ya. Amburg, V. A. Dremov, Yu. Yu. Kochetkov, E. M. Kreines, Yu. A. Levitskaya, V. F. Nasretdinova, G. B. Shabat, “Catalog of dessins d'enfants with no more than 4 edges”, J. Math. Sci. (N.Y.), 158:1 (2009), 22–80 | DOI | MR | Zbl

[62] G. V. Belyi, “Galois extensions of a maximal cyclotomic field”, Mathematics of the USSR Izvestiya, 14:2 (1980), 247–256 | DOI | MR | Zbl | Zbl

[63] G. V. Belyi, “Another proof of the three points theorem”, Sb. Math., 193:3 (2002), 329–332 | DOI | DOI | MR | Zbl

[64] B. S. Bychkov, V. A. Dremov, E. M. Epifanov, “The computation of Belyi pairs of 6-edged dessins d'enfants of genus 3 with symmetries of order 2”, J. Math. Sci. (N.Y.), 209:2 (2015), 212–221 | DOI | MR | Zbl

[65] G. B. Shabat, V. A. Voevodsky, “Equilateral triangulations of Riemann surfaces, and curves over algebraic number fields”, Soviet Math. Doklady, 39:1 (1989), 38–41 | MR | Zbl

[66] K. V. Golubev, “Dessin d'enfant of valency three and Cayley graphs”, Moscow Univ. Math. Bull., 68:2 (2013), 111–113 | DOI | MR | Zbl

[67] V. A. Dremov, “Computation of two Belyi pairs of degree 8”, Russian Math. Surveys, 64:3 (2009), 570–572 | DOI | DOI | MR | Zbl

[68] A. K. Zvonkin, L. A. Levin, “The complexity of finite objects and the developments of the concepts of information and randomness by means of the theory of algorithms”, Russian Math. Surveys, 25:6 (1970), 83–124 | DOI | MR | Zbl

[69] Yu. Yu. Kochetkov, “On non-trivially decomposable types”, Russian Math. Surveys, 52:4 (1997), 836–837 | DOI | DOI | MR | Zbl

[70] Yu. Yu. Kochetkov, “On geometry of a class of plane trees”, Funct. Analysis Appl., 33:4 (1999), 304–306 | DOI | DOI | MR | Zbl

[71] Yu. Yu. Kochetkov, “Anti-Vandermonde systems and plane trees”, Funct. Analysis and its Appl., 36:3 (2002), 240–243 | DOI | DOI | MR | Zbl

[72] Yu. Yu. Kochetkov, “Geometry of plane trees”, J. Math. Sci. (N.Y.), 158:1 (2009), 106–113 | DOI | MR | Zbl

[73] Yu. Yu. Kochetkov, “Plane trees with nine edges. Catalog”, J. Math. Sci. (N.Y.), 158:1 (2009), 114–140 | DOI | MR | Zbl

[74] E. M. Kreines, “On families of geometric parasitic solutions for Belyi systems of genus zero”, J. Math. Sci. (N.Y.), 128:6 (2005), 3396–3401 | DOI | MR | Zbl

[75] E. M. Kreines, G. B. Shabat, “On parasitic solutions of systems of equations on Belyi functions”, Fundam. Prikl. Mat., 6:3 (2000), 789–792 (in Russian) | MR | Zbl

[76] Yu. V. Matiyasevich, “Computer evaluation of generalized Chebyshev polynomials”, Moscow Univ. Math. Bulletin, 51:6 (1997), 39–40 | MR | Zbl | Zbl

[77] V. O. Filimonenkov, G. B. Shabat, “Fields of definition of rational functions of one variable with three critical values”, Fundam. Prikl. Mat., 1:3 (1995), 781–799 (in Russian) | MR | Zbl

[78] G. B. Shabat, Combinatorial-topological methods in the theory of algebraic curves, Theses, Lomonosov Moscow State University, 1998

[79] G. B. Shabat, “Unicellular four-edged toric dessins”, J. Math. Sci. (N.Y.), 209:2 (2015), 309–318 | DOI | MR | Zbl

[80] I. R. Shafarevich, “Fields of algebraic numbers”, Proceedings of the Int. Cong. Math., Stockholm, 1962, 163–176