**6**

votes

**0**answers

105 views

### Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...

**1**

vote

**1**answer

294 views

### Kropholler's Conjecture and 3-manifolds

Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...

**1**

vote

**1**answer

110 views

### the lower bounded of metrics on a group

Let $G$ be a finitely generated group, S is a set of generators. If $\forall s\in S, n\in \mathbb{Z}$, $\exists C>0$ such that $|s^n|_S\ge C|n|$, does it imply $\forall$ infinite order element ...

**4**

votes

**1**answer

120 views

### Action of the isometry group of the hyperbolic 5-space

We can think hyperbolic 5-space as, $$\mathcal{H}^5=SO^+_{5,1}(\mathbb{R})/SO_5(\mathbb{R})=SL_2(\mathbb{H})/Sp^*_2(\mathbb{H}),$$$\mathbb{H}$ is real quaternion algebra. By Iwasawa Decomposition the ...

**3**

votes

**0**answers

188 views

### Profinite groups, completions, and Schreier's formula

Let $G$ be a finitely generated profinite group, and $H \leq_o G$. We say that $H$ satisfies Schreier's formula in $G$ if $d(H) - 1 = (d(G)-1)[G:H]$. We say that $G$ satisfies Schreier's formula if ...

**1**

vote

**0**answers

55 views

### L_2-Betti numbers of random groups

Are there any results in calculating $l_2$-Betti numbers of random groups in the Gromov density model?
I can deduce myself a few facts:
If a group has Property (T) then the first $l_2$-Betti ...

**2**

votes

**3**answers

158 views

### Combination of Stallings theorem and Dunwoody's accessibility

I am interested in applications of the combination of Stallings theorem and Dunwoody's accessibility, which can be summarized as follow:
Theorem: Let $G$ be a finitely presented group. Then $G$ is ...

**4**

votes

**0**answers

104 views

### Regularity of polynomial growth of groups

Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies:
$$
A n^d \leq B_n \leq Bn^d
$$
for some constants $A$, $B$.
My question ...

**4**

votes

**1**answer

115 views

### Rationality of translation lengths in hyperbolic groups

Recall that the translation length $\tau(g)$ of an element $g \in G$ is the limit $d(1, g^n)/n$, where $d$ is the word metric on $G$ with resepct to some generating set.
It is a theorem of Gromov ...

**6**

votes

**3**answers

576 views

### Links between Geometric Group Theory and Number Theory

Do You know any successful applications of the geometric group theory in the number theory? GTG is my main field of interest and I would love to use it to prove new facts in the number theory.

**3**

votes

**0**answers

102 views

### Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...

**11**

votes

**2**answers

287 views

### Algorithms in hyperbolic groups

I'm stuck in some algorithms in hyperbolic groups, which may be rather simple.
Let $G$ be a hyperbolic group given by a finite presentation. It is known that the hyperbolicity constant $\delta$ can ...

**3**

votes

**0**answers

89 views

### Does there exists a finitely presented group with Dehn function > n^3 and all asymptotic cones simply connected

It is well known that all asymptotic cones simply connected implies polynomial Dehn function (Gromov). It is also well known that quadratic Dehn function implies all asymptotic cones simply connected ...

**0**

votes

**0**answers

154 views

### Induced graphs of cayley graph

I have a Cayley graph $Cay(G,S)$, its group presentation $G=< S | R >$ and it is a metric graph by assigning a length equal to 1 to each edge. I also have an induced subgraph of that Cayley ...

**3**

votes

**1**answer

109 views

### Non co-hopfian groups - finite index

What sort of spaces cover themselves with a finite fibre? Or, what sort of finitely generated groups contain isomorphic copies of themselves as subgroups as finite index? Is it a reasonable question ...

**15**

votes

**1**answer

335 views

### Asymmetric metrics and cohomology

If $(X,d)$ is a metric space and $f : X \rightarrow \mathbb{R}$ is a Lipschitz function with Lipschitz constant $k < 1$, then the function
$$
D(x,y) := d(x,y) + f(y) - f(x)
$$
defines an asymmetric ...

**0**

votes

**0**answers

95 views

### Help understanding a proof in Stallings' Triangle of Groups paper

I'm trying to understand the proof of theorem 1 in Stalling's Non-positively Curved Triangle of Groups. I have specific questions, but is there anywhere someone has written out the proof in more ...

**7**

votes

**2**answers

370 views

### Kaplansky's idempotent conjecture for Thompson's group F

Let $K$ be a field and $G$ be a torsion-free group. Kaplansky's idempotent conjecture states that the group ring $K[G]$ does not contain any non-trivial idempotent, i.e. if $x^2=x$ then $x=0$ or ...

**4**

votes

**1**answer

118 views

### Connection between degree of growth and return probabilities of random walks on Lie groups

Let $G$ be a finitely generated group of polynomial growth, let $\mu$ be a non-degenerate symmetric probability measure with finite support on $G$, and let $d$ be the degree of growth of $G$. ...

**6**

votes

**0**answers

115 views

### How much do the classes of geodesic metrics and Green metrics on a Gromov hyperbolic group differ?

Background
Let $G$ be a Gromov hyperbolic group. If $G$ acts properly discontinuously and cocompactly on a proper geodesic metric space $X$, then any bijective identification of $G$ with its orbit ...

**0**

votes

**0**answers

72 views

### Groups and triangle-square complexes

I would like to know what kind of groups (and/or their group presentation) acting geometrically on CAT(0) curved piecewise Euclidean triangle-square complexes.
Thanks

**0**

votes

**1**answer

194 views

### JSJ-decompositions of hyperbolic groups and elementary vertices

My question is the following:
In Bowditch's JSJ-decomposition of hyperbolic groups, can elementary (virtually-cyclic) vertices have degree 1? If not, why not?
I had thought for a long time that ...

**6**

votes

**1**answer

305 views

### Candidates for non-sofic groups

What are the "simplest" examples of countable groups that are not known to be sofic?

**4**

votes

**0**answers

176 views

### Computing the pro-solvable closure of a finitely generated subgroup of a free group

The pro-solvable topology on a group $G$ is the unique group topology such that the set of normal subgroups $N\lhd G$ with $G/N$ a finite solvable group is a fundamental system of neighborhoods of the ...

**8**

votes

**1**answer

213 views

### Is there a finitely generated residually finite group with solvable word problem that does not embed in a finitely presented residually finite group?

The famous Higman embedding theorem says that every recursively presented group embeds in a finitely presented group. This is a convenient tool to construct finitely presented groups with bizarre ...

**3**

votes

**0**answers

126 views

### Topological interpretation for groups of type $FP_2$

A group $G$ is of type $FP_2$ if it admits a partial projective resolution of $\mathbb{Z}G$-modules $$ P_2 \rightarrow P_1 \rightarrow P_0 \rightarrow \mathbb{Z} \rightarrow 0$$ with each $P_i$ being ...

**1**

vote

**1**answer

101 views

### Module structure of the abelianization of the commutator subgroup

Let $G$ be a (non-abelian) group, and let $G_2$ denote its commutator subgroup. Then the abelianization $G_2^{ab} = H_1(G_2,\mathbb{Z})$ is a module over the group ring $\mathbb{Z}[G^{ab}]$. The ...

**7**

votes

**1**answer

184 views

### Minimal normally generating subsets of minimal generating sets

Let $G$ be a finitely generated group. The weight $w(G)$ of $G$ is defined to be the minimum number of elements of $G$ whose normal closure in $G$ is the whole of $G$ (this is sometimes also called ...

**2**

votes

**2**answers

174 views

### Commutator width of soluble Baumslag Solitar groups

Do the soluble Baumslag-Solitar groups have finite commutator width? A soluble Baumslag-Solitar group is given by a presentation of the from
BS(1,m) = $<a,b \mbox{ }| \mbox{ } a^{-1}ba = ...

**2**

votes

**2**answers

216 views

### Action of Mapping Class Group on Arc complex

Suppose $S$ is a surface of finite type with nonempty boundary. Now consider the arc complex $\mathcal{A}$. The action of Mod(S)(mapping class group) on the set of all vertices has finitely many ...

**5**

votes

**1**answer

151 views

### Commutator Width of a direct limit of hyperbolic groups

Is it known if the direct limit of hyperbolic groups can have finite commutator width? Every hyperbolic group has infinite verbal width for any word $w$, so in particular for the commutator word ...

**2**

votes

**1**answer

141 views

### Can a tree cover a finite graph with arbitrary large girth?

Let $G$ be some discrete finitely generated group acting cocompactly on a leafless tree $T$. Is it true that for any natural number $n$ there is a finite graph $\Gamma$ such that: $T$ is the universal ...

**0**

votes

**0**answers

73 views

### What is the definition of an HNN extention of a group, relative to another group?

I am familiar with the definition of the HNN extension of a group relative to an isomorphism between two of its subgroups. For comparison's sake let me make that explicit. For groups $G_1, G_2\leq ...

**9**

votes

**1**answer

339 views

### How to construct a group with specified growth function

Are there any procedures which given a nonnegative nondecreasing function on the integers will construct a finitely generated group with the same growth up to the usual equivalence of growth ...

**2**

votes

**0**answers

149 views

### quasiisomorphic groups and torsion [closed]

Are there two finitely generated quasiisomorphic groups $G$ and $H$ such that $G$ is torsionfree and $H$ has torsion elements of arbitrarily large order?

**2**

votes

**0**answers

81 views

### Characterizations of product groups under quasi-isometry

This is a follow-up question to Quasi-isometric rigidity of certain products of groups. It can be moved to a comment if it is too trivial.
If all the asymptotic cones of a finitely generated group ...

**4**

votes

**1**answer

107 views

### Quasi-isometric rigidity of certain products of groups

Let $G_1,G_2$ be two delta-hyperbolic groups. If $G_1\times \Bbb{Z}$ is quasi-isometric to $G_2\times \Bbb{Z}$, must it be true that $G_1$ is quasi-isometric to $G_2$?
This is similar to the classic ...

**2**

votes

**1**answer

124 views

### Density of ends of long words in a hyperbolic group

Let $G$ be a Gromov hyperbolic group with a generating set $S$. For each $g \in G$, let $\xi_g$ be the point in the ideal boundary corresponding to the sequence $(g^n)$. Let $l_S(g)$ be the word ...

**5**

votes

**0**answers

125 views

### Uniform incentre of collection of quasi convex subspaces in hyperbolic spaces

I'm reading a paper of Wise on cubulations and the following fact is used:
Let $H$ be a quasi-convex subgroup of a $\delta$-hyperbolic group and let $H_i, i\in I$ be a finite family of translates of ...

**5**

votes

**1**answer

165 views

### Hilbert space compression of the lamplighter group

What is the Hilbert space compression exponent of the standard lamplighter group $\mathbb{Z_{2}} \wr \mathbb{Z}$? For $\mathbb{Z} \wr \mathbb{Z}$ it is known to be $2/3$ by work of Austin, Naor and ...

**10**

votes

**1**answer

279 views

### Mapping class group and CAT(0) spaces

I hope the questions are not too vague.
Is the mapping class group of an orientable punctured surface $CAT(0)$ ?
Is any of the remarkable simplicial complexes (curve complex, arc complex...) built ...

**4**

votes

**3**answers

235 views

### Domination of length functions of trees with equal covolume

(This is a reformulation of an earlier unanswered question. I would like to thank Ian Agol for pointing out to me Walter Parry's characterization of hyperbolic translation length functions.)
Let $G$ ...

**7**

votes

**2**answers

545 views

### Translation length functions of non-simplicial trees

Let $G$ be a finitely generated group. By a theorem of Culler and Morgan, the set of non-abelian (not necessarily simplicial) minimal $\mathbb{R}$-trees with isometric $G$-action injects into the ...

**1**

vote

**1**answer

142 views

### Quasi-isometric embeddings of the mapping class group into the Teichmuller space

Does there exist a quasi-isometric embedding
$$MCG(S) \to (\mathrm{Teich}(S), d)$$
for $d$ any "known" distance on the Teichmuller space (i.e. Teichmuller, Weil-Petersson, Thurston...) ?

**13**

votes

**0**answers

197 views

### Bounding the lengths of the conjugators in the word problem for finite group presentations

Let $G = \langle X \mid R \rangle$ be a group defined by a finite presentation, and let $F$ be the free group on $X$. If $w \in F$ represents the identity in $G$, then $w$ is equal in $F$ to (the free ...

**5**

votes

**1**answer

174 views

### distortion of cyclic subgroups of linear groups

In an informal talk I heard a statement:
"Any cyclic subgroup in a linear group is at most exponentially distorted"
with a vague reference to a work of Lubotzky with coauthors.
The works of ...

**4**

votes

**1**answer

194 views

### Interesting families of groups as group extensions

Let me start this question with an example that hopefully makes clear what I am looking for:
A discrete subgroup $G$ of the group of euclidean isometries of $\mathbb{R}^d$ is called a ...

**7**

votes

**1**answer

324 views

### Analogues of the curve complex for Out(F)

Let $F$ be a finitely generated free group.
Question: Is there an authoritative survey of analogues of the curve complex for $\mathrm{Out}(F)$? If not, as seems likely, would a passing expert be ...

**8**

votes

**0**answers

173 views

### A Magnus theorem in the category of residually finite groups

There is a natural notion of a presentations in the category of residually finite groups. Namely, if $X$ is set and $R$ is a set of words in the free group $FG(X)$ on $X$, then define $G=RF\langle ...

**5**

votes

**1**answer

135 views

### Injective simplicial maps between Arc complexes

Let $A(S)$ denotes the Arc complex of a finite type hyperbolic surface $S$ with nonempty boundary. Let $\lambda:A(S)\rightarrow A(S)$ be a map such that on triangulations of $S$ i.e. on the top ...