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

learn more… | top users | synonyms

1
vote
0answers
49 views

Fundamental domain of a Fuchsian group is non-compact if the group contains parabolic element

Suppose a discrete subgroup $\Gamma$ of $PSL(2,\mathbb{R})$ acts on $\mathbb{H}^2$. Why is the fundamental domain non-compact if $\Gamma$ contains a parabolic element? Thanks in advance.
1
vote
0answers
61 views

Kobayashi distance on the Siegel upper half space

Let $\mathbb{H}_{g}$ be the Siegel upper half space, i.e., the set of complex symmetric $g\times g$ matrices with positive-definite imaginary part. Royden in his article Intrinsic Metrics on ...
1
vote
0answers
44 views

Christoffel symbols for the Poincaré ball model

The metric tensor $g_{ij}$ of the Poincaré ball model is $$ g_{ij} = \frac{\delta_{ij}}{(1 - x_k x^k)^2} $$ where $\delta_{ij}$ is the Kronecker delta and $x^k$ are the ambient Cartesian coordinates....
1
vote
0answers
58 views

spin structures on knot complements

Let $K$ be a knot in $S^3$, and let $M=S^3/N(K)$ be its knot complement, where $N(K)$ is a tubular neighborhood of $K$. $K$ is given for example by a its projection onto the plane. The question is ...
1
vote
0answers
57 views

Law of Cosines with imaginary arguments?

Does the law of cosines: $c^2 = a^2 + b^2 - 2 a b \cos \theta$ work with imaginary angles? to get something like: $c^2 = a^2 + b^2 - 2 a b \cosh \theta$ Alternatively, is there a hyperbolic ...
1
vote
0answers
28 views

Is the tangent bundle of hyperbolic space trivial?

Let $H$ be hyperbolic 3-space. Let $TH$ be the tangent bundle of $H$. I have a question: Is $TH$ isometric to H times a flat $k$-space?
1
vote
0answers
57 views

Difference between Euclidean and Hyperbolic lengths.

What is the difference between Euclidean and Hyperbolic lengths? For instance if i were to measure a curve on with the euclidean distance and alternatively the Hyperbolic distance, What would be the ...
1
vote
0answers
30 views

What is the metric of the Riemann surface resulting from quotiening the upper half plane by a Fuchsian group?

Let $\mathbb{H}$ be the upper half plane, and $\Gamma < SL(2, \mathbb{R})$ be a Fuchsian group. What is the metric we get on $\mathbb{H} / \Gamma$?
1
vote
0answers
33 views

Relativistic Projective Geometry

If we assume that space-time has an extra two dimensions so that there is more symmetry between space (with 3) and time (now with 3). What would the corresponding cross ratio equation look like if we ...
1
vote
0answers
26 views

Covering a $n$-holed torus for $n\geq 2$ with a hyperbolic tesselation?

How can I cover a $n$-holed torus $(n\ge2)$ with $\frac{2-2n}{\frac pq-\frac p{2}+1}$ faces of regular hyperbolic tesselation {p,q}? I don't need the graphics, just the construction. For example, in ...
1
vote
0answers
64 views

Search for coverings in hyperbolic tessellations

Given a regular or uniform tessellation of hyperbolic plane, is there a way to find a group of cells that will tile the whole plane? For example: in the $(6,6,7)$ tessellation (truncated $\{3,7\}$), ...
1
vote
0answers
41 views

Scale and the models of the hyperbolic plane

I was reading somewhere (sorry I always forget where) that the scale of the Poincare Half plane is y (the vertical) So at the boundary line the scale is $ 0 $ or $ ( 1 : \infty ) $. at the ...
1
vote
0answers
35 views

Identification of polygon edges

In Klein's famous example of regular 14-gon made of 336 copies of (2,3,7) triangles, he used identification for edges such that side 2i+1 is identified with side 2i+6 (mod 14). But I wonder how could ...
1
vote
0answers
67 views

Find the hyperbolic length of the geodesic segment

I'm reading my textbook and I'm trying to make sense of this example. So the place with the red star shows the actual process of calculating the hyperbolic length. My question is how they get the ...
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\...
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 ...
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
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
0answers
132 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 ...
1
vote
0answers
40 views

the fundamental group acts on half upper plan

Let $S$ be a compact oriental surface without boundary of genus $g\ge 2$, then its universal covering is $\mathbb{H}^2$, I am confused with 2 facts following: (1) $\rho:\pi_1(S)\hookrightarrow Isom^+(...
1
vote
0answers
104 views

Geodesics of the Hyperbolic Plane.

Using the coordinates $\alpha=\log \frac{1+r}{1-r}$ and $\theta$ where $(r,\theta)$ are the usual polar coordinates, show that the segment of the y axis between $(0,0)$ and $(0,r)$ where $0<r<1$ ...
1
vote
0answers
73 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)$\operatorname{rank}(\frac{...
1
vote
0answers
35 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 ...
1
vote
0answers
134 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),\; \alpha\...
1
vote
0answers
104 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 "...
1
vote
0answers
30 views

Progression of a point along geodesics under the action of hyperbolic Möbius transformations

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 ...
1
vote
0answers
366 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
0answers
202 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 ...
1
vote
0answers
197 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
0answers
31 views

Proof: Every H-Projection is product of H-Reflections

I have some problems with the proof of the statement above (sorry for a bad translation I guess). First of all some definitions: Definition 1 (möbius-transformation): Let $A \in \mathbb{C}^{2 \...
1
vote
0answers
80 views

JSJ-decomposition of a non-hyperbolic 3-manifold

Suppose $M$ is a $3$-manifold. Then you can split it over spheres. This is the "prime decomposition" and is unique. You can then split the components of this decomposition along tori. If you leave the ...
1
vote
0answers
232 views

Can a hyperbolic quadrilateral have 3 obtuse angles and 3 equal sides?

Can a hyperbolic quadrilateral have 3 obtuse angles and 3 equal sides? I have been trying to visually see if that is possible or not.
1
vote
0answers
430 views

Calculating hyperbolic distance between two points

I was looking for a formula to calculate the hyperbolic distance between two planes and came across this formula $$\ln\left(\csc b-\cot b\over \csc a - \cot a\right)$$ where $a$ and $b$ are the ...
1
vote
0answers
41 views

Is $M_g$ a subvariety of $M_{h}$ for some $h>g$

Let $g\geq 24$. Then $M_g$ is of general type. Does there exist $h>g$ such that $M_g$ is a subvariety of $M_h$? That is, does there exist an immersion $M_g \to M_g$? If the answer is not known, ...
1
vote
0answers
208 views

Is there non-discrete group isomorphic to the fundamental group, what about the quotient?

It is known that (uniformization theorem) any Riemann surface can be written as the quotient of its universal cover by a discrete group (of Möbius transformations). This group is isomorphic to the ...
1
vote
0answers
86 views

Relations between Kleinian groups and quotient manifolds

In some specific situation there are some nice relations between a Kleinian group and its quotient manifold. For example, if $G$ is a once-punctured-torus group (i.e. a free subgroup of $\mathbb{P}SL(...
1
vote
0answers
98 views

The lambda invariant

Consider the strip $\{x+iy: -1\leq x < 1 , y>1/2\}$ in the complex upper half plane and let $\lambda$ be the usual $\Gamma(2)$-invariant modular function on the complex upper-half plane. ...
1
vote
0answers
79 views

For an elliptic curve E, does there exist a cofinite Fuchsian group without elliptic elements with quotient E minus a finite subset

Let $E$ be a compact Riemann surface of genus 1, i.e., an elliptic curve. Let $P$ be the identity element of $E$. Question 1. Does there exist a cofinite Fuchsian group (or a Fuchsian group of the ...
0
votes
0answers
22 views

How to compute a distance in the hyperbolic plane.

I know that a hyperbolic distance is defined by: $d_{\mathbb{D^2}} = 0 $ if $z_1 = z_2$ and $- \log[z_1, z_2, z_1^{\infty}, z_2^{\infty}]$ We define $\mathbb{D^2} = \{z \in \mathbb{C} $ such that $\...
0
votes
0answers
14 views

Metric Matrix of the hyperbolic reimmanian manifold

Let $\Bbb{H}^n:=\{(x_1,...,x_n)\in\Bbb{R}^n|x_n>0\}$ be the hyperbolic space and $g={d^2x_1+...+d^2x_n \over x_n^2}$ be the standard hyperbolic metric. Looking at the $(\Bbb{H}^n,g)$ remannian ...
0
votes
0answers
10 views

Hyperbolic distance of a point from center in Klein-Beltrami disk model

According to the Wikipedia entry about Klein Beltrami disk, I found that the hyperbolic distance between two points P and Q is determined by the following formula : $$d(P, Q) = \frac{1}{2} \ln \frac{|...
0
votes
0answers
35 views

curvature of planar hyperbola

If a planar hyperbola is parametrized as follows $$ x(t) = a\sec(t), \quad y(t) = b\tan(t), \quad a, b \text{ constants} $$ what is the curvature of the hyperbola curve?
0
votes
0answers
20 views

On the connection between Bloch's space semi-norm and Bergman's hyperbolic metric.

On the proof of the following theorem $f\in \mathcal B \Leftrightarrow \beta(f)=\sup\left\lbrace\dfrac{|f(z)-f(w)|}{d_{\mathbb D}(z,w)}:z,w\in \mathbb D, z\neq w\right\rbrace$, where $\mathcal B$ is ...
0
votes
0answers
6 views

Metric relations in lambert quadrilateral

I already found the relations in a rectangle triangle (6 formulas for the sides) and for a general ordinary triangle (sine and cosine hyperbolic laws). But now I'm trying to find them for a triangle ...
0
votes
0answers
20 views

Studying the hyperboloid model, what is represented by the conic sections?

I am trying to get my head around the hyperboloid model of hyperboloic geometry https://en.wikipedia.org/wiki/Hyperboloid_model (article is much to technical please improve) And was thinking the ...
0
votes
0answers
14 views

Hyperbolic half-planes are geodesically-convex

I'm trying to understand the concept of Dirichlet domains associated to the action of a Fuchsian group $G$ on $\Bbb H$ (the upper half-plane of $\Bbb R^2$ endowed with its usual hyperbolic metric). ...
0
votes
0answers
10 views

What is the geometric center and what is the other point?

In Euclidean geometry it is simple: In a triangle $\triangle ABC$ there is a single point $H_a$ on $BC$ such that the triangles $\triangle ABH_a$ and $\triangle ACH_a$ have the same area. the ...