# Questions tagged [hyperbolic-geometry]

The hyperbolic-geometry tag has no usage guidance.

56
questions

**16**

votes

**1**answer

758 views

### The Teichmüller space $T_g$ of a closed riemann surface $S_g$ of genus $g \geq 2$ can't be parametrized by $6g−6$ geodesic length functions

I asked this question almost a month ago on Math SE. After waiting three weeks for an answer or a comment, I opened a bounty on the question in hope that it might get an answer this way. The bounty ...

**46**

votes

**3**answers

6k views

### Thurston's 24 questions: All settled?

Thurston's 1982 article on three-dimensional manifolds1 ends with $24$ "open questions":
$\cdots$
Two naive questions from an outsider:
(1) Have all $24$ now been resolved?
(2)...

**15**

votes

**5**answers

3k views

### can you fool SnapPea?

A while back I thought I had some simple knots that "fooled" SnapPea. But I no longer remember those examples, if I ever had them to begin with.
What I'm looking for is a non-hyperbolizable knot ...

**14**

votes

**2**answers

2k views

### Geodesics on the twisted pseudosphere (Dini's surface)

I wonder how difficult it is to compute geodesics on Dini's Surface,
a twisted pseudosphere?
Here is one parametrization, from
Alfred Gray's Modern Differential Geometry of Curves and Surfaces, p....

**9**

votes

**1**answer

667 views

### Is there a straightedge and compass construction of incommensurables in the hyperbolic plane?

In other words, given a segment in the hyperbolic plane is there a straightedge and compass construction of a segment incommensurable with it? In the Euclidean plane one can take the diagonal of the ...

**31**

votes

**4**answers

2k views

### Why do people study representations of 3-manifold groups into $SL(n,\mathbb{C})$?

Varieties of representations and characters of $3$-manifold groups in $SL(2,\mathbb{C})$ have been intensively studied. They have provided tools to identify geometric structures on manifolds, and are ...

**20**

votes

**2**answers

1k views

### Non-residually finite matrix groups

By Malcev's theorem, every finitely generated linear group is residually finite (RF).
On the other hand, say, the group of rational numbers is linear, but is not residually finite. Thus, one has to ...

**16**

votes

**2**answers

4k views

### Reference request: Geodesic flow on a manifold with negative curvature is ergodic

I'm reading about the Mostow's rigidity theorem, and the proof uses the following (maybe well-known) result:
The geodesic flow on a manifold with negative curvature is ergodic.
The lecture note that ...

**16**

votes

**2**answers

976 views

### Maximum of a function of one variable

Let $D$ be a circular quadrilateral (that is a Jordan region whose boundary consists of 4 arcs
of circles all orthogonal to the unit circle) whose interior angles are all equal to 0, the vertices lie ...

**20**

votes

**1**answer

656 views

### Canonical immersion of the double torus

It is easy to check that the immersion $\mathbb{T}^2=\mathbb{S}^1\times \mathbb{S}^1\longrightarrow\mathbb{R}^4$, $(\alpha,\beta)\longmapsto(\cos\alpha,\sin\alpha,\cos\beta,\sin\beta)$ induces the ...

**24**

votes

**4**answers

897 views

### Immersions of the hyperbolic plane

Is it possible to isometrically immerse the hyperbolic plane into a compact Riemannian manifold as a totally geodesic submanifold? Any nice examples?
Edit: Although I did not originally say so, I was ...

**21**

votes

**6**answers

2k views

### Tetrahedra with prescribed face angles

I am looking for an analogue for the following 2 dimensional fact:
Given 3 angles $\alpha,\beta,\gamma\in (0;\pi)$ there is always a triangle with these prescribed angles. It is spherical/euclidean/...

**20**

votes

**2**answers

2k views

### Smallest tile to tessellate the hyperbolic plane

Is it known what the smallest tile (in terms of area) that can tessellate the hyperbolic plane is? In particular, it should tessellate the plane by itself.
I think it will be a Triangle group, but I'...

**12**

votes

**3**answers

1k views

### Is the cut locus of a generic point in a hyperbolic manifold a generic polyhedron?

Let $p\in M$ be a point in a closed riemannian manifold $M$. Recall that the cut locus of $p$ is the subset of $M$ consisting of all points that are connected to $p$ by at least 2 distance-minimizing ...

**6**

votes

**2**answers

588 views

### Bolyai's construction

Here is Bolyai's construction (in Klein model), which I learned recently from answer of Will Jagy to this question.
It is a Compass-and-straightedge construction of asymptotically parallel line in ...

**10**

votes

**1**answer

1k views

### fundamental domains for free fuchsian group.

I try to understand some of the topology of the space of pointed non-compact hyperbolic surfaces (with the pointed Gromov-Hausdorff topology). It is known that the fundamental
group of a non-compact ...

**8**

votes

**4**answers

5k views

### Geodesics on a hyperbolic paraboloid

Given any two points on a hyperbolic paraboloid ($xy = z$ or $z = (x^2 - y^2)/2$) how does one find the geodesic between them?
I know that since the hyperbolic paraboloid is doubly ruled, some of the ...

**8**

votes

**4**answers

4k views

### Canonical fundamental domain for a discrete subgroup Γ of SL₂(R) acting on hyperbolic plane

Let a discrete subgroup $\Gamma$ of $SL_2(\mathbb R)$ act on the hyperbolic plane by Möbius transformations. Is there a "best" or "most canonical" fundamental domain for this action?
Some (mostly ...

**8**

votes

**3**answers

529 views

### Are negatively pinched manifold locally conformally flat?

One knows that hyperbolic manifolds are locally conformally flat.
How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy:
$$
-\Lambda \le K \le -\lambda$$
for $\Lambda&...

**7**

votes

**4**answers

2k views

### It is well-known that hyperbolic space is delta-hyperbolic, but what is delta?

Recall that a space is $\delta$-hyperbolic if there is some number $\delta$ with the property that every point on an edge of a geodesic triangle lies within $\delta$ of another edge. For example a ...

**22**

votes

**2**answers

510 views

### Hyperbolic exceptional fillings of cusped hyperbolic 3-manifolds

Thurston's Hyperbolic Dehn Surgery Theorem says that all but finitely many fillings of a cusp of a hyperbolic 3-manifold result in hyperbolic manifolds that are deformations of the original manifold. ...

**18**

votes

**3**answers

1k views

### The number of cusps of higher-dimensional hyperbolic manifolds

Suppose $n$ is an integer greater than 3. Sometimes ago I heard somewhere that it is still not known if there exist complete finite-volume hyperbolic $n$-manifolds having exactly one cusp.
Could ...

**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 ...

**13**

votes

**1**answer

809 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 ...

**9**

votes

**1**answer

940 views

### Fundamental group of an hyperbolic $4$-manifold

Good afternoon everyone,
I have a very general question about hyperbolic manifolds and their fundamental groups in high dimension (at least $4$). If the theory of surfaces and $3$-manifolds provide ...

**8**

votes

**2**answers

1k views

### Tweetable way to see that Willmore energy is Möbius invariant?

Consider a compact orientable Riemannian manifold $M$ (without boundary) isometrically immersed into $\mathbb{R}^3$. The Willmore energy of $M$ is the functional
$$\mathcal{W} = \int_M H^2 dA$$
...

**7**

votes

**1**answer

132 views

### Distances between boundaries in a hyperbolic pants

Consider a hyperbolic pair of pants with totally-geodesic boundaries of lengths $l_i$ for $i \in \{1,2,3\}$. For any two distinct boundary components, is the length of the shortest geodesic connecting ...

**6**

votes

**1**answer

613 views

### Hilbert 16th problem via hyperbolic geometry

More than 16 years ago, I heard from someone that he thinks that there is a possible relation between Hilbert's 16th problem(for $n=2$) and Hyperbolic geometry. He says that a ...

**4**

votes

**1**answer

300 views

### fundamental domains in H^2 containing large balls

I would like to construct a genus $g$ surface regularly tiled by triangles (for example by 238 triangles). Edmunds-Ewing-Kulkarni prove that the only obstruction to doing this is Euler characteristic ...

**2**

votes

**3**answers

917 views

### Reference for the geometry of horospheres

I am looking for a reference to a proof of the following well-know fact (cited for example by
B.Farb in ``Relatively hyperbolic groups'', Geom. Funct. Anal. 8 (1998), no. 5, 810--840); MR1650094,
...

**16**

votes

**2**answers

2k 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 ...

**13**

votes

**3**answers

927 views

### Isometry group of a compact hyperbolic surface

Consider a compact surface $M$ of genus $g \geq 2$ with a metric of constant negative curvature. My question is, is it known under what sorts of sufficient conditions such a metric will have non-...

**11**

votes

**3**answers

564 views

### Random links and $3$-manifolds

In Jeffrey Weeks book "The Shape of Space" he explaines at the end of Chapter 18 (on page 255) the following about the geometrization conjecture:
A non-trivial connected sum $M_1\# M_2$ ...

**10**

votes

**3**answers

556 views

### Torsion in cuspidal cohomology

Following Lemma 2.7 from Vogtmann's Rational Homology of Bianchi Groups, I want to define cuspidal cohomology as $$H_{\mathrm{cusp}}(M)=\frac{H_1(M)}{i_*(H_1(\partial M))}$$ where $i:\partial M\to M$ ...

**10**

votes

**1**answer

382 views

### Periodic billiard paths in hyperbolic triangles

It is a theorem of Masur that all rational triangles in the Euclidean plane posses a periodic billiard path,
one obeying the reflection law that the angle of incidence equals the angle of reflection. ...

**8**

votes

**1**answer

258 views

### Mostow Rigidity Theorem and reconstruction from fundamental group

The Mostow Rigidity Theorem is phrased in terms of a relationship between isometries and isomorphisms of fundamental groups, which raises an obvious question. Given the fundamental group of a complete ...

**7**

votes

**2**answers

980 views

### Poincaré disk model: is this locus a known curve?

Please, consider a line segment $AB$ in the Poincaré disk model. Now, consider the set $S$ of all point $P$ in the disk such that the angle $\angle APB$ is constant.
Question: is $S$ a known curve?
...

**5**

votes

**1**answer

456 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?

**5**

votes

**2**answers

603 views

### Uniformizations of the bordered/punctured Riemann surfaces

The uniformization theorems of Riemann surfaces state that any Riemann surface can be constructed by an action of some group on some space. It is quite hard to find materials relating different ...

**11**

votes

**4**answers

896 views

### Surfaces with non-constant negative curvature

Are there any nice models of surfaces with non-constant negative curvature, analogous to the Poincare disk for constant negative curvature. I have found lots of general results and theory but no nice ...

**5**

votes

**1**answer

250 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 ...

**5**

votes

**0**answers

133 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$...

**4**

votes

**1**answer

381 views

### Dirichlet polyhedra for hyperbolic manifolds

Let $H$ be a simply-connected, complete
space of constant negative curvature, that
is, a hyperbolic space, $\Gamma$ a discrete group of
isometries, and and $M=H/\Gamma$ its quotient space;
we assume ...

**4**

votes

**1**answer

253 views

### Infinitesimal deformations of fake projective planes (or ball quotients)

This question is related to the answer I gave to this MO question. What I'm asking is probably well-known to the experts in the field, and I apologize in advance if this turns out to be trivial.
By ...

**3**

votes

**3**answers

965 views

### Books that discuss spectral graph theory and its connection to eigenvalue problems in hyperbolic geometry

Hello,
Could you name a couple of books or downloadable lecture notes that discuss spectral graph theory and its connection to spectral problems in hyperbolic Riemann surfaces ? You could also ...

**7**

votes

**1**answer

315 views

### Change of coordinates for Teichmüller space of the 4-holed sphere

The diagram below indicates 2 ways to use Fenchel-Nielsen coordinates to parameterize the Teichmüller space of conformal structures on the 4-holed sphere with totally-geodesic boundary, corresponding ...

**6**

votes

**3**answers

482 views

### For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?

Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...

**6**

votes

**2**answers

829 views

### injectivity radius of hyperbolic surface

Given a positive real number $l$. Does there exist a closed hyperbolic surface $X$ so that injectivity radius not less than $l$?

**5**

votes

**1**answer

564 views

### Angle between geodesics in hyperbolic surface

Let $F$ be an oriented surface of finite type with $\chi(F)<0$. Let $\gamma_1$ and $\gamma_2$ are two oriented closed curves which intersect transversally in double points. Given a hyperbolic ...

**5**

votes

**2**answers

335 views

### Smallest tile to *isohedrally* tessellate the hyperbolic plane

Is there a smallest tile (in terms of diameter) that isohedrally tessellates the hyperbolic plane?
In this question, we ask the same question without the isohedral requirement, and the answer was no. ...