5
$\begingroup$

I am talking about the unit sphere and unit hyperboloid in $\mathbb{R}^3$. To get a metric you might use the riemann metric and the length of a curve. To calculate the length of a curve $\gamma$ from $a$ to $b$ we have $$l_{g}(\gamma) = \int_{a}^{b} \sqrt{g_{\gamma(t)}(\gamma^{'}(t),\gamma^{'}(t))} dt$$ with a dot product $g$.

Somehow in the spherical case this dot product is induced by the standard dot product from $\mathbb{R}^3 : \langle x,y\rangle = x_1y_1+x_2y_2+x_3y_3$ while in the hyperbolic case we use the Minkowski dot product from the Minkwoski space $\langle x,y\rangle_{\rm Minkowski} = x_1y_1+x_2y_2-x_3y_3$

Although the euclidean, spherical und hyperbolic surface do not share any curves, the same curve $\gamma$ would have the same length in euclidean and spherical geometry and a different length in hyperbolic geometry. This makes us especially bad in guessing hyperbolic distances while we are okay in the spherical case.

But why is this the case? I cannot think of a difference of the hyperbolic surface and spherical surface that would justify the different dot products. They are both quadrics. One has positive curvature the other has negative. Does this make a difference?

$\endgroup$
1
  • $\begingroup$ In the hyperbolic plane the area and circumference of a circle grows exponentially with the radius, so it is quite clear that you could not embed it in into $\mathbb{R}^3$ in any "nice" way without changing the distances. $\endgroup$
    – Zeno Rogue
    Commented Dec 4, 2018 at 11:21

1 Answer 1

6
$\begingroup$

Here you need to think of the pair (surface, metric) as the geometric object, not only of the surface. The upshot here is that the pairs (hyperboloid, euclidean metric) and (hyperboloid, Minkowski metric) are distinct geometric objects. The way to measure lengths and areas is not the same in these two "worlds". The first one has non-constant positive curvature, and the second one has constant negative curvature $-1$.

The reason is that the hyperboloid plays the role of a sphere with respect to the Minkowski metric, since it can be written as the solution set of $\langle p,p\rangle_L=-1$. Compare that with the sphere equation $\langle p,p \rangle_E=1$. If by now you're wondering whether the one-sheeted hyperboloid defined by $\langle p,p\rangle_L=1$ has something special about it, I'll tell you it does: it has constant curvature $1$ when equipped with the Minkowski metric (the one who correctly expresses it as a sphere).

In fact, here's an exercise for you to understand what happens: define $$g((x_1,y_1,z_1),(x_2,y_2,z_2))= 3x_1x_2+5y_1y_2+2z_1z_2$$and show that $M=\{(x,y,z)\in \Bbb R^3\mid 3x^2+5y^2+2z^2=1\}$ has constant curvature when equipped with $g$.


Solution for suggested exercise. Note that $M = \{ p \in \Bbb R^3\mid g(p,p)=1\}$. If $F(p) = g(p,p)$, then $M = F^{-1}(1)$, meaning that the $g$-gradient of $F$ is always $g$-normal to $M$. Since $${\rm d}F_p(v) = 2g(p.v) = g(2p,v),$$we get ${\rm grad}_gF(p)=2p$, and so $N(p)=p$ is an $g$-unit $g$-normal vector along $M$, just like for spheres in Euclidean space. Indeed, $M$ is a $g$-sphere. Note that the curvature of the Levi-Civita connection of $g$ in $\Bbb R^3$ is zero (indeed, all the Christoffel symbols w.r.t. the usual rectangular coordinates are zero -- this actually says that the Levi-Civita connection is the usual one). So, Gauss' Formula says that $$K(v,w) = \frac{g(I\hspace{-.1cm}I(v,v))g(I\hspace{-.1cm}I(w,w)) - g(I\hspace{-.1cm}I(v,w),I\hspace{-.1cm}I(v,w))}{g(v,v)g(v,w)-g(v,w)^2}.$$Just in the same way we do it for the sphere, you can check (or see e.g. page 101 in Chapter 4 in O'Neill's Semi-Riemannian Geometry with Applications to Relativity) that $I\hspace{-.1cm}I_p(v,w) = -g(v,w)N(p)$. Taking $(v,w)$ to be an orthonormal basis for the tangent plane $T_pM$, plugging in above gives $K(p)=1$ as expected.

$\endgroup$
4
  • $\begingroup$ I am not familar with curvature but I found the formula for mean and gaussian curvature for an ellipsoid here. It might be sufficient to say that the ellipsoid surface is biholomorphic to the sphere surface. Thanks for your answer. $\endgroup$ Commented Dec 4, 2018 at 9:34
  • $\begingroup$ I think you're missing the point: these formulas in the link are for the curvature of the ellipsoid equipped with the Euclidean metric only, so they don't apply. We are using a different metric. Also, biholomorphisms are not related to curvature (not here at least). $\endgroup$
    – Ivo Terek
    Commented Dec 4, 2018 at 13:39
  • $\begingroup$ Then I have no idea how to caluclate the curvature of the given surface. $\endgroup$ Commented Dec 5, 2018 at 0:51
  • $\begingroup$ @Erdbeer0815 I added some things in my answer. You learn to do these calculations is in a Riemannian Geometry course. $\endgroup$
    – Ivo Terek
    Commented Dec 5, 2018 at 22:08

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .