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

learn more… | top users | synonyms

5
votes
0answers
131 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
38 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
45 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
56 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
40 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
34 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
16 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
170 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 ...
0
votes
0answers
13 views

small deviations along hyperbolic G-orbit quasi-geodesics

Let $A$ and $B$ be two hyperbolic elements in $\mathbb{P}SL(2,\mathbb{R})$. If $p$ is a point in the hyperbolic plane, we can consider the broken geodesic ray $\gamma_A$ described by the vertices ...
1
vote
0answers
163 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
64 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
40 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
103 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
491 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
90 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
989 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
55 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
140 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
54 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
56 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
88 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
65 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
87 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
32 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
81 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
271 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
40 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
39 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
85 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
52 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 ...
1
vote
1answer
167 views

Geodesic hyperbolic metric

For a hyperbolic metric on the upper half plane $H = \{(u,v)\in \mathbb{R}^2 \ | \ v>0\},$ how can I prove that the vertical lines are geodesics and that the intersection of any circle centered on ...
1
vote
0answers
96 views

what is the use of the hyperboloid model for hyperbolic geometry?

I am quite new to hyperbolic geometry so even an answer that this question doesn't make any sense can be very helpful. As far as i understand: There are different models of a plane where hyperbolic ...
1
vote
1answer
67 views

area form of the Poincare half plane

For the upper half plane $\{(u,v)|v>0\}$, its area form is $du\wedge dv/v^2$. How to compute the area between the u axis and the curve $\alpha(t)=(r\cos t, r\sin t)$, $0< t < \pi$? Is this ...
1
vote
1answer
108 views

Distance between a point and the origin in Poincaré Disk

How to calculate the distance between the origin and the point $p=(a,0)$, $a>0$, using the metric $g = \frac{4}{(1-x^2-y^2)^2}(dx^2+dy^2)$? I don't how to use correctly these $dx^2$'s
2
votes
2answers
107 views

Dirichlet Domain of a Fuchsian Group

Recall that a Fuchsian group is a discrete group $\Gamma \leq PSL(2, \mathbb{R})$ and that a Dirichlet domain for $\Gamma$ is a set $D \subset \mathbb{H}^2$ of the form $$\{z \in \mathbb{H}^2: d(z, p) ...
0
votes
2answers
77 views

Prove that a transformation from the hyperbolic group can not be loxodromic.

Prove that a transformation from the hyperbolic group can not be loxodromic. I know a loxodromic λ = kei$^\theta$ with k not equal to 1 and theta not equal to 0. But I'm unsure how to go after that, ...
1
vote
0answers
15 views

software to decide whether a 2-generator subgroup of PSL(2,R) is discrete/free

Gilman developed an algorithm with polynomial complexity that, given two elements in PSL(2,R), decides whether the group they generate is free/discrete or not. I was wondering whether anybody ever ...
0
votes
3answers
101 views

parametrise equation of a hyperbola

Any point on an ellipse can be wrttien as $(a\cos\theta,b\sin\theta)$, How could we genarilse this to a hyperbola?
3
votes
2answers
106 views

Constructing a differential equation for hyperbolic crochet

There is plenty of information about hyperbolic geometry and its melding with crochet, however I have yet to find an exact equation for determining the number of stitches in each row. I will try to ...
0
votes
0answers
34 views

How to get the smallest sample size with max probability in Hypergeometric Distribution

A body of students has 30 male students and 20 female students. Suppose a sample of n students are drawn from this population. What is the smallest n that can yield the maximum probability to have 5 ...
1
vote
1answer
66 views

$2$-dimensional Hyperbolic space with fundamental group ${\bf Z}$ and constant curvature $-1$

$$ d\rho^2 + \cosh^2\rho\ d\theta^2$$ Only one ? Is there any other example ?
3
votes
1answer
72 views

complete metric on a Riemann Surface

I'm reading a book and found a sentence I don't understand: Every Riemann surface $S$ supports an essentially unique complete metric of constant curvature $1$, $0$ or $-1$. Every point of ...
5
votes
0answers
82 views

Tilings of the Hyperbolic plane

Given a tiling of the hyperbolic plane projected onto a unit disc such as this which can be considered as a graph. I then define some functions: $f(r) =$ number of graph nodes contained within the a ...
4
votes
1answer
267 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 ...
2
votes
1answer
72 views

Is there an algebraic method for hyperbolic rotations?

Given a 2d vector, how do you rotate it in space? You could use a rotation matrix, $$\begin{bmatrix}x'\\y'\end{bmatrix} = \begin{bmatrix} \cos\theta & -\sin\theta \\ \sin\theta &\cos\theta ...
0
votes
2answers
67 views

Why is it said that every point in hyperbolic space is a saddle point?

I have read that since hyperbolic space has a constant negative curvature (a concept that I think I understand), every point is a saddle point. I am trying to understand what that means. Can we say ...
1
vote
1answer
66 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
84 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
48 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
63 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 ...