Almost abelian regular dessins d'enfants (Q2845651)

A Belyi pair, or a regular dessin d'enfant, \((S,\beta)\), consists of a closed Riemann surface \(S\) and a non-constant meromorphic map \(\beta : S \rightarrow \hat{\mathbb{C}}\) with at most three branch values, called a Belyi map. The Belyi pair \((S, \beta)\) is definable over a subfield \(\mathbb {K}\) of \(\mathbb {C}\) if there is an equivalent pair \((C, \eta)\) where \(C\) is a smooth algebraic curve and \(\eta\) is a rational map, both defined over \(\mathbb {K}\). Belyi proved that every Belyi pair is definable over \(\bar{\mathbb{Q}}\), and the author showed that if \(Aut(S, \beta)\) is Abelian, then \((S, \beta)\) is definable over \( \mathbb{Q}\).NEWLINENEWLINEThe paper under review is devoted to prove that \((S, \beta)\) is definable over \(\mathbb{Q}\) if \(Aut(S, \beta) \approx A \rtimes \mathbb{Z}_2\), with \(A\) an Abelian group. In the particular case that \(A\) is cyclic, then the pair \((C, \eta)\) equivalent to \((S, \beta)\) is explicitly described, as well as its automorphism group. An example with \(A = \mathbb{Z}_8\) is fully developed, and it yields two curves of genus \(2\).