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

8
votes
1answer
110 views

Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$. There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...
4
votes
1answer
88 views

Stabiliser of the lamination of a free group - Invariant subgraphs

I am studying the paper "Laminations, trees, and irreducible automorphisms of free groups" of Bestvina, Feighn and Handel. But I found a note in the paper "Stabilisers of $\mathbb{R}$-trees with ...
9
votes
1answer
162 views

Embeddings of finitely generated groups into uniformly convex Banach spaces

de Cornulier, Tessera, and Valette (Geom. Funct. Anal. 17 (2007), 770-792) conjectured that a finitely generated group $G$ with its word metric admits a bilipschitz embedding into a Hilbert space if ...
1
vote
0answers
87 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 ...
2
votes
0answers
73 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 ...
15
votes
9answers
3k views

The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

Is there someone who can give me some hints/references to the proof of this fact?
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?
7
votes
1answer
274 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 ...
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 ...
7
votes
1answer
249 views

Is there a finitely presented group with infinite homology over $\mathbb{Q}$?

Suppose $G$ is a discrete group given by finitely many generators with finitely many relations. Can the homology groups $H_i(G, \mathbb{Q})$, or equivalently $H_i(BG, \mathbb{Q})$ (topological ...
2
votes
1answer
224 views

Can a closure make the index finite?

Let $F$ be a free finitely generated group, $H \leq F$ of infinite index. Let $c : F \rightarrow \hat{F}$ be the embedding in the profinite completion. Denote by $\tilde{F}, \tilde{H}$ the closure of ...
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 ...
-1
votes
1answer
81 views

Is there some lattice not rigid

I heard that in complex hyperbolic space setting for example CH2, there is some deformation of lattice nontrivial. What confused me is it seems contradicting Mostow Rigidity. Could someone explain ...
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 ...
5
votes
1answer
150 views

Orbit spaces of crystallographic groups

In their paper "On Three-Dimensional Space Groups", Conway et al. write Although this paper was inspired by the orbifold concept, we did not need to consider the 219 orbifolds of space groups ...
1
vote
1answer
126 views

Products of subgroups that generate a finite group

Consider the following general problem. There is a finite group $G$ and $H_1,H_2 < G$. Suppose we know that $\langle H_1, H_2 \rangle = G$, i.e. $G$ is generated by $H_1$ and $H_2$. Denote by $n_0$ ...
2
votes
1answer
178 views

Making a profinite group free

Let $F$ be a free profinite group, $G$ a profinite group. Suppose that the free profinite product $F \amalg G$ is a free profinite group. Must $G$ be a free profinite group? For abstract groups the ...
3
votes
3answers
243 views

Stallings' Theorem for free products of groups

There is a well known theorem which states that: Theorem(Stallings): For any immersion $f$ from a finite graph $D$ to $G$ there is a finite-sheeted covering space $D '$ of $G$ that extends $f$. ...
4
votes
1answer
584 views

solvable word problem without algorithm

Let $G$ be a finitely generated group. I wonder if there are examples where: 1) The word problem is known to be solvable in $G$ but there is no algorithm known. 2) The word problem is known to be ...
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 ...
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
1answer
170 views

Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...
2
votes
2answers
162 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 = ...
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 ...
1
vote
1answer
273 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 $ ...
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 ...
1
vote
1answer
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
1answer
108 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 ...
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 ...
2
votes
2answers
107 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
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 ...
4
votes
1answer
104 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
3answers
543 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
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, ...
11
votes
2answers
257 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 ...
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 ...
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 ...
3
votes
1answer
105 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 ...
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 ...
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$, ...
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 ...
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 ...
4
votes
1answer
110 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$. ...
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
1
vote
1answer
162 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 ...
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 ...
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 ...
5
votes
1answer
238 views

Candidates for non-sofic groups

What are the "simplest" examples of countable groups that are not known to be sofic?
8
votes
1answer
200 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 ...