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

learn more… | top users | synonyms

0
votes
1answer
39 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
13 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
10 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
22 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 ...
0
votes
1answer
28 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, ...
0
votes
0answers
15 views

Finding Equation of Hyperbola with given parameters

The Question Goes As:- Q.) Find the equation of Hyperbola whose eccentricity is at the origin, transverse axis along $x$-axis, length of conjugate axis is $5$ and passing through the points $(1,-2)$. ...
1
vote
2answers
42 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
23 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
36 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
39 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
62 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
71 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
41 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
16 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 ...
1
vote
2answers
28 views

here is a theorem that the isometries of the Hyperbolic plane are generated by $PSL(2, \mathbb{R})$ and $z \rightarrow - \overline{z}$.

There is a theorem that the isometries of the Hyperbolic plane are generated by $PSL(2, \mathbb{R})$ and $z \rightarrow - \overline{z}$. My question is, isn't $z \rightarrow kz$ an isometry for ...
1
vote
0answers
41 views

Let Cay(G, S) be the cayley graph of G with respect to the finite generating set S where G=⟨S∣R⟩ and R is finite.

Let $\operatorname{Cay}(G, S)$ be the cayley graph of $G$ with respect to the finite generating set $S$ where $G = \langle S\mid R\rangle$ and $R$ is finite. I am reading some notes that claim that ...
0
votes
1answer
37 views

Everyday life examples of hyperbolic rotations

I'm trying to find some intuition in Lorentz transformations. I understand that they are basically rotations by imaginary angle of vector of the form $\{ict,x\}$ (for $1+1$ space-time dimensions), and ...
1
vote
1answer
44 views

Gromov hyperbolic metric spaces are quasi-convex

I'm aware about the fact stated above, but I'm not able to find some references or proofs besides Gromov's Hyperbolic Groups - Essays in Group Theory. I'll state things precisely. I will consider a ...
2
votes
2answers
73 views

Simple proof of existence of hyperbolic triangles

I've studied the hyperbolic plane by analytically building up the hyperboloid model, the Klein—Beltrami disc, the Poincaré disc, and the half-plane model from scratch. Now I'd like to prove that, ...
2
votes
1answer
47 views

Geometries (Euclidean and Projective)

We can think of Euclidean Geometry and Cartesian (Coordinate) Geometry as equivalent, in the sense that some proposition is true in Euclidean Geometry iff it's true in Coordinate Geometry. It makes ...
0
votes
1answer
36 views

hypercycles through a given point that share a tangent through that point converge towards a horocycle as their distances go towards infinity.

On http://en.wikipedia.org/wiki/Hypercycle_%28geometry%29 I found the statement. The hypercycles through a given point that share a tangent through that point converge towards a horocycle as their ...
0
votes
2answers
52 views

How to construct a circle in a the Poincare Disk model

How can I construct an circle with centre C going trough point P in a Poincare disk?. I found an script of how to do it in the "Poincaré Disk Model of Hyperbolic Geometry"toolkit from the geometers ...
0
votes
1answer
41 views

Distance-preserving coordinate transformations for the poincaré disc

Following this question, I'm looking for a coordinate transformation which leaves distances unchanged. Does such a transformation exist? The isometries for the poincaré disk looked promising, but only ...
3
votes
1answer
53 views

Representation of cell location in hyperbolic plane

I want to represent an order-5 square tiling (image from Wikipedia; more text below image): Obviously for a simple grid I can uniquely refer to a given square by its ...
1
vote
1answer
15 views

calculate the curvature of a surface with a Lambert quadrilateral

I was wondering how can I calculate the curvature of a surface? For example: Given a Lambert quadrilateral ABCD (see http://en.wikipedia.org/wiki/Lambert_quadrilateral ) with: $ DA \bot AB $, $ AB ...
0
votes
2answers
47 views

Hyperbolic geometry and orientation reversing isometries.

In Quasi-cluster algebras from non-orientable surfaces by Dupont and Palesi, one can read the following on page 11: I don't understand why the 'following relations' in the image included hold. ...
0
votes
1answer
40 views

Limit set of Kleinian group

Let $\Gamma \subset PSL_2 (\mathbb{C})$ a Kleinian group coming from a discrete faithful representation $\rho : \pi_1(M) \to PSL_2 (\mathbb{C})$ of the fundamental group of a closed connected ...
0
votes
1answer
38 views

Hyperbolic metric of arbitrary curvature.

I've been trying to find this online, in books, etc, but I can never find the expression for the metric on the unit disk $$\mathbb{D} = \{ z \in \mathbb{C} : |z| < 1 \}$$ that has constant ...
1
vote
1answer
31 views

Distance from point to line segment in Poincaré disk model

I'm trying to build a geometric datastructure in hyperbolic space. For that purpose, I'm using the Poincaré disk model. The distance between two points can be calculated with the hyperbolic law of ...
1
vote
1answer
61 views

The distance in Lobachevski (Hyperbolic) space

I need to find the distance from the point provided in the hyperboloid model with a vector $x$ where $\langle x,x\rangle=-1$ to the hyperplane $H_e$ with a normal vector $e$, where $\langle ...
2
votes
1answer
45 views

Decomposition of modular group elements

The modular group $PSL_2(\mathbb{Z})$ acts on the hyperbolic half-space $H$ by $$h\cdot z=\frac{az+b}{cz+d},\;z\in H,\;h=\begin{pmatrix}a&b\\c&d\end{pmatrix}\in PSL_2(\mathbb{Z})$$ with ...
1
vote
0answers
60 views

What is a manifold with cusp?

What I am primarily currently learning about is hyperbolic geometry and methods to find hyperbolic structures on triangulated manifolds. I see phrases such as 'cusp ends' and 'manifold with one cusp' ...
1
vote
0answers
38 views

Submanifold of a Kobayashi hyperbolic manifold

Let $M$ be complex manifold which is Kobayashi hyperbolic. Let $N$ be a submanifold of $M$ obtained as the zeroes of an analytic submersion $f : M \rightarrow R$, $R$ complex manifold. Question : ...
2
votes
1answer
41 views

Fundamental domain of a Fuchsian group which is not locally finite

I am trying to understand Example 9.2.5 in Beardon's book The Geometry of Discrete Groups. The goal is to construct a fundamental domain of a Fuchsian group which is not locally finite. Definitions ...
1
vote
1answer
34 views

Hyperbolic (and related) structures on open unit disk

I am facing some confusion about different structures on the open unit disk $D:=\{ z \in \mathbb{C}, |z|<1 \}$. By Riemann Mapping Theorem we know there is just one complex structure on $D$, up to ...
0
votes
1answer
68 views

In the hyperbolic geometry, is there a range of $\pi$?

In Euclidean space, $\pi$ is the constant value $3.14159\dots$ But I tried to measure the value of $\pi$ and found that $\pi$ is not constant! So I wonder if there is a range of $\pi$. If so, is ...
1
vote
1answer
28 views

What are Straight lines in the Gans Disk model of the Euclidean plane?

The answer of Blue ( http://math.stackexchange.com/a/1464/88985 ) to Hyperbolic critters studying Euclidean geometry made me interested in the Gans Disk model of the euclidean plane. Blue writes: ...
2
votes
1answer
49 views

Hyperbolic Triangles and Uniform thinness

My textbook states that all triangles in hyperbolic space are uniformly thin in the following way: If $ABC$ is a triangle and $x$ is a point on one side, then there exists a point $y$ on one of the ...
0
votes
1answer
59 views

Show how to map the semicircle $x^2 +y^2 = 1$, $y > 0$, onto $(x−1)^2+y^2 = 4$, $y > 0$, by a combination of $z \to z+l$ and $z \to kz$.

I need some help with this one! One can begin to understand the geometric significance of linear fractional transformations of the half plane by studying the simplest ones, $z \to z+l$ and $z \to kz$ ...
1
vote
0answers
34 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 ...
3
votes
1answer
56 views

Constructing The Cayley Graph and quasi-isometry to $\mathbb{Z}$

If we have a group $G$ defined by: $G=\langle a,b\mid b^2=1\rangle$ then I first need to construct the cayley graph of this, now I think that this is going to look like the "telephone pole" metric ...
0
votes
0answers
49 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
2answers
54 views

Showing geodesics in $\mathbb{H}^2$ have unique common perpendicular or common endpoint

If we let $\mathbb{H}^2$ be the hyperbolic plane and we let $\gamma_1,\gamma_2$ be geodesics which do not intersect. I have a question which asks me to show that either $\gamma_1$ and $\gamma_2$ have ...
4
votes
1answer
68 views

Hyperbolic metric spaces

I'm trying to prove a simple proposition wich is in Burago's "A Course in Metric Spaces" (Exercise $8.4.5$, p.$287$). Before exposing my problem, let me give some definitions. A metric space $(X,d)$ ...
0
votes
1answer
46 views

oriented surface of genus g and m punctures

Let $S_{g,m}$ be an oriented surface of genus g and m punctures, what's the condition to ensure $S_{g,m}$ is hyperbolic? If $g\ge 2$, I know it is hyperbolic, how about g=0 and g=1? Thanks in advance. ...
1
vote
1answer
29 views

Definition of complex hyperbolic geometry

I am trying to read about complex hyperbolic geometry.But I couldnot find a basic definition for it. Is it just the special case of hyperbolic geometry where we work with complex numbers in the model. ...
1
vote
1answer
87 views

Are there other models for 2 dimensional hyperbolic geometry?

I was a bit browsing the internet for models for (2-dimensional) hyperbolic geometry. and realised that besides the well known Poincare half plane model Poincare disk model Beltrami-Klein disk ...
2
votes
1answer
62 views

Measuring distance on the Poincare disk

I've seen several different ways to measure distance on the Poincare disk i.e Riemann metric/manifold (which I don't understand). However the method we're taught is using $\tanh^{-1}$ and complex ...
2
votes
0answers
29 views

Parallel postulate in hyperbolic geometry question [closed]

Let $L =\{y=0\}\cap\mathcal{H}^{2}$, and let $P=(3,2,2)$. Show that the parallel postulate fails in $\mathcal{H}^{2}$ by giving two lines $L',L'' \in \mathcal{H}^{2}$ with $P\in L',L''$ and $L\cap ...