اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe congruence subgroup property for $Aut F_2$: A group-theoretic proof of Asadas theorem
146
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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 Asadas proof into group-theoretic language. This translation enables us to simplify many parts of Asadas original argument and prove a quantitative version of the congruence subgroup property for $Aut(F_2)$.
قيم البحث
اقرأ أيضاً
A valuated group with normal forms is a group with an integer-valued length function satisfying some Lyndons axioms and an additional axiom considered by Hurley. We prove a subgroup theorem for valuated groups with normal forms analogous to Grushko-N
eumanns theorem. We study also the CSA property in such groups.
In this paper we describe the profinite completion of the free solvable group on m generators of solvability length r>1. Then, we show that for m=r=2, the free metabelian group on two generators does not have the Congruence Subgroup Property.
The congruence subgroup problem for a finitely generated group $Gamma$ asks whether the map $hat{Autleft(Gammaright)}to Aut(hat{Gamma})$ is injective, or more generally, what is its kernel $Cleft(Gammaright)$? Here $hat{X}$ denotes the profinite comp
letion of $X$. It is well known that for finitely generated free abelian groups $Cleft(mathbb{Z}^{n}right)=left{ 1right}$ for every $ngeq3$, but $Cleft(mathbb{Z}^{2}right)=hat{F}_{omega}$, where $hat{F}_{omega}$ is the free profinite group on countably many generators. Considering $Phi_{n}$, the free metabelian group on $n$ generators, it was also proven that $Cleft(Phi_{2}right)=hat{F}_{omega}$ and $Cleft(Phi_{3}right)supseteqhat{F}_{omega}$. In this paper we prove that $Cleft(Phi_{n}right)$ for $ngeq4$ is abelian. So, while the dichotomy in the abelian case is between $n=2$ and $ngeq3$, in the metabelian case it is between $n=2,3$ and $ngeq4$.
Let ${cal M}_{g,n}$ and ${cal H}_{g,n}$, for $2g-2+n>0$, be, respectively, the moduli stack of $n$-pointed, genus $g$ smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be identified, re
spectively, with $Gamma_{g,n}$ and $H_{g,n}$, the so called Teichm{u}ller modular group and hyperelliptic modular group. A choice of base point on ${cal H}_{g,n}$ defines a monomorphism $H_{g,n}hookrightarrowGamma_{g,n}$. Let $S_{g,n}$ be a compact Riemann surface of genus $g$ with $n$ points removed. The Teichmuller group $Gamma_{g,n}$ is the group of isotopy classes of diffeomorphisms of the surface $S_{g,n}$ which preserve the orientation and a given order of the punctures. As a subgroup of $Gamma_{g,n}$, the hyperelliptic modular group then admits a natural faithful representation $H_{g,n}hookrightarrowoperatorname{Out}(pi_1(S_{g,n}))$. The congruence subgroup problem for $H_{g,n}$ asks whether, for any given finite index subgroup $H^lambda$ of $H_{g,n}$, there exists a finite index characteristic subgroup $K$ of $pi_1(S_{g,n})$ such that the kernel of the induced representation $H_{g,n}tooperatorname{Out}(pi_1(S_{g,n})/K)$ is contained in $H^lambda$. The main result of the paper is an affirmative answer to this question for $ngeq 1$.
The congruence subgroup problem for a finitely generated group $Gamma$ and $Gleq Aut(Gamma)$ asks whether the map $hat{G}to Aut(hat{Gamma})$ is injective, or more generally, what is its kernel $Cleft(G,Gammaright)$? Here $hat{X}$ denotes the profinit
e completion of $X$. In the case $G=Aut(Gamma)$ we denote $Cleft(Gammaright)=Cleft(Aut(Gamma),Gammaright)$. Let $Gamma$ be a finitely generated group, $bar{Gamma}=Gamma/[Gamma,Gamma]$, and $Gamma^{*}=bar{Gamma}/tor(bar{Gamma})congmathbb{Z}^{(d)}$. Denote $Aut^{*}(Gamma)=textrm{Im}(Aut(Gamma)to Aut(Gamma^{*}))leq GL_{d}(mathbb{Z})$. In this paper we show that when $Gamma$ is nilpotent, there is a canonical isomorphism $Cleft(Gammaright)simeq C(Aut^{*}(Gamma),Gamma^{*})$. In other words, $Cleft(Gammaright)$ is completely determined by the solution to the classical congruence subgroup problem for the arithmetic group $Aut^{*}(Gamma)$. In particular, in the case where $Gamma=Psi_{n,c}$ is a finitely generated free nilpotent group of class $c$ on $n$ elements, we get that $C(Psi_{n,c})=C(mathbb{Z}^{(n)})={e}$ whenever $ngeq3$, and $C(Psi_{2,c})=C(mathbb{Z}^{(2)})=hat{F}_{omega}$ = the free profinite group on countable number of generators.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
