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

learn more… | top users | synonyms

3
votes
1answer
33 views

Geodesics in upper half-plane model of $\mathbb{H}$

On this page in Schlag's book on complex analysis, he is discussing the upper half-plane model of $\mathbb{H}^2$. He says for all $z_0\in \mathbb{H}$ $$\{T'(z_0) \mid T \in PSL(2, \mathbb{R}) ...
3
votes
1answer
47 views

Two transformation groups of the hyperbolic plane are isomorphic?

I'm aware that $PGL_2(\mathbb{R})\simeq GL_2(\mathbb{R})/\mathbb{R}^\times$ is isomorphic to the full isometry group of $H^2$, the hyperbolic plane. I've just been told that $SO(2,1)$, the indefinite ...
2
votes
1answer
60 views

Hyperbolic Geometry: Question about the Transitivity of Möbius transformations

I was confronted with this exercise in the book Hyperbolic Geometry by Anderson which states: In each case, find $m \in Möb(\mathbb{H})$ such that the property holds, or prove that no such $m$ ...
2
votes
1answer
27 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 ...
2
votes
1answer
63 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 ...
2
votes
1answer
155 views

Seifert manifolds and Fuchsian group

A Fuchsian group is a discrete subgroup of $PSL(2, \mathbb{R})$. Let $M$ be a Seifert manifold (maybe with boundary) and $t \in \pi_1(M)$ the class of a regular Seifert fiber. Hempel claims in his ...
2
votes
1answer
65 views

Right angles in hyperbolic pool

(This uses a bit of physics) So I learned today the following fact from physics: Imagine you have two pool balls of the same mass. You hit the first one, and it collides into the second. Then their ...
1
vote
1answer
26 views

What are the most important issues to consider in upper-half plane model?

I hope you can help me, I need to do a research project about this model of hyperbolic geometry. Honestly, I've never studied the subject, and I'm not sure that subjects should give more importance. ...
1
vote
1answer
50 views

Triangular Area on hyperbolic surface

I have read numerous paper over area calculation in hyperbolic geometry but just can't seem to understand how to calculate a triangle's area in hyperbolic geometry. It would be nice to have a proof ...
1
vote
1answer
30 views

Prove this equality about hyperbolic right triangles

If K is the area of a hyperbolic right triangle ABC in which the right angle is at C, prove that $$ \sin K=\frac{ \sinh a \sinh b}{1+\cosh a\cosh b}$$ My attempt at the solution: I basically need ...
1
vote
1answer
51 views

Extending the metric of a hyperbolic surface with boundary to its double

Let $M$ be a hyperbolic surface with totally geodesic boundary. Taking the double $DM$ of $M$, it is easy to see using Euler characteristic that $DM$ is itself a hyperbolic surface (without boundary). ...
1
vote
1answer
23 views

Canonical map from fundamental group to Fuchsian group?

Suppose we have a Riemann Surface $S$ of constant negative curvature $-1$. What is the canonical map from the fundamental group $\pi_1(S)$ to the discrete subgroup $\Delta \subset PSL_2(\mathbb{R})$ ...
1
vote
0answers
148 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
166 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
27 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
53 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
199 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
314 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
197 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
79 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 ...
1
vote
0answers
97 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
77 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
32 views

Isometries of hyperbolic space

The metric tensor for the Poincaré ball model of hyperbolic geometry is $$ g_{ij} = \frac{\delta_{ij}}{(1 - \lvert \mathbf{r} \rvert^2)^2} $$ where $\mathbf{r}$ is the position in the ambient ...
0
votes
0answers
23 views

Why can't the pseudosphere be completed in $R^3$?

Without appealing to Hilbert's theorem on the non-embeddability of complete hyperbolic surfaces in $R^3$, is there a way to "see" that one can't extend the pseudosphere / surface of revolution of a ...
0
votes
0answers
17 views

Algebraic conditions for the directions coming from a hyperbolic configuration of point

Consider hyperbolic $3$-space $H^3$, thought of as the open unit ball in $\mathbb{R}^3$, where geodesics are represented by arcs of circles etc. (the well known Poincare model of $H^3$). Let $B$ ...
0
votes
0answers
12 views

Cross Ratio of two rays through origin

There are two fixed and two variable concurrent rays of unit length in 3 space through the origin. How should the spherical coordinates of the two variable points be related to result in a constant ...
0
votes
0answers
36 views

Curvature of hyperbolic surface

So from what I understand the curvature of a surface by calculated by inversing the radius of the osculating circle. But if a hyperbolic surface have a negative curvature, wouldn't that imply the ...
0
votes
0answers
19 views

Hyperbolic length does not depend on the subdivision.

I'm reading some notes on hyperbolic surfaces by François Labourie and there's an exercise I can't figure out. I have to prove that the length l(c) of a curve does not depend on the subdivision. It's ...
0
votes
0answers
47 views

Circumference of hyperbolic circle is $2\pi \sinh r$

I'm looking for a proof that in the Poincare disk model the circumference of a circle of radius $r$ is $2\pi \sinh r$. I have seen this result in many places but I haven't been able to find a proof. ...
0
votes
0answers
31 views

Ideal Triangles and Klein Beltrami Disc

I'm trying to prove something with the ideal triangle in hyperbolic geometry and someone told me that the ideal triangle looks like a euclidean triangle inscribed in a circle in the Klein Beltrami ...
0
votes
0answers
19 views

Show that the hyperbolic expression for tan comes into agreement with the euclidean expression

Show that as the hyperbolic length scale goes to 0 the hyperbolic expression for $ \tan \theta$ comes into agreement with the Euclidean expression. I have a hyperbolic right triangle with sides r, x, ...
0
votes
0answers
94 views

Derivatives of hyperbolic functions and Osborne's rule.

I am slightly confused when it comes to Osborne's rule when you take derivatives of hyperbolic functions. For example. The derivative of cotx is -cosec^2x, so there is a product of sines. So should ...
0
votes
0answers
38 views

curves in Poincare half space (3 dimensional hyperbolic geometry)

Okay maybe I am going a bit ahead of my self The Poincare half plane still has many mysteries for me But still I was puzzeling about the 3 dimensional variant of it. So lets assume an hyperbolic 3 ...
0
votes
0answers
35 views

Collinear Points and Congruent triangles

How might one show that three points are collinear? I am in hyperbolic geometry and am showing that two parallel lines also have a common perpendicular. I have two parallel lines $m$ and $l$ cut by a ...
0
votes
0answers
35 views

signature of a 2-dim linear subspace

Prop: If $U$ is a 2-dim linear subspace of $\mathbb{R}^{n,1}$ (Eculidean space with Lorentz-scalar product) with $U \cap H^n \neq \emptyset$, then the restriction $<\cdot ,\cdot>|_{U}$ has ...
0
votes
0answers
19 views

Decision Boundary of A Single Perception with Logistic Function

I am currently studying neural networks and have been trying to reason about this for a while to no avail. I understand that given a perceptron(such as above) with f as a step function, any ...
0
votes
0answers
39 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 ...
0
votes
0answers
38 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
26 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 \{ ...
0
votes
0answers
59 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 ...
0
votes
0answers
14 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
0answers
57 views

Showing that triangles in $\mathbb{Z}$ are thin

If we let $\mathbb{Z}$ be generated by $\{3,5\}$ then I have a question which asks me to show that geodesic triangles are $k$-thin and to find a minimum bound on $k$. I have been thinking about this ...
0
votes
0answers
48 views

Why does $\mathrm{Aut}(\mathbb{H}) = \mathrm{Isom}^{+}(\mathbb{H})$?

Suppose $T \in \mathrm{Isom}^{+}(\mathbb{H})$ . With out loss of generality we may assume that $T$ fixes two points $P,P′$ on the imaginary axis $i\mathbb{R}$. Now let $Q \in \mathbb{H}$. Since ...
0
votes
0answers
39 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 ...
0
votes
0answers
50 views

boundary of word-hyperbolic group

Let $G$ be a word-hyperbolic group and let $\partial G$ be its (Gromov) boundary. Do there exist criteria that imply that all non-trivial finite order elements of $G$ act fixed-point freely on ...
0
votes
0answers
32 views

Enlightening explanation of a theorem of Zimmert's

I'd like to know wether anyone has ever read an enlightening explanation (e.g. with geometric argument) of the following paper: Zimmert, R. Zur $SL_2$ der ganzen Zahlen eines imaginär-quadratischen ...
0
votes
0answers
111 views

Sum of angles in a hyperbolic triangle with one ideal angle

I want to calculate the sum of the angles of the triangle formed in the hyperbolic plane from the points $(-1,1), (0,1)$, and $(1,1)$. This forms an angle at the origin which has an infinite slope for ...
-1
votes
0answers
22 views

Calculate the inradius of a cell in hyperbolic {p,q,r} tiling?

As written in the title, I need to calculate the inradius of a cell in hyperbolic tiling with Schlafli symbol {p,q,r}. You can link to a document which have the formula or write the formula here. That ...
-1
votes
0answers
75 views

N-filling implies 3N/2 - geodesic filling

Suppose X is a geodesic space and c is a rectifiable loop.Show that if c admits an N-filling then c admits a 3N/2- geodesic filling. I suspect that there is nothing to prove indeed but still I ...