The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
type: Item
instance of: scholarly article
title: The congruence subgroup property for \(\Aut F_2\): a group-theoretic proof of Asada's theorem.
zbMATH Open document ID: 1251.20035
DOI: 10.4171/GGD/130
author: Kai-Uwe Bux
author: Mikhail Ershov
author: Andrei Rapinchuk
published in: Groups, Geometry, and Dynamics
publication date: 2012-02-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/0909.0304
review text: Let \(G\) be a finitely generated group and \(\Gamma=\Aut(G)\) its automorphism group. For a normal subgroup \(K\) of \(G\) of finite index let \(\Gamma[K]=\{\sigma\in\Gamma\mid\sigma(K)=K\) and \(\sigma\) acts trivially on \(G/K \}\). \(\Gamma[K]\) is a finite index subgroup of \(\Gamma\). The question arising is: For every finite index subgroup of \(\Gamma\), say \(H\), is there a normal subgroup \(K\) of \(G\) of finite index such that \(H\geq\Gamma[K]\)? This is a natural generalization of the classical congruence subgroup problem for \(G=\mathbb Z^n\), \(\Gamma=\text{GL}_n(\mathbb Z)\), \(K=k\mathbb Z^n\) and \(\Gamma[K]=\text{GL}_n(\mathbb Z,k)\), the congruence subgroup modulo \(k\). Let \(\tau_{pf}\) be the profinite topology on \(\Gamma\) and \(\tau_c\) the topology on \(\Gamma\) which admits the family of subgroups \(\Gamma[K]\) for all finite index subgroups \(K\) of \(G\) as a basis of neighborhoods of the identity. A reformulation of the question above amounts to the question if these topologies are actually identical. Which turns in the equivalent question if the natural map \(\widehat{\Aut(G)}\to\Aut(\widehat G)\) is injective. (Here, for a group \(M\), \(\widehat M\) denotes the profinite completion of \(M\).) In [J. Pure Appl. Algebra 159, No. 2-3, 123-147 (2001; Zbl 1045.14013)], \textit{M. Asada}, using techniques from anabelian geometry, gave an affirmative answer to the above question in the case of \(\Gamma=\Aut(F_2)\), the automorphism group of the free group of rank 2. In the present paper the authors give a short purely group-theoretic proof of Asada's result. A first reduction is obtained (Lemma 3.1 in the paper). If the map \(\widehat{\text{Out}(G)}\to\text{Out}(\widehat G)\) is injective, then the map \(\widehat{\Aut(G)}\to\Aut(\widehat G)\) is injective. Let \(\Phi\) be the free group on the generators \(a\) and \(b\) and \(F_2\) the free group on the generators \(x\) and \(y\). Consider the automorphisms of \(F_2\) defined by \(\alpha\)…
reviewed by: Dimitrios Varsos
Mathematics Subject Classification ID: 20F28
Mathematics Subject Classification ID: 20H05
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20E07
Mathematics Subject Classification ID: 20E36
Mathematics Subject Classification ID: 20E18
zbMATH DE Number: 6010062
zbMATH Keywords: automorphism groups
zbMATH Keywords: free groups
zbMATH Keywords: congruence subgroup property
zbMATH Keywords: subgroups of finite index
zbMATH Keywords: profinite completions
MaRDI profile type: MaRDI publication profile
cites work: Exactness properties of profinite completion functors
cites work: On the index of congruence subgroups of \(\Aut(F_n)\).
cites work: The faithfulness of the monodromy representations associated with certain families of algebraic curves
cites work: Configuration Spaces.
cites work: Cohomological topics in group theory.
cites work: Torsion elements and centralizers in free products of profinite groups.
cites work: Q5513066
cites work: Characteristic subgroups and automorphisms of free profinite groups
cites work: On finitely generated profinite groups. I: Strong completeness and uniform bounds. II: Products in quasisimple groups.
cites work: Q4490702
cites work: Q4858090
cites work: Infinite generation of automorphism groups of free pro-\(p\) groups
cites work: Q5783322
cites work: Q3341041
cites work: On products of profinite groups
cites work: Q4217279
OpenAlex ID: W2084867702
Recommended article: The congruence subgroup problem for the free metabelian group on two generators
Recommended article: The congruence subgroup problem for low rank free and free metabelian groups
Recommended article: On the Abelianizations of congruence subgroups of \(\Aut(F_2)\).
Recommended article: On the index of congruence subgroups of \(\Aut(F_n)\).
Recommended article: Profinite surface groups and the congruence kernel of arithmetic lattices in \(\text{SL}_2(\mathbb{R})\).
description: scientific article; zbMATH DE number 6010062