All Questions
Tagged with geometric-group-theory hyperbolic-geometry
79 questions
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 ...
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
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
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
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
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
2
answers
550
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
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
308
views
Counterexamples to analogue of Cannon conjecture in higher dimensions
It is known that a group $G$ acts geometrically on $\mathbb{H}^2$ if and only if $G$ is word-hyperbolic and its boundary $\partial G$ is homeomorphic to $S^1$.
The analogous statement for $\mathbb{H}^...
- 245
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
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
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
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
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 ...
- 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
8
votes
1
answer
221
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 $...
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
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$ ...
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
783
views
local quasi geodesics in hyperbolic spaces
I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too.
We have the following two well-known Theorems:
T1) For all $\delta > 0, \lambda ...
- 721
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
2
answers
325
views
How bad is the modular space?
I'm wondering if there is some results about the quotient space $\mathbb{H}^{3}/PSL(2,\mathcal{O}_{K})$?
Do we know something about its homology or homotopy groups ?
$\mathbb{H}^{3}$ is the hyperbolic ...
- 433
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
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
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
1
answer
317
views
Reduction of self-intersections without reducing the geometric intersection
Let $F$ be a hyperbolic surface. Given a closed curve $a$, let $\bar{a}$ denotes the free homotopy class of $a$. Let $i(\bar{a},\bar{b})$ denotes the geometric intersection number and $i(\bar{a})$ ...
- 1,713
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
6
votes
0
answers
383
views
When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?
Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space.
Let $d$ a word metric on $\Gamma$ coming from some finite set of generators.
My question is:
Does there exist a ...
- 2,964
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
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
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
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
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
193
views
Injective simplicial maps between Arc complexes
Let $A(S)$ denotes the Arc complex of a finite type hyperbolic surface $S$ with nonempty boundary. Let $\lambda:A(S)\rightarrow A(S)$ be a map such that on triangulations of $S$ i.e. on the top ...
- 1,713
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
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
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
0
answers
689
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
4
votes
2
answers
485
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
406
views
Relationship between hyperbolicity in group theory and hyperbolicity in geometry
Could somebody teach me about the relationship, if any, between hyperbolicity in groups (in Gromov sense) and hyperbolicity in 3-dimensional orbifolds? To be more specific, let Q be a 3-dimensional ...
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
4
votes
1
answer
342
views
Flows in word-hyperbolic groups
I was wondering if there is a good notion of flows in word-hyperbolic groups (maybe I should say flows in the Cayley graphs of word-hyperbolic groups).
More precisely, I wonder if there is an ...
- 305
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