Resolution of Nonsingularities, Point-theoreticity, and Metric-admissibility for p-adic Hyperbolic Curves

Abstract

In this paper, we prove that arbitrary hyperbolic curves over p-adic local fields admit resolution of nonsingularities [“RNS”]. This result may be regarded as a generalization of results concerning resolution of nonsingularities obtained by A. Tamagawa and E. Lepage. Moreover, by combining our RNS result with techniques from combinatorial anabelian geometry, we prove that an absolute version of the geometrically pro-Σ Grothendieck Conjecture for arbitrary hyperbolic curves over p-adic local fields, where Σ denotes a set of prime numbers of cardinality ≥ 2 that contains p, holds. This settles one of the major open questions in anabelian geometry. Furthermore, we prove --again by applying RNS and combinatorial anabelian geometry-- that the various p-adic versions of the Grothendieck-Teichmüller group that appear in the literature in fact coincide. As a corollary, we conclude that the metrized Grothendieck-Teichmüller group is commensurably terminal in the Grothendieck-Teichmüller group. This settles a longstanding open question in combinatorial anabelian geometry.