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

learn more… | top users | synonyms

2
votes
0answers
32 views

Homeo- and diffeomorphism groups of oriented surfaces

I'm interested in the structure of homeo- and diffeomorphism groups of oriented surfaces, especially in hyperbolic case. For example, does the homeomorphism group retracts on the diffeomorphism group ...
2
votes
1answer
32 views

Edge length of hyperbolic tesselations

If I have a general uniform tesselation in hyperbolic plane (same configuration of regular polygons at every vertex, but multiple types of polygons allowed), how can I find the edge length and/or ...
0
votes
0answers
19 views

Hyperbolic length does not depend on the subdivision.

I'm reading some notes on hyperbolic surfaces by François Labourie and there's an exercise I can't figure out. I have to prove that the length l(c) of a curve does not depend on the subdivision. It's ...
1
vote
1answer
43 views

Hyperbolic geometry and the Triangle Inequality

In Is the shortest path in flat hyperbolic space straight relative to Euclidean space? I answered by refering to the Triangle Inequality (https://en.wikipedia.org/wiki/Triangle_inequality , Euclid's ...
0
votes
1answer
30 views

Relationship between Hyperboloid model of hyperbolic space and disc model / confused by a picture.

I am confused by this picture: https://en.wikipedia.org/wiki/File:HyperboloidProjection.png What is wrong with projecting from the origin, and using the disc at $t = 1$? After doing some computation ...
4
votes
2answers
92 views

Classification of conics in hyperbolic plane

How many different types of conics exist in hyperbolic plane? Euclidean geometry has three, of course. But when I was trying to find out results for the hyperbolic plane, the best thing I found ...
2
votes
3answers
52 views

how to construct a line on a poincare disk?

Given the Euclidean coordinates of two points (p1, p2) and (q1, q2) in the unit circle, how do I construct the Euclidean circle x^2 + y^2 + fx + gy+1 representing the hyperbolic d-line on the poincare ...
3
votes
2answers
64 views

Is the shortest path in flat hyperbolic space straight relative to Euclidean space?

I have the following metric $$ ds^2 = dt^2-dx^2 $$ and I wanted to prove to myself that the shortest path for this metric is straight. I used the following relation $x=f(t)$ and $$ S = ...
2
votes
1answer
19 views

Whether the hyperbolic trigonometry rule holds for all models

I am reading a paper concerning hyperbolic geometry. It represents some results like the hyperbolic cosine rule. Consider a hyperbolic triangle with side lengths $a$, $b$, $c$ and angles $\alpha$, ...
1
vote
2answers
47 views

A triangle in the Poincare disc model

Suppose that we have a triangle in the Poincare disc model such that the internal angels are all equal. Then Does it imply that the lengths of sides are all equal? By length of a side, I mean the ...
2
votes
0answers
43 views

constructing an equilateral triangle in the Beltrami klein model

I am puzzeling with the following: Using the beltrami klein disk of hyperbolic geometry (see https://en.wikipedia.org/wiki/Beltrami%E2%80%93Klein_model ) (PS not the poincare disk model) and given ...
3
votes
2answers
48 views

Travel across the Poincaré disk model of the hyperbolic plane

A is a point on the Poincaré disk model of the hyperbolic plane. B is a second point, d hyperbolic distance away from A. The hyperbolic ray AB passes through A at angle θ. How might one find the ...
2
votes
2answers
70 views

Proving pseudo-hyperbolic distance is distance

The pseudo-hyperbolic distance on the unit disk is defined as: $$\rho(z,w)=\left|\dfrac{z-w}{1-\bar wz}\right|.$$ I'd like to prove it's a distance. The real problem is, as always, the triangle ...
4
votes
2answers
90 views

Translating a Euclidean proof to hyperbolic language..

User HyperLuminal asked for help to prove the following statement: Connecting the feet of the altitudes of a given triangle, we obtain another triangle for with the altitudes of the original ...
2
votes
1answer
32 views

Question about two definitions of Teichmuller space for a surface of genus $g$

There are many equivalent definitions of Teichmuller space for a surface of genus $g\ge 2$. One of them concerns the complex structure: the Teichmuller space $\mathcal{T}(g)$ is the set of the ...
8
votes
1answer
130 views

Instruct geometer moths so you can learn about their true geometry.

I had a space-ship wreck in an unknown world of some kind of moths. I could observe geometer moths working. Everything looked strange. The moths claimed that they were using only straight edges and ...
0
votes
0answers
47 views

Circumference of hyperbolic circle is $2\pi \sinh r$

I'm looking for a proof that in the Poincare disk model the circumference of a circle of radius $r$ is $2\pi \sinh r$. I have seen this result in many places but I haven't been able to find a proof. ...
1
vote
1answer
26 views

Distance in the $y$-axis of the hyperbolic plane

I'm reading Stillwell's Geometry of Surfaces but I'm having a little bit of trouble because my background in calculus isn't great, I'm struggling with these problems: In the upper half-plane model, ...
0
votes
2answers
52 views

Constructions of perpendicular in hyperbolic plane

Consider the disc model of hyperbolic plane $\mathbb{D}^2$ and a line $g$ through the origin $(0,0)\in \mathbb{D}\subset\mathbb{C}$, i.e. a diameter of the circle $\partial \mathbb{D}=S^1$. Let ...
4
votes
1answer
134 views

Comparing metric tensors of the Poincare and the Klein disk models of hyperbolic geometry

I was trying to compare the metric tensor at the wikipedia pages of the Beltrami Klein model https://en.wikipedia.org/wiki/Klein_disk_model and the metric tensor of the Poincare disk model at ...
1
vote
1answer
33 views

Show that $\int_{-T}^T |\zeta(\frac{1}{2} + it)|^4 \, dt \sim T \log(T)^4 $

I have been reading about "mean value theorems in number theory" such as $$\int_{-T}^T |\zeta(\frac{1}{2} + it)|^4 \, dt \sim T \log(T)^4 $$ How to prove such a result? One source says it is ...
1
vote
1answer
58 views

What is the name of this (circumscribed) triangle?

I am meeting the following triangle more and more in my investigations of ideal triangles in the Beltrami Klein model of hyperbolic geometry. That made me wonder: is there a name for it? (And does it ...
5
votes
2answers
82 views

An interesting point of a triangle. (Help needed to prove a statement.)

Consider a triangle whose sides are segments of $\color{red}{\text{line}}$, $\color{blue}{\text{line}}$, $\color{green}{\text{line}}$ falling in the circum-circle $c$. Let ...
2
votes
2answers
52 views

Finding angles of hyperbolic triangles

I am trying to learn about how to find the angles of hyperbolic triangles. Now below is a problem: It has all the steps but I am not understanding the concept (the ones that are underlined in green ...
0
votes
0answers
31 views

Ideal Triangles and Klein Beltrami Disc

I'm trying to prove something with the ideal triangle in hyperbolic geometry and someone told me that the ideal triangle looks like a euclidean triangle inscribed in a circle in the Klein Beltrami ...
0
votes
2answers
86 views

Hyperbolic Ideal Triangle

I have everything pretty much figured out everything but I need help proving the unique point formed by the three perpendiculars in the picture
1
vote
1answer
27 views

Jacobian for Partial Iwasawa Coordinates

I am working through Terras' Harmonic Analysis, V2, and am stuck on I believe a notational point. We are asked to show that for ...
0
votes
1answer
62 views

circumscribe a regular polygon around a circle in hyperbolic geometry [duplicate]

In the hyperbolic plane, let a circle of radius r be given. If we want to circumscribe a regular polygon with n sides around this circle (i.e., if we want the sides of the polygon to be tangents of ...
0
votes
0answers
29 views

Hyperbolic geometry and polygons around Circles [duplicate]

Is there a way to determine the number of sides of a regular polygon based on a given radius of a circle that is tangent to all the sides of the polygon circumscribed around the circle in a hyperbolic ...
1
vote
2answers
130 views

For what $n$ does a hyperbolic regular $n$-gon exist around a circle?

Does there exist a relationship in terms of $r$ and $n$ to represent how large $n$ must be if $r$ of the circle is given in the hyperbolic plane? (The edges of the regular $n$-gon are tangent to the ...
0
votes
1answer
22 views

Hyperbolic quadrilaterals : Opposite sides of the quadrilateral cannot intersect

Suppose that a hyperbolic quadrilateral $ABCD$ satisfies $h(A, B) = h(C, D), h(B, C) = h(A, D)$. Mark each of the following claims about the quadrilateral as true or false: Opposite angles of the ...
0
votes
1answer
27 views

Euclidean circle in complex plane

I am reading Anderson's Hyperbolic Geometry and am having trouble with one of the Exercises in Chapter 1: Consider the unit circle $\mathbb{S}^1=\{z \in \mathbb{C} \text{ s.t. }|z|=1\}$. Let $A$ be a ...
0
votes
1answer
81 views

Circles inscribed in regular polygons in hyperbolic geometry

Does the radius of a circle matter when determining the number sides of a regular polygon in hyperbolic geometry? The sides must be tangent to the circle. Can't I just use an equilateral triangle ...
0
votes
1answer
25 views

Hyperbolloid Model Translations

Although the hyperboloid model of hyperbolic geometry has natural analogues of reflections and rotations, I am having trouble finding any linear transformation which is distance preserving and ...
1
vote
1answer
32 views

Given a non-ideal hyperbolic triangle and the Euclidean comparison triangle with equal side lengths, are the interiors of the two bi-Lipschitz?

Fix three finite real numbers $p,q,r > 0$. Up to isometry, there is a unique 2-simplex $\Delta$ in the Euclidean plane bounded by a geodesic triangle with these three reals $p,q,r$ as side-lengths. ...
0
votes
0answers
19 views

Show that the hyperbolic expression for tan comes into agreement with the euclidean expression

Show that as the hyperbolic length scale goes to 0 the hyperbolic expression for $ \tan \theta$ comes into agreement with the Euclidean expression. I have a hyperbolic right triangle with sides r, x, ...
1
vote
1answer
30 views

Prove this equality about hyperbolic right triangles

If K is the area of a hyperbolic right triangle ABC in which the right angle is at C, prove that $$ \sin K=\frac{ \sinh a \sinh b}{1+\cosh a\cosh b}$$ My attempt at the solution: I basically need ...
3
votes
1answer
58 views

Finding the hyperbolic length in a hyperbolic right triangle

Question: In a hyperbolic right angled triangle, the two legs have hyperbolic lengths of $3$ and $4$. What is the hyperbolic length of the hypotenuse? Is this larger or smaller than $5$? I'm having ...
0
votes
2answers
64 views

Hyperbolic Geometry and Circles

How does the angle of parallelism relate to the arc of a circle and a point outside? In Hyperbolic Geometry, I'm trying to figure out what happens to the "visibility" of a circle when a point ...
1
vote
0answers
23 views

Scale and the models of the hyperbolic plane

I was reading somewhere (sorry I always forget where) that the scale of the Poincare Half plane is y (the vertical) So at the boundary line the scale is $ 0 $ or $ ( 1 : \infty ) $. at the ...
2
votes
3answers
100 views

Why do lines in the poincare model meet the infinite edge at right angles?

I know the lines are generated by projecting geodesics on a hyperboloid to a plane and the boundary of the disk comes from the asymptotic cone around the hyperboloid, but I just don't see why the ...
0
votes
1answer
25 views

What is vectors straddle a plane mean?

There is a condition in a paper, saying that two vectors straddle a plane. How can we transfer this condition to a equation? Because I have another 5 equations and need this one to solve 6 unknowns. ...
1
vote
1answer
21 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
33 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
41 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
94 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
38 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 ...
1
vote
0answers
27 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
49 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 ...