We study the absolute Galois group by looking for invariants and orbits of its faithful action on Grothendieck's dessins d'enfants. We define a class of functions called Belyi-extending maps, which we use to construct new Galois invariants of dessins from previously known invariants. Belyi-extending maps are the source of "new-type'' relations on the injection of the absolute Galois group into the Grothendieck-Teichmüller group. We make explicit how to get from a general Belyi-extending map to formula for its associated invariant which can be implemented in a computer algebra package. We give an example of a new invariant differing on two dessins which have the same values for the other readily computable invariants.
References
Anderson, G. W. and Ihara, Y., Pro-$l$ branched coverings of $P\sp 1$ and higher circular $l$-units, Ann. of Math. (2), 128 (1988), 271-293.
Mathematical Reviews (MathSciNet):
MR960948
--------, Pro-$l$ branched coverings of $P\sp 1$ and higher circular $l$-units, II, Internat. J. Math., 1 (1990), 119-148.
Belyi, G. V., On Galois extensions of a maximal cyclotomic field, Math. USSR Izvestija, 14 (1980), 247-256.
Mathematical Reviews (MathSciNet):
MR534593
Couveignes, J.-M. and Granboulan, L., Dessins from a geometric point of view, The Grothendieck Theory of Dessins d'Enfants, 79-113, London Math. Soc. Lecture Notes Series, 200, Cambridge Univ. Press, 1994.
Ellenberg, J., Galois invariants of dessins d'enfants, Arithmetic Fundamental Groups and Noncommutative Algebra, M. Fried and Y. Ihara, eds., 2002.
Fried, M. D., Introduction to modular towers: generalizing dihedral group--modular curve connections, Recent developments in the inverse Galois problem (Seattle, WA, 1993), 111-171, Contemp. Math., 186, Amer. Math. Soc., 1995.
Grothendieck, A., Equisse d'un Programme. Geometric Galois Actions: 1. Around Grothendieck's Equisse d'un Programme, 5-48, London Math. Soc. Lecture Notes Series, 242, Cambridge Univ. Press, 1997.
Ihara, Y., On the embedding of $\Gal(\Qbar/\Q)$ into $\widehatGT$ Geometric Galois Actions: 1. Around Grothendieck's Equisse d'un Programme, 289-305, London Math. Soc. Lecture Notes Series, 242, Cambridge Univ. Press, 1997.
--------, On beta and gamma functions associated with the Grothendieck-Teichmüller group. II, J. Reine Angew. Math., 527 (2000), 1-11.
Jones, G. and Streit, M., Galois Groups, Monodromy Groups and Cartographic Groups Geometric Galois Actions: 2. The Inverse Galois Problem, Moduli Spaces and Mapping Class Groups, 25-65, London Math. Soc. Lecture Notes Series, 243, Cambridge Univ. Press, 1997.
Matzat, B. H., Konstruktive Galoistheorie, Lecture Notes in Math., 1284, Springer-Verlag, 1987.
Nakamura, H., Some classical views on the parameters of the Grothendieck-Teichmüller group to appear in Progress in Galois Theory.
Nakamura, H. and Schneps, L., On a subgroup of the Grothendieck-Teichmüller group acting on the tower of profinite Teichmüller modular groups, Invent. Math., 141 (2000), 503-560.
Nakamura, H. and Tsunogai, H., Harmonic and equianharmonic equations in the Grothendieck-Teichmüller group, Forum Math., 15 (2003), 877-892.
Schneps, L., ed., The Grothendieck Theory of Dessins d'Enfants, London Math. Soc. Lecture Notes Series, 200, Cambridge Univ. Press, 1994.
Schneps, L., Dessins d'Enfants on the Riemann Sphere, The Grothendieck Theory of Dessins d'Enfants, 47-77, London Math. Soc. Lecture Notes Series, 200, Cambridge Univ. Press, 1994.