Questions on hyperbolic geometry, the geometry on manifolds with negative curvature.

learn more… | top users | synonyms

1
vote
1answer
18 views

Cusp-end in the universal covering

Let $M$ be a n-dimensional hyperbolic manifold with finite volume. Then as a consequence of the Margulis-Lemma we have a decomposition in different types of ends. So let $C$ be a cusp-end. Then there ...
1
vote
1answer
17 views

Finding the euclidean centers of the geodesics AB, AC, and BC

I am trying to learn about finding the angles in hyperbolic geometry and I am trying to understand this example given in Stahl's Introduction to topology and geometry. You can notice that there is a ...
2
votes
1answer
30 views

Can an isometry of the hyperbolic plane that maps a circle to a disjoint circle have a fixed point?

Can an isometry of the hyperbolic plane that maps a circle (centred on the real line) to a disjoint circle (also centred on the real line) have a fixed point? By disjoint, I mean that the two circles ...
0
votes
1answer
40 views

Construct a circle cutting two other circles at right angles

I have the following problem: On a line $l$ on this line are the centers of two circles $C_1$ and $C_2$ . Circles $C_1$ and $C_2$ do not intersect and are not tangent to eachother. (but one could be ...
0
votes
0answers
73 views

Derivatives of hyperbolic functions and Osborne's rule.

I am slightly confused when it comes to Osborne's rule when you take derivatives of hyperbolic functions. For example. The derivative of cotx is -cosec^2x, so there is a product of sines. So should ...
0
votes
1answer
32 views

Spherical and Hyperbolic lines in the Extended Complex Plane.

We work in the Extended Complex Plane: $ \mathbb{C} \cup (\infty)$. Basically, say we have two points, $z_1$ and $z_2$. It can be shown that, on stereographic projection of the Riemann Sphere onto ...
0
votes
0answers
25 views

Identification of polygon edges

In Klein's famous example of regular 14-gon made of 336 copies of (2,3,7) triangles, he used identification for edges such that side 2i+1 is identified with side 2i+6 (mod 14). But I wonder how could ...
1
vote
1answer
45 views

Find the hyperbolic distance in the upper hyperbolic plane

Let $A=(0,112), B=(0,126), C=(98,112)$ be points in the hyperbolic upper half plane H. Find the hyperbolic distances $d_h(A,B), d_h(A,C), d_h(B,C)$. Every answer should be in the form of a ...
1
vote
1answer
48 views

Extending the metric of a hyperbolic surface with boundary to its double

Let $M$ be a hyperbolic surface with totally geodesic boundary. Taking the double $DM$ of $M$, it is easy to see using Euler characteristic that $DM$ is itself a hyperbolic surface (without boundary). ...
0
votes
1answer
54 views

Find the 3 angles of the hyperbolic triangle

A(0,5) B(0,2) C(4,2) In Euclidean geometry the three points given are the vertices of a right-angled triangle. Find the three angles of the hyperbolic triangle with vertices A,B,C. Find the ...
0
votes
1answer
25 views

How to formulate the hyperbolic parallel postulate for more than dimensions?

To formulate the hyperbolic parallel postulate for the hyperbolic 2 dimensional (plane) is easy: Given any line ''L'' and point ''P'' not on ''L'', there are at least two distinct lines passing ...
0
votes
0answers
34 views

Find the equation of the conjugate of the hyperbola $xy+4-4x-2y=0$

Problem : Find the equation of the conjugate of the hyperbola $xy+4-4x-2y=0$ My approach : Solution : After simplifying the given equation of the hyperbola $(y-4)(x-2)=4$ $\Rightarrow $ ...
1
vote
2answers
63 views

Why do we use cosh to define the angle between two vectors in hyperbolic geometry?

I can kind of see why this works when we use the regular dot product, but I don't understand why this is still true when we use the dot product adapted for hyperbolic geometry?
0
votes
1answer
54 views

Is there any textbook about computing the automorphism group of the triangle group?

For example computing the automorphism group of the 2 genus surface made by triangles (12,2,3) in the hyperbolic plane. In addition,if you know the trick of the computing the automorphism groups like ...
0
votes
0answers
34 views

curves in Poincare half space (3 dimensional hyperbolic geometry)

Okay maybe I am going a bit ahead of my self The Poincare half plane still has many mysteries for me But still I was puzzeling about the 3 dimensional variant of it. So lets assume an hyperbolic 3 ...
0
votes
1answer
42 views

Proving limit on angle of a hyperbolic right triangle

I'm trying to prove that for a right triangle $\Delta ABC$ with right angle $B$, the angle $BAC \le \sin^{-1}(sech AB)$ I'm not really able to find a way to bring this proof together. I've tried ...
1
vote
0answers
18 views

Length of a hypercycle.

I was a bit puzzeling about what is the length of a hypercycle, horocycle and the line segment between two points. and found out that if $h$ is the length of one of the two horocycles between P and ...
2
votes
1answer
29 views

The locus of points forming a right angle, in nonzero curvature

Given a line segment $AB$ in the Euclidean plane, the locus of points which form a right angle with $A$ and $B$ is known to be a circle, with $AB$ as a diameter. Is this also true for a geodesic ...
1
vote
0answers
43 views

Find the hyperbolic length of the geodesic segment

I'm reading my textbook and I'm trying to make sense of this example. So the place with the red star shows the actual process of calculating the hyperbolic length. My question is how they get the ...
2
votes
0answers
46 views

Calculating hyperbolic length

So, I am looking at a question and I'm having a hard time solving it. So I know the formula but my question is first, what is $\alpha$ and what is $\beta$? So I calculated some values: I found ...
3
votes
3answers
91 views

Reference: In every free homotopy class is a unique minimizing closed geodesic

Does anyone know a reference for the following result: Let $M$ be a compact hyperbolic manifold/manifold with strict negative curvature . Then in every non-trivial free homotopy class of $M$ there ...
2
votes
1answer
50 views

Fundamental group of a compact hyperbolic manifold

Let $M$ be a compact hyperbolic manifold, and $\tilde M = H^n$ the universal covering. Now let $\Gamma$ be the group of Decktransformations. So we have $\tilde M / \Gamma = M$. My question: Is it ...
2
votes
0answers
24 views

Compute hyperbolic length of the arc of the circle

Compute the hyperbolic length of the arc of the circle $ x^2 + y^2 = 25$ that lies between (3, 4) and (4, 3). From my notes I know the formula is $$ \ln \frac{{\csc \beta - \cot \beta }}{{\csc ...
5
votes
2answers
662 views

Creating a Hyperbola with a Flashlight

I ran into this problem in a textbook and was intrigued by it. Conics are generally formed through different cuts one can make with the shape of a cone. But, there have been recent discussions on ...
1
vote
2answers
79 views

Problem in understanding models of hyperbolic geometry

I recently started reading The Princeton Companion to Mathematics. I am currently stuck in the introduction to hyperbolic geometry and have some doubts about its models. Isn't the hyperbolic space ...
3
votes
1answer
49 views

Gromov's boundary at infinity, drop the hypothesis on hyperbolicity

It's an easy result that if we have two quasi isometric hyperbolic spaces, then their Gromov boundaries at infinity are homeomorphic. I found online these notes where at page 8, prop 2.20 they seem ...
0
votes
0answers
28 views

Collinear Points and Congruent triangles

How might one show that three points are collinear? I am in hyperbolic geometry and am showing that two parallel lines also have a common perpendicular. I have two parallel lines $m$ and $l$ cut by a ...
0
votes
1answer
33 views

Trisection of a hyperbolic line/segment

I'm wondering how to trisect a line/segment in $\mathbb{H}^2$ (using the Poincaré Disk model). Bisection of a hyperbolic line seems rather straightforward (e.g. as described in the paper Compass and ...
0
votes
1answer
27 views

Noneuclidean Geometry - how do I find $(x,y,z)$ in $\mathcal{S}$?

I've been asked to find $(x,y,z)$ in $\mathcal{S}$. I'm stuck on the question attached because although it gives the formula of how to find $\pi_\mathcal{s}$ (stereographic projection), I'm not sure ...
2
votes
0answers
47 views

Thread constructions in the Poincaré's disc

I just came across the following image (source) and realised something that should have been obvious to me a while ago: it should be possible to construct the envelopes of curves in the Poincaré disc ...
0
votes
1answer
40 views

constructing an segment with a known length in hyperbolic geometry

I am studying Arlan Ramsay's and Robert Richtmeyer's " Introduction to hyperbolic geometry" On page 255/6 it gives how to construct an segment with an absolute length of $ \ln (\sqrt{2} +1) $ (via ...
0
votes
1answer
36 views

Coordinate on the boundary of Riemann surface

Let $\Sigma$ be a Riemann surface with boundary. Question: Is there canonical way to parameterise the boundary components up to shift? By shift I mean change of coordinate $\phi$ to $\phi + c$. ...
0
votes
0answers
33 views

signature of a 2-dim linear subspace

Prop: If $U$ is a 2-dim linear subspace of $\mathbb{R}^{n,1}$ (Eculidean space with Lorentz-scalar product) with $U \cap H^n \neq \emptyset$, then the restriction $<\cdot ,\cdot>|_{U}$ has ...
0
votes
1answer
35 views

calculating Hyperbolic distance

To calculate the hyperbolic distance we use the formula $$\left|\frac{w-z}{1-\bar wz}\right|$$ I want to apply this to the following pair of points: \begin{align*} w&=\frac{-1}{\sqrt{3}}\space ...
1
vote
2answers
89 views

Hyperbolic geometry when the curvature is constant and negative but not -1

Help I am getting completely confused Hyperbolic geometry is the geometry of surfaces of a constant negative Gaussian curvature, in most formula's it is almost assumed this constant negative ...
1
vote
1answer
23 views

Canonical map from fundamental group to Fuchsian group?

Suppose we have a Riemann Surface $S$ of constant negative curvature $-1$. What is the canonical map from the fundamental group $\pi_1(S)$ to the discrete subgroup $\Delta \subset PSL_2(\mathbb{R})$ ...
1
vote
1answer
67 views

Length of geodesic representative on hyperbolic surfaces

Let $S$ be a closed oriented hyperbolic surface. Let $x,y \in S$ and let $\alpha,\beta$ be two geodesic arcs with endpoints $x$ and $y$. Let $\alpha \beta$ be the closed piecewise geodesic curve ...
0
votes
1answer
42 views

A casual definition of Hyperbolic Space

I'm writing an article about a lecture that mentioned hyperbolic space. I wondered if anyone had a friendly way of describing it to the general public. (I will rewrite any definitions in my own ...
3
votes
1answer
45 views

Two transformation groups of the hyperbolic plane are isomorphic?

I'm aware that $PGL_2(\mathbb{R})\simeq GL_2(\mathbb{R})/\mathbb{R}^\times$ is isomorphic to the full isometry group of $H^2$, the hyperbolic plane. I've just been told that $SO(2,1)$, the indefinite ...
1
vote
2answers
75 views

How to solve an Hyperbolic triangle when all is given except angle C and side c)

Another Hyperbolic triangle problem (all given except angle $\angle C$, and side $c$) I thought that after asking How to solve an hyperbolic Angle Side Angle triangle? I could solve all hyperbolic ...
0
votes
1answer
62 views

How to solve an hyperbolic Angle Side Angle triangle?

If from an hyperbolic triangle $ \triangle ABC$ the angels $\angle A$, $\angle B$ and side $c$ are given. (ASA triangle, a side and both adjacent angles are given) How can I calculate the remaining ...
0
votes
0answers
17 views

Decision Boundary of A Single Perception with Logistic Function

I am currently studying neural networks and have been trying to reason about this for a while to no avail. I understand that given a perceptron(such as above) with f as a step function, any ...
1
vote
1answer
78 views

Dehn twist as isometries on hyperbolic surface

[I am editing the question to a most correct and precise one thanks to comments of Lor and studiosus] Let (S,g) be a compact hyperbolic surface. On a simple closed geodesic $\gamma $ I can realized a ...
0
votes
2answers
55 views

Advantage of using Hyperbolic Trigonometric functions?

Is there any added advantage of using Hyperbolic Trigonometric functions? Since you can always use normal trigonometric functions in all cases: $$\left.\begin{array}{ccc} ...
2
votes
1answer
57 views

Hyperbolic Geometry: Question about the Transitivity of Möbius transformations

I was confronted with this exercise in the book Hyperbolic Geometry by Anderson which states: In each case, find $m \in Möb(\mathbb{H})$ such that the property holds, or prove that no such $m$ ...
4
votes
1answer
61 views

Is there a name for this special, “most parallel” ultraparallel line in hyperbolic geometry?

Suppose you're in the hyperbolic plane, and you have a line L and a point P not through L. There are an infinite number of lines parallel to L that go through P. However, there's one line M which is ...
1
vote
1answer
48 views

Commutator of hyperbolic isometries

Let $f,g \in PSL(2,R)$ be isometries of $\mathbb{H}^2$ of hyperbolic type. Let $h=[f,g]$ be their commutator. Is there an explicit geometric criterion to determine if $h$ is hyperbolic, parabolic or ...
0
votes
1answer
49 views

Relation between length of arc of horocycle and length of chord?

In Hyperbolic geometry: What is the relation between the length of the arc of a horocycle between two points and the length of the chord (segment) between the two points? Also what is the relation ...
4
votes
3answers
55 views

Complex hyperbolic Trigonometry

When faced with the equation $\cos{z}=\sqrt{2}$ I want to solve for z so I break it up into a sum $z=x+iy$ and get: $\cos{z}=\cos{x}\cosh{y}-i \sin{x} \sinh{y}$ equating real and imaginary parts I ...
0
votes
1answer
41 views

Universal covers of lattice complements.

Background: I would like to construct a continuous map (in particular, a covering map) $$ f ~\colon \mathbb{D} \longrightarrow \mathbb{C} \setminus \left( \mathbb{Z} \oplus \mathbb{Z}[i] \right) $$ ...