All Questions
34 questions
15
votes
2
answers
2k
views
Dehn's algorithm for word problem for surface groups
For some $g \geq 2$, let $\Gamma_g$ be the fundamental group of a closed genus $g$ surface and let $S_g=\{a_1,b_1,\ldots,a_g,b_g\}$ be the usual generating set for $\Gamma_g$ satisfying the surface ...
- 153
14
votes
1
answer
1k
views
Distortion of malnormal subgroup of hyperbolic groups
Let $G$ be a countable, Gromov-hyperbolic group.
We say that $H$ is hyperbolically embedded in $G$ if $G$ is relatively hyperbolic to {$H$} (in the strong sense). This definition is due to Osin.
A ...
13
votes
0
answers
223
views
Are there free and discrete subgroups of $\mathrm{SL}_2(\mathbb{R}) \times \mathrm{SL}_2(\mathbb{R})$ that are not Schottky on any factor?
$\DeclareMathOperator\SL{SL}$Does there exist a free and discrete subgroup $\Gamma < \SL_2(\mathbb{R}) \times \SL_2(\mathbb{R})$ such that neither $\pi_1(\Gamma)$ nor $\pi_2(\Gamma)$ is free and ...
- 1,574
10
votes
1
answer
738
views
Parabolic subgroups of relatively hyperbolic and CAT(0) groups
Let $G$ be a finitely generated group. We say that $G$ is CAT(0) if it acts properly and co-compactly by isometries on a CAT(0) space.
We say it is hyperbolic relative to a collection $\Omega$ of ...
- 2,090
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 ...
- 637
8
votes
1
answer
487
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 ...
- 1,277
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?
...
- 135
7
votes
1
answer
600
views
Examples of groups that are unknown to be acylindrically hyperbolic
Let $G$ be a group. We say that $G$ is acylindrically hyperbolic (for short, AH) if $G$ admits an isometric, acylindrical, and non-elementary action on some Gromov hyperbolic space $X$.
Here is the ...
- 125
7
votes
1
answer
372
views
Thickness and hierarchical hyperbolicity
Thick metric spaces were introduced by Behrstock, Drutu and Mosher, see here. Hierarchically hyperbolic spaces were introduced by Behrstock, Hagen and Sisto, see here.
I've heard that it is open ...
- 2,090
7
votes
1
answer
505
views
Rational stable translation length
Let $G$ be a finitely generated group and $S$ a finite generating set and consider the word metric associated to $S$.
If $g\in G$, define its stable translation length as $l(g)=\lim_n \frac{d(e,g^n)}{...
- 2,090
6
votes
2
answers
889
views
Do quasi convex hyperbolic subgroups remain quasi convex after adding redundant generators?
We know now that hyperbolic 3-manifolds virtually embed into right-angled Artin groups as quasiconvex subgroups. Also, quasiconvexity depends on the generating set.
I have been constructing a space ...
- 3,359
6
votes
1
answer
146
views
If $X$ is a hyperbolic, locally finite graph with $\partial X \cong S^1$, and $G$ acts cocompactly but not properly on $X$, what can we say?
It is an important and deep fact of geometric group theory that if the Gromov boundary of a hyperbolic group $G$ is a circle, then $G$ is virtually Fuchsian [Tukia, Gabai, Casson-Jungreis...]. I am ...
- 639
6
votes
1
answer
189
views
Starting letters of equivalent infinite geodesic paths of hyperbolic Coxeter groups
Let $\left(W\text{, }S\right)$ be a Gromov hyperbolic Coxeter system and denote by $\partial W$ the corresponding Gromov boundary. For $z\in\partial W$ let $\alpha$, $\beta$ be infinite geodesic paths ...
- 741
6
votes
1
answer
375
views
Non-compact Dirichlet fundamental domains and free Fuchsian groups
Let $G$ be a finitely generated Fuchsian group, and let $\mathcal{F}$ denote the Dirichlet fundamental domain of $G$ with respect to $0$ in the Poincaré disc model.
Assume throughout that $\mathcal{F}$...
- 63
6
votes
0
answers
196
views
A group acting acylindrically on a fine hyperbolic graph with infinite edge stabilizers
I am looking for an example of a group $G$ that acts (cocompactly and) acylindrically on a hyperbolic graph $\Gamma$, such that
a) the graph $\Gamma$ is fine,
b) $\Gamma$ is not a tree,
c) not all ...
- 101
6
votes
0
answers
160
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 ...
- 721
5
votes
2
answers
452
views
Subgroups of hyperbolic groups
Let $G$ be a finitely generated hyperbolic group, and let $H \leq G$ be a subgroup whose profinite completion is finitely generated. Must $H$ be finitely generated?
In view of Ian Agol's answer, I ...
- 11.3k
5
votes
1
answer
617
views
Fixed points on boundary of hyperbolic group
Let G be a word-hyperbolic group with torsion and let ∂G be its boundary. Do there exist criteria that imply that all non-trivial finite order elements of G act fixed-point freely on ∂G?
- 245
5
votes
1
answer
446
views
The stabilizers of the canonical boundary action of hyperbolic groups
My question is that
Is every stabilizer of the canonical boundary action of a hyperbolic group on its Gromov boundary a finitely generated group?
I guess every stabilizer is a (finitely generated) ...
- 1,702
5
votes
1
answer
246
views
Geodesics (with the same limit point) in a surface group of genus two
Consider a discrete Gromov-hyperbolic group $\Gamma$ (and its Cayley graph
$\mathcal{G}$ w.r.t. some generating set). The notion of
Gromov-boundary, indicated with $\partial\Gamma$,
is naturally ...
- 329
5
votes
1
answer
242
views
Cancellation of elements in the Gromov boundary of a free group
Let $A$ be a finite set of free generators and their inverses and $F$ the free group generated by elements in $A$ (some call $A$ the alphabet of $F$). For each $g\in F$, use $\vert\,g\,\vert$ to ...
- 307
5
votes
1
answer
342
views
Relations between boundaries of groups acting on hyperbolic spaces with WPD elements
Let $(X,d)$ be Gromov-hyperbolic space and let $\Gamma$ be a finitely generated group acting on $\Gamma$ by isometries. Recall the following two definitions.
Say that the action is acylindrical if ...
- 2,090
5
votes
0
answers
183
views
Finitely generated nilpotent groups as cusp groups
I recently learned about the following question, asked by I. Kapovich :
Is there an example of a group $G$ which is hyperbolic relative to some parabolic subgroups that are nilpotent of class $\geq 3$...
- 2,090
4
votes
2
answers
486
views
When existence of loxodromic, WPD elements implies an action is acylindrical
Definitions
Say that $(X,d)$ is a $\delta$-hyperbolic space and that $G$ is a finitely generated group acting on $X$ by isometries.
Recall that an action of $G$ on $X$ is called acylindrical if the ...
- 421
4
votes
1
answer
212
views
Infinitely divisible elements in Gromov hyperbolic groups
An element $g\in G$ in a group $G$ is called infinitely divisible if $b=y^n$ for infinitely many different $n\in {\Bbb Z}$. It is not hard to find a finite CW-complex (or even a compact manifold) ...
- 9,237
3
votes
1
answer
227
views
Density of ends of long words in a hyperbolic group
Let $G$ be a Gromov hyperbolic group with a generating set $S$. For each $g \in G$, let $\xi_g$ be the point in the ideal boundary corresponding to the sequence $(g^n)$. Let $l_S(g)$ be the word ...
- 305
2
votes
1
answer
244
views
Markov property for groups?
My question again refers to the following article:
Koji Fujiwara, Zlil Sela, The rates of growth in a hyperbolic group, Invent. math. 233 (2023) pp 1427–1470, doi:10.1007/s00222-023-01200-w, arXiv:...
- 309
2
votes
1
answer
198
views
Equivalence of harmonic measures on hyperbolic groups
Consider a Gromov-hyperbolic group $\Gamma$ and let $\mu$ be a finitely supported probability measure on $\Gamma$. Assume that the support of $\mu$ generates $\Gamma$ as a semi-group, in other words, ...
- 2,090
2
votes
1
answer
214
views
Subsets of the boundary of a surface group
Consider the surface group $\Gamma=\langle a,b,c,d\mid [a,b][c,d]=1\rangle$: it is a Gromov hyperbolic group; its Gromov boundary $\partial\Gamma$ is homeomorphic to $S^1$ (the unit circle).
I would ...
- 329
2
votes
0
answers
212
views
Exotic actions of hyperbolic groups
Let $G$ be a hyperbolic group acting faithfully on $\mathbb{Z}$ such that:
The action is highly transitive - it is $k$-transitive for each $k \in \mathbb{N}$.
For every quasiconvex subgroup $H \leq G$...
- 11.3k
2
votes
0
answers
118
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 ...
- 565
1
vote
1
answer
162
views
Divergence functions in hyperbolic groups
Gromov hyperbolicity has many characterizations, one of them being the existence of a super-linear divergence function, see definition below.
We note that in $\mathbb{R}^2$ there is no divergence ...
- 143
1
vote
1
answer
79
views
Let $H$ be a co-dimension 1 quasiconvex subgroup of a one-ended hyperbolic group $H$. Does $H$ permute the components of $\partial G - \Lambda H?$
Let $H$ be a co-dimension 1 quasiconvex subgroup of a one-ended hyperbolic group $G$. In particular, $\partial G$ is connected but $\partial G - \Lambda H$ is disconnected. The number of components of ...
- 639
1
vote
1
answer
72
views
orthogonal transformations of one sheeted hyperboloid $S^{1,1}$
I have asked this question few days ago in MathStackExchange but I got only one response which gave a partial answer to my question, so I decided to ask it here.
I am reading Kulkarni's "Proper ...
- 195