Regularity and Automorphism Groups of Dessins d'Enfants with Uniform Passports
Tatsuya Ohnishi
TL;DR
This work addresses the symmetry of dessins d'enfants arising from uniform passports across genus. It combines Belyi theory with detailed symmetric-group analysis, leveraging cycle-type counts $T(b,q)$, $N(b,q)$ and $I_m(b,q)$ and triangle-group methods to relate regularity to monodromy primitivity. The paper proves two key results: (i) for tree-type uniform passports, a regular dessin exists if and only if gcd$(p,q)=1$, and analogous permutations; (ii) for genus $\ge 2$, uniform passports of the form $[n,b^{q},n]$ always admit a dessin with trivial automorphism group, with parallel results for $[b^{q},n,n]$ and $[n,n,b^{q}]$. It also provides genus-0 and genus-1 classifications of uniform dessins and presents two symmetric-group enumeration theorems that aid automorphism-group analysis. Together, these results illuminate how symmetry in uniform dessins evolves with genus and contribute to understanding fields of moduli versus fields of definition in the descent problem.
Abstract
For a smooth algebraic curve defined over a number field, one can associate a bipartite graph known as a dessin d'enfant. In this paper, we investigate the regularity and automorphism groups of dessins d'enfants with uniform passports, that is, those for which the valencies of black vertices, white vertices, and faces are constant, and study how these properties depend on the genus. Although uniformity imposes a high degree of symmetry, such dessins are not necessarily regular. Our main results are as follows: (1) A passport of the form $[a^{p}, b^{q}, n]$ (the tree case) admits a regular dessin if and only if $\gcd(p,q)=1$. (2) Every passport of the form $[n, b^{q}, n]$ of genus at least 2 admits a dessin with a trivial automorphism group. In addition, we obtain several results on uniform passports of genus 0 and 1. We also establish two theorems on the enumeration of elements in symmetric groups, which are useful for the study of automorphism groups of dessins.
