Anabelian perspectives in Galois-Teichmüller theory

Abstract: By exploiting the arithmetic homotopy of the moduli spaces of curves, Galois-Teichmüller theory stands at the interface of braid-mapping class groups and of anabelian geometry. Starting from the classical braid-theoretic construction of the Grothendieck-Teichmüller group, we review how anabelian geometry -- beginning with the foundational work of Nakamura -- provides the arithmetic mechanisms underlying its definition. We then explain how the combinatorial anabelian geometry developed by Hoshi and Mochizuki recasts these constructions within a purely group-theoretic and algorithmic framework. In particular, we describe how the group GT emerges as an anabelian object and how, once freed from auxiliary or artificially imposed containers, the anabelian algorithms yield a combinatorial reconstruction of the absolute Galois group of rational numbers. The perspective developed here highlights a conceptual shift from explicit braid-theoretic computations to functorial and algorithmic forms of anabelian reconstruction.

• The paper introduces a novel algorithmic framework leveraging étale fundamental groups to reconstruct the absolute Galois group.
• It demonstrates that the Grothendieck-Teichmüller group acts as a container for G_Q via explicit braid-theoretic and combinatorial constructions.
• The study applies combinatorial anabelian geometry to establish injectivity and correspondences between moduli tower automorphisms and Galois actions.

Anabelian Perspectives in Galois-Teichmüller Theory

Overview and Context

The manuscript explores the interplay between arithmetic homotopy theory, anabelian geometry, and the combinatorial structures underlying the Galois-Teichmüller program. Its primary focus is the elucidation of the Grothendieck-Teichmüller group ($GT$) as a natural "container" for the absolute Galois group of the rationals ($G_\mathbb{Q}$), accomplished through group-theoretic and algorithmic frameworks originating from both classical and modern developments in anabelian geometry. The narrative advances from explicit braid-theoretic constructions through combinatorial and functorial anabelian reconstructions, culminating in combinatorial models for $G_\mathbb{Q}$.

Arithmetic Homotopy Foundation and the Classical GT Group

The foundational objects are the étale fundamental groups of moduli spaces of curves, particularly $M_{0,[m]}$ (moduli spaces of genus zero, $m$-pointed curves), and their relation via the arithmetic homotopy exact sequence to $G_\mathbb{Q}$. By fixing a tangential base point, one leverages the Deligne-Ihara formalism to describe $G_\mathbb{Q}$-actions on fundamental groups in terms of generators and relations that encode monodromy and cyclotomic data.

The explicit relations (I), (II), (III) among elements $(\lambda, f)$ in the completed braid and free group components ($$\widehat{\mathbb{Z}}^\times \times \widehat{\mathbb{F}_2}$$) define the Grothendieck-Teichmüller group $GT$. The injection $G_\mathbb{Q} \hookrightarrow GT$ is closely linked to Belyi's theorem, emphasizing that $G_\mathbb{Q}$ can be described combinatorially in terms of actions on these moduli spaces. Extension to higher moduli spaces ($M_{0,[m]}$, $m \geq 4$), and further to higher genus via mapping class group presentations, preserves this paradigm through braid group combinatorics and tangential structures.

Anabelian Geometry: Principles and Algorithmic Paradigms

A central theme is Grothendieck's anabelian conjecture: the étale fundamental group of certain "anabelian" varieties determines the variety up to isomorphism. Hyperbolic curves, and notably the moduli spaces $M_{0,m}$, satisfy this property, allowing their arithmetic and geometric features to be "reconstructed" via group-theoretic invariants.

The paper advances Grothendieck’s paradigm into algorithmic anabelian geometry, where functorial and topological algorithms can reconstruct discrete arithmetic and geometric data—and ultimately the field of definition—from purely profinite group-theoretic information. The transition from explicit computation (cf. mono-anabelian) to canonical algorithmic processes (cf. combinatorial anabelian geometry) is made precise: the focus moves from the specifics of generators and explicit base points to functorial, orbit-based perspectives.

Combinatorial Anabelian Geometry and Group-theoretic Reconstructions

Within combinatorial anabelian geometry, the moduli tower $$\mathcal{T} = \{(M_{0,m}\times\bar{\mathbb{Q}})\}_{m\geq 3}$$ is examined through the lens of automorphism groups that respect both geometric and arithmetic conditions (notably, quasi-special and symmetric automorphisms). The paper proves that these automorphism groups (preserving cuspidal inertia and point contractions) inject naturally between levels of the tower, reducing certain anabelian correspondences to the fundamental case $m=4$.

An essential result is that $GT$ is isomorphic (as a group-theoretic object) to a subgroup of automorphisms of the completed pure braid group and mapping class group quotients, specifically relating to the tower automorphisms that reflect $S_m$-actions. Furthermore, $GT$ is anabelian in the sense that it is characterized by the centralizer structures arising from $G_\mathbb{Q}$-actions, with $S_m$ playing a pivotal role for $m \geq 5$.

Fiber-Admissible Automorphisms and Belyi Injectivity

The notion of FC-admissible automorphisms—those preserving fiber and cuspidal data—emerges as central, ultimately shown to coincide with the broader class of fiber-admissible automorphisms. This identification yields strong injectivity results, generalizing Belyi's original injectivity to configuration spaces and arbitrary hyperbolic curves.

The synchronization of inertia groups (tripod synchronization) at various fibers and divisors underpins the proof of generalized Belyi injectivity, showing that automorphism groups descend bijectively and faithfully among levels of configuration spaces. The reduction to the case $m=3$ (combinatorial analog of Belyi) highlights the universality of the anabelian paradigm across geometric contexts.

Combinatorial Models of $G_\mathbb{Q}$ (BGT Framework)

A principal contribution is the definition and construction of "Belyi-Galois-Teichmüller" ($BGT$) groups and associated combinatorial models of $\bar{\mathbb{Q}}$. Arithmetic Belyi diagrams provide a group-theoretic means of encoding finite étale covers, cusp data, and automorphism groups compatible with $GT$. Cofinality and a relative Grothendieck conjecture (RGC) ensure the uniqueness and existence of domination systems among these models.

The paper establishes that $\bar{\mathbb{Q}}_{BGT}$, defined as a suitable limit over combinatorial cusp data, admits a field structure (with multiplication and addition defined via function field-theoretic arguments) and is provably isomorphic to the algebraic closure $\bar{\mathbb{Q}}$. Notably, these models are parametrized up to conjugacy within $GT$, reflecting an anabelian analog of holomorphic variation in the underlying ring structure.

Practical and Theoretical Implications

The synthesis of combinatorial, homotopy-theoretic, and anabelian techniques provides a formal pathway for reconstructing $G_\mathbb{Q}$ (and its avatars over $p$-adic fields) from purely profinite group-theoretic data associated to configuration spaces. This framework enables explicit and canonical algorithms for recovering arithmetic invariants, field structures, and Galois actions, without reliance on auxiliary schemes or base points.

The indecomposability and rigidity of these profinite groups also motivate generalizations of Jarden's "families preserving" Galois isomorphisms, and suggest avenues for extending absolute Grothendieck conjectures to new arithmetic contexts. The equivalence between several $GT$ constructions (e.g., metric, $p$-adic, and tempered) is established as a consequence of recent advances in the resolution of nonsingularity for hyperbolic curves.

Conclusion

This manuscript articulates a conceptual and technical shift in the study of Galois-Teichmüller theory: from explicit, generator-based descriptions to functorial and algorithmic combinatorial models grounded in the principles of anabelian geometry. The group $GT$ emerges as a canonical, anabelian object, providing a robust framework for reconstructing $G_\mathbb{Q}$ and related field invariants from fundamental group data of moduli spaces. Future research directions include the universal definition of an absolutely combinatorial model ${\rm GT}_{\rm NF}$ for number fields, deeper exploration of the arithmetic-holomorphic variation in ring structures, and applications to broader classes of varieties and arithmetic invariants in the context of algorithmic anabelian geometry.