The congruence subgroup property for F₂: a group-theoretic proof of Asada's theorem.

DOI10.4171/GGD/130zbMATH Open1251.20035arXiv0909.0304OpenAlexW2084867702MaRDI QIDQ664236FDOQ664236

Authors: Kai-Uwe Bux, Mikhail Ershov, Andrei Rapinchuk 

Publication date: 29 February 2012

Published in: Groups, Geometry, and Dynamics (Search for Journal in Brave)

Abstract: The goal of this paper is to give a group-theoretic proof of the congruence subgroup property for $Aut(F_2)$, the group of automorphisms of a free group on two generators. This result was first proved by Asada using techniques from anabelian geometry, and our proof is, to a large extent, a translation of Asada's proof into group-theoretic language. This translation enables us to simplify many parts of Asada's original argument and prove a quantitative version of the congruence subgroup property for $Aut(F_2)$.

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

Recommendations

• The congruence subgroup problem for the free metabelian group on two generators
• The congruence subgroup problem for low rank free and free metabelian groups
• On the Abelianizations of congruence subgroups of \(\Aut(F_2)\).
• On the index of congruence subgroups of \(\Aut(F_n)\).
• Profinite surface groups and the congruence kernel of arithmetic lattices in \(\text{SL}_2(\mathbb{R})\).

zbMATH Keywords

free groupssubgroups of finite indexautomorphism groupsprofinite completionscongruence subgroup property

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Limits, profinite groups (20E18) Automorphisms of infinite groups (20E36) Automorphism groups of groups (20F28) Subgroup theorems; subgroup growth (20E07) Unimodular groups, congruence subgroups (group-theoretic aspects) (20H05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Torsion elements and centralizers in free products of profinite groups.
• Configuration Spaces.
• On the index of congruence subgroups of \(\Aut(F_n)\).
• The faithfulness of the monodromy representations associated with certain families of algebraic curves
• Infinite generation of automorphism groups of free pro-\(p\) groups
• Cohomological topics in group theory.
• Title not available (Why is that?)
• Exactness properties of profinite completion functors
• Characteristic subgroups and automorphisms of free profinite groups
• On products of profinite groups

Cited In (14)

• The congruence subgroup problem for the free metabelian group on two generators
• A pro-\(l\) version of the congruence subgroup problem for mapping class groups of genus one
• Tamely ramified covers of the projective line with alternating and symmetric monodromy
• On the index of congruence subgroups of \(\Aut(F_n)\).
• On the Abelianizations of congruence subgroups of \(\Aut(F_2)\).
• The congruence subgroup problem for finitely generated nilpotent groups
• Nonabelian level structures, Nielsen equivalence, and Markoff triples
• Arithmetic Veech sublattices of SL\((2,\mathbf {Z})\)
• The IA-congruence kernel of high rank free metabelian groups
• Title not available (Why is that?)
• Families of ϕ‐congruence subgroups of the modular group
• On the congruence subgroup problem for branch groups
• The congruence subgroup problem for low rank free and free metabelian groups
• The congruence subgroup problem for the free metabelian group on \(n\geq 4\) generators

This page was built for publication: The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.

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