All Questions
Tagged with geometric-group-theory hyperbolic-geometry
79 questions
8
votes
1
answer
225
views
Preserving non-conjugacy of loxodromic isometries in a Dehn filling
Suppose that $g$ and $h$ are non-conjugate loxodromic isometries in a cusped hyperbolic $3$-manifold $M$ of finite volume. Fix a cusp $T$ of $M$. Can I choose a hyperbolic Dehn filling of $M$ along $...
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
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-...
35
votes
17
answers
3k
views
Equivalent definitions of Gromov hyperbolicity
Let $X$ be a metric space. I'd like to collect as many definitions of Gromov hyperbolicity or $\delta$-hyperbolicity of $X$ as possible.
I'm happy for the definitions to require some niceness ...
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
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
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) ...
- 1,926
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
1
vote
2
answers
158
views
Is the canonical map from isometry group of a Gromov hyperbolic space to homeomorphisms of its Gromov boundary injective?
Suppose X is a proper Gromov hyperbolic space and $\partial X$ is its Gromov boundary. It is well-known that there is a canonical group homomorphism $\Phi$ from the isometry group of X to the group ...
- 331
3
votes
0
answers
99
views
Relation of geometric and polyhedral convergence
By Proposition 3.10(i) of Jorgensen and Marden's 1990 Algebraic and geometric convergence of Kleinian groups, "[A] sequence $\{G_n\}$ of Kleinian groups converges geometrically to a Kleinian ...
- 61
6
votes
1
answer
166
views
Translation length on annular curve graphs
Question about curve stabilisers acting on annular curve graphs, plus context since I'm interested in being fact-checked.
Definition: let the group $G$ act by isometries on a metric space $(X,d)$. ...
- 312
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
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
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
2
votes
0
answers
162
views
Can distinct meridians commute in a knot group?
Suppose I have a knot $K$ in $S^3$. Given a diagram $D$ of $K$ I get the Wirtinger presentation $\langle x_1, \dots, x_a \mid r_1, \dots, r_c\rangle$ of its knot group $\pi(K) = \pi_1(S^3 \setminus K)$...
- 2,533
1
vote
1
answer
182
views
A question from the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel
In the paper "Hyperbolic rigidity of higher rank lattices" by Thomas Haettel, the author has made the following statement in the proof of Corollary D in page no. 18 ( https://arxiv.org/pdf/...
- 331
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
10
votes
2
answers
552
views
Gromov hyperbolicity constant vs. Gromov-Hausdorff distance to a tree
Let $X$ be a compact, geodesic metric space which is Gromov hyperbolic with a constant $\delta>0$. To fix scaling, let us also assume that $X$ has diameter $1$.
To fix a definition of Gromov ...
- 101
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
3
votes
2
answers
344
views
Hyperbolic volume of hyperbolic knots
Let $G$ be a torsionfree kleinian group. Is there necessary an sufficient conditions on $G$ to be a knot group ?
It seems that there is some necessary conditions:
$H_{1}(BG) = \mathbb{Z}$
$H_{2}(BG) ...
- 223
8
votes
0
answers
432
views
The figure eight knot complement in $S^3$
Recently I have been going through the book Hyperbolic Knot Theory by Jessica Purcell. Exercise 5.4 (on page 101) gives us a presentation of the fundamental group of $S^3 - K$ where $K$ is the figure-...
- 111
4
votes
0
answers
433
views
Convex core and geometric finiteness of negatively curved manifolds
I am reading a paper on hyperbolic geometry where they are using the concept of "convex core" in the context of "geometric finiteness". Roughly, this means (from Definition F4 of a ...
- 41
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
4
votes
1
answer
158
views
Are geometric actions on CAT(0) spaces with isolated flats minimal on the boundary?
Suppose $X$ is a $CAT(0)$ space with isolated flats, $\partial X$ its visual boundary and $G$ acts properly discontinuously amd cocompactly on $X$. Must the $G$ action on $\partial X$ have a dense ...
- 481
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
0
votes
0
answers
111
views
Inverse limit in category of graphs
Let $... \leftarrow G_i \leftarrow G_{i+1} \leftarrow ...$ be an inverse system of graphs (which might not be locally finite), morphisms are symplicial maps (we allow collapsing of edges to vertices)....
- 1
4
votes
1
answer
390
views
When does a subgroup of $\operatorname{GL}(n, \mathbb Q)$ have a bounded fundamental domain on $\mathbb R^n$?
$\DeclareMathOperator\GL{GL}$Let $G \subset M_{n\times n~}(\mathbb Z)$ be a finitely generated subgroup of $\GL(n,\mathbb Q)$ (i.e. $g\in G$ is an invertible matrix with entries in $\mathbb Z$). Then $...
- 3,472
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
7
votes
4
answers
454
views
Lattices of PU(n,1) with large abelianization
I am interested in properly discontinuous cocompact subgroups of the group $PU(n,1)$ of automorphisms of the complex hyperbolic space $H^n_{\mathbb{C}}$, says for $n=2,3$. Is there such a lattice $G$ ...
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
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
5
votes
0
answers
155
views
Are there examples of hyperbolic manifolds with finite Bowen-Margulis measure and fundamental group which is not relatively hyperbolic?
It is well known that a geometrically finite hyperbolic manifold (quotient of $H^n$) has finite Bowen-Margulis measure.
Marc Peigné [1] constructed examples of geometrically infinite hyperbolic ...
- 481
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
4
votes
1
answer
392
views
Topology on the boundary compactification $X^{-}=\partial X\cup X$ of a Gromov-hyperbolic space
Consider a proper geodesic $\delta$-hyperbolic space $X$ (in the sense of Gromov). Let ∂𝑋 be its Gromov boundary. In the book "Geometric Group Theory" by Cornelia Druţu and Michael Kapovich https://...
- 313
20
votes
3
answers
1k
views
Failure of Mostow rigidity in dimension 2
I am trying to understand why Mostow rigidity fails in dimension 2. More concretely, I have the following question:
(1) What is an example of a quasiisometry $f$ of the hyperbolic plane $\mathbb H^2$ ...
- 11.9k
5
votes
2
answers
407
views
Congruence subgroups in arithmetic lattices of $\mathrm{SO}(n,1)$
I am currently reading the paper Deformation Spaces Associated to Hyperbolic Manifolds by Johnson and Millson, Section 7, and the highlighted bit below has been giving me difficulty:
Specifically, ...
- 6,025
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
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
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
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
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 $...
- 1,713
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
1
vote
0
answers
90
views
Weil-Petersson metric with respect to covering
Let $S$ be a closed oriented surface of genus $g\geq 2$. Consider the Teichmuller space $T(S)$. Let $d_t$ be the Teichmuller metric and $d_{WP}$ be the Weil-Petersson metric on $T(S)$. Let $P:S_1\...
- 1,713
13
votes
1
answer
1k
views
Topology of boundaries of hyperbolic groups
For many examples of word-hyperbolic groups which I have seen in the context of low-dimensional topology, the ideal boundary is either homeomorphic to a n-sphere for some n or a Cantor set. So, I was ...
- 305
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
5
votes
1
answer
292
views
Conformal boundary and cusp of figure-8 complement
As we know the figure-8 ($4_1$) complement can be obtained by quotienting $\mathbb{H}^3$ with an arithmetic Kleinian group, which has index 12 inside $PSL(2,\mathcal{O}_3)$. The resulting complete ...
- 309
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
16
votes
2
answers
3k
views
The fundamental group of a closed surface without classification of surfaces?
The fundamental group of a closed oriented surface of genus $g$ has the well-known presentation
$$
\langle x_1,\ldots, x_g,y_1,\ldots ,y_g\vert \prod_{i=1}^{g} [x_i,y_i]\rangle.
$$
The proof I know ...
- 20.9k
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
5
votes
0
answers
691
views
Visual boundary vs. ideal boundary of hyperbolic manifolds?
I apologize in advance if this is elementary; I have very little experience with hyperbolic manifolds, but I'm using hyperbolic manifolds for part of a current project.
Given a discrete torsion-free ...
- 6,025