Monodromy Groups of Dessins d'Enfant on Rational Polygonal Billiards Surfaces

Richard A. Moy,Jason Schmurr,Japheth Varlack
2023-06-02
Abstract:A dessin d'enfant, or dessin, is a bicolored graph embedded into a Riemann surface, and the monodromy group is an algebraic invariant of the dessin generated by rotations of edges about black and white vertices. A rational polygonal billiards surface is a Riemann surface that arises from the dynamical system of billiards within a rational-angled polygon. In this paper, we compute the monodromy groups of dessins embedded into rational polygonal billiards surfaces and identify all possible monodromy groups arising from rational triangular billiards surfaces.
Number Theory
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to calculate the monodromy groups of Dessins d’Enfant embedded on the surfaces of rational polygonal billiards and identify all possible monodromy groups that may arise from the surfaces of rational triangular billiards. Specifically, the authors generalized previous research results, calculated the monodromy groups of Dessins d’Enfant drawn on k - gons (k ≥ 3), and showed that these monodromy groups can be represented as a semidirect product \( N \rtimes C_k \), where \( N \) is isomorphic to a representation of the column space of a circulant matrix over \( \mathbb{Z}/n\mathbb{Z} \) and \( C_k \) is a cyclic group of order \( k \). ### Core problems of the paper 1. **Calculating monodromy groups**: Determine the monodromy groups of Dessins d'Enfant embedded on the surfaces of rational polygonal billiards. 2. **Classifying monodromy groups**: Identify all possible monodromy groups that may be generated from the surfaces of rational triangular billiards. 3. **Generalizing existing results**: Generalize the existing results regarding triangles to the case of general k - gons. ### Main methods and techniques - **Semidirect product structure**: Prove that the monodromy groups can be represented as a semidirect product \( N \rtimes C_k \). - **Smith normal form**: Use the Smith normal form to explicitly calculate the monodromy groups. - **Algebraic and number - theoretic tools**: Apply classical results in algebra and number theory to assist in proof and calculation. ### Important conclusions - All such monodromy groups can be represented as a semidirect product \( N \rtimes C_k \). - For prime \( n = p \), a correspondence between k - gons modulo p and polynomial elements is established, so that the monodromy group is completely determined by the greatest common divisor of the polynomial and \( x^k - 1 \). - Preliminary results for dealing with composite numbers \( n \) are provided, and a complete classification for triangles and quadrilaterals is completed. Through these works, the paper provides new perspectives and methods for understanding the monodromy groups of Dessins d'Enfant on the surfaces of rational polygonal billiards.