On the procongruence completion of the Teichmüller modular group

DOI10.1090/S0002-9947-2014-05971-0zbMATH Open1298.14030arXiv0910.4305OpenAlexW2963303873MaRDI QIDQ3190797FDOQ3190797

Authors: Marco Boggi 

Publication date: 19 September 2014

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: For $2g-2+n>0$, the Teichm"uller modular group $Gamm{a}_{g,n}$ of a compact Riemann surface of genus $g$ with $n$ points removed $S_{g,n}$ is the group of homotopy classes of diffeomorphisms of $S_{g,n}$ which preserve the orientation of $S_{g,n}$ and a given order of its punctures. Let $P{i}_{g,n}$ be the fundamental group of $S_{g,n}$, with a given base point, and $hat{Pi}_{g,n}$ its profinite completion. There is then a natural faithful representation $Gamm{a}_{g,n}hookrightarrowOut(hat{Pi}_{g,n})$. The procongruence completion $check{Gamma}_{g,n}$ of the Teichm"uller group is defined to be the closure of the Teichm"uller group $Gamm{a}_{g,n}$ inside the profinite group $Out(hat{Pi}_{g,n})$. In this paper, we begin a systematic study of the procongruence completion $check{Gamma}_{g,n}$. The set of profinite Dehn twists of $check{Gamma}_{g,n}$ is the closure, inside this group, of the set of Dehn twists of $G{G}_{g,n}$. The main technical result of the paper is a parametrization of the set of profinite Dehn twists of $check{Gamma}_{g,n}$ and the subsequent description of their centralizers. This is the basis for the Grothendieck-Teichm"uller Lego with procongruence Teichm"uller 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.

Full work available at URL: https://arxiv.org/abs/0910.4305

Recommendations

• The odd‐dimensional Goldberg conjecture
• scientific article; zbMATH DE number 1088542
• Galois coverings of moduli spaces of curves and loci of curves with symmetry
• Teichmüller groupoids and Galois action
• Relative pro-\(\ell \)completions of mapping class groups

zbMATH Keywords

Galois representationsprofinite completionfundamental group of compact Riemann surfaceprocongruence Teichmüller modular group

Mathematics Subject Classification ID

Galois representations (11F80) Homotopy theory and fundamental groups in algebraic geometry (14F35) Families, moduli of curves (algebraic) (14H10) Teichmüller theory for Riemann surfaces (30F60) Coverings of curves, fundamental group (14H30)

Cites Work

• Title not available (Why is that?)
• The exactness of the log homotopy sequence
• Geometry of algebraic curves. Volume II. With a contribution by Joseph Daniel Harris
• Title not available (Why is that?)
• On the combinatorial anabelian geometry of nodally nondegenerate outer representations
• FUNDAMENTAL GROUPS OF ALGEBRAIC STACKS
• On the Residual Finiteness of Certain Mapping Class Groups
• Title not available (Why is that?)
• The real analytic theory of Teichmüller space
• Title not available (Why is that?)
• The faithfulness of the monodromy representations associated with certain families of algebraic curves
• The congruence subgroup property for the hyperelliptic modular group: the open surface case
• Conjugacy Separability of Certain Fuchsian Groups
• Title not available (Why is that?)
• Galois coverings of moduli spaces of curves and loci of curves with symmetry
• The odd‐dimensional Goldberg conjecture
• Universal covering spaces and fundamental groups in algebraic geometry as schemes
• Propriétés de ramification à l'infini du groupe modulaire de Teichmüller. With an appendix in English by Ken Baclawski

Cited In (13)

• A restricted Magnus property for profinite surface groups
• Title not available (Why is that?)
• The congruence subgroup property for the hyperelliptic modular group: the open surface case
• Mapping class actions on surface group completions
• The odd‐dimensional Goldberg conjecture
• Automorphisms of procongruence curve and pants complexes
• On procongruence curve complexes and their automorphisms
• Title not available (Why is that?)
• Congruence topologies on the mapping class group
• Results and conjectures in profinite Teichmüller theory
• Topics surrounding the combinatorial anabelian geometry of hyperbolic curves. IV: Discreteness and sections
• Notes on hyperelliptic mapping class groups
• On modular functors and the ideal Teichmüller tower

This page was built for publication: On the procongruence completion of the Teichmüller modular group

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3190797)