Continuing from the last post with the upper half plane model as our model of the hyperbolic plane. First, it is to be noted that the fractional linear transformations or more commonly called the Moebius transformations maps the upper half plane to itself.

Consider the transformed point under on where :

.

The imaginary part of the transformed point is

.

Note that if then the above shows that also, and hence the earlier statetment of the map onto itself.

To continue studying the geometry of the hyperbolic plane, one must have a notion of hyperbolic distance and this is obtained from the previous hyperbolic metric on the upper half plane. One thus defined the infinitesimal element of the hyperbolic distance to be

.

Given a curve , its length is thus given by

.

For the hyperbolic distance between , one takes the minimum value of the length of curves connectig the two points i.e.

.

Later, it will be convenient for us to know exactly what are the shortest hyperbolic curves connecting two point on i.e. the geodesics. For now, we note that the Moebius transformations themselves are isometries (preserve lengths). Consider the transformed points on a curve :

.

Its derivative is

.

Noting that , we can write the derivative as . Thus under the transformation, the hyperbolic distance stays invariant as shown below:

.

Next, we claim that geodesics in are either (arcs of) semicircles and vertical lines orthogonal to the real axis. We calculate first, the formula of the hyperbolic length of two points on a semicircle with centre (see diagram below).

The two points can be coordinatized by the angles or parametrized by the following:

.

Their differentials are

.

Plugging into the distance formula on a hyperbolic curve gives

Note the denominator of the final integrand can be rexpressed as and observing that

,

one obtains

Using trigonometric identity,

,

we can reexpress the distance (following Stahl) as

.

For the case of two points on the vertical line

the distance formula (with ) gives

.

Next, we show the distance formula given by the (claimed) geodesics indeed give the infimum distance. Consider an arbitrary curve between and (not collinear vertically):

Using the same coordinatization but with depend on , we obtain

.

Hence,

.

Thus, the distance measured through arbitrary curve connecting and obeys

.

This shows the arc of the semicircle connecting and gives the infimum hyperbolic distance. Next we do the same for arbitrary curves joining two vertically collinear points.

Let be a function of i.e. . Then

.

Again, the vertical line joining the two points give the least distance in comparison to other curves joining them, hence the earlier-claimed geodesics.

Finally we would like to give the solution to Exercise 4 of Katok’s article where one could essentially transform any semicircle (geodesic) to the vertical line and hence making any other proofs concerning geodesics easier. Let the semicircle be centred at the origin with radius and the vertical line be the -axis. Both can be parametrized as respectively. Consider then the transformation . Plugging in the parametrization gives

.

Putting and multiplying top and bottom by gives

.

Note that the second factor is already the reciprocal of . Thus by putting and composing the transformation with an inversion gives the necessary transformation i.e.

.

**References**

- S. Katok, “Fuchsian Groups, Geodesic Flows on Surfaces of Constant Negative Curvature and Symbolic Coding of Geodesics”, (http://www.math.psu.edu/katok_s/cmi.pdf)
- R. Hayter, “The Hyperbolic Plane – A Strange New Universe” , (http://www.maths.dur.ac.uk/Ug/projects/highlights/CM3/Hayter_Hyperbolic_report.pdf)
- S. Stahl,
*A Gateway to Modern Geometry: The Poincare Half-Plane*, (Jones & Bartlett, 2007). - J. Hilgert, “Maass Cusp Forms on “, (http://www.math.uni-paderborn.de/~hilgert/Metz05web.pdf)