Pairs of tree dessins, their Shabat polynomials, and monodromy groups

Basic Information

• Paper ID: 2510.10192
• Title: Pairs of tree dessins, their Shabat polynomials, and monodromy groups
• Authors: Benjamin Dupont, Revekka Kyriakoglou, Vassilis Metaftsis, Efstratios Prassidis, Alexandros Singh
• Classification: math.AG (Algebraic Geometry), math.CO (Combinatorics), math.GR (Group Theory)
• Publication Date: October 11, 2025
• Paper Link: https://arxiv.org/abs/2510.10192

Abstract

This paper investigates self-coverings of the Riemann sphere that branch at two points, given by so-called Shabat polynomials. The correspondence between Grothendieck's dessins d'enfants and Belyi maps implies a bijection between Shabat polynomials and tree dessins (bicolored planar trees). Dessins can be assigned a combinatorial invariant called a passport, which records the degrees of their vertices. The authors consider all possible passports determining pairs of tree dessins, determine the associated Shabat polynomials and monodromy groups.

Research Background and Motivation

1. Core Problem: Study all combinatorial families containing exactly two trees, compute the corresponding Shabat polynomials and monodromy groups. This represents the minimal case for observing non-fixed points arising from the action of the absolute Galois group Gal(Q̄/Q).
2. Significance:
   • Belyi's theorem states that a Riemann surface is definable over Q if and only if there exists a Belyi map
   • Dessins d'enfants provide a method to study curves defined over Q through combinatorial objects
   • The action of the absolute Galois group on trees is faithful, making trees an important tool for studying this action
3. Existing Limitations:
   • Existing catalogs of Belyi maps and dessins focus primarily on cases with small edge counts
   • Systematic study of families containing multiple dessins is relatively sparse
   • Lack of complete classification and computation for all families of size 2
4. Research Motivation: Extend existing catalogs by providing complete Shabat polynomial and monodromy group computations for all families of size 2, which represent the minimal cases for observing non-trivial results from the Gal(Q̄/Q) action.

Core Contributions

1. Complete Classification: Comprehensive classification and analysis of all passport families containing exactly two tree dessins
2. Shabat Polynomial Computation: Explicit Shabat polynomials computed for 12 families (6 infinite families and 6 sporadic families)
3. Monodromy Group Determination: Monodromy group structures determined for all these families
4. Galois Orbit Analysis: Analysis of the decomposition of these families under the action of the absolute Galois group
5. Computational Methods: Development of systematic computational methods, including differential techniques and combinatorial approaches

Detailed Methodology

Task Definition

Given a passport P = α; β; n (where α, β are integer partitions of n, recording the degrees of black and white vertices respectively), determine:

1. Explicit geometric forms of corresponding tree dessins
2. Associated Shabat polynomials P(x)
3. Monodromy groups of the coverings

Core Theoretical Framework

Shabat Polynomial Equivalence: Two Shabat polynomials P, Q are equivalent if and only if there exist constants A, B, a, b ∈ ℂ (a ≠ 0) such that:

Q(x) = AP(ax + b) + B

with corresponding transformation of critical values.

Differential Technique (Atkin-Swinnerton-Dyer Method): For a given dessin structure, compute the Shabat polynomial through the following steps:

1. Assume polynomial form based on black vertex positions
2. Provide alternative expression based on white vertex positions
3. Differentiate both expressions and compare coefficients
4. Solve for unknown parameters

Technical Innovations

1. Systematized Approach: Unified computational framework developed for different family types
2. Combinatorial Methods: Direct computation of monodromy groups utilizing dessin combinatorial structure
3. Field Extension Analysis: Systematic analysis of definition fields for each family, distinguishing Galois orbits and fixed points
4. Combinatorial Techniques: Use of dessin combinatorics and marked vertex techniques for handling complex cases

Experimental Setup

Research Objects

Complete list of 12 families:

• Infinite Families (F1-F6):
  • F1: r,s,t; 3,1^(n-3); n
  • F2: r²,s²; 4,1^(n-4); n
  • F3: r³,s²; 5,1^(n-5); n
  • F4: r,s,1^t; 3^p; n
  • F5: r²,1^s; 4^p; n
  • F6: r²,1^s; 5^p; n
• Sporadic Families (F7-F12): 6 specific passports

Computational Tools

• Symbolic computation systems for polynomial manipulation
• GAP software for group-theoretic computations
• Combinatorial analysis for dessin structures

Verification Methods

1. Verification that computed polynomials are indeed Shabat polynomials
2. Validation of monodromy group structures
3. Confirmation of Galois action correctness

Experimental Results

Main Results

Family F1: Defined over Q(√(-rst(r+s+t)))

• Shabat polynomial: P(x) = x^r(x-1)^s(x-a)^t
• Monodromy group: (A_(n/d))^d ⋊ Z_(2d) or (A_(n/d))^d ⋊ Z_d

Family F2: Both trees are Galois fixed points

• Divided into two cases: T_(2,1) and T_(2,2)
• Monodromy group structure depends on parameter parity

Family F3: Divided into two classes based on whether discriminant is a perfect square

• Defined over Q for certain parameter values, over quadratic fields otherwise

Sporadic Families:

• F7 defined over Q(√(-14))
• F8 defined over Q(√21)
• F9 defined over Q(√(-3))
• F10, F11 defined over Q
• F12 defined over Q(√273)

Key Findings

1. Field Structure: Quadratic fields correspond to 2-orbits; definition over Q implies two fixed points
2. Monodromy Group Detection: Except for F3, monodromy groups can detect all orbit-splitting cases
3. Combinatorial Structure: Many complex dessins can be obtained through combinations of simpler dessins

Statistical Results

• 6 infinite families + 6 sporadic families = 12 complete families
• Monodromy group orders ranging from small groups to groups exceeding 10^13
• Various definition fields: Q, imaginary quadratic fields, real quadratic fields

Related Work

Main Research Directions

1. Belyi Map Theory: Belyi's theorem and its generalizations
2. Dessins d'enfants: Grothendieck's combinatorial geometry theory
3. Shabat Polynomials: Special two-point branched coverings
4. Monodromy Group Classification: Group-theoretic invariants of coverings

Existing Work

• Bétréma-Zvonkin catalog: Tree dessins with 8 or fewer edges
• Work by Adrianov et al.: Classification of individual dessin families
• LMFDB database: Online catalog of Belyi maps and monodromy groups

Advantages of This Work

1. Completeness: First complete treatment of all size-2 families
2. Systematicity: Unified computational methods
3. Explicitness: Explicit expressions for all Shabat polynomials

Conclusions and Discussion

Main Conclusions

1. Complete classification of all tree dessin families of size 2 achieved
2. Corresponding Shabat polynomials and monodromy groups computed
3. Action patterns of the absolute Galois group on these families analyzed

Limitations

1. Restricted to size-2 families; computational complexity increases dramatically for larger families
2. Some computations depend on symbolic computation systems, potential numerical precision issues
3. Monodromy group descriptions are complex in certain cases

Future Directions

1. Extension to families of size 3 and beyond
2. Search for additional combinatorial invariants to detect Galois orbit splitting
3. Investigation of arithmetic properties and L-functions

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Provides complete solution to this problem
2. Methodological Innovation: Combines techniques from algebraic geometry, combinatorics, and group theory
3. Computational Precision: All results given in explicit form
4. Clear Structure: Well-organized paper with detailed analysis of each family

Weaknesses

1. Computational Complexity: Some formulas are complex with potentially limited practical utility
2. Generalization Difficulty: Applicability of methods to larger families unclear
3. Geometric Intuition: Lacks in-depth discussion of geometric meaning of results

Impact

1. Theoretical Contribution: Provides important computational tools and results for dessin theory
2. Database Value: Results can enrich existing Belyi map databases
3. Methodological Significance: Demonstrates possibilities for systematically computing complex combinatorial objects

Application Scenarios

1. Study of Belyi maps in algebraic geometry
2. Applications of Galois theory in number theory
3. Planar graph theory in combinatorics
4. Symbolic computation methods in computational mathematics

References

The paper cites 31 related references, covering classical and contemporary research in Belyi theory, dessin theory, monodromy group classification, and other aspects of the field, providing comprehensive bibliographic foundation for this research area.