Horocircle and pseudosphere

270 Views Asked by At

I found in several books by Aminov, Gromov and other current authors that deal with isometric dives, that the horocircle can be immersed isometrically in the pseudosphere (or failing that, on the Dini' surface),

enter image description here

although visually I found several references on this platform or in books, but I have not been able to find what would be the explicit immersion, any suggestions?

enter image description here

We know from Hilbert's theorem that the whole plane cannot be isometrically immersed in $\mathbb{R}^3$ but with this at least part of it is, hence my interest in getting explicitly which immersion could be. Knowing that there is at least a part of the hyperbolic plane that can be isometrically immersed in $\mathbb{R}^3$, the next question I will work on will be: What is the largest region of the hyperbolic plane with this characteristic?

1

There are 1 best solutions below

4
On BEST ANSWER

Consider the upper half-plane model of $H^2$, it has a horodisk $D = \{(x, y) \in H^2 : y > 1\}$.

Let $t \mapsto (f(t), g(t))$ be a parametrization of a tractrix starting at $(0, 1)$ with $\lim_{t \to \infty}g(t) = 0$.

Now the map

$$\varphi: \mathbb D \to \mathbb R^3, (x, y) \mapsto (g(\ln(y)) \cos x,g(\ln(y)) \sin x, f(\ln(y)))$$

covers a pseudosphere isometrically.

Unrolling the pseudosphere yields a horodisk in $H^2$, and unrolling Dini's surface yields not a horodisk, but a different shape: the convex hull of a hypercycle (in other words, the area between the hypercycle and its axis). The horodisk has infinite radius, and the other shape may have arbitrary finite width depending on how tightly the outer helix of the corresponding Dini's surface is wound. Both shapes have infinite area, but neither contains the other.