Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userEffective finite generation for [IA_n,IA_n] and the Johnson kernel
89
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Let $IA_n$ denote the group of $IA$-automorphisms of a free group of rank $n$, and let $mathcal I_n^b$ denote the Torelli subgroup of the mapping class group of an orientable surface of genus $n$ with $b$ boundary components, $b=0,1$. In 1935 Magnus proved that $IA_n$ is finitely generated for all $n$, and in 1983 Johnson proved that $mathcal I_n^b$ is finitely generated for $ngeq 3$. It was recently shown that for each $kinmathbb N$, the $k^{rm th}$ terms of the lower central series $gamma_k IA_n$ and $gamma_kmathcal I_n^b$ are finitely generated when $n>>k$; however, no information about finite generating sets was known for $k>1$. The main goal of this paper is to construct an explicit finite generating set for $gamma_2 IA_n = [IA_n,IA_n]$ and almost explicit finite generating sets for $gamma_2mathcal I_n^b$ and the Johnson kernel, which contains $gamma_2mathcal I_n^b$ as a finite index subgroup.
rate research
Read More
When studying subgroups of $Out(F_n)$, one often replaces a given subgroup $H$ with one of its finite index subgroups $H_0$ so that virtual properties of $H$ become actual properties of $H_0$. In many cases, the finite index subgroup is $H_0 = H cap IA_n(Z/3)$. For which properties is this a good choice? Our main theorem states that being abelian is such a property. Namely, every virtually abelian subgroup of $IA_n(Z/3)$ is abelian.
We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and furthermore of a very particular form. In particular, the profinite completion of the fundamental group of a closed, hyperbolic 3-manifold does not contain a subgroup isomorphic to $hat{mathbb{Z}}^2$. This gives a profinite characterization of hyperbolicity among irreducible 3-manifolds. We also characterize Seifert fibred 3-manifolds as precisely those for which the profinite completion of the fundamental group has a non-trivial procyclic normal subgroup. Our techniques also apply to hyperbolic, virtually special groups, in the sense of Haglund and Wise. Finally, we prove that every finitely generated pro-$p$ subgroup of the profinite completion of a torsion-free, hyperbolic, virtually special group is free pro-$p$.
Let $C(Gamma)$ be the set of isomorphism classes of the finite groups that are homomorphic images of $Gamma$. We investigate the extent to which $C(Gamma)$ determines $Gamma$ when $Gamma$ is a group of geometric interest. If $Gamma_1$ is a lattice in ${rm{PSL}}(2,R)$ and $Gamma_2$ is a lattice in any connected Lie group, then $C(Gamma_1) = C(Gamma_2)$ implies that $Gamma_1$ is isomorphic to $Gamma_2$. If $F$ is a free group and $Gamma$ is a right-angled Artin group or a residually free group (with one extra condition), then $C(F)=C(Gamma)$ implies that $FcongGamma$. If $Gamma_1<{rm{PSL}}(2,Bbb C)$ and $Gamma_2< G$ are non-uniform arithmetic lattices, where $G$ is a semi-simple Lie group with trivial centre and no compact factors, then $C(Gamma_1)= C(Gamma_2)$ implies that $G cong {rm{PSL}}(2,Bbb C)$ and that $Gamma_2$ belongs to one of finitely many commensurability classes. These results are proved using the theory of profinite groups; we do not exhibit explicit finite quotients that distinguish among the groups in question. But in the special case of two non-isomorphic triangle groups, we give an explicit description of finite quotients that distinguish between them.
This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition, which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.
In this paper we prove that the unitary groups $SU_n(q^2)$ are $(2,3)$-generated for any prime power $q$ and any integer $ngeq 8$. By previous results this implies that, if $ngeq 3$, the groups $SU_n(q^2)$ and $PSU_n(q^2)$ are $(2,3)$-generated, except when $(n,q)in{(3,2),(3,3),(3,5),(4,2), (4,3),(5,2)}$.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
