A Web Application to Move Around Hyperbolic Space

What does it feel like to live in hyperbolic space?
Here we have a simple app where you can move in different spaces (including hyperbolic, spherical, and flat geometry). The application is minimalistic as it only shows your trace or trajectory as you move around. Hopefully, this is enough to give you a feel of that space.

Try the app!

First we will present the application and explain how to use it. Next we will introduce a small movement or ā€œdanceā€ and use it as a tool to test the different spaces, both inside and outside of the app. In the final words, I argue that spacetime might not be as abstract as it seem, as we do observe it.

A note about the name: ā€œle Petit Poucetā€ or the ā€œLittle Thumblingā€ is a children story by Charles Perrault where a young kid uses small rocks to find his way into the forest, much like we use the colorful thread of the spider in the app.

I - How to use the web app?

At the beginning the space is empty and everything is black. But as we move around, we trace a mark on the space that we can see. The idea is to roam around and see how the trace changes as we move in different spaces.

I.1 - Controls

The app main action is to move around, using:

  • the arrow keys for moving up/down and left/right
  • the a and d keys to turn around ourselves

Additionnally, we have some controls on the left hand side menu:

  • The Reset button allows to clear the trace.
  • The Change button allows to change the space we are currently on.

I.2 - Available spaces

Sphere

  • As the name suggests, this is just the geometry you would encounter if you were actually living on a ball
  • It is "bounded": going very far in any direction for about 30 seconds, you should come back where you came from.
  • Try to make parallel lines, is it possible?

Flat Plane

  • This is the usual geometry of a flat plane, as we experience for example on flat soccer field.
  • It is unbounded: we can go forward infinitely without coming back on our tracks.
  • Try to make parallel lines, observe that it is possible and that there is a single parallel to line passing by a given point. This is also called Euclid parallel's postulate.

Hyperbolic Plane

  • Hyperbolic plane looks everywhere like the middle of a saddle (pictured left). However it does not globally look like a saddle, actually there is no surface that we can picture in our geometry that has the shape of hyperbolic space.
  • It is unbounded: going forward, you never come back where you started no matter how long you go.
  • Try to make parallel lines
  • Make two different parallel lines going through the same point, showing that Euclid parallel's postulate fails in this geometry

II - Application: Making a square

A question which might be of interest, would be to determine the type of space we are in (spherical, flat or hyperbolic) without looking at the menu. There are of course many ways to do that, as the spaces are quite different, but here we will propose a simple solution, based on a little square ā€œdanceā€.

II.1 - The square in the app

You can make a square in any of the proposed spaces in the following way:

How to make a square

  1. Go forward (up arrow)
  2. Go right (right arrow)
  3. Go backward (down arrow)
  4. Go left (left arrow)
Each movement can be relatively small, like a few seconds each.

What do you observe? It depends on the space you are in:

  • spherical geometry -> you end up facing inside the square
  • flat geometry -> you end up right where you started
  • hyperbolic geometry -> you end up facing outside the square

Spherical

Flat

Hyperbolic

The flat geometry example is just what you would expect intuitively. After finishing the square, we are facing exactly in the same direction that we started with.
In spherical geometry, when we come back after the square, we have also rotated towards the inside of the square. Correspondingly, hyperbolic geometry rotates in the other direction.

A technical note for mathematicians (feel free to skip this):
The ā€œsquare danceā€ is related to the commutators of the underlying Lie group of each geometry. Writing \(T_x\) for the translation in the x-axis, and $T_y$ for the y-axis translation, the orientation at the end of the square dance is given by $T_xT_yT_x^{-1}T_y^{-1}$.
Considering smaller and smaller translations, then passing to the limit, we can also show that this information is contained in the lie bracket $[D_x, D_y]$, where $D_x$ and $D_y$ are the Lie vectors corresponding to translation in the x and y direction respectively.
So there is a direct link between this ā€œsquare danceā€, and the structure coefficients of the underlying Lie algebra, which define the geometry (up to a few details), according to the Lie group-Lie algebra correspondence and the Erlangen program.

So this simple square dance is a convenient tool to determine in which geometry we are in. But we can also do it in our space time, what does it reveal then?

II.2 - The square in real life

I invite you to get up of your chair, finding a suitable area, for example facing straight at a wall, and then doing the four steps of the square outlined above. Of course, when you are finished, you observe that you are facing straight at the wall again. This observation has nothing stupid, as weā€™ve seen, in different geometries, we would have rotated at the end of the square, so that we would be facing the wall with an angle.

In other words, by doing this simple square dance, we have observed something of our spacetime. Mathematicians call this property we have juste observed ā€œflatnessā€.
A big part of science is putting complicated names on simple phenomena. Now you can impress your friends too; instead of saying ā€œmoving in a squareā€ you can say ā€œperforming an experience of the flatness of spacetimeā€.

Final words: can we look at spacetime?

Of course when we look around, we can see events or objects in spacetime, but we can we see spacetime itself?
When you do the ā€œsquare danceā€, you observe coming back exactly where you started, which is something very special of our geometry. We can argue that this is indeed ā€œlooking at spacetimeā€.
Perhaps it would be better to say ā€œperceiving spacetimeā€ rather than looking because the ā€œsquare danceā€ experiment involves moving and looking, so that the perception of spacetime requires both visual as well as muscular sensations.

Do let me know your thoughts and if any cool things/issues happenned with the app!

Hyperbolic bye!! Hyperbolic bye