TOPICS SURROUNDING THE COMBINATORIAL ANABELIAN GEOMETRY OF HYPERBOLIC CURVES IV: DISCRETENESS AND SECTIONS

• Published in: Nagoya mathematical journal 2024-12, Vol.256, p.785-885
• Main Authors: HOSHI, YUICHIRO, MOCHIZUKI, SHINICHI
• Format: Article
• Language: English
• Subjects: Combinatorial analysis; Curves; Group theory; Hyperbolic functions; Prime numbers; Set theory; Subgroups
• ISSN: 0027-7630; 2152-6842
• DOI: 10.1017/nmj.2023.39

Let $\Sigma $ be a nonempty subset of the set of prime numbers which is either equal to the entire set of prime numbers or of cardinality one. In the present paper, we continue our study of the pro- $\Sigma $ fundamental groups of hyperbolic curves and their associated configuration spaces over algebraically closed fields in which the primes of $\Sigma $ are invertible. The present paper focuses on the topic of comparison between the theory developed in earlier papers concerning pro- $\Sigma $ fundamental groups and various discrete versions of this theory. We begin by developing a theory concerning certain combinatorial analogues of the section conjecture and Grothendieck conjecture. This portion of the theory is purely combinatorial and essentially follows from a result concerning the existence of fixed points of actions of finite groups on finite graphs (satisfying certain conditions). We then examine various applications of this purely combinatorial theory to scheme theory. Next, we verify various results in the theory of discrete fundamental groups of hyperbolic topological surfaces to the effect that various properties of (discrete) subgroups of such groups hold if and only if analogous properties hold for the closures of these subgroups in the profinite completions of the discrete fundamental groups under consideration. These results make possible a fairly straightforward translation, into discrete versions, of pro- $\Sigma $ results obtained in previous papers by the authors. Finally, we discuss a construction that was considered previously by M. Boggi in the discrete case from the point of view of the present paper.