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

learn more… | top users | synonyms

1
vote
1answer
44 views

Bi-asymptotic geodesics in Visibility manifolds

I'm thinking about some properties of geodesics in visibility spaces. Here I give some definitions: A Riemannian manifold $(M,g)$ with riemannian distance $d$ is said to be a visibility manifold if ...
8
votes
1answer
108 views

constant-curvature Riemannian metric for Bring's surface

There is a well-known and very symmetric space that is called either "Bring's curve" or "Bring's surface", depending upon the context. (Bring was a Swedish mathematician in the 18th century.) Let's ...
1
vote
0answers
66 views

We can get the geodesic only by the first geodesic equation in hyperbolic plane?

The two geodesic equations are: $$\frac d{ds} (Eu' + Fv') = 1/2(E_u {u'}^2 + 2F_u u'v' + G_u {v'}^2) $$ $$\frac d{ds} (Fu' + Gv') = 1/2(Ev{u'}^2 + 2F_v u'v' + G_v{v'}^2) $$ And in the hyperbolic ...
1
vote
0answers
136 views

Comparing two fundamental domains for $\Gamma(2)$

(0). My question concerns the relation between two different fundamental domains for the group $$ \Gamma(2)= \left\{ \begin{bmatrix} a & b \\ c & d \end{bmatrix}\in SL_2(\mathbb Z) \; \big\...
2
votes
1answer
32 views

Homothetic transformation in the Poincaré upper half plane

i am interested in finding homothetic transformation in the Poincaré upper half plane. I heard that unlike $\mathbb{R}^n$ we don't have an homothetic transform for every $\lambda \in \mathbb{R}^+$. ...
5
votes
0answers
80 views

Compact surfaces with boundary of constant negative curvature

Consider a surface (with boundary) diffeomorphic to $S^1 \times [0, 1]$ and with constant negative curvature, sitting inside $\mathbb{R}^3$. All the examples I know of such surfaces are "part of" (or "...
2
votes
2answers
78 views

hyperbolic tangent vs tangent

The tangent of an angle is the ratio of the length of the opposite side to the length of the adjacent side (in a right triangle). Is there a similar definition for the hyperbolic tangent? The reason ...
1
vote
0answers
119 views

Mapping a line in the hyperboloid model of $\mathbb{H}^2$ to a circle in the Poincaré model

In the hyperboloid model of $\mathbb{H}^2$ a point $P(x,y,z)$ is the intersection of the vector $(x,y,z)$ with the upper sheet of the hyperboloid $x^2 + y^2 - z^2 = -1$, and a line $L(a,b,c)$ is the ...
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 ...
0
votes
1answer
141 views

Models of the hyperbolic plane

Hilbert's theorem tells us that there is no immersion in $\mathbb{R}^3$ with negative Gauß curvature that is complete. Despite, there are some models of surfaces with negative Gauß-curvature like the ...
2
votes
1answer
59 views

Proving triangle inequality for hyperbolic distance using contours

I need to prove the triangle inequality for hyperbolic distances. Could someone give me some pointers? I've tried something, but I'm not sure... Is this valid? Could someone look at $\color{red}{(1)}$ ...
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 ...
2
votes
1answer
452 views

The notion of a right-angled hexagon in hyperbolic geometry

I was hoping someone would help me understand better what a "right-angled hexagon" is in hyperbolic geometry. I know these are glued together somehow to produce hyperbolic pairs-of-pants. The only ...
0
votes
0answers
45 views

Completion of hyperbolic 3-manifold (Thurston's lecture note)

I need help with a part of Thurston's lecture note. p.55~56 in the 4th lecture note states that when obtaining hyperbolic manifold by gluing polyhedra having some ideal vertices, the set of ...
11
votes
1answer
324 views

Law of sines: uniform proof of Euclidean, spherical & hyperbolic cases

There is a unified formulation of law of sines which is true in all 3 constant curvature geometries (Euclidean, spherical, hyperbolic): $$ \frac{l(a)}{\sin\alpha}= \frac{l(b)}{\sin\beta}= \frac{l(c)}{\...
0
votes
1answer
254 views

Determine an hyperbolic midpoint

I am asked to determine the hyperbolic midpoint of the points $0,\frac{1}{2} \in \mathcal{P}$ Q: how do I determine the hyperbolic midpoint and what is actually meant by the midpoint?
6
votes
1answer
225 views

Curvature of De Sitter's space: where does the sign comes?

Consider $\Bbb L^3 = (\Bbb R^3, {\rm d}s^2)$, where: $${\rm d}s^2 = {\rm d}x^2 + {\rm d}y^2 - {\rm d}z^2.$$ We have both the hyperbolic space: $$\Bbb H^2(-1) = \{(x,y,z) \in \Bbb L^3 \mid x^2+y^2-z^...
0
votes
0answers
88 views

Pasch's axiom in the hyperbolic plane

Q: I am asked to show that pasch's axiom holds true in the hyperbolic plane. Pasch's axiom Idea: I was thinking of about a circle $\Gamma$ whose centre is the origin of the complex plane. $\{A,B,C\}$...
1
vote
2answers
84 views

Bilinear form and cross product in hyperbolic geometry

I'm reading Patrick J. Ryan's Euclidean and non-Euclidean geometry, page 152. There is a bilinear form defined by $b\left( {x,y} \right) = {x_1}{y_1} + {x_2}{y_2} - {x_3}{y_3}$ on ${\mathbb{R}^3}$ and ...
1
vote
2answers
63 views

how to construct an hyperbolic (8,3) tiling

how can I construct an hyperbolic (8,3) tiling ( see https://en.wikipedia.org/wiki/Octagonal_tiling ) in the Poincare Disk model or Klein Disk model of hyperbolic geometry ? or: What are the ...
0
votes
2answers
47 views

Ideal quadrilateral in $\mathbb{H^2}$ can be mapped to triangle with vertices $-1,0,\infty, x$ where $x \in \mathbb{R}$

Why can we always map vertices of an ideal quadrilateral in $\mathbb{H^2}$ to $-1,0,\infty, x$ where $x \in \mathbb{R}$? I'm not realising why this can always be done? I.e why $x$ is always real.
1
vote
1answer
32 views

Relation between $\Delta \subset PSL(2, \mathbb{R})$ and $\pi_1(S)$ where $S \cong \mathbb{H^2}/\Delta$.

Suppose $S \cong \mathbb{H^2}/\Delta$ where $\Delta$ is a discrete subgroup of $PSL(2, \mathbb{R})$ I am told that $\Delta \subset PSL(2, \mathbb{R})$ is canonically isomorphic to $\pi_1(S)$. I am ...
2
votes
1answer
56 views

Perimeter of $(p,q)$ tiling of the hyperbolic plane

Consider a $(p,q)$ regular tiling of the hyperbolic plane projected on the Poincare disc (that is, a tiling of q p-gons joining at each vertex). Obviously the area of all tilings converge to $\pi$, ...
2
votes
1answer
81 views

Strong contraction of hyperbolic space

I'm trying to study Hyperbolic geometry, but I can not understand the following statement. Let $X$ be a $δ$-hyperbolic space. Then, there exists $M > 0$ such that for any geodesic $γ$, and ...
2
votes
1answer
126 views

Axioms vs Models in projective and hyperbolic geometry

I'm studying Projective Geometry. The book I'm using begins with a little bit of history of Geometry, more precisely the history of the fifth postulate, the discovery of other geometries, etc. ...
4
votes
1answer
90 views

Is the group generated by two loxodromic isometries with a fixed point in common cocompact?

If you have two distinct loxodromic isometries of the hyperbolic plane $\gamma_1, \gamma_2$ such that they have a fixed point in common. For simplicity let's take the half plane model and let the ...
1
vote
0answers
49 views

Side and angle relations in a hyperbolic quadrilateral.

Let $PQRS$ be hyperbolic quadrilateral, i.e. a quadrilateral in $\mathbb{H}$ whose sides are hyperbolic geodesic. Let length$(PQ)=l_1$, and length$(PS)=l_2.$ Also $\angle SPQ=\theta_1$, $\angle PSR=\...
1
vote
2answers
53 views

Is this a Trapezium?

I once read that in hyperbolic geometry, two hyperbolas can be parallel. In a trapezium, you have four sides and a pair of parallel lines, therefore is it possible to have a trapezium with two ...
0
votes
1answer
76 views

Discrete faithful representation in $PSL(2,\mathbb R)$ and horocycles in hyperbolic space

Let $S$ be a closed oriented surface of genus $g>1$. Is the following true ? Let $\alpha,\beta\in \pi_1(S)\backslash \{1\}$ and $\rho:\pi_1(S)\rightarrow PSL(2,\mathbb R)$ be a discrete ...
1
vote
3answers
82 views

Where does the hyperbolic metric come from?

In hyperbolic geometry, the metric is often defined as $$ds=\frac{\sqrt{dx^2+dy^2}}{y}$$ Where did this metric come from? I have thought long and hard about this question, but have no satisfactory ...
1
vote
2answers
129 views

How to show the Poincaré disk is hyperbolic for some $\delta$

I am trying to prove that the Poincaré disk, $\mathbb{D}$, is $\delta$-hyperbolic with respect to the slim triangle definition for hyperbolicity. I have been stuck for a while on where to begin, ...
0
votes
1answer
80 views

Semiregular tilings of the hyperbolic plane

Consider the irregular quadrilateral tiling of the Euclidean plane depicted by the log-log coordinate grid: I'm wondering if in the Hyperbolic plane exist some analog of this kind of tiling where ...
3
votes
1answer
66 views

Comparing/contrasting hyperbolic and Euclidean geometry - or, on how ${\rm PSO}_2(\Bbb R)$ sits inside ${\rm PSL}_2(\Bbb R)$

I am studying hyperbolic geometry, in particular comparing and contrasting it with familiar Euclidean geometry. Let $\Bbb E$ be the Euclidean plane, and $G={\rm Iso}^+(\Bbb E)$ be the group of ...
0
votes
2answers
24 views

Prove that the gradient of the tangent to $xy=d^2$ is $-\frac{c^2}{4d^2}$

I have this question: Given that $y=mx+c$ is a tangent to $xy=d^2$ prove that $m=-\frac{c^2}{4d^2}$. I'm not sure what direction to take - I tried differentiating the hyperbola equation, but ...
0
votes
1answer
63 views

measuring curvature

Suppose you are transported to an 2 dimensional hyperbolic world, ( a plane (2 dinensional) manifold with a constant negative curvature ) the only geometrical tools you have are a ruler, a pencil, ...
2
votes
1answer
145 views

(compact, non-empty boundary )Surface Geodesics on Hyperbolic Geometry

I have a basic knowledge of hyperbolic geometry . I am trying to understand the meaning of "a compact surface S with non-empty boundary(which is neither a disk nor an annulus )with a complete ...
2
votes
2answers
163 views

Fundamental group of a closed hyperbolic surface is Gromov hyperbolic

Does anyone have a reference for the proof of the result in the title? Thanks!
2
votes
1answer
69 views

Fundamental solution of Poisson equation in the Hyperbolic Plane

If we consider the Poisson's equation $$ -\Delta u=f(x), \ \ \mbox{in} \ \ \mathbb{R}^n, $$ we can construct the fundamental solution $$ u(x)=\int_{\mathbb{R}^n}\Gamma(x-y)f(y)dy, $$ where $\Gamma$ is ...
3
votes
2answers
123 views

Fundamental domains of infinite-index subgroups of $SL(2,\mathbb{Z})$

While discussing modular forms associated to different subgroups $\Gamma$ of $SL(2,\mathbb{Z})$, there appeared to be a heuristic relationship between the index $[SL(2,\mathbb{Z}) \colon \Gamma]$ and ...
1
vote
0answers
168 views

measuring the curvature of a pringle

Assuming for the sake of argument that a pringle shaped potato chip has a constant negative curvature, (which according to http://math.stackexchange.com/a/617610/88985 it is not ) see also picture ...
1
vote
1answer
52 views

Trying to understand Lobatschewsky's parallax formula.

Lobatschewsky gave a method to calculate the curvature of space (see Bonola “Non-Euclidean Geometry” § 45) But I don't understand his method. Can somebody explain? I understand that the method now ...
0
votes
2answers
233 views

Shape made by Beltrami

Beltrami made (out of thin paper or stiff cloth) a model of a surface of constant negative Gauss curvature. The original might have resembled a large saddle shaped Pringles chip, and frills might have ...
0
votes
1answer
41 views

Definition of hyperbolic trig functions

I was doing some homework for my complex analysis class and ran into a personal question. I haven't worked a lot with hyperbolic trig functions (e.g. $\sinh (x)$, $\cosh(x)$, etc.) so this question ...
0
votes
1answer
198 views

Exponential map in the Poincaré upper half plane

I have a question regarding the Poincaré upper half plane. Is there a simple way to express the exponential map? I have been looking unsuccessfully on internet for an expression... Thanks for any ...
0
votes
1answer
64 views

How does one formally verify this picture from hyperbolic geometry?

Suppose we consider some hyperbolic circle with center $iz$ using the upper-half plane model of hyperbolic geometry, and in the interior we have a point $x+iy$. How does one prove that $iy$ is also ...
0
votes
1answer
55 views

Spherical Geometry is to the Sphere just as Hyperbolic Geometry is to the…?

I need to write up a quickie description of Hyperbolic Geometry for non-mathematicians. I am trying to say "Hyperbolic Geoemtry is the Geometry of the surface of a ____" I remember that there is, in ...
2
votes
3answers
157 views

which surfaces have (for a large area) a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...
0
votes
1answer
31 views

“projective maassbestimmung” in Automorphic Functions by Fricke + Klein

I was reading a copy of Fricke and Klein's Theory of Automorphic Forms, and I came across the phrase projective maassbestimmung in the first chapter. Google translate returns: maßbestimmung as ...
0
votes
1answer
64 views

Area of pseudospherical segment

Surface area of segment of a sphere radius $a$ at the equator, between two parallels, is given by $ 2 \pi a (z_2-z_1) $,where $z_2, z_1$ are heights of spherical segment at radii of parallel circles ...
1
vote
1answer
176 views

“Hyperboloid like surface” as hyperbolic plane / pseudosphere

A pseudosphere is an surface wth a constant negative curvature. In most publications, it is almost given that the tracioid (rotated tractrix) is the surface that has a constant negative curvature, ...