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

learn more… | top users | synonyms

7
votes
1answer
2k 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 ...
4
votes
6answers
2k views

Books for Hyperbolic Geometry.

I want to read hyperbolic geometry. Can any one suggest some good books on the topic.
5
votes
2answers
524 views

The law of sines in hyperbolic geometry

What is the geometrical meaning of the constant $k$ in the law of sines, $\frac{\sin A}{\sinh a} = \frac{\sin B}{\sinh b} = \frac{\sin C}{\sinh c}=k$ in hyperbolic geometry? I know the meaning of the ...
1
vote
2answers
187 views

For what $n$ does a hyperbolic regular $n$-gon exist around a circle?

Does there exist a relationship in terms of $r$ and $n$ to represent how large $n$ must be if $r$ of the circle is given in the hyperbolic plane? (The edges of the regular $n$-gon are tangent to the ...
103
votes
4answers
2k views

Hyperbolic critters studying Euclidean geometry

You've spent your whole life in the hyperbolic plane. It's second nature to you that the area of a triangle depends only on its angles, and it seems absurd to suggest that it could ever be otherwise. ...
15
votes
3answers
741 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 ...
27
votes
11answers
9k views

What are the interesting applications of hyperbolic geometry?

I am aware that, historically, hyperbolic geometry was useful in showing that there can be consistent geometries that satisfy the first 4 axioms of Euclid's elements but not the fifth, the infamous ...
7
votes
3answers
2k 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. ...
4
votes
1answer
3k views

Möbius Transforms that preserve the unit disk

Say I wish to prove that every möbius transformation of the unit disk onto itself can be written in the form $A(z) = e^{i\theta}\frac{z+a}{1+\bar{a}z}$, where $\theta$ is a real number and $a$ is a ...
3
votes
2answers
115 views

Is the shortest path in flat hyperbolic space straight relative to Euclidean space?

I have the following metric $$ ds^2 = dt^2-dx^2 $$ and I wanted to prove to myself that the shortest path for this metric is straight. I used the following relation $x=f(t)$ and $$ S = \int_{t_1}^{t_2}...
8
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 ...
8
votes
2answers
511 views

Symbolic coordinates for a hyperbolic grid?

Rephrasing     (one year later)    (original question is below) Apparently the original question wasn't clear, or nobody knows an answer (or both). So I will try to rephrase it. Look at your ...
6
votes
2answers
1k views

Geometric interpretation of hyperbolic functions

When proving identities like $$\cosh(2x)=\cosh^2(x)+\sinh^2(x)$$ $$\cosh^2(x)=\sinh^2(x)+1$$ algebraically, I am beset by the feeling that there should be a geometrical interpretation that makes them ...
5
votes
1answer
613 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
2answers
980 views

Does anyone know a good hyperbolic geometry software program?

We are currently using this program called NonEuclid but it is a little frustrating to use sometimes and I was wondering if anyone knows another program for hyperbolic geometry.
1
vote
1answer
299 views

Hyperbolic geometry

Post Number: 45 Posted on Friday, 22 March, 2013 - 04:48 pm: I was asked the following question and i do not have any clue on these. Could anyone help me in the beginning of this? Show that there ...
5
votes
1answer
127 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 (...
3
votes
1answer
233 views

“isometric invariant” vs “isometric” what do these term mean?

I am now hopelessly confused: There is Hilberts Theorem https://en.wikipedia.org/wiki/Hilbert%27s_theorem_%28differential_geometry%29 . that implies that there are no isometric embeddings of the ...
3
votes
2answers
371 views

What's the connection between “hyperbolic” inner product spaces and the hyperbolic plane?

In Jacobson's Basic Algebra I, in Kaplansky's Linear algebra and geometry and in Artin's Geometric algebra, a hyperbolic plane is defined to be a two-dimensional, nondegenerate inner product space ...
2
votes
5answers
2k views

Distance between points in hyperbolic disk models

I was puzzeling with the distance between points in hyperbolic geometry and found that the same formula is used for calculating the length in the Poincare disk model as for the Beltrami-Klein model ...
1
vote
1answer
110 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 ...
6
votes
2answers
175 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 ...
5
votes
3answers
4k views

The shape of Pringles potato chip

Why the shape of Pringles potato chip is hyperbolic paraboloid? I found several articles that say the shape is hyperbolic paraboloid, but cannot find out why it is so. Does anyone have reasonable (...
5
votes
2answers
162 views

Do minimal hyperbolic surfaces exist? What do they look like?

I understand that it is impossible to embed* the entire hyperbolic plane in $\mathbb{R}^3$. But, can one create a embedding of part of the hyperbolic plane such that the resulting surface is also ...
5
votes
0answers
198 views

Fundamental solution to Laplace equation on arbitrary Riemann surfaces

So, I've seen in a few places this method of calculating the heat kernel on a manifold given the kernel of its universal cover, through a so-called 'tiling method' as in section five of this paper (...
4
votes
1answer
396 views

Comparing metric tensors of the Poincare and the Klein disk models of hyperbolic geometry

I was trying to compare the metric tensor at the wikipedia pages of the Beltrami Klein model https://en.wikipedia.org/wiki/Klein_disk_model and the metric tensor of the Poincare disk model at https:...
4
votes
2answers
216 views

List of connected Lie subgroups of $\mathrm{SL}(2,\mathbb{C})$.

I am not familiar with the theory of Lie groups, so I am having a hard time finding all the connected closed real Lie subgroups of $\mathrm{SL}(2, \mathbb{C})$ up to conjugation. One can find the ...
3
votes
2answers
320 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 ...
3
votes
1answer
80 views

Area of hyperbolic triangle definition

I found this question recently in my booklet on hyperbolic geometry asking a very simple question but I could not answer it: Why can we not define the area of a hyperbolic triangle as in the plane ...
2
votes
1answer
381 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 two-...
2
votes
1answer
99 views

What does the logarithm of a hyperbolic line look like?

At a fixed point $p$ of hyperbolic $n$-space $H$, there is the exponential map from flat $n$-space to $H$ taking straight lines through the origin of the flat space to hyperbolic lines through $p$ in ...
2
votes
2answers
215 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 ...
2
votes
2answers
149 views

Universal Cover of a Surface with Boundary. What does Cantor set on Boundary Correspond to?

I am trying to understand in more detail the answer to: Universal Cover of a Surface (with Boundary) It is mentioned that the universal cover of a hyperbolic surface $S$ with geodesic boundary is a ...
1
vote
1answer
350 views

Hyperbolic area and $SL_2$

Given that $\mu(A) := \iint_{A}\frac{\mathrm dx\mathrm dy}{y^2}$ where $A \subset H$ and $H$ is the upper half-plane, I need to show that: a. The measure $\mu$ is invariant under all $g \in SL_2(\...
1
vote
1answer
59 views

Equalities and inequalities for quadrilaterals in hyperbolic space

In euclidean space any quadrilateral satisfies equalities and inequalities $$a^2 + b^2 + c^2 + d^2 = p^2 + q^2 + 4x^2$$ $$a^2 + b^2 + c^2 + d^2 \ge p^2 + q^2$$ where $a,b,c,d$ are the side lenghts, $...
1
vote
1answer
112 views

How to construct hyperbolically equidistant points on a line?

In Stillwells' "Sources of Hyperbolic Geometry " page 66 figure 3.3 shows an ((incomplete?) construction of hyperbolically equidistant points on a line. I tried to reconstruct the figure but did ...
1
vote
1answer
416 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?
4
votes
2answers
109 views

Translating a Euclidean proof to hyperbolic language..

User HyperLuminal asked for help to prove the following statement: Connecting the feet of the altitudes of a given triangle, we obtain another triangle for with the altitudes of the original ...
4
votes
1answer
77 views

limit set of Kleinian groups with closed manifolds as quotient

I'm trying to convince myself that if $M\cong\mathbb{H}^3/G$ is a closed hyperbolic 3-manifold then the limit set $\Lambda(G)$ equals the whole Riemann sphere $S_\infty^2$. My idea of the proof goes ...
4
votes
2answers
183 views

Distance from a point to a line in the hyperbolic plane

I have two questions: What is the distance from a point to a line in the hyperbolic plane? Fix a line $L$ in the hyperbolic plane. What does the set of points of distance $d$ from $L$ look like?
4
votes
1answer
467 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 ...
4
votes
1answer
384 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 ...
4
votes
3answers
64 views

Complex hyperbolic Trigonometry

When faced with the equation $\cos{z}=\sqrt{2}$ I want to solve for z so I break it up into a sum $z=x+iy$ and get: $\cos{z}=\cos{x}\cosh{y}-i \sin{x} \sinh{y}$ equating real and imaginary parts I ...
4
votes
2answers
350 views

Models of hyperbolic geometry

Wikipedia states the following: [The Poincaré half-plane model of hyperbolic geometry] is named after Henri Poincaré, but originated with Eugenio Beltrami, who used it, along with the Klein model ...
3
votes
2answers
165 views

Distance of two hyperbolic lines

Consider the upper-half plane model of the hyperbolic plane $\mathbb {H}^2.$ Now consider two lines in it given as $\ell_1:=\lbrace { (x, y)\in \mathbb {H}^2 \vert x^2 +y^2=r^2\rbrace}, \ell_2:=\...
3
votes
1answer
75 views

Existence of unique circle passing through interior points of unit disk meeting the boundary orthogonally

I am a self-studies and this is a hw problem from a complex analysis scourse I've been doing. The problem set pertains to the topic Automorphism Groups and has a high concentration of fractional ...
3
votes
0answers
100 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 ...
3
votes
0answers
52 views

Representation of hyperbolas.

I am well aware of the matrix representation for rotation of points on a circle with reals $$M_{R(\theta)} = \left(\begin{array}{rr} \cos(\theta) & \sin(\theta) \\ -\sin(\theta) & \cos(\theta)\...
2
votes
1answer
115 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 ...
2
votes
1answer
169 views

Area of a right angled hyperbolic triangle as function of side lengths

I was puzzeling with Area of hyperbolic triangle definition and could not figure it out, but then i thought there should be a (maybe solvable) simpler problem so here it is: suppose: an ...