2009/10/22 by Marco Boggi, Boggi, Marco
Mathematics · #11F80 #14F35 #14H10 #14H30 #30F60 #Algebraic Geometry (math.AG) #FOS: Mathematics #Group Theory (math.GR) #Number Theory (math.NT) #math.AG #math.GR #math.NT #msc:11F80 #msc:14F35 #msc:14H10 #msc:14H30 #msc:30F60
paper · pdf · doi:10.48550/arxiv.0910.4305
40 pages. Final version. To appear on Transactions of the American Mathematical Society
arxiv created 2013/01/18 · arxiv updated 2013/01/21
For 2g-2+n>0, the Teichmüller modular group Γg,n of a compact Riemann surface of genus g with n points removed Sg,n is the group of homotopy classes of diffeomorphisms of Sg,n which preserve the orientation of Sg,n and a given order of its punctures. Let Πg,n be the fundamental group of Sg,n, with a given base point, and Πg,n its profinite completion. There is then a natural faithful representation Γg,n\hookrightarrow Out(Πg,n). The procongruence completion \checkΓg,n of the Teichmüller group is defined to be the closure of the Teichmüller group Γg,n inside the profinite group Out(Πg,n). In this paper, we begin a systematic study of the procongruence completion \checkΓg,n. The set of profinite Dehn twists of \checkΓg,n is the closure, inside this group, of the set of Dehn twists of \GGg,n. The main technical result of the paper is a parametrization of the set of profinite Dehn twists of \checkΓg,n and the subsequent description of their centralizers. This is the basis for the Grothendieck-Teichmüller Lego with procongruence Teichmüller groups as building blocks. As an application, we prove that some Galois representations associated to hyperbolic curves over number fields and their moduli spaces are faithful.