Questions tagged [geometric-group-theory]
Large scale properties of groups; growth functions; Dehn functions; small cancellation properties; hyperbolicity and CAT(0); actions and representations; combinatorial group theory; presentations
987 questions
9
votes
3
answers
548
views
Spectral radius of a finitely generated group
Let $G$ be a finitely generated group and $\Gamma$ be its Cayley graph with the usual word metric. Let $\mu$ be a symmetric non-degenerate measure on $G$ (maybe with finite support or smooth), and ...
9
votes
1
answer
337
views
amenable + without $BS(m,n)$+finite $K(G,1)$implies virtually cyclic?
I heard from someone that the following problem is an open question.
(Open Problem 1)For a countable discrete group $G$, suppose it does not contain any Baumslag-Solitar subgroups $BS(m,n):=\langle x,...
9
votes
4
answers
982
views
isometric embeddings of Cayley graphs in "nice" spaces
This is from a physicist I know and as may be expected, I am threading my way between poorly defined and poorly translated.
What groups have Cayley graphs (w.r.t. a fixed finite generating set, and ...
9
votes
1
answer
495
views
Divergence of Groups and Metric Spaces
Several papers, including this and this claim that divergence of finitely generated groups and metric spaces have been introduced by Misha Gromov in his paper "Asymptotic invariants of infinite groups"...
9
votes
1
answer
542
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 ...
9
votes
1
answer
230
views
Yang-Mills algebra and lower central series of surface groups
Here is a connection that I recently noticed, but I haven't quite been able to make sense of. It might follow from well-known facts; apologies, if so. This is quite far from my area.
First, in "...
9
votes
0
answers
369
views
Infinite-dimensional torsion-free $F_\infty$-group not containing $F$
Is there an example of a group $G$ that has the properties
the cohomological dimension of $G$ is infinite: $\operatorname{cd}(G) = \infty$,
$G$ is torsion-free,
$G$ is of type $F_\infty$,
$G$ does ...
9
votes
0
answers
310
views
Breuer-Guralnick-Kantor conjecture and infinite 3/2-generated groups
A group $G$ is called $\frac{3}{2}$-generated if every non-trivial element is contained in a generating pair, i.e. $$\forall g \in G \setminus \{e \}, \ \exists g' \in G \text{ such that } \langle g,g'...
9
votes
0
answers
176
views
Can every non-inner automorphism of a group with residually finite outer automorphisms be realised as an non-inner automorphism of a finite quotient?
First some motivation: most proofs that show that the group of outer automorphisms is residually finite do not only show that the subgroup of inner automorphisms is closed in the profinite topology, ...
9
votes
0
answers
269
views
Sharpness of the $1/6$-constant in the Cancellation Theorem
I originally posted this question over at Stackexchange, before realising it is much better suited for Overflow:
Let $\langle \; S \; | \; R \; \rangle$ be a presentation of a group $G$ with a set $...
9
votes
0
answers
487
views
When does a CAT(0) group contain a rank one isometry
Let $G$ be a CAT(0) group which acts on the CAT(0) space $X$ properly and cocompactly via isometry. Let $g \in G$ be a hyperbolic isometry of $X$. Then $g$ is called $\textbf{rank one}$ if no axis of $...
9
votes
0
answers
556
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
5
answers
1k
views
Analogues of the dihedral group
A virtually-$\mathbb{Z}$ group $G$ admits either a epimorphism onto $\mathbb{Z}$ or a epimorphism onto $D_\infty$.
So what happens if one replaces $\mathbb{Z}$ by another group $F$ (like the free ...
8
votes
2
answers
1k
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 ...
8
votes
2
answers
633
views
Converse to Milnor's theorem on manifolds with nonnegative Ricci curvature
Disclaimer : I suspect the question I am about to ask is really hard, but I just want to know the status of such questions.
Thanks to Milnor, we know that the $\pi_1$ any compact manifold with ...
8
votes
2
answers
646
views
Analogous results in geometric group theory and Riemannian geometry?
As you can see from my other question I concern mmyself with the following article at the moment:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–...
8
votes
2
answers
850
views
Geometric or topological results from group theory
Do you know interesting examples of purely geometric or topological results which can be proved using group theory? To make precise what I have in mind, let us consider the two following examples:
...
8
votes
2
answers
844
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 $x=1$....
8
votes
4
answers
601
views
Residual finiteness of hyperbolic 3-manifold groups
So the consequence of the geometrization (according to 3-manifold group note) is that any finite-volumed hyperbolic 3-manifold is residually finite. So the question is:
Q1. If $M$ is an infinite-...
8
votes
2
answers
902
views
Group of exponential growth always contains a free sub-group?
I am not very conversant with the growth of a group, so this may be a very silly question.
It is known that $F_2$, the free group of rank $2$, has exponential growth. I was wondering whether the ...
8
votes
2
answers
566
views
Pseudo-Anosov maps with same dilatation.
Let $S$ be a hyperbolic surface. Suppose $\mathcal{T}$ denotes the Teichmuller space of $S$ and $Mod(S)$ denotes the mapping class group of $S$. Given any pseudo-Anosov element $f\in Mod(S)$, suppose $...
8
votes
2
answers
480
views
Examples of non-cubulated hyperbolic groups
What is known regarding which hyperbolic groups are cubulated?
I take it the usual definition of cubulated is acting properly and cocompactly on a CAT(0)-cube complex.
My impression is that not all ...
8
votes
2
answers
682
views
Ends of finitely generated torsion groups
It is known that the number of ends of a finitely generated group is 0,1, 2 or $\infty$.
Problem 1. What is known about the number of ends of infinite finitely generated torsion groups?
In ...
8
votes
2
answers
617
views
Relative/acylindrical hyperbolicity of free-by-cyclic groups
Is this statement true?
Let $\mathbb{F}$ denotes a finitely generated free group, $\Phi$ an automorphism of $\mathbb{F}$ and $\varphi$ its image in $\mathrm{Out}(\mathbb{F})$.
If $\varphi$ is ...
8
votes
2
answers
486
views
Subgroup membership problem in simple groups
Let $G$ be a finitely presented simple group. By Kuznetsov (1958), $G$ has decidable word problem. However, by Scott [1], $G$ may have undecidable conjugacy problem. Is anything known about other ...
8
votes
2
answers
507
views
Contractible Rips complex from non-hyperbolic group
I heard that the Rips complexes associated to the Cayley graphs of hyperbolic groups are contractible for a sufficiently large radius. Is the converse true? Namely, if a group is non-hyperbolic, then ...
8
votes
2
answers
343
views
Cubic almost-vertex-transitive graphs with given spanning tree
Consider the infinite 3-regular tree. Pick a vertex $C$, the "center".
For any integer $L\ge 1$ consider the closed ball, in the graph distance, of radius $L$ around $C$. Let $T_L$ be the induced ...
8
votes
2
answers
596
views
Infinite loop space maps into or out of BAut(F_n)
There is an inclusion $S_n \to Aut(F_n)$ from the symmetric group into the automorphism group of a free group. After applying the Quillen +-constriction, both $BS_{\infty}$ and $BF_{\infty}$ become ...
8
votes
1
answer
454
views
Classes of groups with polynomial time isomorphism problem
It is known that the isomorphism problem for finitely presented groups is in general undecidable. What are some classes of groups whose isomorphism problem is known to be solvable in polynomial time? (...
8
votes
2
answers
505
views
What does the free action of a surface group on an R-tree look like?
Morgan and Shalen "Free action of surface groups on R-trees" 1989 shows that surface groups (genus at least 2) act freely on some real trees (R-trees). Their proof seems to be non-constructive, ...
8
votes
2
answers
367
views
Automorphisms of supergroups of non-coHopfian groups
In this question, I asked whether there existed groups $G$ with finitely presentable subgroups $H$ such that $gHg^{-1}$ is a proper subgroup of $H$ for some $g \in G$. Robin Chapman pointed out that ...
8
votes
2
answers
734
views
The ten most fundamental topics in geometric group theory
What are the ten most fundamental topics in geometric group theory?
This is a pedagogical question prompted by the fact that I am teaching geometric group theory to undergraduates. They are expected ...
8
votes
4
answers
634
views
Is every virtually free group residually finite?
Question: Is every (finitely generated) virtually free group residually finite?
A well-known question asks whether every hyperbolic group is residually finite (Mladen Bestvina. Questions in geometric ...
8
votes
2
answers
420
views
Is the automorphism group of free group of rank two relatively hyperbolic?
By Behrstock, Drutu and Mosher [BDM], we know that the (outer) automorphism groups $\mathrm{Aut}(F_n)$ and $\mathrm{Out}(F_n)$ of free group of rank $n$ are not relatively hyperbolic if $n \geq 3$ (...
8
votes
1
answer
731
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 \ \ ?$$
8
votes
2
answers
2k
views
Quasi-isometries vs Cayley Graphs
The following questions might be trivial, however, I couldn't solve them:
Let $G$ be generated by a finite symmetric set $S$. Suppose that $\Gamma(G,S)$ is the corresponding right Cayley graph of $G$...
8
votes
2
answers
487
views
Which groups have nice compactifications ?
Given a discrete group G. Is there a nice criterion to decide, whether there is a compact Hausdorff $G$- space X, that contains the discrete space $G$ as a subspace, such that the stabilizer of every ...
8
votes
2
answers
489
views
Amalgamated product acting on CAT(0) cube complex
I was reading the following result from the book Metric spaces of non-positive curvature by Bridson and Haefliger.
Result:
Let $F_0,F_1$ and $H$ be groups acting properly
by isometries on complete $...
8
votes
1
answer
900
views
Problem 3.14 from Kirby's list
In his famous list of Problems in Low-Dimensional Topology, Kirby states the following as Problem 3.14 (B), which is attributed to Thurston:
Conjecture: Suppose $G$ (an arbitrary group I suppose) ...
8
votes
4
answers
1k
views
General properties of free-by-cyclic groups
I admit this is a very broad question, but I am looking for general properties of [finitely generated free]-by-[infinite cyclic] groups. More precisely, what are some properties that the groups $\{F_n\...
8
votes
1
answer
486
views
When are groups generated by reflections in a triangle discrete?
Take a triangle in the (Euclidean or hyperbolic) plane, and consider the group of isometries generated by the reflections in the three sides of the triangle. If the angles between adjacent sides are ...
8
votes
1
answer
227
views
Non-finitely presented FP groups with cohomological dimension $2$
In this recent preprint, the authors construct a certain uncountable family of non-finitely presented FP groups. Recall that group is an FP group if the trivial $\mathbb Z[G]$-module $\mathbb Z$ has a ...
8
votes
2
answers
695
views
Braid groups and Kazhdan's property (T)
In Nica's dissertation Group actions on median spaces, we can read the following assertion:
Braid groups do not contain infinite subgroups satisfying Kazhdan's property (T).
This is used in order to ...
8
votes
1
answer
620
views
Is there a residually finite non-elementary hyperbolic group whose profinite completion is boundedly generated?
Is there a residually finite hyperbolic group $G$ that is not virtually cyclic, such that there exists finitely many procyclic closed subgroups $C_1, \dots, C_n$ of the profinite completion $\hat{G}$ ...
8
votes
1
answer
544
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.
...
8
votes
1
answer
155
views
Are the non-free factors of Grushko decomposition of a finitely generated convex-cocompact (but not cocompact) subgroup of PSL$(2,\mathbb{R})$ finite?
See Grushko decomposition theorem.
Are the non-free factors of Grushko decomposition of a finitely generated convex–cocompact (but not cocompact) subgroup of $\operatorname{PSL}(2,\mathbb{R})$ finite?
...
8
votes
2
answers
442
views
Constant Martin kernel and amenability
Consider a finitely supported random walk on a discrete group G such that the support generates $G$ as a semigroup. The Martin kernels are then non-negative functions on the product $G \times M$ where ...
8
votes
3
answers
2k
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.
8
votes
1
answer
349
views
Finite two-relator groups and quotients of knot groups
Let $G$ be a one-relator group $\langle A \mid R = 1 \rangle$. Then clearly $G$ is finite if and only if it is cyclic of finite order, i.e. can be given by a presentation $\langle a \mid a^n = 1 \...
8
votes
1
answer
200
views
For which planar topological spaces $Z$ does there exist a hyperbolic group $\Gamma$ with $\partial \Gamma \cong Z$?
Recall a topological space is called planar if it can be embedded in $S^2$. I'm interested in understanding hyperbolic groups with planar boundaries.
In [1], it is shown that if a one-ended hyperbolic ...