**17**

votes

**0**answers

520 views

### Reference request: Parallel processor theorem of William Thurston

Sometime in the 1980's or 1990's, Bill Thurston proved a theorem regarding the existence of a universal parallel processing machine, using a certain class for such machines having finite deterministic ...

**16**

votes

**0**answers

504 views

### How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...

**13**

votes

**0**answers

296 views

### Linear groups which don't contain products of free groups

Let $G \subset GL(n, \Bbb Z)$ be a f.g. linear group. The Tits alternative says that $G$ is either virtually solvable (i.e. has a solvable subgroup of finite index), or contains a free group $F_2$. ...

**13**

votes

**0**answers

232 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 ...

**12**

votes

**0**answers

312 views

### What is an example of a word hyperbolic group without a finite complete rewriting system?

I believe that it was an open question back when I was a graduate student whether every word hyperbolic group admits a finite complete (=Church-Rosser=Noetherian+confluent) rewriting system for some ...

**12**

votes

**0**answers

335 views

### Splay trees and Thompson's group $F$

( I apologize for only indicating some easy to find references, but new users are not allowed to link more than five). This is very speculative, but:
Question: Is there a reformulation of the Dynamic ...

**10**

votes

**0**answers

538 views

### Definition of a uniformly bounded dual of a group

The unitary dual of a group $G$ is the set of equivalence classes of irreducible unitary representations of $G$ with the Fell topology. (This topology is defined using convergence of positive definite ...

**9**

votes

**0**answers

231 views

### Group with unsolvable conjugacy problem but solvable conjugacy length?

Could there exist a finitely presented group with unsolvable conjugacy problem, in which it is decidable whether a word over the group generators is a shortest representative of an element in its ...

**8**

votes

**0**answers

195 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 ...

**8**

votes

**0**answers

401 views

### Is it true that every f.g. infinite simple group has exponential growth?

Is it true that every finitely generated infinite simple group has
exponential (word-)growth?
Remark: As Mark Sapir has pointed out, the question whether
every finitely generated group of ...

**8**

votes

**0**answers

355 views

### is a group $G$, that admits finite $k(G, 1)$ and has no Baumslag-Solitar subgroups, necessarily hyperbolic?

This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is ...

**7**

votes

**0**answers

134 views

### A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...

**7**

votes

**0**answers

72 views

### Approximation of the effective resistance on Cayley graph

Let $\Gamma$ be a finitely generated group, and denote by $G$ the Cayley graph of $\Gamma$. Denote by $d_R$ the resistance distance metric on this graph. The resistance distance metric between the ...

**7**

votes

**0**answers

425 views

### Uniquely geodesic groups

Definition : A group is CAT(0) if it acts properly, cocompactly and isometrically on a CAT(0) space.
Examples : see this blog.
Remark : A CAT(0) space is uniquely geodesic, but the converse is ...

**6**

votes

**0**answers

220 views

### When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space.
Let $d$ a word metric on $\Gamma$ coming from some finite set of generators.
My question is:
Does there exist a ...

**6**

votes

**0**answers

194 views

### Polynomial growth without Gromov's theorem

It is a consequence of the theorem of M. Gromov on groups with polynomial growth and a result of P. Pansu(*) that if a finitely generated group $\Gamma = \langle S\rangle,\, S=S^{-1}$ satisfies ...

**6**

votes

**0**answers

130 views

### CAT(0) groups that does not act on CAT(0) cubical complex

CAT(0) groups are groups that act on a CAT(0) space properly and cocompactly. If a group acts on a CAT(0) cubical complex properly and cocompactly, then of course it is a CAT(0) Group. I am wondering ...

**6**

votes

**0**answers

140 views

### Homology groups of Noetherian groups

Let $G$ be a Noetherian group. Is $H_n(G,\mathbb{Z})$ finitely generated? Do we know the above for the special cases $n=2,3$ even?

**6**

votes

**0**answers

163 views

### “Twisted” Lyndon equation in a free group

In 1959, Lyndon showed that in a free group, the equation $u^2v^2=w^2$ has only commuting solutions: $uv=vu=w$. Is there in the litterature any information about the following "twisted" version of the ...

**6**

votes

**0**answers

108 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 ...

**6**

votes

**0**answers

140 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 ...

**5**

votes

**0**answers

75 views

### Maximum relator and hyperbolicity

It is a well-known theorem that a finitely generated group is hyperbolic if and only if it admits a finite Dehn presentation. To prove the "only if" direction one proceeds roughly as follows:
Suppose ...

**5**

votes

**0**answers

111 views

### Centralizers in virtually special groups

Let $G$ be a virtually compact special group, in the terminology of Haglund and Wise (i.e., $G$ has a finite index subgroup $H$ which is isomorphic to the fundamental group of some compact special ...

**5**

votes

**0**answers

147 views

### Dynamics of virtual automorphisms of free group

The setup is that $F$ is a free finitely generated group, $H, H'$ are subgroups of index $2$, and $\tau:H\to H'$ is an isomorphism.
Denote by $B_r$ the ball around $1$ of radius $r$ in $F$, in the ...

**5**

votes

**0**answers

166 views

### Can one characterize amenable groups with $C_G(x)$ cyclic for all $x\neq 1$?

Can one characterize the amenable groups that have the property that the centralizer of every non-identity element is cyclic?
For example, must they be solvable?

**5**

votes

**0**answers

210 views

### Any method to detect subgroup generated by a subset of the generators from its presentation

I have met the following problem. A group $G$ is given as follows
$G = \langle x,y,t| y^{-2}xy^2 = x,t^{-1}yt =y^2 ,t^{-1}xt = xy^{-1}xy\rangle$
Is the subgroup generated by $y$ and $t$ just the ...

**4**

votes

**0**answers

73 views

### Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case?
More ...

**4**

votes

**0**answers

72 views

### Roller's problem on median groups

At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks
A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...

**4**

votes

**0**answers

90 views

### An inequality from the “Interlacing-1” paper

This question is in reference to this paper, http://annals.math.princeton.edu/wp-content/uploads/annals-v182-n1-p07-p.pdf (or its arxiv version, http://arxiv.org/abs/1304.4132)
For the argument to ...

**4**

votes

**0**answers

80 views

### Number of unitary representations of a Kazhdan group

It was proved by de la Harpe, Robertson, and Valette that for a discrete group $\Gamma$ with Kazhdan's property (T), there is a constant $c$ so that the number of irreducible unitary representations ...

**4**

votes

**0**answers

89 views

### A subgroup of corank 1 in a free group contains a primitive element?

Let $F$ be the free group on $\{x_i\}_{i=1}^\infty$, and let $H \leq F$ be a subgroup with $\langle H \cup \{x_1\} \rangle = F$. Must there be a free basis $B$ of $F$ for which $B \cap H \neq ...

**4**

votes

**0**answers

171 views

### Primitive elements in a free group

Let $F$ be a free group of rank $\aleph_0$ and let $H$ be a subgroup for which there exists some $a \in F$ such that $\langle H \cup \{a\} \rangle = F$. Must there be some free basis $B$ for $F$ and a ...

**4**

votes

**0**answers

102 views

### Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...

**4**

votes

**0**answers

89 views

### Actions of amenable groups on graphs with uncountably many ends

Let $G$ be a finitely generated amenable group acting transitively on an amenable Schreier graph $S$. Is it possible for $S$ to have uncountably many ends? An amenable graph with uncountably many ends ...

**4**

votes

**0**answers

81 views

### Nice minimal embeddings of large finite groups into compact Riemannian manifolds

The initial motivation for this question is a very practical problem: I need to find the absolute minimum of a function on a very large symmetric group $\Sigma_N$ (with $N$ 10000 or more). So if ...

**4**

votes

**0**answers

107 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

**0**answers

306 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 ...

**4**

votes

**0**answers

126 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 ...

**4**

votes

**0**answers

236 views

### Can one pose a Toeplitz index problem associated to a discrete group?

Before posing my question, let me provide a little background since the Wikipedia page on this stuff is sorely lacking.
Let's start with the classical case of the Toeplitz index problem on the ...

**3**

votes

**0**answers

62 views

### Is the family of probabilities generated by a random walk on a finitely generated amenable group asymptotically invariant?

Is the family of probabilities $\mu^n$ (convolution) generated by a random walk $\mu$ on a finitely generated amenable group $G$ asymptotically invariant ($\|g\mu^n-\mu\|_{L^1}\to 0$ for any $g\in ...

**3**

votes

**0**answers

158 views

### Uniform sub-linearity of sub-additive functions on groups

Suppose $G$ is a finitely generated group and suppose $f: G \to \mathbb{R}$ is subadditive function, that is: $f(g_1\circ g_2) \leq f(g_1) + f(g_2)$. One example of such $f$ is the word length in some ...

**3**

votes

**0**answers

176 views

### every element with eigenvalue 1

Is there a "non-trivial" subgroup $G$ of $GL(n,\mathbb C)$ whose every element has an eigenvalue $1$?
"Non-trivial" here means that is no common eigenvector with eigenvalue $1$ for all elements of ...

**3**

votes

**0**answers

82 views

### Geometric automorphism of free group respect to nonorientable suface

An outer automorphism $[ϕ]\in Out(F_n)$ is geometric if it is induced by a surface homeomorphism h:M→M, where M is a compact surface with nonempty boundary. I am wondering is it enough we only ...

**3**

votes

**0**answers

158 views

### Growth of the number of generators in hyperbolic groups

Let $G$ be an infinite hyperbolic group, and let us further assume that it is residually finite (or even LERF/GFERF) so that we have plenty of subgroups of finite index.
I would like to know if one ...

**3**

votes

**0**answers

142 views

### $S^{3}$-valued harmonic analysis

Edit:
Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider
$$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...

**3**

votes

**0**answers

219 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 ...

**3**

votes

**0**answers

70 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 ...

**3**

votes

**0**answers

120 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, ...

**3**

votes

**0**answers

103 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 ...

**3**

votes

**0**answers

137 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 ...