Large scale properties of groups; growth functions; Dehn functions; small cancellation properties; hyperbolicity and CAT(0); actions and representations; combinatorial group theory; presentations

learn more… | top users | synonyms

7
votes
2answers
462 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 ...
10
votes
1answer
252 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 ...
12
votes
0answers
187 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
0answers
282 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 ...
11
votes
0answers
299 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
0answers
501 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
0answers
189 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
0answers
168 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
0answers
300 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
0answers
377 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 ...
7
votes
0answers
355 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 ...
6
votes
0answers
93 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
0answers
144 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
0answers
92 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
0answers
108 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
0answers
124 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
0answers
126 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
0answers
163 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
0answers
203 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 ...
5
votes
0answers
230 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 ...
4
votes
0answers
100 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 ...
3
votes
0answers
175 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
0answers
96 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
0answers
115 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 ...
3
votes
0answers
124 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 ...
3
votes
0answers
93 views

Cogrowth and value of its series at the critical exponent

Let $G$ be a finitely generated group and write $G = F/N$ for $N$ a normal subgroup of a free group $F$. Let $S_n$ be the elements in $F$ written as words of exactly $n$ letters. So, for $n\geq 1$, ...
2
votes
0answers
72 views

Finitely generated groups non-embeddable into $L_1(0,1)$

I am interested in finitely generated groups which, endowed with their word metrics, do not admit bilipschitz embeddings into $L_1(0,1)$. I know two classes of such groups: (1) Heisenberg group ...
2
votes
0answers
94 views

Acylindrical hyperbolic groups

In Osin's paper "Acylindrically hyperbolic groups" in Lemma 5.7, there is a condition, that $|X_1\triangle X_2|<\infty$ for two relative generating sets. I'm sorry, but I didn't find a definition ...
2
votes
0answers
84 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 ...
2
votes
0answers
78 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 ...
2
votes
0answers
111 views

When does order matter when decomposing a boundedly generated group

A group $G$ is said to be boundedly generated if (it is finitely generated and) there exists a finite family of cyclic subgroups (not necessarily normal or distinct) $\lbrace C_i \rbrace_{i =1, ...
2
votes
0answers
109 views

Local curvature in a Cayley complex

I'm curious about non-shperical regions in the Cayley complex of a hyperbolic group $G = < X : R \>$ that one might reasonably consider "curved", but I haven't found much discussion of local ...
1
vote
0answers
86 views

Reference on calculation of 2nd cohomology group

Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
1
vote
0answers
161 views

Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...
1
vote
0answers
50 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 ...
1
vote
0answers
68 views

Is there any study on limit sets arising from “outside” of the hyperbolic geometry?

In the projective model, hyperbolic spaces are modeled by the interior of the light cone of Lorentz spaces. Kleinian groups are isometries of the hyperbolic space, and they centainly also act on the ...
0
votes
0answers
78 views

Bases and transversals

Let $F$ be a free finitely generated group, $L \leq H \leq F$ subgroups of finite index. Given bases $B$ of $F$ and $C$ of $H$, must there be a Schreier transversal $T$ for $H$ in $F$ such that the ...
0
votes
0answers
145 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 ...
0
votes
0answers
92 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 ...
0
votes
0answers
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
0answers
69 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 ...
0
votes
0answers
209 views

Proper Group action on a metric space

Let $(X,d)$ be a metric space and $C\subset X$ be a compact subset. Let furthermore $G$ be a group that acts on $X$ proper and by isometries. Does there exist an $\epsilon >0 $ such that: Let $U=$ ...