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

learn more… | top users | synonyms

3
votes
1answer
214 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
28 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
47 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
139 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
135 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 ...
7
votes
1answer
98 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
540 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
576 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
95 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
81 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
76 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
302 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
37 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
45 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
54 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
85 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?
3
votes
6answers
322 views

Books for Hyperbolic Geometry.

I want to read hyperbolic geometry. Can any one suggest some good books on the topic.
2
votes
1answer
106 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
48 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
284 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
173 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
141 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
246 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
194 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
42 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
92 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
101 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
74 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
273 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
55 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
260 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
55 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
178 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
52 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
153 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
133 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
102 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. ...
2
votes
1answer
239 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
195 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, ...
3
votes
1answer
221 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 ...
6
votes
1answer
204 views

How to identify $SL(2,\mathbb{C})/SU(2)$ and the hyperbolic 3-space?

I know that every coset representative $g\in SL(2,\mathbb{C})$ for $SL(2,\mathbb{C})/SU(2)$ can be chosen of the form $$ g = \left( \begin{array}{cc} \sqrt{t} & \frac{z}{\sqrt{t}}\\ 0 & ...
1
vote
1answer
124 views

fixed point of a parabolic commutator

For a hyperbolic isometry $g$ of the hyperbolic plane, denote by $ax(g)$ the oriented geodesic running from the repelling fixed point $p_g$ and the attracting one $q_g$. Let $G$ be the fundamental ...
2
votes
4answers
2k views

Distance in the Poincare Disk model of hyperbolic geometry

I am trying to understand the Poincare Disk model of a hyperbolic geometry and how to measure distances. I found the equation for the distance between two points on the disk as: $d^2 = (dx^2 + dy^2) ...
2
votes
1answer
100 views

radii of horoballs

Consider the horoball $$B_h=\left\{(z,t)\in\mathbb{H}^3\mid t>h>0\right\}.$$ If $T\in\mathbb{P}SL(2,\mathbb{C})$ is an isometry of the hyperbolic space which does not fix the point at infinity, ...
5
votes
1answer
133 views

Conformal automorphism of $H^n$

I was looking for the characterization ( or a complete list ) of the conformal automorphisms of the upper half space $H^n$ in $R^n$. I know that when $n=2$, it is $PSL(2,R)$ and when $n=3$, it is ...
4
votes
1answer
57 views

Can different uniformizations of Riemann surfaces be related somehow

Let $X$ be a hyperbolic compact connected Riemann surface. Let $U\subset X$ be an open subset. Assume that $U\neq X$. We can uniformize $X$ by $\mathbf{H}$ directly to obtain it as a quotient of ...
5
votes
3answers
743 views

Expression of the Hyperbolic Distance in the Upper Half Plane

While looking for an expression of the hyperbolic distance in the Upper Half Plane $\mathbb{H}=\{z=x +iy \in \mathbb{C}| y>0\},$ I came across two different expressions. Both of them in Wikipedia. ...
5
votes
2answers
180 views

Reflections generating isometry group

I was reading an article and it states that every isometry of the upper half plane model of the hyperbolic plane is a composition of reflections in hyperbolic lines, but does not seem to explain why ...
2
votes
2answers
89 views

Solving for the Moebius transform that sends $(x_0, y_0)$ to $(x_1, y_1)$ with two known fixed points

Suppose $M$ is a hyperbolic Moebius transformation with fixed points at $(0, 0), (1, 0)$ which, when applied to the complex $(x_0, y_0)$, yields the result $(x_1, y_1)$. How do I solve for $M$ given ...