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

learn more… | top users | synonyms

3
votes
1answer
36 views

Geometries (Euclidean and Projective)

We can think of Euclidean Geometry and Cartesian (Coordinate) Geometry as equivalent, in the sense that some proposition is true in Euclidean Geometry iff it's true in Coordinate Geometry. It makes ...
0
votes
1answer
30 views

hypercycles through a given point that share a tangent through that point converge towards a horocycle as their distances go towards infinity.

On http://en.wikipedia.org/wiki/Hypercycle_%28geometry%29 I found the statement. The hypercycles through a given point that share a tangent through that point converge towards a horocycle as their ...
0
votes
2answers
42 views

How to construct a circle in a the Poincare Disk model

How can I construct an circle with centre C going trough point P in a Poincare disk?. I found an script of how to do it in the "Poincaré Disk Model of Hyperbolic Geometry"toolkit from the geometers ...
0
votes
1answer
23 views

Distance-preserving coordinate transformations for the poincaré disc

Following this question, I'm looking for a coordinate transformation which leaves distances unchanged. Does such a transformation exist? The isometries for the poincaré disk looked promising, but only ...
2
votes
1answer
49 views

Representation of cell location in hyperbolic plane

I want to represent an order-5 square tiling (image from Wikipedia; more text below image): Obviously for a simple grid I can uniquely refer to a given square by its ...
1
vote
1answer
14 views

calculate the curvature of a surface with a Lambert quadrilateral

I was wondering how can I calculate the curvature of a surface? For example: Given a Lambert quadrilateral ABCD (see http://en.wikipedia.org/wiki/Lambert_quadrilateral ) with: $ DA \bot AB $, $ AB ...
0
votes
2answers
42 views

Hyperbolic geometry and orientation reversing isometries.

In Quasi-cluster algebras from non-orientable surfaces by Dupont and Palesi, one can read the following on page 11: I don't understand why the 'following relations' in the image included hold. ...
0
votes
1answer
34 views

Limit set of Kleinian group

Let $\Gamma \subset PSL_2 (\mathbb{C})$ a Kleinian group coming from a discrete faithful representation $\rho : \pi_1(M) \to PSL_2 (\mathbb{C})$ of the fundamental group of a closed connected ...
0
votes
1answer
36 views

Hyperbolic metric of arbitrary curvature.

I've been trying to find this online, in books, etc, but I can never find the expression for the metric on the unit disk $$\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$$ that has constant ...
1
vote
1answer
25 views

Distance from point to line segment in Poincaré disk model

I'm trying to build a geometric datastructure in hyperbolic space. For that purpose, I'm using the Poincaré disk model. The distance between two points can be calculated with the hyperbolic law of ...
1
vote
1answer
58 views

The distance in Lobachevski (Hyperbolic) space

I need to find the distance from the point provided in the hyperboloid model with a vector $x$ where $\langle x,x\rangle=-1$ to the hyperplane $H_e$ with a normal vector $e$, where $\langle ...
2
votes
1answer
44 views

Decomposition of modular group elements

The modular group $PSL_2(\mathbb{Z})$ acts on the hyperbolic half-space $H$ by $$h\cdot z=\frac{az+b}{cz+d},\;z\in H,\;h=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in PSL_2(\mathbb{Z})$$ with ...
1
vote
0answers
52 views

What is a manifold with cusp?

What I am primarily currently learning about is hyperbolic geometry and methods to find hyperbolic structures on triangulated manifolds. I see phrases such as 'cusp ends' and 'manifold with one cusp' ...
1
vote
0answers
33 views

Submanifold of a Kobayashi hyperbolic manifold

Let $M$ be complex manifold which is Kobayashi hyperbolic. Let $N$ be a submanifold of $M$ obtained as the zeroes of an analytic submersion $f : M \rightarrow R$, $R$ complex manifold. Question : ...
2
votes
1answer
35 views

Fundamental domain of a Fuchsian group which is not locally finite

I am trying to understand Example 9.2.5 in Beardon's book The Geometry of Discrete Groups. The goal is to construct a fundamental domain of a Fuchsian group which is not locally finite. Definitions ...
1
vote
1answer
31 views

Hyperbolic (and related) structures on open unit disk

I am facing some confusion about different structures on the open unit disk $D:=\{ z \in \mathbb{C}, |z|<1 \}$. By Riemann Mapping Theorem we know there is just one complex structure on $D$, up to ...
0
votes
1answer
63 views

In the hyperbolic geometry, is there a range of $\pi$?

In Euclidean space, $\pi$ is the constant value $3.14159\dots$ But I tried to measure the value of $\pi$ and found that $\pi$ is not constant! So I wonder if there is a range of $\pi$. If so, is ...
0
votes
1answer
23 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
48 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
59 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
32 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
44 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
45 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
53 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
60 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
37 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
22 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
71 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
48 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
28 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
64 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
45 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
39 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
1answer
31 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
11 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
65 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
124 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
38 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
42 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
37 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
27 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
117 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
18 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 ...
0
votes
1answer
84 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
29 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
61 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
84 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
45 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
91 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
133 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 ...