In mathematics, a dessin d'enfant is a type of graph embedding used to study Riemann surfaces and to provide combinatorial invariants for the action of the absolute Galois group of the rational numbers. The name of these embeddings is French for a "child's drawing"; its plural is either dessins d'enfant, "child's drawings", or dessins d'enfants, "children's drawings".
A dessin d'enfant is a graph, with its vertices colored alternately black and white, embedded in an oriented surface that, in many cases, is simply a plane. For the coloring to exist, the graph must be bipartite. The faces of the embedding are required to be topological disks. The surface and the embedding may be described combinatorially using a rotation system, a cyclic ordering of the edges surrounding each vertex of the graph that describes the order in which the edges would be crossed by a path that travels clockwise on the surface in a small loop around the vertex.
Any dessin can provide the surface it is embedded in with a structure as a Riemann surface. It is natural to ask which Riemann surfaces arise in this way. The answer is provided by Belyi's theorem, which states that the Riemann surfaces that can be described by dessins are precisely those that can be defined as algebraic curves over the field of algebraic numbers. The absolute Galois group transforms these particular curves into each other, and thereby also transforms the underlying dessins.
For a more detailed treatment of this subject, see or .
History
19th century Early proto-forms of dessins d'enfants appeared as early as 1856 in the icosian calculus of William Rowan Hamilton;. See also . in modern terms, these are Hamiltonian paths on the icosahedral graph.
Recognizably modern dessins d'enfants and Belyi functions were used by Felix Klein. Klein called these diagrams Linienzüge (German, plural of Linienzug "line-track", also used as a term for polygon); he used a white circle for the preimage of 0 and a '+' for the preimage of 1, rather than a black circle for 0 and white circle for 1 as in modern notation. He used these diagrams to construct an 11-fold cover of the Riemann sphere by itself, with monodromy group , following earlier constructions of a 7-fold cover with monodromy connected to the Klein quartic.; . These were all related to his investigations of the geometry of the quintic equation and the group collected in his famous 1884/88 Lectures on the Icosahedron. The three surfaces constructed in this way from these three groups were much later shown to be closely related through the phenomenon of trinity.
20th century Dessins d'enfant in their modern form were then rediscovered over a century later and named by Alexander Grothendieck in 1984 in his Esquisse d'un Programme. quotes Grothendieck regarding his discovery of the Galois action on dessins d'enfants:
Part of the theory had already been developed independently by some time before Grothendieck. They outline the correspondence between maps on topological surfaces, maps on Riemann surfaces, and groups with certain distinguished generators, but do not consider the Galois action. Their notion of a map corresponds to a particular instance of a dessin d'enfant. Later work by extends the treatment to surfaces with a boundary.
Riemann surfaces and Belyi pairs The complex numbers, together with one additional point designated as , form a topological space known as the Riemann sphere. Any polynomial, and more generally any rational function where and are polynomials, transforms the Riemann sphere by mapping it to itself. Consider, for example,This example was suggested by , pp. 109–110. the rational function
At most points of the Riemann sphere, this transformation is a local homeomorphism: it maps a small disk centered at any point in a one-to-one way onto another disk. However, at certain critical points, the mapping is more complicated, and maps a disk centered at the point in a -to-one way onto its image. The number is known as the degree of the critical point and the transformed image of a critical point is known as a critical value. The example given above, , has the following critical points and critical values. (Some points of the Riemann sphere that, while not themselves critical, map to one of the critical values, are also included; these are indicated by having degree one.) critical point critical value degree One may form a dessin d'enfant from by placing black points at the preimages of 0 (that is, at 1 and 9), white points at the preimages of 1 (that is, at ), and arcs at the preimages of the line segment [0, 1]. This line segment has four preimages, two along the line segment from 1 to 9 and two forming a simple closed curve that loops from 1 to itself, surrounding 0; the resulting dessin is shown in the figure.
In the other direction, from this dessin, described as a combinatorial object without specifying the locations of the critical points, one may form a compact Riemann surface, and a map from that surface to the Riemann sphere, equivalent to the map from which the dessin was originally constructed. To do so, place a point labeled within each region of the dessin (shown as the red points in the second figure), and triangulate each region by connecting this point to the black and white points forming the boundary of the region, connecting multiple times to the same black or white point if it appears multiple times on the boundary of the region. Each triangle in the triangulation has three vertices labeled 0 (for the black points), 1 (for the white points), or . For each triangle, substitute a half-plane, either the upper half-plane for a triangle that has 0, 1, and in counterclockwise order or the lower half-plane for a triangle that has them in clockwise order, and for every adjacent pair of triangles glue the corresponding half-planes together along the portion of their boundaries indicated by the vertex labels. The resulting Riemann surface can be mapped to the Riemann sphere by using the identity map within each half-plane. Thus, the dessin d'enfant formed from is sufficient to describe itself up to biholomorphism. However, this construction identifies the Riemann surface only as a manifold with complex structure; it does not provide it with a uniform geometry nor construct an embedding of this manifold as an algebraic curve in the complex projective plane, although both of these always exist.
The same construction applies more generally when is any Riemann surface and is a Belyi function; that is, a holomorphic function from to the Riemann sphere having only 0, 1, and as critical values. A pair of this type is known as a Belyi pair. From any Belyi pair one can form a dessin d'enfant, drawn on the that has its black points at the preimages of 0, its white points at the preimages of 1, and its edges placed along the preimages of the line segment . Conversely, any dessin d'enfant on any surface can be used to define gluing instructions for a collection of halfspaces that together form a Riemann surface homeomorphic to ; mapping each halfspace by the identity to the Riemann sphere produces a Belyi function on , and therefore leads to a Belyi pair . Any two Belyi pairs that lead to combinatorially equivalent dessins d'enfants are biholomorphic, and Belyi's theorem implies that, for any compact Riemann surface defined over the algebraic numbers, there are a Belyi function and a dessin d'enfant that provides a combinatorial description of both
Maps and hypermaps
A vertex in a dessin has a graph-theoretic degree, the number of incident edges, that equals its degree as a critical point of the Belyi function. In the example above, all white points have degree two; dessins with the property that each white point has two edges are known as clean, and their corresponding Belyi functions are called pure. When this happens, one can describe the dessin by a simpler embedded graph, one that has only the black points as its vertices and that has an edge for each white point with endpoints at the white point's two black neighbors. For instance, the dessin shown in the figure could be drawn more simply in this way as a pair of black points with an edge between them and a self-loop on one of the points. It is common to draw only the black points of a clean dessin and to leave the white points unmarked; one can recover the full dessin by adding a white point at the midpoint of each edge of the map.
Thus, any embedding of a graph in a surface in which each face is a disk (that is, a topological map) gives rise to a dessin by treating the graph vertices as black points of a dessin, and placing white points at the midpoint of each embedded graph edge. If a map corresponds to a Belyi function , its dual map (the dessin formed from the preimages of the line segment ) corresponds to the
A dessin that is not clean can be transformed into a clean dessin in the same surface, by recoloring all of its points as black and adding new white points on each of its edges. The corresponding transformation of Belyi pairs is to replace a Belyi function by the pure Belyi function . One may calculate the critical points of directly from this formula: , , and . Thus, is the preimage under of the midpoint of the line segment , and the edges of the dessin formed from subdivide the edges of the dessin formed from .
Under the interpretation of a clean dessin as a map, an arbitrary dessin is a hypermap: that is, a drawing of a hypergraph in which the black points represent vertices and the white points represent hyperedges.
Regular maps and triangle groups The five Platonic solids – the regular tetrahedron, cube, octahedron, dodecahedron, and icosahedron – viewed as two-dimensional surfaces, have the property that any flag (a triple of a vertex, edge, and face that all meet each other) can be taken to any other flag by a symmetry of the surface. More generally, a map embedded in a surface with the same property, that any flag can be transformed to any other flag by a symmetry, is called a regular map.
If a regular map is used to generate a clean dessin, and the resulting dessin is used to generate a triangulated Riemann surface, then the edges of the triangles lie along lines of symmetry of the surface, and the reflections across those lines generate a symmetry group called a triangle group, for which the triangles form the fundamental domains.Note, however, that the dessin literature often uses a weaker definition of "regular map" that does not require orientation-reversing symmetries and does not necessarily produce lines of reflection symmetry. For example, the figure shows the set of triangles generated in this way starting from a regular dodecahedron. When the regular map lies in a surface whose genus is greater than one, the universal cover of the surface is the hyperbolic plane, and the triangle group in the hyperbolic plane formed from the lifted triangulation is a (cocompact) Fuchsian group representing a discrete set of isometries of the hyperbolic plane. In this case, the starting surface is the quotient of the hyperbolic plane by a finite index subgroup Γ in this group.
Conversely, given a Riemann surface that is a quotient of a tiling (a tiling of the sphere, Euclidean plane, or hyperbolic plane by triangles with angles , , and ), the associated dessin is the Cayley graph given by the order two and order three generators of the group, or equivalently, the tiling of the same surface by -gons meeting three per vertex. Vertices of this tiling give black dots of the dessin, centers of edges give white dots, and centers of faces give the points over infinity.
Trees and Shabat polynomials