Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userSubgroup Distortion and the Relative Dehn Functions of Metabelian Groups
84
0
0.0
(
0
)
Authors
Wenhao Wang
Ask ChatGPT about the research
No Arabic abstract
We show the connection between the relative Dehn function of a finitely generated metabelian group and the distortion function of a corresponding subgroup in the wreath product of two free abelian groups of finite rank. Further, we show that if a finitely generated metabelian group $G$ is an extension of an abelian group by $mathbb Z$ the relative Dehn function of $G$ is polynomially bounded. Therefore, if $G$ is finitely presented, the Dehn function is bounded above by the exponential function up to equivalence.
rate research
Read More
In this paper, we compute an upper bound for the Dehn function of a finitely presented metabelian group. In addition, we prove that the same upper bound works for the relative Dehn function of a finitely generated metabelian group. We also show that every wreath product of a free abelian group of finite rank with a finitely generated abelian group can be embedded into a metabelian group with exponential Dehn function.
The congruence subgroup problem for a finitely generated group $Gamma$ asks whether $widehat{Autleft(Gammaright)}to Aut(hat{Gamma})$ is injective, or more generally, what is its kernel $Cleft(Gammaright)$? Here $hat{X}$ denotes the profinite completion of $X$. In this paper we first give two new short proofs of two known results (for $Gamma=F_{2}$ and $Phi_{2}$) and a new result for $Gamma=Phi_{3}$: 1. $Cleft(F_{2}right)=left{ eright}$ when $F_{2}$ is the free group on two generators. 2. $Cleft(Phi_{2}right)=hat{F}_{omega}$ when $Phi_{n}$ is the free metabelian group on $n$ generators, and $hat{F}_{omega}$ is the free profinite group on $aleph_{0}$ generators. 3. $Cleft(Phi_{3}right)$ contains $hat{F}_{omega}$. Results 2. and 3. should be contrasted with an upcoming result of the first author showing that $Cleft(Phi_{n}right)$ is abelian for $ngeq4$.
We show that the Dehn function of the handlebody group is exponential in any genus $ggeq 3$. On the other hand, we show that the handlebody group of genus $2$ is cubical, biautomatic, and therefore has a quadratic Dehn function.
For every $kgeqslant 3$, we exhibit a simply connected $k$-nilpotent Lie group $N_k$ whose Dehn function behaves like $n^k$, while the Dehn function of its associated Carnot graded group $mathsf{gr}(N_k)$ behaves like $n^{k+1}$. This property and its consequences allow us to reveal three new phenomena. First, since those groups have uniform lattices, this provides the first examples of pairs of finitely presented groups with bilipschitz asymptotic cones but with different Dehn functions. The second surprising feature of these groups is that for every even integer $k geqslant 4$ the centralized Dehn function of $N_k$ behaves like $n^{k-1}$ and so has a different exponent than the Dehn function. This answers a question of Young. Finally, we turn our attention to sublinear bilipschitz equivalences (SBE). Introduced by Cornulier, these are maps between metric spaces inducing bi-Lipschitz homeomorphisms between their asymptotic cones. These can be seen as weakenings of quasiisometries where the additive error is replaced by a sublinearly growing function $v$. We show that a $v$-SBE between $N_k$ and $mathsf{gr}(N_k)$ must satisfy $v(n)succcurlyeq n^{1/(2k + 1)}$, strengthening the fact that those two groups are not quasiisometric. This is the first instance where an explicit lower bound is provided for a pair of SBE 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
