[Math] the most accurate definition of the hyperboloid model of hyperbolic geometry

definitionhyperbolic-geometry

For simplicity, let's focus on the two-dimensional case (the hyperbolic plane in 3-space). I have seen the hyperboloid model defined as variations on the following

i) The positive sheet of a two-sheeted hyperboloid (i.e. points that fulfill the equations $x^2 – y^2 – z^2 = 1, x>0$).

ii) This is in Minkowski space.

iii) The geodesic between two points in this model is the intersection of the hyperboloid with the plane that is determined by the two points and the origin (I assume that this would be the shortest path on the hyperboloid both in Euclidean and Minkowski space, can someone clarify?).

iv) The quadratic form in the model is given as $Q(x) = x_0^2 – x_1^2 – x_2^2$, which gives us the bilinear form $B(x,y) = x_0 y_0 – x_1 y_1 – x_2 y_2 $ which gives us the distance between two points $d(x,y) = \text{arccosh} (B(x,y))$.

I would like to know what parts of the above are a definition and what is a theorem. In Foundations of Hyperbolic Manifolds by Ratcliffe, the author begins by stating that the hyperboloid model is the points that fulfill $x^2 – y^2 – z^2 = 1, x>0$ in Lorentzian 3-space, so $R^3$ with a Lorentzian inner product $x \circ y = -x_1 y_1 + x_2 y_2 + x_3 y_3$, Lorentzian norm $||x|| = (x \circ x)^{1/2}$ and Lorentzian distance $d_L(x,y) = ||x-y||$. But then the author goes on to say that the model of hyperbolic $n$-space shold be the points that fulfill $||x||^2 = -1$ (the sphere of unit imaginary radius) and from there he gets the equation in i). So I assume that the only parts of the definition that we need for this model is that the hyperbolic plane is the points that fulfill $||x||^2 = -1$ in Lorentzian (Minkowski) 3-space? Is this a correct understanding?

Best Answer

Well the definition of the hyperbolic plane is not just a definition of a set. Indeed the hyperboloid model is diffeomorphic to a Euclidean plane. But not isometric!

So, (one of) the (right) definition is:

takes the component of the hyperboloid with $x>0$ and, as metric, restrict the Minkowski metric (that with signature ++-) (exercice: check that this is indeed positive definite)

As for theorems, item $iii)$ is now a theorem.

I suggest to look the great book by Benedetti and Petronio "Lectures on hyperbolic geometry" http://www.zbmath.org/?q=an:00107544

It is smaller, and perhaps less complete than Ratcliffe, but is very well written and readable. You will find there all the answer to your doubts.