Questions tagged [hyperbolic-geometry]
The hyperbolic-geometry tag has no usage guidance.
885 questions
2
votes
2
answers
313
views
Is a local isometry of the hyperbolic plane the restriction of a global isometry?
The origin question: Let $\Omega \subset \mathbb{H}^2$ be a domain of the hyperbolic plane $\mathbb{H}^2$. Let $u: \Omega \to \mathbb{H}^2$ be injective and an isometry from $\Omega$ to its image. ...
2
votes
2
answers
104
views
Monotonicity of perimeter of convex subsets of hyperbolic plane
I think that the perimeter of convex compact sets on the hyperbolic plane is monotone with respect to inclusion.
I am looking for a reference to the above fact.
2
votes
2
answers
197
views
Can a hyperbolic three-manifold have 𝑛 toric boundary components?
I'm wondering if I can construct a class of hyperbolic three-manifolds with $n$ toric boundaries. My idea is to take a bordered hyperbolic Riemann surface $\Sigma_{g,n}$, of genus $g$ with geodesic ...
2
votes
1
answer
719
views
Classification of isometries of hyperbolic 3-space
Denote the upper half space by $\mathcal{H}_{3}=\Bbb{C}\times (0,\infty)$. A point $P \in \mathcal{H}_{3}$ is given as, $P=(z, t)=(x, y, t)=z+t j$ where $z=x+i y$ and $j=(0,0,1) .$ The group $P S L_{2}...
2
votes
2
answers
330
views
$PSL_2(\mathbb{R})$ representations of free groups
Let $S_{g,n}^b$ denote a surface of genus $g$ with $n$ punctures and $b$ boundary components. Let us assume $\max\{b,n\}\geq 1$. It is then obvious that $S_{g,n}^b$ deformation retracts to a bouquet ...
2
votes
1
answer
337
views
About a definition of quasi-conformal maps
A book I'm reading gives the following definition for quasi-conformal maps:
If $f$ is a homeomorphism of a metric space X to itself, $f$ is K-quasi-conformal if and only if for all $z \in X$:
$...
2
votes
1
answer
169
views
A formula for the cross-ratio in terms of hyperbolic data
Let $(\zeta_i) \subset \hat{\mathbb{C}}$, for $i = 1, \ldots, 4$, be $4$ distinct points on the Riemann sphere $\hat{\mathbb{C}}$.
We will use the following convention for the cross-ratio $CR$ of ...
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:...
2
votes
1
answer
199
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
votes
2
answers
471
views
Volume of a Riemannian manifold and its relation to fundamental group
I am reading a book (Mapping Class Group by Farb and Margalit) and it says (in a proof of one theorem):
If $S$ admits a hyperbolic metric (they define such a surface to be of finite area and complete)...
2
votes
2
answers
626
views
Homeomorphism between the boundary of the Poincare disc S1 and its Gromov Boundary
Given the Poincare Disc $D$ and its ideal boundary $S^{1}$, I want to construct a homeomorphism between $S^{1}$ and the gromov boundary of $D$, $\partial D$, of equivalence classes of geodesics given ...
2
votes
1
answer
213
views
Hyperbolic length of curve that does not enter a collar
Let $\Sigma$ be a compact surface of genus at least $1$ with one boundary component, equipped with a hyperbolic metric so that the boundary is geodesic. There is a version of the collar lemma that ...
2
votes
1
answer
120
views
Is it possible to tessellate a torus minus a disk using hyperbolic right-angled pentagons?
I am trying to construct a compact hyperbolic surface tessellated with hyperbolic right-angled polygons with $n \ge 5 $ edges. I found quite easily a way to do it for $n$ even, but the odd case seems ...
2
votes
1
answer
418
views
Is the conformal compactification of a convex-cocompact hyperbolic manifold $M$ conformally diffeomorphic to the convex core of $M$?
I am not a hyperbolic geometer, so I apologize if I get anything wrong here, and please correct me.
The conformal compactification $\overline {\mathbb{H}^n}$ of hyperbolic $n$-space $\mathbb{H}^n$ ...
2
votes
3
answers
511
views
Blaschke Condition for hyperbolic lattices
For $r$, $s$, small positive integers, do the complex numbers on the unit disc (without the hyperbolic metric) corresponding to the vertices of the hyperbolic tiling with Schläfli symbol $\{r,s\}$ ...
2
votes
1
answer
215
views
Lamination as limit of arcs
I am reading Bonahon's notes on closed curves, in particular the part about hyperbolic laminations. In his notes Bonahon illustrates some examples as why laminations should be "limit curves" on ...
2
votes
1
answer
246
views
The points of half area of a triangle
Let $S$ be a simply connected Riemannan surface . Suppose $\Delta ABC$ is a triangle on $S$. The Area of a triangle is denoted by $\mathcal{A}$. A point $P$ in the interior of $\Delta ABC$ is ...
2
votes
2
answers
292
views
Subharmonic function on a twice punctured complex plane
is the twice punctured complex plane parabolic or hyperbolic? In this sense: does $\mathbb{C}-\{0,1\}$ admit a nonconstant, negative, subharmonic function?
Thanks,
2
votes
3
answers
3k
views
Mid point with set square?
Is it possible to construct the midpoint of a segment in the hyperbolic plane
using the set square only?
With the set square one can
draw the line through the given two points and
drop the ...
2
votes
1
answer
607
views
Fixed point set of an isometric group action on an hyperbolic manifold
Good morning,
I'm trying to understand the following fact, that is stated in Gromov and Thurston's paper "Pinching constants for hyperbolic manifolds" :
Let $M$ be a (at least) 3-dimensional compact ...
2
votes
1
answer
239
views
Can we prove $ Aut(S_g) , g \geq 2 $ is finite in the following way ?
I was trying to prove that $ Aut( S_g $), g$ \geq 2 $ [ orientation preserving isometries ] is finite in the following way :
For fixed $M $ ( positive ) there are finitely many , say $ k $ number of ...
2
votes
2
answers
329
views
Why a non-simple geodesic in a Y-piece is NOT homotopic to a common perpendicular to the geodesic boundaries ?
This is a basic question, still I dare to ask :
Let Y be the Y-piece with geodesic boundaries A,B, C and ( if possible ) c the non simple geodesic from A to B intersecting itself at a point p. I want ...
2
votes
1
answer
205
views
Is every finitely generated classical Schottky group quasifuchsian?
$\DeclareMathOperator\PSL{PSL}$(Classical, finitely generated) Schottky groups are groups generated by finitely many hyperbolic elements of $A_i\in \PSL(2,\mathbb{C}), $ $i<n$ such that the ...
2
votes
1
answer
124
views
Hyperbolization with word-hyperbolic fundamental group
In Davis-Januszkiewica´s paper Hyperbolization of polyhedra it is shown that for every manifold $M$ there exists a map $N \to M$ of non-zero degree such that $N$ is aspherical (plus some more ...
2
votes
1
answer
259
views
How to increase the injectivity radius function of a hyperbolic 3 manifold of finite volume?
Let $N$ be an oriented hyperbolic 3-manifold of finite volume and let $\Delta \subset N$ be a smooth connected compact subdomain such that the restriction of the injectivity radius function of $N$ to $...
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 ...
2
votes
1
answer
113
views
Is the length function associated with the twist parameter an increasing function?
Let $S$ be a closed hyperbolic surface and $x$ be an oriented simple closed curve in $S$. Let $y$ be an oriented closed curve such that the geometric intersection number between $x$ and $y$ is ...
2
votes
2
answers
487
views
Some general properties of arithmetic groups of simplest type
I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
2
votes
1
answer
249
views
Why do noncocompact arithmetic Kleinian groups have quadratic trace fields?
I realize there are a few different ways of going about proving this, depending on one's background, but there's a particular number theoretic aspect that I am just blanking on, and can't seem to find ...
2
votes
1
answer
350
views
Realizable geometrically finite hyperbolic 3-manifolds with prescribed conformal boundaries
By Bers' simultaneous uniformization theorem, if $\Gamma$ is a Fuchsian group, then $\operatorname{QC}(\Gamma)\cong \mathcal{T}(S)\times\mathcal{T}(\overline{S})$ where $S = \Bbb H^2/\Gamma$. In ...
2
votes
1
answer
118
views
Pair of laminations that fill on a closed surface
Let $S$ be a hyperbolic surface of genus $g \geq 2$.
A discrete geodesic lamination on $S$ is a set of disjoint, simple, closed geodesics.
Let $L_{1}$ and $L_{2}$ be two discrete geodesic laminations ...
2
votes
1
answer
217
views
Do once-punctured torus bundles have integral traces?
Once-punctured torus bundles are a well-studied class of hyperbolic 3-manifolds, but unfortunately I have been unable to find out whether they always have integral traces (in the sense of [1], Def. 5....
2
votes
1
answer
219
views
Dirichlet region of a free group
Let $G$ be a non-uniform lattice Fuchsian group and let $P$ be a Dirichlet region for $G$. In particular $G$ has parabolic elements, $P$ is not compact and has finite area. We are in the unit disc. Is ...
2
votes
1
answer
240
views
Euclidean length of hyperbolic geodesics for annuli with bounded geometry
I am wondering whether there are estimates for the Euclidean length of vertical hyperbolic geodesics for annuli with good geometry.
More precisely:
Take an annulus $A$, whose outer boundary $\gamma_{...
2
votes
1
answer
110
views
Find the fixed geodesic of an orientation-preserving isometry of the $3D$ hyperboloid model
Let $\mathcal{I}^3\subset\mathbb{R}^4$
be the standard hyperboloid model for hyperbolic $3$-space and consider the usual $\mathrm{SO}(3,1)$
action of $\mathrm{PSL}(2,\mathbb{C})$
on $\mathcal{I}^3$.
...
2
votes
1
answer
183
views
Shearing in hyperbolic 3-manifolds
I'm new to 3-manifolds, and while reading an article (arXiv link) by Hongbin Sun about virtual domination of hyperbolic manifolds, I got a little bit confused, he says about $1+\pi i$-shearing (page ...
2
votes
2
answers
302
views
Complement of figure 8 knot - zero vertex [closed]
Thurston in "3-dimensional Geometry and Topology" explicitely creates the hyperbolic complement of the figure 8 knot by glueing two ideal tetrahedra.
What I do not understand is that he pushes the ...
2
votes
2
answers
322
views
Why simple closed curves are dense in $\mathcal{PML}_0(S)$?
I have another question about laminations on surfaces. As usual let $\mathcal{S}$ be the set of homotopy classes of simple closed curves in $S$ and $\mathcal{PML}_0(S)$ be the set of projective ...
2
votes
1
answer
183
views
Fixed directions and Zariski density of hyperbolic groups
It is a fact that if $\Lambda$ is a nonelementary subgroup of ${\rm PSL_2}(\mathbb{C})$ which contains an hyperbolic transformation and moreover ${\rm tr}(g)\in\mathbb{R}/\pm 1$ for all $g\in\Lambda$ ...
2
votes
1
answer
246
views
Purely parabolic Kleinian groups
What can be said about a discrete finitely generated subgroup $G$ of $PSL(2,\mathbb C)$ whose
nontrivial elements are parabolic? If $G$ is geometrically finite, one can show that $G$ must be ...
2
votes
1
answer
290
views
growth of energy of eigenfunctions on hyperbolic surface
I am looking to the behavior of eigenfunctions associated to small eigenvalues on a degenerating hyperbolic surface.
Let $(\Sigma_n, h_n)$ a sequence of compact surfaces with area equal to $1$ and ...
2
votes
1
answer
252
views
Cut and Project Sets Using Hyperbolic Space
One strategy for creating aperiodic sets in $\mathbf{R}$ is to take a line $L$ of irrational slope in $\mathbf{R}^2$ along with a compact window $W \subset \mathbf{R}$ which is thought of as a subset ...
2
votes
1
answer
342
views
Straight line on the Poincare disk hitting points almost everywhere
Consider the tiling of the Poincare disk $\mathbb{D}$ by identified octagons (i.e., representing a torus with genus 2). Suppose inside each octagon is a subset A such that the octagon minus A is a ...
2
votes
1
answer
143
views
Figure 8 knot incomplete hyperbolic structure
The incomplete hyperbolic structure of the figure-8 knot $M$ is nicely reviewed in the notes by J.Purcell. The incomplete hyperbolic structure can be described by the holonomy representation of $\pi_1(...
2
votes
1
answer
103
views
Simple curves on hyperbolic tori
In the paper "Simple curves on hyperbolic tori" by McShane and Rivin, they show that if $T$ is a hyperbolic once punctured torus, one can define a norm on the homology $H_1(T,\mathbb{Z})$ by ...
2
votes
1
answer
124
views
Name of the "s" parameter in Ungar's theory of hyperbolic geometry
I have done a R package which implements Ungar's approach to hyperbolic geometry, for the hyperboloid model. In this theory, there is a parameter $s>0$ which controls the curvature of the ...
2
votes
1
answer
136
views
Example of maximal multicurve complex
in this paper we have :
" On the Teichmüller tower of mapping class groups By Allen Hatcher at Ithaca, Pierre Lochak at Paris and Leila Schneps."
Definition. The maximal multicurve complex $...
2
votes
1
answer
294
views
How to express this hyperbolic extension of the cross-ratio in terms of hyperbolic distances and volumes?
Given $4$ distinct points on the Riemann sphere, thought of as the sphere at infinity of hyperbolic $3$-space $H^3$, one may define the cross-ratio in the usual way. Note that the cross-ratio is the ...
2
votes
2
answers
313
views
References on Riemann surfaces
I have asked the question in MSE, but did not get an answer.
I am asking a soft question here. I am interested in learning about Hyperbolic Geometry. I have read the book named "Fuchsian Groups&...
2
votes
1
answer
152
views
Coordinates for Laminations: geometric versus shear
Let $S$ be an orientable surface with a triangulation T.
A lamination $\ell$ is a simple closed curve on $S$, up to isotopy. We will assume that $\ell$ is drawn in such a way that it intersects the ...