**2**

votes

**1**answer

72 views

### k-fellow traveler property and automatic structur

Let P be a permutation group with some generating set S and let W be the word acceptor automaton of P, if I know the value of k (k-fellow-traveller property of CayleyGraph CG(P,S)).
I realized that ...

**-1**

votes

**0**answers

109 views

### Abelian quotient of a surface group

Let $S$ be a compact closed surface of genus two. Let $x_1$, $y_1$, $x_2$, and $y_2$ be the standard generating set for $\pi_1(S)$ (i.e. $\pi_1(S) \ = \ <x_1, y_1, x_2, y_2 | [x_1,y_1][x_2,y_2] = ...

**5**

votes

**1**answer

41 views

### Local quasiconvexity in graphs of free groups with cyclic edge groups

In Wise1 Wise shows that hyperbolic graphs of free groups with cyclic edge groups are subgroup separable. In Hsu-Wise these are shown to be cubulated, and by Agol they're virtually special, so ...

**2**

votes

**2**answers

139 views

### Do quasi-isometric groups have the same rational cohomology?

Let $G_1$ and $G_2$ be two finitely generated groups which are quasi-isometric in the sense of geometric group theory.
Are their rational cohomology rings $H^{\ast}(G_i; \mathbb Q)$ necessarily ...

**4**

votes

**1**answer

79 views

### Computations with conetypes of hyperbolic groups

I'd like to know if there exists (and, in this case, where I can find it) some computer program/programming language/any kind of software that can find explicitly the conetypes of a hyperbolic group ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

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

**5**

votes

**1**answer

190 views

### Is there a one relator group with property (T)?

Is there an $n > 2$, and some $x \in F_n$ (the free group on $n$ generators) such that the quotient of $F_n$ by the normal subgroup generated by $x$ has Kazhdan's property $\mathrm{(T)}$ ?

**4**

votes

**1**answer

93 views

### local quasi geodesics in hyperbolic spaces

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too.
We have the following two well-known Theorems:
T1) For all $\delta > 0, ...

**2**

votes

**0**answers

55 views

### Actions on spaces with measured walls

In geometric group theory, the question of whether or not a group acts nicely on a CAT(0) cube complex, or equivalently on a median graph, is of interest. The same question for actions on spaces with ...

**16**

votes

**0**answers

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

**3**

votes

**1**answer

150 views

### Is there a bound on the rank of finite index subgroup of SL_3(Z)?

Is there an $N \in \mathbb{N}$ such that every finite index subgroup of $\mathrm{SL}_3(\mathbb{Z})$ has a generating set of size $N$?

**4**

votes

**1**answer

89 views

### Is being Noetherian a quasi-isometric invariance for f.g. groups?

Recall that a group $G$ satisfies max (or is said to be Noetherian) if all its proper subgroups are finitely generated. Similarly $G$ satiesfies max-n if all its normal subgroups are normal closures ...

**5**

votes

**1**answer

322 views

### Can a group be a union of finitely many subgroups of infinite index?

Is there a group $G$ and subgroups $H_1, \dots, H_n \leq G$ for some $n \in \mathbb{N}$, such that $[G : H_i] = \infty$ for each $1 \leq i \leq n$, and $$G = \bigcup_{i=1}^n H_i \ \ ?$$

**2**

votes

**0**answers

118 views

### A question of braid words

Let $(W,S)$ be a Coxeter group, let $B(W,S)$ be the corresponding braid or Artin-Tits group. Set $S=\{s_1,\dots, s_n\}$ and denote by $\bf{S}=\{\sigma_1,\dots, \sigma_n\}$ the corresponding generators ...

**5**

votes

**2**answers

313 views

### Is there a nonabelian free group inside a group of positive rank gradient?

Let $G$ be a finitely generated residually finite group with positive
rank gradient, and let $F_2$ be the free group on $2$ elements. Must
there be an embedding $i \colon F_2 \to G$ ?
A group ...

**4**

votes

**1**answer

90 views

### The growth of a subset of a group

Let $S$ be a symmetric subset of a group $G$ containing the identity, and let $S^n$ be the set of all products of $n$ elements of $S$. If $S^3\subset gS$ for some translate $gS$ of $S$ then it ...

**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

**1**answer

75 views

### Immersed quasi-Fuchsian surfaces surviving Dehn fillings

In papers like, Cooper - Long - Some surface subgroups survive surgery or Li - Immersed essential surfaces in hyperbolic 3-manifolds the game is to find some quasi-Fuchsian immersed surface $Q ...

**2**

votes

**2**answers

142 views

### Detecting HNN-Extension and free products with amalgamation

This question is partly connected with the following Connection between Stalling's end theorem and Seifert-van Kampen Theorem.
By Stalling's Theorem a group with more than one end splits over a ...

**2**

votes

**0**answers

92 views

### Obtaining a quasi-isometry of the 'boundary'

It is well-known that a quasi-isometry induces a homeomorphism on the space of ends of say a locally finite graph for simplicity. Clearly the converse is not true. In other words the concept of ends ...

**3**

votes

**1**answer

135 views

### Connection between Stalling's end theorem and Seifert-van Kampen Theorem

Stalling`s end Theorem (a group has more than one end iff it splits over a finite subgroup) and the Seifert-van Kampen Theorem (the fundamental group of a 'decomposable' space is a free amalgamated ...

**9**

votes

**2**answers

320 views

### Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$...during this proof I've precisely used the fact that given two point in $X$ there ...

**0**

votes

**0**answers

77 views

### When is a group generated by three involutions two of which commute a Coxeter group?

Let's say the group is generated by three involutions $a$, $b$, and $c$ such that $ord(ab)= 2$, $ord(bc)=3$, and $ord(ac)=m$. Under which conditions is it isomorphic to the rank 3 Coxeter group $(2, ...

**17**

votes

**0**answers

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

**1**

vote

**0**answers

154 views

### divisible 2nd cohomolgy group $H^2(G,\mathbb{Z}G)$

Recall that a (nontrivial) abelian group $A$ is called divisible if the multiplication by $n$ is surjection $A\to A$ for all $n\in\mathbb{Z}_{>1}$.
My question is the following.
Is there a ...

**0**

votes

**0**answers

84 views

### Poincare inequality for connected Lie groups

Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is:
symmetric,
adapted (in the sense that there is no proper subgroup $H$ such ...

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

**4**

votes

**2**answers

210 views

### Products of elliptic isometries

A well-known property on groups acting on trees is:
Theorem: Let $T$ be a tree and $g,h \in \mathrm{Isom}(T)$ two elliptic isometries. If $\mathrm{Fix}(g) \cap \mathrm{Fix}(h) = \emptyset$ then ...

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

**11**

votes

**3**answers

679 views

### Your favorite papers on geometric group theory

I would like to improve my culture on geometric group theory, so I am interested in short and accessible papers on subjects related to this field but which are not always available in the classical ...

**4**

votes

**0**answers

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

**8**

votes

**1**answer

243 views

### On the number of ends of a countable simple group

At the beginning I thought that the following statement could be an easy exercise after Stallings' theorem, but I found myself incapable of proving it:
Any countable f.g. simple group has one end.
...

**1**

vote

**1**answer

194 views

### Abelianization of limit groups

Let $G_1$ and $G_2$ be limit groups, and let $C_1$ and $C_2$ be cyclic subgroups of $G_1$ and $G_2$, respectively.
Question:
If $G$ is the amalgamated product of $G_1$ and $G_2$ with amalgamated ...

**0**

votes

**0**answers

110 views

### Hyperbolic manifold of dim 3 with finite volume.

The geometrization Theorem for 3-manifolds classifies all oriented compact (without boundary ) 3-manifolds. Is there a theorem which classifies all hyperbolic oriented 3-manifold (without boundary ) ...

**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

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

**0**

votes

**1**answer

158 views

### Must a group of defficiency > 1 be nonabelian?

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...

**2**

votes

**0**answers

97 views

### Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...

**5**

votes

**1**answer

142 views

### K-fellow traveler property and automatic structure

I have been reading several articles about automatic groups and metric spaces of negative curvature. However it is not clear for me the relationship between automatic groups, hyperbolcity and the ...

**19**

votes

**1**answer

463 views

### Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$?
A motivation is ...

**2**

votes

**1**answer

99 views

### What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...

**2**

votes

**1**answer

180 views

### Finite generation and profinite completion

Let $G$ be a (countable) residually finite group whose profinite completion is topologically finitely generated. Must $G$ be finitely generated?

**2**

votes

**1**answer

234 views

### Explicit examples of Dehn presentations of hyperbolic groups

It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation.
My question concerns something I'm struggling with since the first time I read the proof ...

**1**

vote

**1**answer

241 views

### Limit Group decomposition

I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel.
First recall that a limit group is a finitely ...

**5**

votes

**2**answers

141 views

### “Relative cone types” for groups relative to some collection of subgroups

It is a well known fact that an infinite hyperbolic group contains an element of infinite order (see e.g. Bridson, Haefliger, Metric spaces of non-positive curvature, Prop. 2.22 on p. 458)
I am ...

**6**

votes

**1**answer

122 views

### Reduction of self-intersections without reducing the geometric intersection

Let $F$ be a hyperbolic surface. Given a closed curve $a$, let $\bar{a}$ denotes the free homotopy class of $a$. Let $i(\bar{a},\bar{b})$ denotes the geometric intersection number and $i(\bar{a})$ ...

**4**

votes

**3**answers

358 views

### Must the powers of some element always grow linearly with respect to a word metric?

Suppose we have a group $G$ which is finitely generated , and let $|\cdot |$ denote some word metric on it. Must there be an element $a\in G$ such that $|a^n|\ge c\cdot n$ for some $c>0$?
My ...

**7**

votes

**1**answer

294 views

### Products of subgroups of a free group

Let $F$ be a free group, and let $A,B \leq F$ be two subgroups such that $AB$ contains a nontrivial normal subgroup of $F$. Must either $A$ or $B$ contain a nontrivial normal subgroup of $F$?
What if ...