On the procongruence completion of the Teichmüller modular group

DOI10.1090/S0002-9947-2014-05971-0MaRDI QIDQ3190797zbMATH OpenOpenAlexFDO

Authors Marco Boggi

Publication date 19 September 2014

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

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

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)

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.

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- completions of mapping class groups

Cites work

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

Cited in

(13)

• A restricted Magnus property for profinite surface groups
• scientific article; zbMATH DE number 4132428 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 2159246 (Why is no real title available?)
• 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)