Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 $...
Emily Hamilton's user avatar
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 ...
jpmacmanus's user avatar
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-...
one potato two potato's user avatar
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 ...
Strichcoder's user avatar
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 ...
bergfalk's user avatar
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:...
TheMathematician's user avatar
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 ...
John Depp's user avatar
  • 331
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 ...
Ilia Smilga's user avatar
  • 1,574
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 ...
Wonyong Jang's user avatar
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 ...
Sanae Kochiya's user avatar
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) ...
Agelos's user avatar
  • 1,926
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)$...
Calvin McPhail-Snyder's user avatar
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)$. ...
Mark Hagen's user avatar
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/...
John Depp's user avatar
  • 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) ...
Misha Verbitsky's user avatar
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 ...
Ethan Dlugie's user avatar
  • 1,277
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 ...
jpmacmanus's user avatar
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-...
T ghosh's user avatar
  • 111
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? ...
EGar's user avatar
  • 135
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)....
FP 3572's user avatar
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 ...
user481559's user avatar
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 ...
Ilya Gekhtman's user avatar
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) ...
GSM's user avatar
  • 223
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}$...
JackTodd's user avatar
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 ...
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 ...
Ilya Gekhtman's user avatar
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 $...
Li Yutong's user avatar
  • 3,472
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 ...
anon's user avatar
  • 101
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\...
Cusp's user avatar
  • 1,713
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 ...
luthien's user avatar
  • 421
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) ...
m07kl's user avatar
  • 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 ...
M. Dus's user avatar
  • 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://...
Hussain Rashed's user avatar
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, ...
M. Dus's user avatar
  • 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 ...
M. Dus's user avatar
  • 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 ...
worldreporter's user avatar
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$...
M. Dus's user avatar
  • 2,090
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, ...
ಠ_ಠ's user avatar
  • 6,025
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$ ...
Johannes Sunstein's user avatar
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 ...
David Sun's user avatar
  • 309
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 ...
M. Dus's user avatar
  • 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)}{...
M. Dus's user avatar
  • 2,090
1 vote
0 answers
153 views

Topological entropy and pseudo-Anosov dilatation for punctured surface

Let $S_{g,n}$ be a closed surface of genus $g$ with $n$ punctures. Assume $2-2g-n<0$. Let $f$ be a pseudo-Anosov mapping class with dilatation $\lambda_f$. In the introduction (1st page) of the ...
Cusp's user avatar
  • 1,713
2 votes
0 answers
87 views

Hausdorff dimension of radial limit sets for divergence type subgroups

Let $X$ be a proper $CAT(-1)$ space. Let $\Gamma<Isom(X)$ be a subgroup of divergence type. Is it true that the Hausdorff dimension of the radial limit set of $\Gamma$ in $\partial X$ is equal to ...
Yellow Pig's user avatar
  • 2,964
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 ...
ಠ_ಠ's user avatar
  • 6,025
3 votes
0 answers
414 views

Geometric intersection number for product of elements of the fundamental group

Let $F$ be a hyperbolic surface and $p\in F$ be a point. Consider $\pi_1(F,p)$, the fundamental group of $F$ with base point $p$. Let $x,y\in \pi_1(F,p)$ and $z$ be a simple closed curve in $F$ such ...
Cusp's user avatar
  • 1,713
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 ...
EM90's user avatar
  • 329
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 $...
Cusp's user avatar
  • 1,713
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 ...
Kerr's user avatar
  • 195
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 ...
EM90's user avatar
  • 329