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

learn more… | top users | synonyms

1
vote
1answer
105 views

Problem about alternate angle on poincare disc model.

If two alternate angles are same, two poincare lines are parallel. (i.e. If two poincare lines cut by a transversal have a pair of congruent alternate interior angles, then the two poincare lines are ...
3
votes
1answer
97 views

non-discrete group isomomorphic to a discrete group

I am trying to find an example of a discrete group of Möbius transformation that is isomorphic (algebraically) to a non-discrete group. Can someone please help finding such groups.
0
votes
1answer
51 views

Solve $d_h(A,B)$ on a Poincare Disc

Consider △ABC on a poincare disc. On △ABC, $\angle C = \theta(radian)$, $d_h(B,C)=d_h(A,C)=b$ In this situation, solve $d_h(A,B)$. To me, it is hard because I have no experience. Is there someone ...
0
votes
1answer
73 views

Poincare disc model problem. find $d_h(A,B)$

Consider $\triangle ABC$ on a poincare disc. On $\triangle ABC$, $\angle C=90^\circ$, $d_h(B,C)=a$ and $d_h(A,C)=b$ In this situation, find $d_h(A,B)$. I'm taking a course but I cannot follow ...
1
vote
1answer
365 views

prove that the sum of the angles in any triangle is less than 180 in hyperbolic geometry (or poincare model).

We could use poincare disc model as a hyperbolic geometry model. I have difficulty understanding poincare disc model. So is there someone to help?
1
vote
1answer
456 views

Convert Euclidean distance to Hyperbolic distance

I am searching for formulae to convert Euclidean distance into hyperbolic distance. The problem that I am confronting is that I want to calculate if a bug travels $x$ units in Euclidean space, how ...
3
votes
1answer
448 views

How to convert between the hyperboloid model and the Poincare patch for $\mathbb{H}_n$?

This question is motivated by the results in this paper, http://calvino.polito.it/~camporesi/JMP94.pdf In this paper some of its most important results about the asymptotics of symmetric traceless ...
2
votes
1answer
334 views

Distance in hyperbolic geometry

In Euclidean geometry, we have that the distance between two points $p$ and $q$ in $\Re^n$ is $\sqrt{(p_1^2-q_1^2) + (p_2^2-q_2^2) + \ldots + (p_n^2-q_n^2) }$ (if we denote the points by $p = (p_1, ...
3
votes
1answer
330 views

Which of the (non-)Euclidean planes can we embed into non-Euclidean 3-space?

I read the answers to this very interesting question and saw that we can in fact embed the Euclidean plane into hyperbolic 3-space using what is called a horosphere. However, as Hilbert showed us, the ...
6
votes
1answer
2k views

What is the relationship between hyperbolic geometry and Einstein's special relativity?

I am a third year math student writing a term paper on hyperbolic geometry and I would like to understand its relationship with special relativity. I have read that the hyperboloid model of hyperbolic ...
0
votes
1answer
69 views

What would be called as the shape of $xy=10$ in 3-dimensional space?

As title says, what would be called as the shape of $xy=10$ in 3-dimensional space? It doesn't seem to be paraboloid nor hyperboloid...
1
vote
0answers
30 views

Proof: Every H-Projection is product of H-Reflections

I have some problems with the proof of the statement above (sorry for a bad translation I guess). First of all some definitions: Definition 1 (möbius-transformation): Let $A \in \mathbb{C}^{2 ...
3
votes
1answer
197 views

Fuchsian groups and topological isomorphism

I have a (finite) presentation of a group and I am wanting to prove that it is not Fuchsian. Because it is given by a presentation, a neat, algebraic description of Fuschian groups would be nice. This ...
1
vote
0answers
64 views

JSJ-decomposition of a non-hyperbolic 3-manifold

Suppose $M$ is a $3$-manifold. Then you can split it over spheres. This is the "prime decomposition" and is unique. You can then split the components of this decomposition along tori. If you leave the ...
0
votes
0answers
52 views

boundary of word-hyperbolic group

Let $G$ be a word-hyperbolic group and let $\partial G$ be its (Gromov) boundary. Do there exist criteria that imply that all non-trivial finite order elements of $G$ act fixed-point freely on ...
1
vote
5answers
83 views

Easy explanation of non-abelianness of hyperbolic curves

I'm looking for easy proofs (or just an easy proof) of the following statement: Let X be a hyperbolic Riemann surface, i.e., $X$ is a Riemann surface and the universal covering of $X$ is the complex ...
7
votes
1answer
1k views

Geometric construction of hyperbolic trigonometric functions

If we have a circle we can geometrically construct the trigonometric functions as shown. The functions all derive from sin and cos. If we say that the circle is a conic section and imagine it on the ...
2
votes
1answer
163 views

Seifert manifolds and Fuchsian group

A Fuchsian group is a discrete subgroup of $PSL(2, \mathbb{R})$. Let $M$ be a Seifert manifold (maybe with boundary) and $t \in \pi_1(M)$ the class of a regular Seifert fiber. Hempel claims in his ...
1
vote
1answer
365 views

Questions about triangles, n-gons, and tessellations of the hyperbolic plane

Why there are infinitely many regular tessellations of the hyperbolic plane? Can there be a triangle made up of three straight lines in the hyperbolic plane? I know it's impossible since the angle ...
0
votes
1answer
99 views

What is complex conjugation in Hyperbolic Geometry

Suppose we are working in the hyperbolic plane, that is the set $$ \mathbb{H}^2 = \{ u + iv \colon v > 0\} \quad \text{with metric} \quad \frac{du^2 + dv^2}{v^2}\,. $$ Now, formally, I can rewrite ...
1
vote
1answer
152 views

justifying reflection across line in beltrami-klein model

Justify the following construction of the Klein reflection A' of A across m. Let Λ be an end of m and P be the pole of m. Join Λ to A and let this line cut y (which is the circle, my note) ...
2
votes
1answer
77 views

Simple closed geodesic around two hyperbolic cusps.

Consider a connected hyperbolic $2$-manifold $M$ with cusps. Consider a simple closed geodesic in $M$, which dissects $M$ into two components. Assume that one of the components contains exactly two ...
1
vote
1answer
98 views

projection onto the nullspace of the Laplacian on a conformally compact surface

Let $(M,g)$ be a conformally compact surface. An example situation is a hyperbolic surface of infinite area like the quotient $\Gamma\backslash \mathbb{H}$, where $\mathbb{H}$ is the hyperbolic plane ...
0
votes
1answer
45 views

Verifying the vertices of a Hyperbola

In this exercise it is required to verify that the points O & A(4,0) are the vertices of the Hyperbola H , as you can see in the marked part. Can someone help verify that ?
4
votes
1answer
106 views

Computing the volume of a hyperbolic knot

Could anyone show me or refer me to a link where the volume of a hyperbolic knot, say, the figure-8 knot, is computed (well, in fact estimated) explicitly and not only having the procedures outlined?
2
votes
1answer
108 views

Quotient under a Fuchsian Group

Let $D$ be the unit disk in the complex plane, and let $H$ be a fuchsian group generated by one fixed point free element, say $a$. What it the quotient $D/H$? Attempt: The quotient is biholomorphic ...
2
votes
1answer
104 views

A Fuchsian Group?

Let $p_k := e^{\pi/2 i k}$, $k \in \{0, 1,2,3\}$. Let $b_k$ the geodesic of the hyperbolic disk connecting $p_k$ and $p_{k+1(\text{mod}4)}$. For instance, $p_0$ and $p_1$ are connected by the lower ...
2
votes
2answers
223 views

Hyperbolic Geometry - reference request [duplicate]

I need some information about Hyperbolic Geometry. For example, Spherical Geometry is a subsection of Hyperbolic Geometry or no? Can you suggest to me a book or some other reference to help me ...
3
votes
0answers
97 views

Question regarding the projective models of the anti-de-Sitter spaces and good online references for learning them from the scratch? (Specifics below)

As my title says above, I am trying to find answers to and also good online reference where I can find complete description of projective models of hyperbolic space, de-Sitter space and anti-de-Sitter ...
2
votes
1answer
189 views

Isometries of a hyperbolic quadratic form

I am reading an article that says "The group of isometries (of a hyperbolic space) of a hyperbolic quadratic form in two variables is isomorphic to the semi-direct product $\mathbb{R} \rtimes ...
2
votes
1answer
195 views

Isometry fixing two points of a geodesic line

Let $H$ be a hyperbolic space, and let $\Gamma \subset H$ be a geodesic line, i.e., the image of an isometry from $\mathbb{R}$ to $H$. If $f$ is an isometry of $H$ that fixes two distinct points of ...
9
votes
1answer
300 views

Series for $\pi$ which correspond to apollonian gaskets or hyperbolic tilings of the unit disk

Consider the two partitions of the unit disk in $\mathbb{R}^{2}$, the first an Apollonian gasket and the second is the $\{7,3\}$ hyperbolic tiling: Since the unit disk has radius $1$, both of these ...
2
votes
1answer
205 views

Arc length parameter s

Consider the metric $$ds^2 = \frac{dx^2+dy^2}{y^2}.$$ Assume $R>0, a\in\mathbb{R}$. Consider the curve $$\gamma(\theta)=(a+R\sin\theta,R\cos\theta)$$ for $-\frac{\pi}{2}\leq\theta\leq ...
2
votes
2answers
261 views

Riemann surface arising as a quotient of the upper half-plane.

Let $H$ be the upper half-plane $\{z \in \mathbb C \mid \Im(z) > 0\}$. For a fixed real $\lambda > 0$, let be the automorphism $$d_\lambda : H \to H, z \mapsto \lambda z .$$ Denote $\Gamma$ the ...
2
votes
1answer
138 views

Möbius transformation that preserve distance for two pair of given points in $\mathbb{H}$.

I need to prove that for a given two pair of points $(z_1,z_2)$ and $(w_1,w_2)$ in $\mathbb{H}$ (Poincaré's upper half plane), where $d_{\mathbb{H}}(z_1,z_2)=d_{\mathbb{H}}(w_1,w_2)$, there is an ...
4
votes
1answer
472 views

Study of the Laplacian on the Hyperbolic plane

What's a good reference for the simplest case? I'm interested in the spectral theory of the Laplace-Beltrami operator on the upper half plane (domain, self-adjoint extension, etc.). I only need this ...
0
votes
2answers
361 views

circle reflections in hyperbolic geometry

Determine the equation of the circle reflection of the circle $x^2 + y^2 = 1$ if the circle of reflection is $x^2 + y^2 + 2x = 0$. I'm learning about circle inversion but I still don't get what this ...
2
votes
1answer
56 views

Need help with finding length of sides and angles of a triangle in upper half plane model

The given points are $i, 3i, 1 + 2i$ I know that the distance for points on a vertical line can be found by using the formula $$\ln\left|\frac{y_2}{y_1}\right|$$ So the distance between points $ i$ ...
1
vote
1answer
339 views

Finding an angle of a triangle in the upper half plane model given three points

I've been given three points in the upper half plane $(i, 3i, 1 + 2i$), and one of the homework questions that asked is to find the angles of the given triangle. A previous problem asks to find the ...
1
vote
0answers
229 views

Can a hyperbolic quadrilateral have 3 obtuse angles and 3 equal sides?

Can a hyperbolic quadrilateral have 3 obtuse angles and 3 equal sides? I have been trying to visually see if that is possible or not.
1
vote
1answer
83 views

Quick Hypberbolic Geometry question concerning Saccheri Quadrilaterals

Can a Saccheri Quadrilateral have 3 congruent sides? I know the summit is less then the base, but could it happen that the base is the same length as the two vertical sides?
1
vote
1answer
109 views

hyperbolic quadrilateral angles

On the hyperbolic plane, if I have a quadrilateral that has all congruent interior angles $\alpha$, how do I figure out what $\alpha$ is? I know in Euclidean geometry one could just use ...
1
vote
1answer
160 views

geometrically finite hyperbolic surface of infinite volume

I am starting to read some papers involving analysis on hyperbolic manifolds. In these the notion of a "geometrically finite hyperbolic surface of infinite volume" is mentioned frequently and I am ...
1
vote
1answer
141 views

How does my Beltrami-Klein model look?

Did I sketch the picture right based off of the specific instructions given in the problem?
1
vote
2answers
257 views

convex polygons in hyperbolic geometry

Does $\exists$ on the hyperbolic plane, a convex quadrilateral $Q$ and a convex pentagon $P$ with the same angle sum? I found this question to be rather interesting.
2
votes
2answers
53 views

Hyperbolic quadrilaterals with two adjacent right angles

For convenience we'll work in the hyperbolic upper half plane $H$. We are given a hyperbolic quadrilateral $Q$ with vertices $a,b,c,d$ and geodesic segment edges $[ a,b ]$ $[ b,c ]$ $[ c,d ]$ $[ d,a ...
1
vote
0answers
359 views

Calculating hyperbolic distance between two points

I was looking for a formula to calculate the hyperbolic distance between two planes and came across this formula $$\ln\left(\csc b-\cot b\over \csc a - \cot a\right)$$ where $a$ and $b$ are the ...
1
vote
1answer
63 views

Degree of morphism of quotient of upper half-plane

Recall that SL$_2(\mathbf R)$ acts on the complex upper half-plane $\mathbf H$. Let $\Gamma$ be a finite index subgroup of SL$_2(\mathbf Z)$. Then there is the quotient $Y_\Gamma = \Gamma \backslash ...
3
votes
2answers
153 views

Showing the function $f(x,y)$ is one by one

Yesterday, while teaching geometry, I was faced to a problem saying that the function below is an distance function: $$d(P,Q)=\Big|\ln\frac{\frac{x_1-c+r}{y_1}}{\frac{x_2-c+r}{y_2}}\Big|$$ where in ...
1
vote
1answer
100 views

Projecting external points to a circle: Distance order preserving?

Given a circle, and a set of points $A$ that lie external to the circle; I perform the following simple operation: I compute the point of intersection of the i) circle and the ii) line joining each ...