The hyperbolic-geometry tag has no usage guidance.

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

**8**

votes

**1**answer

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

**16**

votes

**2**answers

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

**10**

votes

**6**answers

2k views

### Generalizations of Belyi's theorem

Belyi's theorem states that the following properties of a nonsingular projective algebraic curve $X$ are equivalent:
1) $X$ is defined over $\overline{\mathbb{Q}};$
2) There exists a meromorphic ...

**16**

votes

**2**answers

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

**6**

votes

**2**answers

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

**9**

votes

**1**answer

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

**11**

votes

**3**answers

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

**8**

votes

**2**answers

1k 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

**3**answers

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

**11**

votes

**1**answer

830 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, ...

**8**

votes

**1**answer

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

**7**

votes

**5**answers

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

**6**

votes

**3**answers

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

**12**

votes

**1**answer

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

**10**

votes

**3**answers

292 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$ admits a ...

**10**

votes

**3**answers

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

**8**

votes

**1**answer

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

**7**

votes

**2**answers

852 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?
...

**6**

votes

**1**answer

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

**5**

votes

**1**answer

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

**4**

votes

**1**answer

191 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

**1**answer

288 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

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

**3**

votes

**1**answer

168 views

### How many non-commensurable non-arithmetic manifolds have a quaternion algebra like this?

I am interested in realizing commensurability classes of hyperbolic $3$-manifolds whose quaternion algebra (note: not invariant quaternion algebra) is isomorphic to one of the form ...

**2**

votes

**3**answers

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

**1**

vote

**0**answers

135 views

### How to pick out harmonics based on boundary conditions?

(..this is almost a continuation of my last question (which got closed!)...) Let me first rewrite one of the main results of this paper, http://calvino.polito.it/~camporesi/JMP94.pdf in a coordinate ...