I've always been fascinated by the calculus of manifolds, particularly the rare and interesting cases. A while ago I prepared the following information about hyperbolic space as part of a presentation on the subject.
When Euclid formulated the postulates of geometry over 23 centuries ago, he supposed that through any point not on a line, exactly one line could be drawn that did not intersect the line. This was the famous "Fifth Postulate," which inevitably proved correct only under certain further assumptions about the space in which the "line" was drawn. In the figure to the right, line is parallel to line through point .
But what do we mean by a "line"? From the field of differential geometry, what we really mean is a geodesic, a curve in space that has zero geodesic curvature and is stationary with respect to arc length. This means that a geodesic will always have either minimum or maximum length between two given points in space (we usually are only concerned with the minimizing case). In Euclidean (flat) space, this is a straight line, and we know that the shortest distance between two points in this space (denoted where is the dimension of the space) is a segment of this line.
Can there be other spaces where Euclid's Fifth Postulate does not hold? Yes, there can. Ancient geometers were often troubled by the axiom, and by the 18th century several alternative geometries were established. Among these was the notion of hyperbolic geometry. Replacing the Fifth Postulate was a different axiom: through any point not on line , there exist at least two lines that do not intersect . In the figure to the left, lines and intersect the perpendicular through at angle , but do not intersect itself (the lines actually curve in hyperbolic space). If is the minimum such angle, then the lines and are said to be asymptotic to , meaning that they intersect at infinity. At any larger angle, the lines are called ultraparallel, and never intersect , even at infinity. Note that there are an infinite number of ultraparallel lines, but only two asymptotic lines to a given line through a point not on it.
As hyperbolic space is not our familiar , it can be difficult to envision it, though they are diffeomorphic. There are three standard models for visualizing hyperbolic space: the Klein-Beltrami Model, the PoincarÃ© Disk Model, and the Half-Plane Model. These are shown as (a), (b), and (c) to the left. Notice that (b) and (c) look rather similar in that if the bounding circle of the disk model was cut and straightened into a line, it would be the -axis of the half-plane. Even the shapes of the geodesics shown (, , , and in the figure) are preserved in this transformation. This is what is known as a conformal mapping: angles are preserved, even if distances are not. It is due to a powerful theorem called the Riemann Mapping Theorem that any simply connected open subset of which is not all of is conformal to the unit disk
including the upper half-plane
Due to the natural isomorphism between and , I will often refrain from making a distinction between the two planes. Generally coordinates in will be denoted , while in I will just use the complex number .
Let's begin by looking at the hyperbolic half-plane . In the figure, we can see what appear to be circles and rays extending from the -axis, which I claimed were geodesics. To prove this statement, we need to examine arc lengths in the half-plane. In this model, the metric has the form
which is a bit different from the Euclidean metric . Nevertheless, our tools from calculus will still help us out, so let's say that one type of geodesic really is a circle on the -axis. We will parameterize with the angle in the setup shown below:
Our coordinates are chosen to be:
so that the arc length along is:
Also, for a vertical line segment, we can calculate the length:
In the complex case, we note that
so that using the same method of derivation we can find the hyperbolic distance between two points:
Hence the general distance between two points in is
Also note that we can show that these semicircles and vertical rays are geodesics by considering general path lengths in :
Let's examine what a curve would look like in if it were the locus of points a constant distance (1, say) from a vertical ray.
The curves would have to be separated by a geodesic (arc of semicircle) as shown in the drawing, hence we have:
so that the curve of constant distance is actually a Euclidean ray! It can also be shown that the locus of points a given distance from a semicircular geodesic is a circular arc with the same endpoints as the semicircle (though not necessarily orthogonal to the -axis). In fact, sets of points of constant distance to a geodesic in any model of the hyperbolic plane are called hypercycles, and in the half-plane model these are lines and arcs of circles that cut the -axis at non-right angles.
It is an interesting fact that circles in Euclidean space are mapped to circles in hyperbolic space, though the dependence of the circumference on the diameter is highly non-linear. In mapping a Euclidean circle to a hyperbolic circle, we see that the center is shifted downward, so that , and from the metric,
so that , , and . If we parameterize by , we can write and , so that
and since , we have that the hyperbolic circumference is .