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

learn more… | top users | synonyms

5
votes
1answer
93 views

Embedding manifolds of constant curvature in manifolds of other curvatures

I know that there is no complete surface embedded in $\mathbb{R}^3$ of constant curvature -$k$ for any $k$. But you can clearly embed the hyperbolic plane (curvature -1) into hyperbolic 3-space ...
1
vote
1answer
89 views

Compact surfaces without conjugate points

I've asked this question (Surfaces without conjugate points) and received an attentive answer from user67582. The answer made me see that I should ask better. So i'm trying again here. I'm trying to ...
4
votes
1answer
84 views

Reference Request: Regge Symmetry “Angle-Edge” Duality

A tetrahedron in hyperbolic 3-space can be defined (up to isometry) by the measures of its dihedral angles, $(a, b, c, a^\prime, b^\prime, c^\prime)$, with $a$, $b$, $c$ along edges that meet at a ...
-1
votes
1answer
141 views

Length of a curve on $S^2$

$1.$ Could any one tell me what is the shortest distance between $2$ points on $S^2$? $2.$ Could any one tell me how to measure explicitly a length of a curve on the $S^2$ using polar co-ordinates? ...
1
vote
1answer
50 views

Questions on two elements in a Fuchsian group which have at least one common fixed point

This is a homework question I am unable to solve. Let $A,B \in PSL(2,R)=Aut(H)$. Assume none of them are elliptic and they have : Case 1) one common fixed point at the boundary of $H$ (i.e. they ...
3
votes
1answer
193 views

Set of points equidistant from two points in hyperbolic space.

Given two points $p,q$ in the hyperbolic plane, show that the set of points equidistant from $p$ and $q$ is a hyperbolic line. I am unsure how to proceed with this question. Would it be easier to use ...
3
votes
2answers
208 views

Reflection in a hyperbolic line formula

Let $H$ denote the upper half-plane model of hyperbolic space. If $L$ is the hyperbolic line in $H$ given by a Euclidean semicircle with centre $a\in \mathbb{R}$ and radius $r >0$, show that ...
3
votes
2answers
192 views

Measure on a quotient

Can anyone explain me the following : let $M$ be a hyperbolic manifold and $\Gamma = \Pi_1(M) \subset Iso(\mathbb{H}^n) $. How does the Haar measure on $Iso(\mathbb{H}^n) $ induces a measure on ...
5
votes
1answer
323 views

Möbius Transformations are Orientation Preserving?

This question is truly stupid, but is driving me crazy. I just need an outside viewpoint to sort out what's going on. In my textbook: "Show that every linear fractional (LF) transformation of ...
3
votes
1answer
264 views

Rigid body motion on the Poincare disc model of the hyperbolic plane

I'd like to implement an interactive simulation of an actor controlled by the user moving around in the Poincaré disc model of the hyperbolic plane. I need to know how to perform translation and ...
0
votes
0answers
29 views

Enlightening explanation of a theorem of Zimmert's

I'd like to know wether anyone has ever read an enlightening explanation (e.g. with geometric argument) of the following paper: Zimmert, R. Zur $SL_2$ der ganzen Zahlen eines imaginär-quadratischen ...
1
vote
1answer
50 views

Regular triangulation of compact oriented hyperbolic space

Is there a good way of explicitly constructing a regular triangulation of a compact orientable hyperbolic 2-manifold, ideally with any desired vertex degree $\ge 7$? I only need the topology, not any ...
3
votes
1answer
176 views

Understand the Hyperbolic space

I've been trying to find the expression for the metric of the hyperbolic n-space, $\mathbb H^n$. For $n=2$ I've found (e.g. here) that $$ds^2=\frac{dx^2+dy^2}{y^2}.$$ But for $n>2$ I can't seem to ...
3
votes
0answers
146 views

Axis of the product of two loxodromic isometries

Suppose that $X$ and $Y$ are two loxodromic isometries of the hyperbolic space and that the product $XY$ is also a loxodromic element. We consider the axes of these three elements. I'd like to know if ...
8
votes
1answer
124 views

Hyperbolic diameter of Amsler's surface

I've recently learned about Amsler's surface, a surface of constant negative Gaussian curvature. If I understand things correctly, there is a whole family of such surfaces, differing in the angle of ...
3
votes
2answers
627 views

What is the proof that rectangles do not exist in hyperbolic geometry?

I am in need of help figuring this out-- If the only straight lines in hyperbolic geometry are those that pass through the center, then isn't there a right angle? (horizontal and vertical) Which ...
3
votes
2answers
700 views

Construction of equilateral triangle in Poincare disc model

Points A and B are given in Poincare disc model. Construct equilateral triangle ABC. Any kind of help is welcome.
0
votes
0answers
99 views

Sum of angles in a hyperbolic triangle with one ideal angle

I want to calculate the sum of the angles of the triangle formed in the hyperbolic plane from the points $(-1,1), (0,1)$, and $(1,1)$. This forms an angle at the origin which has an infinite slope for ...
2
votes
1answer
84 views

Hyperbolic spheres in the Poincare half-plane and fractional linaear transformations

Let $\mathbb{H}$ be the Poincare upper half-plane, seen as a Riemannian manifold with the metric $$\frac{dx^2+dy^2}{y^2}.$$ Moreover, we consider the action of $\text{SL}_2(\mathbb{R})$ on ...
2
votes
1answer
81 views

Locally cyclic subgroups of a hyperbolic group

How can we show that locally cyclic subgroups (ie. groups whose finitely generated proper subgroups are cyclic) of a hyperbolic group are cyclic?
4
votes
0answers
379 views

Curvature of Hyperbolic Space

I'm trying to prove that hyperbolic space has constant sectional curvature $-1$, but keep running into difficulties. Could someone show me a way out? I've been given the metric ...
1
vote
0answers
38 views

Is $M_g$ a subvariety of $M_{h}$ for some $h>g$

Let $g\geq 24$. Then $M_g$ is of general type. Does there exist $h>g$ such that $M_g$ is a subvariety of $M_h$? That is, does there exist an immersion $M_g \to M_g$? If the answer is not known, ...
2
votes
1answer
52 views

Projection on geodesic lines in $\mathbb{H}^n$

Good morning everyone, I was wondering wether or not is the projection on a geodesic line in $\mathbb{H}^n$ $1$-lipschitz for the hyperbolic distance. I asked myself this question because i ran ...
3
votes
0answers
56 views

reference request: “p-adic” presentation of surfaces

On several occasions I heart about the following result: For "certain" lattices $\Lambda$ in $SL_2(\mathbb{R})$, and almost any prime $p$ there exists a lattice $\Gamma$ in $SL_2(\mathbb{R})\times ...
3
votes
2answers
90 views

Real tree and hyperbolicity

I seek a proof of the following result due to Tits: Theorem: A path-connected $0$-hyperbolic metric space is a real tree. Do you know any proof or reference?
4
votes
6answers
559 views

Books for Hyperbolic Geometry.

I want to read hyperbolic geometry. Can any one suggest some good books on the topic.
2
votes
1answer
119 views

Approximating Distances in the Hyperbolic Space

I am currently trying to understand the paper by Krioukov et. al. on hyperbolic networks, but since I do not have a background in hyperbolic geometry (or, in that sense, in geometry at all) I struggle ...
2
votes
1answer
52 views

Right angles in hyperbolic pool

(This uses a bit of physics) So I learned today the following fact from physics: Imagine you have two pool balls of the same mass. You hit the first one, and it collides into the second. Then their ...
0
votes
2answers
349 views

Hyperbolic angle

I ve been looking in wikipedia and other sites for "hyperbolic angle", but it is not drawn anywhere. Only an area is shaded everywhere. Is it even possible to draw it?
1
vote
0answers
191 views

Aristotle's Axiom in Hyperbolic Geometry

I need to prove that Aristotle's Angle Unboundedness Axiom holds in hyperbolic geometry and I don't really know where to start. The problem says that we can take a segment parallel to one of the legs ...
4
votes
2answers
158 views

Structure of $x^2 + xy + y^2 = z^2$ integer quadratic form

The pythagorean triples $x^2 + y^2 = z^2$ can be solved in integers using rational parameterization of solutions to $x^2 + y^2 = 1$. It goes through $(1,0)$, then consider the line $y = -k (x - 1)$ ...
4
votes
1answer
309 views

Triangle inequality for hyperbolic distance

A quick way to define the hyperbolic metric in the Poincare disc is via the cross ratio: Given points a,b in the disc, let p,q be the endpoints of the hyperbolic line (halfcircle/line perpendicular to ...
0
votes
1answer
268 views

Universal cover of complete hyperbolic surfaces and torsion-free, discrete groups of isometries of $\mathbb{H}^2$

I'm taking a course this semester, and in it we proved that any complete hyperbolic surface is universally covered by $\mathbb{H}^2$. The text, found at ...
0
votes
1answer
44 views

Consequence of the compactness of a hyperbolic surface

As part of a course I'm taking this semester, I am studying surfaces from this book http://www.math.brown.edu/~res/Papers/surfacebook.pdf. On page 142, the author presents a proof of the fact that ...
1
vote
1answer
101 views

Cusps for higher dimensional hyperbolic spaces

Take your favourite model of the hyperbolic plane $\mathfrak h$. It is well known how to define cusps, and we know those are $\mathbb Q \cup \{ \infty \}$. Now pick a higher dimensional hyperbolic ...
1
vote
1answer
33 views

L is a family of hyp-lines passing through a pt. Not sure how this implies rr'=(c−Re(p))c'

Lemma 1. Let $p \in \mathbb{H}$, and assume $l$ is a family of hyp-lines passing through $p$ such that $l$ is of the form $l = \{c +re^{i\theta} | 0 < θ < π\}$. For simplicity, assume the ...
4
votes
1answer
108 views

centralizers in hyperbolic manifolds are cyclic

I am having trouble seeing why this statement is true: "If S admits a hyperbolic metric, then the centralizer of any non-trivial element of $\pi(S)$ is cyclic. In particular, $\pi(S)$ has trivial ...
1
vote
1answer
86 views

Surface of a Ideal Tetrahedron in Hyperbolic Space H3

The hyperbolic space $\mathbb H3$, has a boundary $\mathbb CP1$. A ideal tetrahedron in $\mathbb H3$, is a tetrahedron, where the four vertices are on the boundary $\mathbb CP1$. The four vertices ...
3
votes
1answer
375 views

Find the eclipse focal point

A conic with equation $$ a x^2 + b y^2 = c $$ has two focus points, where $a=4$, $b=24$ and $c=65$. One of those focus points has a positive x-coordinate. To two decimal places, what is the ...
0
votes
1answer
57 views

Polynomial behavior on hyperbolic plane

More a reference request / more information. I was reading some websites about hyperbolic geometry and got to thinking about how would polynomials $(x^2-2)$ behave in such a geometry. So, I need ...
2
votes
0answers
345 views

Lines in coordinate system of Hyperbolic Plane

An orthogonal coordinate system of the hyperbolic plain can be set up by fixing an orgio $O$, an $x$-axis, a $y$-axis (intersecting each other at $O$ in angle $90^\circ$), and, from any point $P$ ...
2
votes
1answer
58 views

hyperbolic trigonometric relation

Let $F$ be a hyperbolic once-punctured torus, and $G=\pi_1(F)$. Fix a discrete, faithful representation $\rho\colon G\to\mathbb{P}SL(2,\mathbb{R})$ and an element $g\in G$ corresponding to a ...
1
vote
1answer
199 views

Length and area in hyperbolic geometry

I am reading a book about modern geometries by Michael Henle. He gives formulas for length of a curve and area of a region (in upper half plane model: $l(\gamma)=\int _a^b \frac{|z'(t)|}{y(t)}dt, ...
2
votes
1answer
57 views

Character Varieties- reference request

I will start learning about character varieties. I need to learn about Teichmuller spaces and how to consider them as components of "some character variety". Can someone recommend some textbooks or ...
3
votes
1answer
161 views

Volume of a Riemannian manifold and its relation to the area

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 ...
3
votes
0answers
145 views

How do we define a complete metric on a Riemann surface with punctures?

This question is related to another question. If we have a Riemann surface with punctures of negative Euler characterstisc, how can one define a complete hyperbolic metric? I know that in this ...
2
votes
1answer
113 views

Lift of a homeomorphism $f$ between two (hyperbolic) surfaces $X,Y$

Let $X,Y$ be two hyperbolic Riemann surfaces (i.e. they have universal cover the upper half plane $\mathbb{H}$). Let $\pi_X:\mathbb{H}\to X, \pi_Y:\mathbb{H}\to Y $ be the corresponding covering maps. ...
3
votes
1answer
300 views

Riemann surface with punctures corresponds to a hyperbolic surface with cusps

I am reading a paper on Riemann surfaces and the author used the fact that $\{$Riemann surfaces with genus $g$ and $n$ punctures$\}$ is in one-to-one correspondence with $\{$ hyperbolic surfaces ...
5
votes
1answer
224 views

Parabolic elements correspond to punctures

In Mapping Class Group by Farb and Margalit page 22, they say: Let $S$ be a hyperbolic surface. If a non-trivial element of $\pi_1(S)$ is represented by a loop (up to homotopy) around a puncture, ...
4
votes
1answer
266 views

Is there a hyperbolic geometry equivalent to Möbius transformations in spherical geometry?

There is a sense in which all "interesting" properties of functions in spherical geometry are invariant under conjugation by a Möbius transformation. The reason is that the Möbius transformations ...