Chebycheff and Belyi polynomials, dessins d'enfants, Beauville surfaces and group theory
Ingrid Bauer, Fabrizio Catanese, Fritz Grunewald
备注：
25 pages, to appear in the Special Volume of Mediterranean Journal of Mathematics, dedicated to the Almeria Mediterranean Congress of Mathematics, 2005
We start discussing the group of automorphisms of the field of complex numbers, and describe, in the special case of polynomials with only two critical values, Grothendieck's program of 'Dessins d' enfants', aiming at giving representations of the absolute Galois group. We describe Chebycheff and Belyi polynomials, and other explicit examples. As an illustration, we briefly treat difference and Schur polynomials. Then we concentrate on a higher dimensional analogue of the triangle curves, namely, Beauville surfaces and varieties isogenous to a product. We describe their moduli spaces, and show how the study of these varieties leads to new interesting questions in the theory of finite (simple) groups.
We study the absolute Galois group by looking for invariants and orbits of its faithful action on Grothendieck's dessins d'enfants. We define a class of functions called Belyi-extending maps, which we use to construct new Galois invariants of dessins from previously known invariants. Belyi-extending maps are the source of the ``new-type'' relations on the injection of the absolute Galois group into the Grothendieck-Teichmuller group. We make explicit how to get from a general Belyi-extending map to formula for its associated invariant which can be implemented in a computer algebra package. We …
A Bely\uı pair is a holomorphic map from a Riemann surface to $S^2$ with additional properties. A dessin d'enfants is a bipartite graph with additional structure. It is well know that there is a bijection between Belyĭ pairs and dessins d'enfants. Vassiliev has defined a filtration on formal sums of isotopy classes of knots. Motivated by this, we define a filtration on formal sums of Bely\uı pairs, and another on dessin d'enfants. We ask if the two definitions give the same filtration.
We first introduce hyperbolic analogues of Belyi maps, Shabat polynomials and Grothendieck's dessins d'enfant. In particular we introduce and study the Shabat-Blaschke products and the size of their hyperbolic dessin d'enfants in the unit disk. We then study a special class of Shabat-Blaschke products, namely the Chebyshev-Blaschke products. Inspired by the work of Ismail and Zhang (2007) on the coefficients of the Ramanujan's entire function, we will give similar arithmetic properties of the coefficients of the Chebyshev-Blaschke products and then use them to prove some Landen-type identities…
We study the action of $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ on the category of Belyi functions (finite, étale covers of $\mathbb{P}^1_{\overline{\mathbb{Q}}}\setminus \{0,1,\infty\}$). We describe a new combinatorial $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$-invariant for whose monodromy cycle types above $0$ and $\infty$ are the same. We use a version of our invariant to prove that $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$ acts faithfully on the set of Belyi functions whose monodromy cycle types above 0 and $\infty$ are the same; the proof of this r…
In this short note we introduce the Belyi degree of a number field K, which is the smallest degree of a dessin d'enfant having K as field of moduli. After the description of some general properties (for example, the fact that there exist finitely many number fields of bounded Belyi degree), we give a lower and an upper bound for such an invariant. We finally give some explicit examples for quadratic fields.
Dessin d'Enfants on elliptic curves are a powerful way of encoding doubly-periodic brane tilings, and thus, of four-dimensional supersymmetric gauge theories whose vacuum moduli space is toric, providing an interesting interplay between physics, geometry, combinatorics and number theory. We discuss and provide a partial classification of the situation in genera other than one by computing explicit Belyi pairs associated to the gauge theories. Important also is the role of the Igusa and Shioda invariants that generalise the elliptic $j$-invariant.
We introduce dessins d'enfants from the various existing points of view: As topological covering spaces, as surfaces with triangulations, and as algebraic curves with functions ramified over three points. We prove Belyi's theorem that such curves are defined over number fields, and define the action of the absolute Galois group Gal($\overline Q/Q$) on dessins d'enfants. We prove that several kinds of dessins d'enfants are defined over their field of moduli: regular dessins, dessins with no nontrivial automorphisms and dessins with one face. In the last part, we give two examples of regular des…
Given a finite index subgroup $Γ$ of ${\rm{PSL}}_2(\Bbb{Z})$, we investigate Belyi functions on the corresponding modular curve $X(Γ)$ by introducing two methods for constructing such functions. Numerous examples have been worked out completely and as an application, we have derived modular equations for $Γ_0(2),Γ_0(3)$ and several special values of the $j$-function by a new method based on the theory of Belyi functions and dessin d'enfants.
In this work all the dessins d'enfant with no more than 4 edges are listed and their Belyi pairs are computed. In order to enumerate all dessins the technique of matrix model computations was used. The total number of dessins is 134; among them 77 are spherical, 53 of genus 1 and 4 of genus 2. The orders of automorphism groups of all the dessins are also found. Dessins are listed by the number of edges. Dessins with the same number of edges are ordered lexicographically by their lists of 0-valencies. The corresponding matrix model for any list of 0-valencies is given and computed. Complex matr…
We present the matrix models that are the generating functions for branched covers of the complex projective line ramified over $0$, $1$, and $\infty$ (Grotendieck's dessins d'enfants) of fixed genus, degree, and the ramification profile at infinity. For general ramifications at other points, the model is the two-logarithm matrix model with the external field studied previously by one of the authors (L.Ch.) and K.Palamarchuk. It lies in the class of the generalised Kontsevich models (GKM) thus being the Kadomtsev--Petviashvili (KP) hierarchy $τ$-function and, upon the shift of times, this mode…
Four-dimensional CFTs dual to branes transverse to toric Calabi-Yau threefolds have been described by bipartite graphs on a torus (dimer models). We use the theory of dessins d'enfants to describe these in terms of triples of permutations which multiply to one. These permutations yield an elegant description of zig-zag paths, which have appeared in characterizing the toroidal dimers that lead to consistent SCFTs. The dessins are also related to Belyi pairs, consisting of a curve equipped with a map to P^1, branched over three points on the P^1. We construct explicit examples of Belyi pairs ass…
It is well known that there is a bijective correspondence between metric ribbon graphs and compact Riemann surfaces with meromorphic Strebel differentials. In this article, it is proved that Grothendieck's correspondence between dessins d'enfants and Belyi morphisms is a special case of this correspondence. For a metric ribbon graph with edge length 1, an algebraic curve over $\bar Q$ and a Strebel differential on it is constructed. It is also shown that the critical trajectories of the measured foliation that is determined by the Strebel differential recover the original metric ribbon graph. …
Given an object over the algebraic closure Qbar of Q, there is often no reason for invariants of the corresponding holomorphic object to be preserved by the absolute Galois group Gal(Qbar/Q), and in general this is not true, although it is sometimes surprising to observe in practice. The case of covers of the projective line branched only over the points 0, 1, and infinity, through Belyi's theorem, leads to Grothendieck's dessins d'enfants program for understanding the absolute Galois group through its faithful action on such covers. This note is motivated by Catanese's question about a higher…
In this paper, we study the algebraic form of the symmetric generalized Lamé equations which have finite projective monodromy groups. In particular, we consider equations with $3$ regular singular points on a flat torus $T$ which takes the form \begin{equation*} \begin{split} \frac{d^2 y}{dz^2}-\left[n_1(n_1+1)(\wp(z+a) +\wp(z-a))\right.\left. +A_1(ζ(z+a) - ζ(z-a))+n_0(n_0+1) \wp(z)+B\right]y=0, \end{split} \end{equation*} where $n_1, n_0 \in \Bbb R$, $A_1,B \in \Bbb C$, and $\wp$ is the Weierstrass elliptic function. We give a complete list of all the group types that occur as the finite proj…
A part of Grothendieck's program for studying the Galois group $G_{\mathbb Q}$ of the field of all algebraic numbers $\overline{\mathbb Q}$ emerged from his insight that one should lift its action upon $\overline{\mathbb Q}$ to the action of $G_{\mathbb Q}$ upon the (appropriately defined) profinite completion of $π_1({\mathbb P}^1 \setminus \{0,1, \infty\})$. The latter admits a good combinatorial encoding via finite graphs "dessins d'enfant". This part was actively developing during the last decades, starting with foundational works of A. Belyi, V. Drinfeld and Y. Ihara. Our brief note conce…
