Abstract
It is known that every finite group can be represented as the full group of automorphisms of a suitable compact dessin d’enfant. In this paper, we give a constructive and easy proof that the same holds for any countable group by considering noncompact dessins. Moreover, we show that any tame action of a countable group is so realisable.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, all surfaces are assumed to be orientable, connected, Hausdorff, second countable and without boundary. If X is a surface, then we denote by \(\mathrm{Hom}^{+}(X)\) the group of its orientationpreserving selfhomeomorphisms. A topological action (or just an action) of an abstract group G on a surface X is an injective homomorphism \(\theta :G \rightarrow \mathrm{Hom}^{+}(X)\) such that \(\theta (G)\) acts tame on X (see Sect. 2).
Every surface admits a Riemann surface structure and, if S is a Riemann surface different from the Riemann sphere, the complex plane, the punctured plane, a torus, an annulus, the hyperbolic plane or the punctured hyperbolic plane, then its group \(\mathrm{Aut}(S)\) of conformal automorphisms is a countable group. Conversely, in [8], Greenberg proved that for every countable (finite or infinite) group G there is a Riemann surface S (which can be assumed to be compact if G is finite) and an injective homomorphism \(\theta :G \rightarrow \mathrm{Aut}(S)\). Moreover, \(\theta \) may be assumed to be an isomorphism (by using maximal Fuchsian groups). A short proof of the previous fact has been given by Allcock in [1] (see also [15]). In the case that S is hyperbolic, its universal cover is the hyperbolic plane \({\mathbb {H}}^{2}\). The hyperbolic metric of \({\mathbb {H}}^{2}\) induces a complete Riemannian metric of constant negative curvature on S and it holds that its group \(\mathrm{Isom}^{+}(S)\) of orientationpreserving isometries coincides with \(\mathrm{Aut}(S)\).
A dessin d’enfant (or just a dessin) is a pair \({\mathcal D}=(X,{\mathcal G})\), where X is a surface (either compact or not), \({\mathcal G} \subset X\) is a bipartite graph (vertices are either black or white and adjacent ones have different colors) where each vertex has finite degree and each connected component of \(X \smallsetminus {\mathcal G}\), called a face, is homeomorphic to an open disc and bounded by a finite set of edges (an edge might be internal to a face). Each dessin d’enfant on X induces a unique (up to biholomorphisms) Riemann surface structure on it [5, 12]. Dessins, on a compact surface X, were first introduced by Grothendieck in his Esquisse d’un Programme (1984) [9] (we call these dessins as Grothendieck’s dessins). In this case, such a Riemann surface structure can be described by an algebraic curve defined over the field of algebraic numbers \(\overline{\mathbb Q}\) and Grothendieck’s idea was to use such a combinatorial tool to obtain information on the structure of the absolute Galois group \(\mathrm{Gal}(\overline{\mathbb Q}/{\mathbb Q})\). Generalities on Grothendieck’s dessins can be found, for instance, in [5,6,7, 9, 12].
The mapping class group associated to X is defined to be \(\mathrm{Map}(X)=\mathrm{Hom}^{+}(X)/\mathrm{Hom}_{0}(X)\), where \(\mathrm{Hom}_{0}(X)\) is the subgroup of homeomorphisms which are isotopic to the identity. Let \(\theta :\mathrm{Hom}^{+}(X) \rightarrow \mathrm{Map}(X)\) denote the quotient group projection. The automorphisms of the bipartite graph \({\mathcal G}\), denoted by \(\mathrm{Aut}_{bip}({\mathcal G})\), is the group consisting of automorphisms of the graph that keep invariant black (respectively, white) vertices (called automorphisms of the bipartite graph).
Let \(\widetilde{\mathrm{Aut}}({\mathcal D})\) be the subgroup of \(\mathrm{Hom}^{+}(X)\) consisting of those \(\phi \in \mathrm{Hom}^{+}(X)\) keeping invariant \({\mathcal G}\) and inducing an element of \(\mathrm{Aut}_{bip}({\mathcal G})\). Note that, by performing any isotopy of \(\phi \in \widetilde{\mathrm{Aut}}({\mathcal D})\) relative the vertices and keeping invariant the edges, we obtain the same automorphism of the bipartite graph; so this group is always uncountable.
The group \(\mathrm{Aut}({\mathcal D}):=\theta (\widetilde{\mathrm{Aut}}({\mathcal D}))\) is called the group of automorphisms of the dessin \({\mathcal D}\) (this permits us to talk about the topological action of this group on X). There is a natural injective homomorphism \(\rho :\mathrm{Aut}({\mathcal D}) \rightarrow \mathrm{Aut}_{bip}({\mathcal G})\), so this provides a natural copy of \(\mathrm{Aut}({\mathcal D})\) inside \(\mathrm{Aut}_{bip}({\mathcal G})\) (i.e., we can see \(\mathrm{Aut}({\mathcal D})\) as those bipartite graph automorphisms of \({\mathcal G}\) that can be extended to an element of \(\mathrm{Hom}^{+}(X)\)). As previously said, the dessin \({\mathcal D}\) induces a (unique up to biholomorphisms) Riemann surface structure S on X. In this case, there is a subgroup of \(\mathrm{Aut}(S)\) which is isomorphic (by \(\theta \)) to \(\mathrm{Aut}({\mathcal D})\), that is, we may see \(\mathrm{Aut}({\mathcal D}) \le \mathrm{Aut}(S)=\mathrm{Isom}^{+}(S)\). Now, as such a subgroup keeps invariant a nonempty discrete set of points (the black vertices), it is always a countable group.
If \(\mathrm{Aut}({\mathcal D})\) acts transitively on the set of edges of the graph, then the dessin is called regular (in this case, \(\mathrm{Aut}({\mathcal D})\) is necessarily generated by two elements) [5, 12]. If X is compact, then \(\mathrm{Aut}({\mathcal D})\) is necessarily finite. If X is noncompact, then \(\mathrm{Aut}({\mathcal D})\) might be infinite (but countable).
In [10, 11] it was observed that every finite group G is isomorphic to the group of automorphisms of some Grothendieck’s dessin (moreover, if G is generated by two elements, then the dessin can be chosen to be regular). In [10], it was also proved the existence for G infinite, but assuming it was finitely generated.
Our first result is the following, which extends the above for any countable group. Moreover, we build a surface in which we realize any given group together with its subgroup lattice.
Theorem 1
Let G be a countable (finite or infinite) group. Then, there is a hyperbolic Riemann surface X and a family of dessins \(\left\{ (X,\mathcal {D}_H)\right\} _{H\le G}\) such that,

(i)
\(\mathrm{Isom}^{+}(X)\cong G\),

(ii)
\(\mathrm{Aut}(X,\mathcal {D}_H)=\left\{ h\in \mathrm{Isom}^+(X)\ \ h(\mathcal {D}_H)=\mathcal {D}_H\right\} \cong H\),

(iii)
\(H_1\le H_2\ \Longrightarrow \ \mathcal {D}_{H_1}\le \mathcal {D}_{H_2}\).
Furthermore, if G is finite, then X can be chosen compact so obtaining a family of Grothendieck dessins.
In [10], it was observed that, given a topological action of a finite group G on a compact surface X, there is a Grothendieck’s dessin \({\mathcal D}=(X,{\mathcal G})\) such that G induces \(\mathrm{Aut}({\mathcal D})\). This result states that not only there is a dessin with a given group of automorphisms, but also that the given topological action is preserved by the automorphism group. In particular, the strong symmetric genus of a finite group is also the minimal genus action at the level of Grothendieck’s dessins. The proof of such result was done in terms of Riemann surfaces, Fuchsian groups and quasiconformal deformation theory. In this paper, we provide a simple and short argument to the above realisation that also works for any countable group.
Theorem 2
Let X be a surface and fix a topologically tame action \(\theta :G \rightarrow \mathrm{Hom}^{+}(X)\), where G is a countable (finite or infinite) group. Then there is a dessin \({\mathcal D}=(X,{\mathcal G})\) with \(\mathrm{Aut}({\mathcal D})\) isomorphic to G and induced by the topological action of \(\theta (G)\).
Let G be any countable group and let X be any surface of infinity type such that all of its ends are nonplanar and its ends space is selfsimilar (see [2] for details). An example of such type of surfaces is, for instance, the Loch Ness monster (the unique, up to orientationpreserving homeomorphisms, infinite genus surface with exactly one end). In [2], AougabPatelVlamis proved that one can find a Riemann surface structure S on X such that \(\mathrm{Aut}(S)\) is isomorphic to G. So, the above theorem asserts the following existence fact (as already stated before).
Corollary 1
Let X be a surface of infinite type, where all of its ends are nonplanar and its ends space is selfsimilar. If G is a countable group, then there is a dessin \({\mathcal D}=(X,{\mathcal G})\) such that \(\mathrm{Aut}({\mathcal D})\) isomorphic to G. In fact, such a dessin can be given in the Loch Ness monster.
2 Preliminaries
2.1 Locally finite branched coverings
A surjective continuous map \(Q:X \rightarrow Y\), where X and Y are surfaces, is called a locally finite branched cover if:

(1)
the locus of branched values \(B_{Q} \subset Y\) of Q (it might be empty) is a discrete set;

(2)
\(Q:X \smallsetminus Q^{1}(B_{Q}) \rightarrow Y \smallsetminus B_{Q}\) is a covering map; and

(3)
each point \(q \in B_{Q}\) has an open connected neighbourhood U such that \(Q^{1}(U)\) consists of a collection \(\{V_{j}\}_{j\in I}\) of pairwise disjoint connected open sets such that each of the restrictions \(Q_{V_j}:V_{j} \rightarrow U\) is a finite degree branched cover (i.e., it is topologically equivalent to a branched cover of the form \(z \in {\mathbb D} \mapsto z^{d_{j}} \in {\mathbb D}\), where \({\mathbb D}\) denotes the unit disc).
If X is a compact surface, then a branched covering is always locally finite. But, in the case that X is noncompact, a branched covering might not be locally finite.
2.2 Topologically tame actions
Let G be a group, X be a surface and \(\theta :G \rightarrow \mathrm{Hom}^{+}(X)\) be an injective homomorphism. We say that the action of \(\theta (G)\) is tame on X if there is a Galois locally finite branched cover \(Q:X \rightarrow Y\) with deck group \(\theta (G)\) (in particular, G is countable).
2.3 Belyi pairs and dessins
Let \(S^{2}\) be the standard 2dimensional sphere and fix three different points \(p_{0}, p_{1}, p_{\infty } \in S^{2}\). A dessin \({\mathcal D}=(X,{\mathcal G})\) defines a (unique up to isotopy) locally finite branched cover \(Q:X \rightarrow S^{2}\) with \(B_{Q} \subseteq \{p_{0},p_{1},p_{\infty }\}\), where \(Q^{1}(p_{0})\) (respectively, \(Q^{1}(p_{1})\)) are the black (respectively, white) vertices of \({\mathcal G}\) and there is an arc \(\delta =[p_{0},p_{1}] \subset S^{2} \smallsetminus \{p_{\infty }\}\), such that that \(Q^{1}(\delta )={\mathcal G}\). Moreover, \(\mathrm{Aut}({\mathcal D})=\mathrm{Aut}(X,Q)=\{ \phi \in \mathrm{Hom}^{+}(X): Q \circ \phi =Q\}\). Note that, for X either of genus \(g \ge 1\) or of infinite type, then \(\#B_{Q}=3\). We say that the pair (X, Q), as above, is a Belyi pair. Conversely, given a Belyi pair (X, Q), where \(Q:X \rightarrow S^{2}\) is a locally finite branched cover with \(B_{Q} \subseteq \{p_{0},p_{1},p_{\infty }\}\), then it induces a dessin \({\mathcal D}\) as above.
Remark 1
Let (X, Q) be a Belyi pair. If \(\varphi :S^{2} \rightarrow \widehat{\mathbb C}\) is an orientationpreserving homeomorphism, where \(\widehat{\mathbb C}\) denotes the Riemann sphere, with \(\varphi (B_{Q})\subseteq \{\infty ,0,1\}\), then we may pullback the Riemann surface structure of \(\widehat{\mathbb C}\), under \(\varphi \circ Q\), in order to provide a Riemann surface structure S on X such that \(\varphi \circ Q:S \rightarrow \widehat{\mathbb C}\) is a nonconstant meromorphic map with branch value set contained inside \(\{\infty ,0,1\}\). In this case, \(\mathrm{Aut}({\mathcal D})\) is a subgroup of \(\mathrm{Aut}(S)\) (the deck group of \(\varphi \circ Q\)). If X is compact, then Belyi’s theorem [3] asserts that the Riemann surface S can be represented by an algebraic curve over \(\overline{\mathbb Q}\). Giving an equivalent property in the case X is noncompact is still an open problem.
2.4 Realisation of group actions on cubic simple graphs
We refer to [4] for the basic facts in Graph Theory.
Theorem 3
Let G be a nontrivial countable group. There exists a connected cubic simple graph \(\mathcal {G}\) and a proper 3labelling of its edges such that \(\mathrm{Aut}_{LGraph}(\mathcal {G})\cong G\). Furthermore, there exist infinitely many such graphs, and if G is finite, these graphs can be chosen to be finite as well.
Proof
Let \(S\subset G\) be a set of generators of G, we rule out the possibility of \(e\in S\). Also, if S is finite we will assume that \(S>3\). If this is not the case, replace \(S=\left\{ s_i\right\} _{i=1}^{S}\) with the list \(\left\{ s_1,s_1,s_1,s_1,s_2,\dots s_{S}\right\} \).
Consider \(\mathcal {C}=Cay(G,S)\) the associated Cayley graph. This is the directed graph with G as the set of vertices and with set of edges \(\sqcup _{i=1}^n\left\{ (g,gs_i)\in G\times G\text{ labeled } s_i\right\} \). It is well known that \(\mathrm{Aut}_{LGraph}(\mathcal {C})\cong G\).
We will now proceed to replace the vertices and edges of \(\mathcal {C}\) with fixed configurations of vertices and edges allowing us to create the desired graph without modifying its automorphisms.
For each vertex g, there are S edges arriving at it and S edges coming from it. We replace g with the following configuration of 2S vertices:
The edge connecting \(g_n^{in}\) and \(g_{n}^{out}\) only appears if \(n=S<\infty \), and in that case its labeled 1 or 2 depending on the parity of n (no consecutive edges can share labels).
Define \(N=S+2\) if S is finite, and \(N=0\) if \(S=\aleph _0\), and consider an edge labeled \(s_i\). We replace this edge with the following construction:
The resulting graph \(\mathcal {G}\) is a cubic connected graph with properly 3labeled edges. Let us see that, indeed \(\mathrm{Aut}_{LGraph}(\mathcal {G})\cong G\). By construction, 3cycles only appear inside the configuration used to replace the edges of \(\mathcal {C}\). We will always find four of these for each edge. Two of them share 2 vertices and codifies the orientation of the original the edge in \(\mathcal {C}\). The other two are joined by a “ladder” of \((N+i)\) steps, consisting in 4cycles, which allows us to recover the label \(s_i\). In order to recover the vertices of \(\mathcal {C}\), remove all 3cycles from \(\mathcal {G}\) and look at the connected components that remain. If S is infinite, finite order connected components come from replacing edges, so each other connected component gives a vertex. If S is finite, notice that connected components coming from edges must have order strictly greater than 2S, so connected components of order 2S all come from a vertex. Finally note that the configuration used to replace edges is rigid, meaning it has no nontrivial automorphisms. This, together with the fact that \(\mathcal {C}\) is completely determined by \(\mathcal {G}\), gives \(\mathrm{Aut}_{LGraph}(\mathcal {G})\cong \mathrm{Aut}_{LGraph}(\mathcal {C})\cong G\). \(\square \)
Lemma 1
Let \(\mathcal {G}\) be a cubic connected graph with properly 3labeled edges. Then, every \(G\le \mathrm{Aut}_{LGraph}(\mathcal {G})\) acts freely on the vertices of \(\mathcal {G}\).
Proof
Take \(G\le \mathrm{Aut}_{LGraph}{\mathcal {G}}\) and \(g\in G\). Suppose \(g(v)=v\) for some vertex v of \(\mathcal {G}\). For every other vertex w, consider a path from v to w. Since g is an automorphism of labeled graphs it must preserve the labelling of the path \(v\rightarrow w\). Suppose this path is \(v=v_0, v_1,\dots v_n=w\), and suppose the edges of \(\mathcal {G}\) are labeled with \(\left\{ 1,2,3\right\} \). We know that the edge between \(g(v_0)\) and \(g(v_1)\) has the same label as the edge between \(v_0\) and \(v_1\). However, \(g(v_0)=v_0\) and at any vertex of \(\mathcal {G}\), there is only one adjacent edge for each label. This means the edge is the same and thus, \(g(v_1)=v_1\). Clearly, by finite induction we arrive at \(g(w)=w\). And since w was arbitrary, \(g=id\). Hence, G acts freely on \(\mathcal {G}\). \(\square \)
2.5 Certain hyperbolic rightangle hexagons
Our proof of Theorem 2 is built upon the existence of hyperbolic pants, that is hyperbolic hexagons, whose side lenghts are different enough. The next result shows these hexagons do exist.
Lemma 2
There exists a hyperbolic rightangled hexagon with edges of length \(a_1,b_1,a_2,b_2,a_3,b_3\), such that all lengths are different and \(a_i<1<b_i\) for \(i=1,2,3\).
Proof
For any \(l,\epsilon >0\), there exists a hyperbolic rightangled hexagon such that three nonconsecutive edges have lengths \(l,l+\epsilon \) and \(l\epsilon \) [13]. Let \(\alpha \), \(\beta \), and \(\gamma \) be the lengths of the edges opposing the edges of length l, \(l+\epsilon \), and \(l\epsilon \) respectively. It is known that [14],
By taking limits when \(l\rightarrow \infty \) and \(\epsilon \rightarrow 0\), \(\alpha \) goes to 0, and this is also true for \(\beta \) and \(\gamma \). Therefore, by taking l big enough and \(\epsilon \) small enough we can have \(0<\alpha ,\beta ,\gamma<1<l\epsilon<l<l+\epsilon \). Finally, it can be also shown that [14],
And since \(\sinh \) is a strictly increasing function, we deduce that \(\alpha ,\beta ,\gamma \) are all different. \(\square \)
3 Proof of Theorem 1
Proof
The result is already known for the trivial group [10, 11] so we may assume G is not trivial.
Choose \(a_1,a_2,a_3,b_1,b_2,b_3\) as in Lemma 2. Denote as P the pair of hyperbolic pants obtained from glueing two copies of the hexagon given by the lemma along the edges of length \(b_1,b_2,b_3\). The surface P has three closed geodesics of length \(2a_1,2a_2,2a_3\) as boundary. We will label them with 1, 2, 3 respectively.
Now, we build X as follows. Consider \(\mathcal {G}\) the graph associated to G given by Theorem 3. For each vertex v of \(\mathcal {G}\), consider an isometric copy \(P_v\) of P. And, for every edge labeled \(i\in \left\{ 1,2,3\right\} \) between vertices v and w, glue the pants \(P_v\) and \(P_w\) by isometrically identifying the geodesics with said label (thus without creating any twists).
Since the set of vertices of \(\mathcal {G}\) is countable, we get an hyperbolic orientable surface X. If G is finite, the set of vertices of \(\mathcal {G}\) is also finite, so X would be closed. Also note that G permutes vertices in \(\mathcal {G}\), that is it permutes pants, thus \(\mathrm{Isom}^{+}(X)\cong G\). Indeed, an isometry maps closed geodesics into closed geodesics. The closed geodesics in X are those from the boundary of each pair of pants, of lengths \(2a_1,2a_2,2a_3<2\), and those that appear after joining at least three pants together, these ones have at least three geodesic segments of length \(b_i>1\), so their length is at least 3. Thus, the isometry must send the boundary of each pair of pants into another boundary. Therefore, isometries map pants into pants, allowing to translate them as automorphisms of \(\mathcal {G}\). Also, the geodesics from the boundaries map to a geodesic of the same length, thus, it preserves the labelling of edges in \(\mathcal {G}\). This proves i).
Let us now build the dessin \(\mathcal {D}_G\). For each vertex v of \(\mathcal {G}\), consider the following graph on \(P_v\):
On the 3 edges connecting two black vertices we place an alternating sequence of whiteblack vertices so that the resulting graph is bipartite. Each of these sequences has different length and all of them have length greater than the cycles on the boundary of P. Note that the surface obtained by removing this graph from \(P_v\) is homeomorphic to the disjoint union of two open disks. By repeating the same pattern on all the pants, we obtain a graph \(\mathcal {D}_G\) which makes \((X,\mathcal {D}_G)\) a dessin.
Finally, given a subgroup \(H\le G\) we define \(\mathcal {D}_H\) as follows: Fix some \(v_0\in \mathcal {G}\) and remove from \(\mathcal {D}_G\) the vertices from the Gorbit of \(v_0\) that are not in its Horbit. This gives \(\mathcal {D}_H\le \mathcal {D}_G\) which makes \((X,\mathcal {D}_H)\) a dessin. And it is clear that this definition satisfies iii).
Take an automorphism \(f\in \mathrm{Aut}(X,\mathcal {D}_H)\). On each pair of pants \(P_v\), f preserves cycles on the boundary and thus, also the geodesics, so it must be induced by an element of \(\mathrm{Isom}^{+}(X)\). This shows \(\mathrm{Aut}(X,\mathcal {D}_H)=\left\{ h\in \mathrm{Isom}^{+}(X)\ \ h(\mathcal {D}_H)=\mathcal {D}_H\right\} \). Thus, \(f\equiv h_{\mathcal {D}_H}\) with \(h\in \mathrm{Isom}^{+}(X)\) and \(h(\mathcal {D}_H)=\mathcal {D}_H\). We know that h maps pants into pants, but it has to also map \(\mathcal {D}_H\) into itself. Hence, by construction, the pant \(P_{v_0}\) will only map to another pant \(P_w\) with \(w\in Hv_0\). Lemma 1 shows that this completely determines an element of the action of H on \(\mathcal {D}_H\), and thus, \(\mathrm{Aut}(X,\mathcal {D}_H)\cong H\), proving ii). \(\square \)
4 Proof of Theorem 2
Proof
Let us consider a topologically tame action \(\theta :G \rightarrow \mathrm{Hom}^{+}(X)\) and let \(\pi :X \rightarrow Y\) be a Galois cover with deck group \(\theta (G)\). We may consider a dessin \({\mathcal D}_{0}=(Y,{\mathcal G})\) such that: (i) \(B_{\pi }\) is contained in the set of white vertices of \({\mathcal G}\) and (ii) there is exactly one black vertice of degree one. This dessin induces a locally finite branched cover \(Q:Y \rightarrow S^{2}\) such that

(1)
the locus of branched values of Q is \(B_{Q} \subseteq \{p_{0},p_{1},p_{\infty }\} \subset S^{2}\);

(2)
\(Q:Y \smallsetminus Q^{1}(B_{Q}) \rightarrow S^{2} \smallsetminus B_{Q}\) is a covering map;

(3)
\(Q^{1}(p_{0})\) (respectively, \(Q^{1}(p_{1})\)) are the black (respectively, white) vertices of \({\mathcal G}\), while there is a bijective correspondence between the points in \(Q^{1}(p_{\infty })\) and the connected components of \(Y \smallsetminus {\mathcal G}\);

(4)
\(Q^{1}(p_{0}) \cap B_{\pi }=\emptyset \); and

(5)
in \(Q^{1}(p_{0})\) there is exactly one noncritical point \(x_{0}\).
The dessin \({\mathcal D}=(X,\pi ^{1}({\mathcal G}))\) satisfies that \(\theta (G) \le A=\mathrm{Aut}({\mathcal D})\). We claim that \(A=\theta (G)\). Let us assume, by the contrary, that \(\theta (G) \ne A\). In this case:

(i)
there is a Galois (possible branched) cover \(\pi _{A}:X \rightarrow R\), with deck group A,

(ii)
there is a locally finite branched cover \(P:Y \rightarrow R\), degree at least two (it could be of infinite degree) such that \(P \circ \pi =\pi _{A}\), and

(iii)
there is a locally finite branched cover \(L:R \rightarrow S^{2}\) such that \(L \circ P=Q\).
Set \(r_{0}=P(x_{0})\) and let \(d \ge 1\) be the branched order of \(\pi _{A}\) at \(r_{0}\) (i.e., each point in the fiber \(\pi _{A}^{1}(r_{0})\) has Astabilizer a cyclic group of order d.
As \(B_{\pi } \cap Q^{1}(p_{0})=\emptyset \), it follows that, at each point in the fiber of \(P^{1}(r_{0})\), the local degree of P is the same d. But this means that, at each of these points, the local degree of \(Q=L \circ P\) must be the same. This is a contradiction to condition (5) of Q. \(\square \)
Remark 2
(Another proof of Theorem 1) Let H be a subgroup of G and consider a locally finite branched Galois cover \(U:X \rightarrow R\) induced by the action of H. Take a locally finite branched cover \(T:R \rightarrow Y\) such that \(\pi =T \circ U\). Consider the preimage, under T, of the bipartite graph \({\mathcal G}\) (in the above proof) to obtain a bipartite graph \(\widetilde{\mathcal G} \subset R\). In that case, all branch values of U are contained in the white vertices and there is a nonempty collection of degree one black vertices. By removing all the degree one black vertices (with the exception of one of them) and the adjacent edges, then we obtain a new bipartite graph \({\mathcal H} \subset \widetilde{\mathcal G}\). Such a bipartite graph satisfies the same conditions for R and U as \({\mathcal G}\) did for Y and \(\pi \). So, the same proof, permits to obtain a new dessin on X (whose bipartite graph is contained in the bipartite graph \(\pi ^{1}({\mathcal G})\)) and whose automorphism group is H.
References
Allcock, D.: Hyperbolic surfaces with prescribed infinite symmetry groups. Proc. Am. Math. Soc. 134(10), 3057–3059 (2006)
Aougab, T., Patel, P., Vlamis, N.G.: Isometry of infinitegenus hyperbolic surfaces. Math. Ann. 381, 459–490 (2021)
Belyi, G.V.: On Galois extensions of a maximal cyclotomic field. Math. USSR Izv. 14(2), 247–256 (1980)
Bollobás, B.: Modern Graph Theory. Graduate Texts in Mathematics. Springer, New York (1998)
Girondo, E., GonzálezDiez, G.: Introduction to Compact Riemann Surfaces and dessins d’enfants London Mathematical Society Student Texts 79. Cambridge University Press, Cambridge (2012)
Girondo, E., GonzálezDiez, G.: A note on the action of the absolute Galois group on dessins. Bull. Lond. Math. Soc. 39(5), 721–723 (2007)
GonzálezDiez, G., JaikinZapirain, A.: The absolute Galois group acts faithfully on regular dessins and on Beauville surfaces. Proc. Lond. Math. Soc. (3) 111(4), 775–796 (2015)
Greenberg, L.: Conformal transformations of Riemann surfaces. Am. J. Math. 82(4), 749–760 (1960)
Grothendieck, A.: Geometric Galois Actions, 1. London Mathematical Society Lecture Notes Series. In: Schneps, L., Lochak, P. (eds.) Esquisse d’un Programme (1984), pp. 5–47. Cambridge University Press, Cambridge (1997)
Hidalgo, R.A.: Automorphism groups of dessins d’enfants. Arch. Math. (Basel) 112(1), 13–18 (2019)
Jones, G.A.: Automorphisms groups of maps, hypermaps and dessins. Art Discrete Appl. Math. 3 (2020), \(\#\)P1.06. https://doi.org/10.26493/25909770.1275.e77
Jones, G.A., Wolfart, J.: Dessins d’Enfants on Riemann Surfaces. Springer Monographs in Mathematics. Springer, Cham (2016). https://doi.org/10.1007/9783319247113
Ratcliffe, J.G.: Foundations of Hyperbolic Manifolds. Springer, Berlin (2019)
Thurston, W.P.: The Geometry and Topology of ThreeManifolds. Princeton University, Princeton (1980)
Winkelman, J.: Realizing countable groups as automorphism groups of Riemann surfaces. Doc. Math. 7, 413–417 (2002)
Funding
Open Access funding provided thanks to the CRUECSIC agreement with Springer Nature. Funding for open access charge: Universidad de Málaga / CBUA
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Alejandro Cañas and Francisco Javier are partially supported by Ministerio de Ciencia e Innovación (Spain) Grant PID2020118452GBI00. Rubén A. Hidalgo is partially supported by Project Fondecyt 1190001. Alejandro Cañas and Antonio Viruel are partially supported by Ministerio de Ciencia e Innovación (Spain) Grant PID2020118753GBI00.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cañas, A., Hidalgo, R.A., Turiel, F.J. et al. Groups as automorphisms of dessins d’enfants. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. AMat. 116, 160 (2022). https://doi.org/10.1007/s13398022012857
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398022012857