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

learn more… | top users | synonyms

1
vote
1answer
33 views

What are Straight lines in the Gans Disk model of the Euclidean plane?

The answer of Blue ( http://math.stackexchange.com/a/1464/88985 ) to Hyperbolic critters studying Euclidean geometry made me interested in the Gans Disk model of the euclidean plane. Blue writes: ...
2
votes
1answer
52 views

Hyperbolic Triangles and Uniform thinness

My textbook states that all triangles in hyperbolic space are uniformly thin in the following way: If $ABC$ is a triangle and $x$ is a point on one side, then there exists a point $y$ on one of the ...
0
votes
1answer
60 views

Show how to map the semicircle $x^2 +y^2 = 1$, $y > 0$, onto $(x−1)^2+y^2 = 4$, $y > 0$, by a combination of $z \to z+l$ and $z \to kz$.

I need some help with this one! One can begin to understand the geometric significance of linear fractional transformations of the half plane by studying the simplest ones, $z \to z+l$ and $z \to kz$ ...
1
vote
0answers
34 views

the fundamental group acts on half upper plan

Let $S$ be a compact oriental surface without boundary of genus $g\ge 2$, then its universal covering is $\mathbb{H}^2$, I am confused with 2 facts following: (1) $\rho:\pi_1(S)\hookrightarrow ...
3
votes
1answer
57 views

Constructing The Cayley Graph and quasi-isometry to $\mathbb{Z}$

If we have a group $G$ defined by: $G=\langle a,b\mid b^2=1\rangle$ then I first need to construct the cayley graph of this, now I think that this is going to look like the "telephone pole" metric ...
0
votes
0answers
49 views

Showing that triangles in $\mathbb{Z}$ are thin

If we let $\mathbb{Z}$ be generated by $\{3,5\}$ then I have a question which asks me to show that geodesic triangles are $k$-thin and to find a minimum bound on $k$. I have been thinking about this ...
0
votes
2answers
54 views

Showing geodesics in $\mathbb{H}^2$ have unique common perpendicular or common endpoint

If we let $\mathbb{H}^2$ be the hyperbolic plane and we let $\gamma_1,\gamma_2$ be geodesics which do not intersect. I have a question which asks me to show that either $\gamma_1$ and $\gamma_2$ have ...
4
votes
1answer
72 views

Hyperbolic metric spaces

I'm trying to prove a simple proposition wich is in Burago's "A Course in Metric Spaces" (Exercise $8.4.5$, p.$287$). Before exposing my problem, let me give some definitions. A metric space $(X,d)$ ...
0
votes
1answer
52 views

oriented surface of genus g and m punctures

Let $S_{g,m}$ be an oriented surface of genus g and m punctures, what's the condition to ensure $S_{g,m}$ is hyperbolic? If $g\ge 2$, I know it is hyperbolic, how about g=0 and g=1? Thanks in advance. ...
1
vote
1answer
31 views

Definition of complex hyperbolic geometry

I am trying to read about complex hyperbolic geometry.But I couldnot find a basic definition for it. Is it just the special case of hyperbolic geometry where we work with complex numbers in the model. ...
1
vote
1answer
92 views

Are there other models for 2 dimensional hyperbolic geometry?

I was a bit browsing the internet for models for (2-dimensional) hyperbolic geometry. and realised that besides the well known Poincare half plane model Poincare disk model Beltrami-Klein disk ...
2
votes
1answer
65 views

Measuring distance on the Poincare disk

I've seen several different ways to measure distance on the Poincare disk i.e Riemann metric/manifold (which I don't understand). However the method we're taught is using $\tanh^{-1}$ and complex ...
2
votes
0answers
29 views

Parallel postulate in hyperbolic geometry question [closed]

Let $L =\{y=0\}\cap\mathcal{H}^{2}$, and let $P=(3,2,2)$. Show that the parallel postulate fails in $\mathcal{H}^{2}$ by giving two lines $L',L'' \in \mathcal{H}^{2}$ with $P\in L',L''$ and $L\cap ...
0
votes
1answer
71 views

hyperbolic geometry proof with parallel lines

We are assuming hyperbolic geometry in this proof. Prove that for every line $l$ and external point P (im assuming point $P$ is not on line $l$), there are an infinite number of distinct lines ...
1
vote
0answers
51 views

Geodesics of the Hyperbolic Plane.

Using the coordinates $\alpha=\log \frac{1+r}{1-r}$ and $\theta$ where $(r,\theta)$ are the usual polar coordinates, show that the segment of the y axis between $(0,0)$ and $(0,r)$ where $0<r<1$ ...
1
vote
1answer
47 views

Showing reflections are hyperbolic isometries in $\mathbb{D}$.

I am interested in showing that isometries in $\mathbb{D}$ are either conformal self-maps in $\mathbb{D}$ or they are compositions of conformal self-maps with $z\mapsto \bar{z}$. It is given that ...
0
votes
2answers
52 views

Invariance of measure on upper half plane

The upper half plane has the measure $|y|^{-2}dxdy$. Show that it is invariant under the action of $SL(2, \mathbb{R})$. I don't understand what any of this means. First, I don't understand what they ...
0
votes
1answer
12 views

Hyperbolic inversions are transitive on unit vectors at $x \in D$

Consider the Poincaré model in which the hyperbolic plane is the interior of a disk $D$, and a point $x$ in it with two vectors $v$ and $w$ of the same length attached. The reflection with respect to ...
1
vote
1answer
66 views

How to construct a triangle with divergently parallel perpendicular bisectors?

I'm pretty sure it is possible to construct a triangle in the Klein model of hyperbolic geometry such that the perpendicular bisectors are divergently parallel, but I'm struggling to do so. I've been ...
1
vote
2answers
198 views

conformal map/Mobius transformation from annulus to $\mathbb{C}\setminus \overline{D(0,1)}$

Does there exist a conformal bijection/Mobius transformation from the open unit disk to the whole complex plane? Does there exist a conformal bijection/Mobius transformation from the annulus $\{z\in ...
1
vote
1answer
50 views

Horocycles in $\mathbb{H}$ and how to measure the distance between them.

Suppose we are looking at the hyperbolic plane $\mathbb{H}$ with usual metric. Now let $u,v \in \mathbb{R} (u < v)$ and consider the unique geodesic joining them. Now consider horocylces at both $u ...
0
votes
0answers
43 views

Why does $\mathrm{Aut}(\mathbb{H}) = \mathrm{Isom}^{+}(\mathbb{H})$?

Suppose $T \in \mathrm{Isom}^{+}(\mathbb{H})$ . With out loss of generality we may assume that $T$ fixes two points $P,P′$ on the imaginary axis $i\mathbb{R}$. Now let $Q \in \mathbb{H}$. Since ...
1
vote
1answer
42 views

Triangular tiling of hyperbolic plane

I'm currently trying to read an interesting paper having to do with embedding graphs in hyperbolic spaces. Namely, "Geographic Routing Using Hyperbolic Space" by Robert Kleinberg. Link: ...
1
vote
0answers
37 views

Big picture question about the Thurston Metric on Teichmuller Space

I'm having difficulty in appreciating the significance of the Thurston metric on Teichmuller space. It seems like a lot of work to develop the theory of this asymmetric metric space with fewer ...
2
votes
1answer
141 views

Prove that the Euclid's parallel postulate is false on the hyperboloid model

Consider the two-dimensional case, i.e. of the hyperbolic place. Define our hyperboloid as the set of points $x=(x_1,x_2,x_3)$ in 3-space (note: Minkowski space, but not needed for this problem) that ...
2
votes
0answers
29 views

Finding a fundamental polygon for two-generator subgroup of PSL(2,R)

Suppose we are given two hyperbolic isometries $A$ and $B$ with intersecting axes. Assume also that the commutator $\left[A,B\right]$ is an elliptic element (perhaps of infinite order). I would like ...
1
vote
1answer
117 views

What is the most accurate definition of the hyperboloid model of hyperbolic geometry?

For simplicity, let's focus on the two-dimensional case (the hyperbolic plane in 3-space). I have seen the hyperboloid model defined as variations on the following i) The positive sheet of a ...
1
vote
1answer
30 views

What is PSU(1,1) PSU(2,1)? Is there a general group of the form PSU(n,m)?

I have seen it written about groups PSU(1,1), PSU(2,1). But what exactly are these? The definitions were not given, and I can't seem to find a definition online. Moreover is there a general class of ...
3
votes
2answers
63 views

What does it mean when someone writes $ds = \frac{1}{y}(dx^2+dy^2)$?

What does it mean when someone writes $ds = \frac{1}{y}(dx^2+dy^2)$? (I have seen this is written in the setting of hyperbolic space.) But essentially I have no idea as to how to interpret this ...
1
vote
1answer
93 views

Defining a Hyperbolic Metric in a General Surface S

I hope someone can help me or give a ref. I'm trying to understand the general way in which one defines a hyperbolic metric on a given surface $\Sigma$ ( and, if not too complicated, on a manifold of ...
1
vote
0answers
50 views

Does distance in hyperbolic space satisfy such properties which Euclidean distance have?

In Euclidean space $E^n$, the distance between two points $x, y$ is just $|x-y|$, and for each fixed $x_0$, the image $y\to\nabla_x|x_0-y|$ is $S^{n-1}$, so it satisfies ...
1
vote
1answer
97 views

Definition of PU(2,1)?

I know what the unitary group of complex matrices $U(n)$ is, and what $PU(n) = PSU(n) = SU(n)/(\mathbb{Z}/n)$ is. However, I found in an article mentioned $PU(2,1)$, the group of bi-holomorphisms of ...
0
votes
0answers
137 views

Area in the upper half plane of a domain-Collar lemma

How can I compute the area of this region in the upper half plane $N=\{z\in U| 0<|z|<e^a,|\text{arg}(z)-\frac{\pi}{2}|<\theta_0, \text{Re}(z)\ge 0\}$, where $U$ denotes the upper half plane ...
0
votes
1answer
299 views

Constructing a regular right angled hyperbolic hexagon

I would like to construct a regular right angled hexagon in a klein model. I'm having a hard time understanding why this method works, here is what my professor did in class. Any additional comments ...
1
vote
1answer
120 views

hyperbolic geometry (and circle ) construction problem

Was thinking about hyperbolic geometry, the Poincare Disk Model and Sweikarts constant and combined them all in a construction puzzle that I was unable to solve. My construction puzzle: Given: A ...
1
vote
2answers
50 views

Is the hyperbolic plane the only simply connected hyperbolic 2-manifold?

Let $S$ be a simply connected Riemannian 2-manifold with everywhere negative curvature. Is $S$ necessarily diffeomorphic to $\mathbb{R}^2$?
1
vote
0answers
30 views

Does a lattice in $PSL(2,\mathbb{R})$ stabilizing $\infty$ have a domain with vertex at $\infty$?

Suppose $\Gamma$ is a lattice in $PSL(2, \mathbb{R})$ acting on the upper half plane. Suppose that the stabilizer in $\Gamma$ of the point at infinity is nontrivial. Does it then follow that the ...
2
votes
2answers
115 views

Circle-Circle intersection area in the hyperbolic space

Is there any closed formula for the area of the intersection of two circles in the hyperbolic plane $\mathbb{H}^2$? The two circles have radii $R, R'$ and a distance of $d$ between centers. If ...
2
votes
1answer
45 views

Using the Gromov product in inappropriate ways

The Gromov product $(x,y)_z=1/2(d(z,x)+d(z,y)-d(y,x)$ is used in Gromov hyperbolic groups to measure how long two rays stay together or how thin a triangle is. In particular, if $(x,y)_z=n$ in a ...
1
vote
1answer
42 views

hyperbolic equilateral triangle : $\cosh \left(\frac{1}{2} a\right) \sin \left(\frac {1}{2} \alpha\right) = \frac{1}{2}$

I met this problem in Ratcliffe's Foundations of Hyperbolic Manifolds. Please help me prove this. In an equilateral triangle with side length $a$ and angle $\alpha$, $$\cosh \left(\frac{1}{2} ...
1
vote
0answers
68 views

The distance between two distinct points in the upper half plane

I'm trying to derive the distance between two distinct points in hyperbolic space and I'm working on the upper half plane. So, with the parametrization $\sigma(t): x=r\cos(t), y=r\sin(t),\; ...
1
vote
0answers
63 views

References for Hyperbolic Graph Theory

I'm sorry to disturb you but I really got stuck! I can't find any clear and, somewhat, complete reference for this topic. I'm looking for a book, or review, or survey or course notes regarding ...
5
votes
2answers
118 views

Relation: Modular Forms and hyperbolic geometry, or, why do they map from $\mathbb{H}$?

In my very young mathematical career, I have worked a lot with modular forms. Recently, I worked as a teaching assistant in a course about geometry. At the end of the course, we dealt with hyperbolic ...
4
votes
2answers
104 views

An axiomatic treatment of hyperbolic trigonometry?

I would like to see results derived in hyperbolic trigonometry synthetically, i.e. just by working from axioms, for example the ones given by Hilbert (or even Tarski). Most authors seem to discuss ...
3
votes
1answer
51 views

Hyperbolic Metric with respect to $\pi: \mathbb{H} \rightarrow {{\Delta}^{*}}$

I have the following problem: Find the unique metric $\rho=\rho(z)\left|dz\right|$ on the punctured unit disk $\Delta^{*}$ such that $\pi^{*}(\rho)=\left|dz\right|/(\mathrm{Im}(z))$ where $\pi: ...
2
votes
2answers
68 views

What is the distance from the origin to a right angled regular hyperbolic octagon?

Given a right angled regular hyperbolic octagon centered at origin, what is the distance from the origin to any vertex? I know that the distance between the origin and the point $p=(a,0)$, $a>0$, ...
13
votes
2answers
288 views

How did Beltrami show the consistency of hyperbolic geometry in his 1868 papers?

This is in response to comments and the answer by user studiosus to this question: As for Beltrami's work: Consistency of a geometry from (post) Hilbert viewpoint has nothing to do with ...
2
votes
2answers
135 views

Is there a surface in Euclidean space that admits elliptic geometry?

As I understand, on a pseudosphere, a surface of constant negative curvature, we can realize a part of the hyperbolic plane (but not the entire plane due to Hilbert's 1901 theorem) and use this for ...
0
votes
0answers
42 views

“Fundamental region” for non-discrete Moebius groups.

Suppose we are given a discrete, faithful representation $\rho$ of $F_2=\langle a,b|\rangle$, the free group on two generators, into $\mathbb{P}SL(2,\mathbb{R})$, so that the quotient is homeomorphic ...
0
votes
1answer
48 views

Can I solve for the fractional volume of a hyperboloid?

This looks like a homework problem because it is. I'm stuck at the portion where I solve for fractional volumes. Suppose you are a part of a team designing a water tank in the shape of a hyperboloid. ...