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

learn more… | top users | synonyms

3
votes
2answers
68 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
97 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
66 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
105 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
141 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 ...
0
votes
1answer
348 views

Constructing a regular right angled hyperbolic hexagon

I would like to construct a regular right angled hexagon in a klein model. I'm having a hard time understanding why this method works, here is what my professor did in class. Any additional comments ...
1
vote
1answer
124 views

hyperbolic geometry (and circle ) construction problem

Was thinking about hyperbolic geometry, the Poincare Disk Model and Sweikarts constant and combined them all in a construction puzzle that I was unable to solve. My construction puzzle: Given: A ...
1
vote
2answers
52 views

Is the hyperbolic plane the only simply connected hyperbolic 2-manifold?

Let $S$ be a simply connected Riemannian 2-manifold with everywhere negative curvature. Is $S$ necessarily diffeomorphic to $\mathbb{R}^2$?
1
vote
0answers
30 views

Does a lattice in $PSL(2,\mathbb{R})$ stabilizing $\infty$ have a domain with vertex at $\infty$?

Suppose $\Gamma$ is a lattice in $PSL(2, \mathbb{R})$ acting on the upper half plane. Suppose that the stabilizer in $\Gamma$ of the point at infinity is nontrivial. Does it then follow that the ...
2
votes
2answers
125 views

Circle-Circle intersection area in the hyperbolic space

Is there any closed formula for the area of the intersection of two circles in the hyperbolic plane $\mathbb{H}^2$? The two circles have radii $R, R'$ and a distance of $d$ between centers. If ...
2
votes
1answer
52 views

Using the Gromov product in inappropriate ways

The Gromov product $(x,y)_z=1/2(d(z,x)+d(z,y)-d(y,x)$ is used in Gromov hyperbolic groups to measure how long two rays stay together or how thin a triangle is. In particular, if $(x,y)_z=n$ in a ...
1
vote
1answer
43 views

hyperbolic equilateral triangle : $\cosh \left(\frac{1}{2} a\right) \sin \left(\frac {1}{2} \alpha\right) = \frac{1}{2}$

I met this problem in Ratcliffe's Foundations of Hyperbolic Manifolds. Please help me prove this. In an equilateral triangle with side length $a$ and angle $\alpha$, $$\cosh \left(\frac{1}{2} ...
1
vote
0answers
79 views

The distance between two distinct points in the upper half plane

I'm trying to derive the distance between two distinct points in hyperbolic space and I'm working on the upper half plane. So, with the parametrization $\sigma(t): x=r\cos(t), y=r\sin(t),\; ...
1
vote
0answers
66 views

References for Hyperbolic Graph Theory

I'm sorry to disturb you but I really got stuck! I can't find any clear and, somewhat, complete reference for this topic. I'm looking for a book, or review, or survey or course notes regarding ...
5
votes
2answers
124 views

Relation: Modular Forms and hyperbolic geometry, or, why do they map from $\mathbb{H}$?

In my very young mathematical career, I have worked a lot with modular forms. Recently, I worked as a teaching assistant in a course about geometry. At the end of the course, we dealt with hyperbolic ...
4
votes
2answers
116 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 ...
3
votes
1answer
52 views

Hyperbolic Metric with respect to $\pi: \mathbb{H} \rightarrow {{\Delta}^{*}}$

I have the following problem: Find the unique metric $\rho=\rho(z)\left|dz\right|$ on the punctured unit disk $\Delta^{*}$ such that $\pi^{*}(\rho)=\left|dz\right|/(\mathrm{Im}(z))$ where $\pi: ...
2
votes
2answers
70 views

What is the distance from the origin to a right angled regular hyperbolic octagon?

Given a right angled regular hyperbolic octagon centered at origin, what is the distance from the origin to any vertex? I know that the distance between the origin and the point $p=(a,0)$, $a>0$, ...
13
votes
2answers
325 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 ...
2
votes
2answers
146 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 ...
0
votes
1answer
49 views

Can I solve for the fractional volume of a hyperboloid?

This looks like a homework problem because it is. I'm stuck at the portion where I solve for fractional volumes. Suppose you are a part of a team designing a water tank in the shape of a hyperboloid. ...
5
votes
0answers
143 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 ...
0
votes
1answer
39 views

problem with isometry that doesn't preserves rays, i just don't understand

I try to teach myself a bit of non-euclidean geometry And I am a bit stumped by the following remark in George E. Martins "The foundations of Geometry and the Non-Euclidean Plane" page 217. extra ...
1
vote
1answer
46 views

Find a point on the Poincare plane

Find a point $P$ on the line $_{-3}L_{\sqrt{7}}$ in the Poincare plane whose coordinate (ruler) is $2$. Let $P =(x,y)$. The line is on the Poincare plane, so it is a semicircle on the upper ...
0
votes
3answers
57 views

classifications of isometries of $\mathbb{H}^2$

Let $\mathbb{H}^2$ be the hyperbolic plane and let $\phi \mathbb{H}^2$ be the boundary at infinity of $\mathbb{H}^2$. Let the union $\mathbb{H}^2 \cup \phi \mathbb{H}^2$ be donoted by $\alpha ...
1
vote
1answer
42 views

boundary at infinity of $\mathbb{H}^2$

In hyperbolic geometry what does it mean when they say the boundary at infinity of $\mathbb{H}^2$? The only idea I came up with was a horizontal line to represent the horizon and to lines meeting at a ...
1
vote
1answer
38 views

Relation for hyperbolic pentagon.

I am trying to get a relation between the length of the sides and the angles of a hyperbolic pentagon. In literature I can find relations for pentagons which has at least three Right angle. So my ...
1
vote
0answers
17 views

progression along geodesics

Suppose that $X$ and $Y$ are two hyperbolic elements in $\mathbb{P}SL(2,\mathbb{R})$ with axes intersecting at, say, the centre $O$ of the hyperbolic disc model. Suppose also that the angle between ...
4
votes
2answers
172 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 ...
1
vote
0answers
189 views

What is the parametric and cartesian equation of a hyperbolic paraboloid formed by the intersection of two cylinders of radius “A” & “B”?

What is the parametric and cartesian equation of a hyperbolic paraboloid formed by the intersection of two cylinders of radius "A" & "B", which intersect at a distance of "H" from its Axis at an ...
1
vote
1answer
72 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
41 views

Can an ordinary point be a fixed point?

Is it possible that a point on the unit circle which is an ordinary point (that is, a point which is not a limit point of any set of the form $\Gamma z$ for $|z| <1$) for a Fuchsian group $\Gamma$ ...
2
votes
0answers
106 views

What is the Area formed when a line is traced between two 3D curves?

This question is quite related to intersection of cylinders, Hyperbolic paraboloid and modelling. I am welding a trunnion to a pipe (both are hollow cylinders in different geometry). They intersect ...
2
votes
5answers
617 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
0answers
97 views

Geodesic flow on a manifold with negative curvature is ergodic

This is a question asking for references. I'm not sure if it's appropriate for StackExchange. If it's not, please tell me, thanks! :) I'm reading about the Mostow's rigidity theorem, and the proof ...
5
votes
2answers
1k 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 ...
1
vote
1answer
59 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 ...
-1
votes
2answers
155 views

Please explain the shortest path between two points in non-euclidean geometry. [closed]

Please explain it for those with inferior knowledge of mathematics (using easy to understand words): e.g., kids and adults with no knowledge of mathematics (calculus, algebra , etc.) , or rather from ...
0
votes
0answers
61 views

Internal angle formula of a generalized polygon as a function of side length and apothem

I am looking to compute the internal angle of a generalized regular polygon (spherical, euclidean, or hyperbolic) as a function of its apothem and side length. I know the equation for a euclidean ...
1
vote
1answer
57 views

Is the usual topology on the upper half plane same as that induced by Riemannian metric?

The upper half plane is a Riemannian manifold, with the Riemannian metric given by $(ds)^2 = (dx^2+dy^2)/y^2$ and thus has a metric topology induced by this metric. Is this topology same as the ...
4
votes
2answers
94 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?
0
votes
1answer
66 views

Fundamental Domain for Congruence (mod 2) Group

How can I show that the area between the circles $|z|=1$, $|z+\frac{1}{2}|=\frac{1}{2}$, $|z-\frac{1}{2}|=\frac{1}{2}$ in the upper-half plane (here's a picture) is a fundamental domain for the ...
2
votes
1answer
92 views

Definition of Hyperbolic n-space

I am a little bit confused about the definition of hyperbolic $n$-space. How do we see $\mathbb{H}^n$ as a homogeneous space model? We can think, the Poincare upper half plane $\mathfrak{H}$ as ...
2
votes
2answers
33 views

algorithm for reducing to the fundamental domain $\mathbb{H}/SL(2,\mathbb{Z})$

I have $y << 1$ and $x \in [0,1]$ uniformly chosen at random and I want to find its representative in the fundamental domain with $\big|\mathrm{Re} \; \tau \big|< \frac{1}{2}$ and $|\tau| ...
2
votes
2answers
82 views

Verifying Möbius Transformations using Hyperbolic Geometry

Verify that every transformation from $$H = \left\{Tz = e^{i\theta} \frac{z-z_0}{1-z_0 z} \right\}$$ can be written as $Tz = \frac{az-b}{\bar{b}z+\bar{a}}$ with $|a|^2 - |b|^2 = 1$. The book gives ...
1
vote
3answers
281 views

working in hyperbolic geometry

I wonder if anyone can provide me with a simple step-by-step proof in hyperbolic geometry of a fact that does not hold in Euclidean geometry. I imagine an answer to be a series of statements, such ...
0
votes
1answer
41 views

Non-Euclidean Translations and Rotations

If $f(z) = z + 1$ and $g(z) = -\frac{1}{z}$ show that $$ g f g^{-1}(z) = \frac{z}{1-z}. $$ I don't know how to solve this question please help.
0
votes
2answers
40 views

What is the group $\Gamma$ such that $\mathbb{H}/\Gamma$ is a genus-n torus

We know that the universal cover of genus-n torus is a unit disk ($n\ge2$), which is conformal to upper half plane $\mathbb{H}$, with automorphism group $SL(2,\mathbb{R})$. Thus the genus-n torus can ...
3
votes
2answers
98 views

Shortest words in a group with finite presentation

Suppose we're given a group with presentation G=, where both the generating set and the relations are finite. Given a word $w$ in the elements of $X$, I would like to know whether this word is ...
2
votes
1answer
56 views

Broken geodesics in the hyperbolic plane and bending angles

Let $\gamma$ be an infinite broken geodesic in the hyperbolic plane, that is a curve formed by consecutive geodesic segments. Assume also that each of these segments is longer than a certain positive ...