The unit disk in the complex plane, together with geometry defined by invariants of fractional linear SU(1,1) action, known as the Poincaré disk, that is the arena of hyperbolic geometry. But why “hyperbolic”? It is time for us to learn, and to use. In principle the answer is given in Wikipedia, under the subject “Poincaré disk model”. There we find the following picture

with formulas:

We want to derive these formulas ourselves. Let us first introduce our private notation. The hyperboloid will live in a three-dimensional space with coordinates This is the space-time of Special Relativity Theory, but in a baby version, with coordinate suppressed.

The light cone in our space-time has the equation Of course we assume the constant speed of light Inside the future light cone (the part with ) there is the hyperboloid defined by The coordinates of events on this hyperboloid satisfy the equation

(1)

As can be seen from the picture above, every straight line passing through the point with coordinates and a point with coordinates on the hyperboloid, intersects the unit disk at the plane at a point with coordinates . We want to find the relation between and

Given any two points, , the points on the line joining and have coordinates parametrized by a real parameter as follows:

(2)

For we are at for we are at , and for other values of we are somewhere on the joining line. Our has coordinates our has coordinates on the hyperboloid, and we are seeking the middle point with coordinate So we need to solve equations

(3)

From the last equation we find immediately that and the first two equations give us

(4)

We need to find the inverse transformation. First we notice that

Thus we have derived the formulas used in Wikipedia. Wikipedia mentions also that the straight lines on the disk, that we were discussing in a couple of recent posts, are projections of sections of the hyperboloid by planes. We will not need this in the future. But we will use the derived formulas for obtaining the relation between SU(1,1) matrices and special Lorentz transformations of space-time events coordinates. This is the job for the devil of the algebra!

Something bad happened to this post (in the midle).

Fixed by desactivating newly activated smiley plugin. It seems that either you have smileys or you have latex. Not both. Strange is this world.