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

learn more… | top users | synonyms

0
votes
0answers
21 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 ...
4
votes
0answers
34 views

Law of sines: Euclidean, spherical & hyperbolic

There is a unified formulation of law of sines which is true in all 3 geometries (Euclidean, spherical, hyperbolic): $$ \frac{l(a)}{\sin\alpha}= \frac{l(b)}{\sin\beta}= \frac{l(c)}{\sin\gamma}, $$ ...
0
votes
1answer
14 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
138 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 ...
0
votes
0answers
15 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. ...
0
votes
0answers
15 views

On: geometry ; incidence axioms and a given set of points and straight lines

I need help on the following problem set: Let $P = \{ A, B, C, D, E \}$ be a set with five elements and let $$ \mathfrak{g} := \left \{ ...
1
vote
2answers
26 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 ...
0
votes
1answer
19 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
25 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
25 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 ...
1
vote
1answer
26 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$, ...
1
vote
1answer
58 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
47 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
55 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
17 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 ...
1
vote
2answers
28 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
40 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
56 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 ...
0
votes
0answers
18 views

Prove by showing that CW is asymptotic parallel to DZ in the direction of W and Z

If XABY is a biangle and WCDZ is a figure formed so that AB=CD. angle BAX = angle DCW, and angle ABY = angle CDZ then WCDZ is a biangle. If Two lines AX and BY are asymptotic parallel in the ...
1
vote
2answers
49 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
28 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
0answers
43 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
15 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
34 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, ...
1
vote
1answer
55 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
84 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
0answers
43 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
67 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
60 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
23 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
149 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
32 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
43 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
54 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
30 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 ...
0
votes
0answers
38 views

HyperCube questions

I have three hypercube questions. 1) How many nodes does a d-dimensional HyperRing have (as a function of d) ? 2) How many edges ? 3)What is the degree of each node in a HyperRing with n nodes ? I ...
2
votes
1answer
83 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
16 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
0answers
12 views

constant $K$ and $k_g$ ovals growth

Referring to my recent post: Ovals of constant $ k_g$ on constant $K$ surfaces, using geodesic polar coordinates with radial geodesic lines built along v=constant around a fixed point on a constant ...
0
votes
1answer
32 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
76 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, ...
1
vote
2answers
83 views

Tractricoid as a pseudosphere (surface with constant negative curvature)

How to motivate/calculate/prove see that the tractricoid, i.e. a tractrix rotated about its asymptote, has a constant negative curvature? What are the hyperbolic lines on a tractricoid and how to see ...
2
votes
1answer
35 views

Good data structure for hyperbolic tiling

Say you're doing something computational where each data point is a tile in a (not necessarily Euclidean) 2-dimensional tiling, for instance, a Life-like cellular automata. You might want a data ...
1
vote
2answers
39 views

simplification of the area of a hyperbolic circle (BONOLA, S 53)

I'm trying to understand the S-53 of "Non-Euclidean Geometry" (BONOLA, R.) in which the formula for the area of a circle of radius r: $$2\pi k^2(\cosh\frac rk -1)$$ is somehow reduced by only applying ...
1
vote
0answers
54 views

Hyperbolic vs Euclidean Brownian Motion

In this article, page 4 of the linked pdf file, Lalley and Sellke claim that a hyperbolic Brownian motion can be obtained by time-changing a 2-dimensional Euclidean Brownian motion, conditioned to ...
2
votes
2answers
108 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 ...
4
votes
2answers
80 views

Why are Euclidean and hyperbolic lengths proportional to first order?

In his book “Three-Dimensional Geometry and Topology”, Thurston constructs a Riemannian metric for the Poincare disk model and begins as follows. He says that, given any (hyperbolic) line segment $s$ ...
0
votes
1answer
57 views

What is the hyperbolic plane equivalent to translation in euclidean space

in euclidean plane one can move polygons like rectangles, triangles etc. around by isometries, e.g. translations. For instance if we consider a rectangle with midpoint $0\in\mathbb{R}²$ then the image ...
0
votes
1answer
17 views

Constructing shapes in hyperbolic space

I'm trying to get started writing a game that uses the order-4 dodecahedral honeycomb in hyperbolic space. I'm representing points as 4-vectors of the form ...
2
votes
1answer
25 views

Question about hyperbolic space-forms

I have a map between hyperbolic space-forms $\varphi:B^n/\Gamma \longrightarrow B^n/H$ (where $\Gamma, H$ are discrete groups of isometries that act freely), and a lift to a map $\tilde{\varphi}:B^n ...