Are Geodesics Preserved by Diffeomorphisms of Hyperbolic Geometry?

In summary, the conversation discussed Poincare's upper half plane and disk models of the hyperbolic plane, and their relationship through a Moebius transformation. It was noted that the geodesics in these models are the same, and this is due to the preservation of geodesics by diffeomorphisms. The conversation also mentioned the three-dimensional Lie group of self-isometries of the hyperbolic plane and the geodesic equations in these models. It was pointed out that euclidean constructions with straightedge and compass also apply in hyperbolic geometry.
  • #1
WWGD
Science Advisor
Gold Member
6,935
10,343
Hi, everyone:

I was just going over some work on Hyperbolic geometry, and noticed that

the geodesics in the disk model are the same as the geodesics in the upper-

half plane, i.e, half-circles or line segments, both perpendicular to the boundary.


Now, I know the two domains are diffeomorphic: the Mobius map

M(z)=(z-i)/(z+i) takes H diffeomorphically into D, the open unit disk..




Is this last the explanation for why both have the same geodesics,

i.e, do diffeomorphisms preserve geodesics ? Is there some other

relation between the two domains that explains that they have

the same geodesics?.


Thanks.
 
Physics news on Phys.org
  • #2
Poincare's UHP versus disk models of the hyperbolic plane

Careful what you ask for, I might toss a small book at you! :wink:

You are correct that the Moebius transformation
[tex]w \mapsto \frac{w+i}{w-i}[/tex]
takes [itex]0, \, i, \, \infty[/itex] to [itex]-1, \, 0, \, 1[/itex] and thus maps the UHP conformally to the interior of the unit disk. If you express this as a real transformation, we can regard it as a coordinate transformation from Poincare's upper half plane model of the hyperbolic plane, which in the UHP chart has the line element
[tex]
ds^2 = \frac{dx^2+dy^2}{y^2}, \; -\infty < x < \infty, \; 0 < y < \infty[/tex]
to Poincare's unit disk model of the hyperbolic plane, which in the polar stereographic chart has the line element
[tex]
ds^2 = \frac{4 \, \left( d\rho^2 + \rho^2 \, d\phi^2 \right)}{1-\rho^2}, \;
0 < \rho < 1, \; -\pi < \phi < \pi
[/tex]
This chart is readily transformed to the more familar cartesian stereographic chart with the line element
[tex]
ds^2 = \frac{4 \, \left( d\overline{x}^2+d\overline{y}^2 \right)}
{\left( 1-\overline{x}^2-\overline{y}^2 \right)^2}, \;
\overline{x}^2+\overline{y}^2 < 1
[/tex]
which can indeed be obtained by stereographic projection of the hyperboloid of one sheet considered as the variety [itex]-x_1^2 + x_2^2 + x_3^2 = -1[/itex] in [itex]E^{1,2}[/itex] from the point [itex](x_1,x_2,x_3)=(-1,0,0)[/itex] to the plane [itex]x_1 = 0[/itex].

Poincare himself recalled, in a famous passage in one of his popular books written for a general audience, that he noticed these facts at the exact moment in which he set his foot down to get onto a bus!

To see this, consider the inverse transformation
[tex]
z \mapsto \frac{i \, (1-z)}{1+z}
[/tex]
Writing [itex]z = \rho \, \exp(i \, \phi)[/itex], the transformation becomes
[tex]
x = \frac{2 \rho \, \sin(\phi)}{\rho^2 + 2 \rho \, \cos(\phi) + 1}, \;
y = \frac{1-\rho^2}{\rho^2 + 2 \rho \, \cos(\phi) + 1}
[/tex]
with inverse transformation
[tex]
\rho = \sqrt{ \frac{x^2+(y-1)^2}{x^2+(y+1)^2}}, \;
\phi = \arctan \frac{2 x}{1-x^2-y^2}
[/tex]
Plugging into the first line element above, we obtain the second.

Let's study [itex]H^2[/itex] in the UHP chart.

You can readily solve the Killing equations to find three generators of the Lie algebra of Killing vectors, namely
[tex]
\partial_x, \;
x \, \partial_x + y \, \partial_y, \;
\frac{x^2-y^2}{2} \, \partial_x + x y \, \partial_y
[/tex]
which I hope you recognize as three infinitesimal Moebius transformations!

To obtain the uniparameteric subgroups of transformations corrresponding to each generator, we proceed as follows:

To find the integral curves of the vector field [itex]\partial_x[/itex], we solve
[tex]
\dot{x} = 1, \; \dot{y} = 0, \; x(0)=x_0, \; y(0) = y_0
[/tex]
which gives [itex]x(s) = x_0 + s, \; y(s) = y_0[/itex], or better yet, [itex](x,y) \mapsto (x + \lambda, y)[/itex], i.e. horizontal translation .

To find the integral curves of the vector field [itex]x \, \partial_x + y \, \partial_y[/itex], we solve
[tex]
\dot{x} = x, \; \dot{y} = y, \; x(0)=x_0, \; y(0) = y_0
[/tex]
which gives [itex]x(s) = x_0 \, \exp(s), \; y(s) = y_0 \, \exp(s)[/itex] ("additive" group parameterized by s), or better yet, [itex](x,y) \mapsto (x \, \lambda, y \, \lambda)[/itex] ("multiplicative" group parameterized by [itex]\lambda > 0[/itex]). That is, dilation from the origin in euclidean terms, or "vertical" translation in hyperbolic terms.

Exercise: find the integral curves of the vector field [itex]\frac{x^2-y^2}{2} \, \partial_x + x y \, \partial_y[/itex]; the resulting one-parameter group of transformations should consist of the hyperbolic rotations about the point [itex](x,y)=(0,1)[/itex], with orbits which are coordinate circles with various centers which in hyperbolic terms are concentric circles around this point.

Thus, we have a three dimensional Lie group of self-isometries of the hyperbolic plane, which is fully analogous to the three dimensional Lie group of self-isometries of the euclidean plane.

The geodesic equations are readily obtained from the geodesic Lagrangian; the result is
[tex]
\ddot{x} - \frac{2 \dot{x} \dot{y}}{y} = 0, \;
\ddot{y} + \frac{\dot{x}^2-\dot{y}^2}{y} = 0
[/tex]
From this we readily obtain the first integrals
[tex]
\dot{x} = A \, y^2, \;
\dot{y} = y \, \sqrt{(1- A^2 \, y^2}
[/tex]
From this we obtain
[tex]
\frac{dx}{dy} = \frac{\dot{x}}{\dot{y}} = \frac{A y}{\sqrt{1-A^2 y^2}}
[/tex]
which gives [itex](x-x_0-\sqrt{y_m-y_0^2})^2 + y^2 = y_m^2[/itex]. This is evidently, in euclidean terms, a semicircular arc passing through [itex](x,y) = (x_0, y_0)[/itex], orthogonal to [itex]y=0[/itex], and with maximal height [itex]y=y_m[/itex].

From our knowledge of conformal mappings in general and Moebius transformations in particular, we can immediately infer that in the unit disk model, the geodesics appear (in euclidean terms) as semicircular arcs orthogonal to the unit circle (the image of the real line under our diffeomorphic mapping giving the change of coordinate charts as above). We could also confirm this directly by studying the geodesics in the polar stereographic chart. Readers should draw a sketch at this point to verify that given a line L (geodesic) in [itex]H^2[/itex] and a point P off L, there are infinitely many lines through P which do not intersect L!

PF readers will no doubt be familiar with formulas from analytic geometry giving the equation of the line L through two given points P1, P2, aka the straightedge equation, and also the equation of a circle of radius A with center P, aka the compass equation.

Exercise: find a formula giving the equation of the hyperbolic geodesic through two points P1, P2 in the unit disk. Find a formula giving the equation of the circle of hyperbolic radius A and hyperbolic center P.

Once one has these in hand, note that most euclidean constructions with straightedge and compass do not depend upon the parallel postulate, so we can simply substitute our hyperbolic versions. In this way we can confirm that if we assume that euclidean geometry is self-consistent, we must conclude that hyperbolic geometry is also self-consistent. In this way Gauss and independently Lobachevski and Janos Bolyai built up the synthetic theory of hyperbolic geometry.

There is no need to use analytic formulas here; what GLB actually did was to use euclidean constructions with straightedge and compass to model the required hyperbolic straighedge and compass. See Chaim Goodman-Strauss, "Compass and Straightedge in the Poincare Disk", American Mathematical Monthly 108 (2001): 38-49, for a detailed discussion.

Actually, Poincare's flash of inspiration covered much more ground than we can cover here; he also saw how doubly periodic functions encountered in complex analysis (these arise naturally for example in solving various ODEs) are connected with tilings of the hyperbolic plane and with their symmetry groups. See for example Jones and Silverman, Complex Functions for doubly periodic groups and see Armstrong, Groups and Symmetry for an elementary enumeration of the symmetry groups.

I feel that we ought to have a sticky listing some examples of structure at various levels in manifold theory and Riemannian (or Lorentzian) geometry. As an example of global structure, we see that [itex]H^2[/itex] is aptly named, for it is indeed diffeomorphic (and thus homeomorphic) to the euclidean plane, but because [itex]{R\left[H^2\right]}_{1212} = -1[/tex] while [itex]{R\left[E^2\right]}_{1212} = 0[/itex], it is certainly not isometric to the euclidean plane! Furthermore, from considering "ideal endpoints" (on the unit circle) of geodesics in the disk model, you can see that the space of lines (geodesics) is diffeomorphic to a Moebius band, i.e. real projective plane with a disk removed.

There are many other charts on [itex]H^2[/itex] which are often encountered, including the radial chart
[tex]
ds^2 = \frac{dr^2}{1+r^2} + r^2 \, d\phi^2, \;
0 < r < \infty, \; -\pi < \phi < \pi
[/tex]
the cylindrical conformal chart (analog of Mercator chart, in which loxodromes appear as coordinate lines, which gives an angle-preserving but not area-preserving euclidean representation)
[tex]
ds^2 = \frac{d\zeta^2 + d\phi^2}{\sinh(\zeta)^2}, \;
0 < \zeta < \infty, \; -\pi < \phi < \pi
[/tex]
the cylindrical axial projection chart (area preserving)
[tex]
ds^2 = \frac{dz^2}{z^2-1} + \left( z^2-1 \right) \, d\phi^2, \;
-1 < z < 1, \; -\pi < \phi < \pi
[/tex]
the radial trig chart
[tex]
ds^2 = d\theta^2 + \sinh(\theta)^2 \, d\phi^2, \;
0 < \theta < \pi, \; -\pi < \phi < \pi
[/tex]
and the planar central projection chart
[tex]
ds^2 = \frac{dv^2}{\left( 1-v^2 \right)^2} + \frac{v^2}{1-v^2} \, d\phi^2 , \;
0 < v < 1, \; -\pi < \phi < \pi
[/tex]
which is geodesic-preserving; the geodesics appear as coordinate line segments in the unit disk, which gives Klein's unit disk model of [itex]H^2[/itex].

Exercise: find explicit coordinate transformations between these, and determine which properties each chart has: angle-preserving, area-preserving, or geodesic-preserving? Some of these are best considered to "live" in part of the plane, and some, in part of a cylinder. Which are which? (Some hints provided above.)

Exercise: study Flanders, Differential Forms and their Physical Applications. For each chart, read off a natural coframe field. If neither unit vector gives a geodesic vector field, rotate by a suitable amount at each point to obtain a frame field which is geodesic. Express the Laplace-Beltrami operator in terms of each chart. Express the three Killing vectors in terms of each chart.

Exercise: study Olver, Applications of Lie Groups to Differential Equations. Explain why the heat equation in the hyperbolic plane becomes (in the UHP chart)
[tex]
\frac{u_t}{y^2} = u_{xx} + u_{yy}
[/tex]
Determine its point symmetry group and find the fundamental solution using the methods of Lie.

WWGD said:
do diffeomorphisms preserve geodesics?

I suggested above considering diffeomorphisms as coordinate transformations. From this point of view, the fact that our transformation arises from a conformal mapping in the sense of complex variables ensures that since our first chart was "conformal", our second chart (obtained by applying this mapping as a coordinate transformation) must also be "conformal", and it is.

As suggested above, we can compare any coordinate chart on any Riemannian two-manifold with a locally euclidean model (above I used some cylindrical and some planar models), and we can decide whether or not our chart gives a euclidean representation of the intrinsic geometry on our Riemannian two-manifold which preserves angles, geodesics, or area. Gauss himself showed that no representation can preserve all three if the Gaussian curvature is nonzero. But as we saw above we can find representations which preserve either angles or geodesics or area!

Exercise: for the sphere [itex]S^2[/itex], find analogous charts and work out exercises analogous to the ones above. The same, for [itex]H^{1,1}[/itex].
 
Last edited:
  • #3
Thanks: will get back to you in 2010, after I finish digesting the answer :).

Another one (maybe you should copyright it before posting it):

I read of lines in the saddle and the hyperboloid as models for Hyperbolic

geometry. Specifically (Borwein and Borowski, Dict. of Math-great book)

"Hyperbolic Geometry...can be modeled as the geometry of lines in the saddle.."

I don't know if I am too far off here, but, from what I understand, no

hyperbolic surface ( I guess this would mean constant curvature=-1)

can be embedded in IR^n . Isn't the saddle embedded in IR^3.?


Thanks Again
 
  • #4
Hi, WWGD,

Your post is a bit hard to read--- see https://www.physicsforums.com/faq.php?faq=vb_faq#faq_vb_board_usage [Broken] for some formatting ideas.

WWGD said:
hyperbolic surface ( I guess this would mean constant curvature=-1)

Yes, I should have said that by [itex]H^2[/itex] I mean the hyperbolic plane with constant curvature [itex]R_{1212} = -1[/itex]. This can be embedded in [itex]E^{1,2}[/itex], flat space with the indefinite but nondegenerate quadratic form [itex]Q(\vec{x}) = -x_1^2 + x_2^2 + x_3^2[/itex]. As your book states, this cannot be globally embedded in [itex]R^3[/itex], although it can be locally embedded as various surfaces of revolution. Indeed, Beltrami's original model was the surface of revolution obtained from the tractix; see for example Dirk J. Struik, Lectures on Classical Differential Geometry, Dover reprint.

The saddle surface has negative curvature but not constant negative curvature, and yes, it can be embedded in [itex]R^3[/itex]. In general, whether or not a surface has constant curvature, in regions of negative curvature, initially parallel geodesics will diverge whereas in regions of positive curvature, initially parallel geodesics will converge. That was the point of mentioning the saddle surface.
 
Last edited by a moderator:
  • #5
A Very Quick Overview of Stereographic Projection of H^2

Here is some more detail about stereographic projection of H^2.

We take the H^2 to be the lower component of the hyperboloid of two sheets [itex]-y_1^2+y_2^2+y_3^2 = -1[/itex] embedded in [itex]E^{1,2}[/itex] and define the projection by drawing a straightline in the flat embedding space from (1,0,0) to [itex](y_1,y_2,y_3)[/itex] and taking the project to map to the intersection (0,x,y) of this line with the plane R=0. Then
[tex]
(y_1,y_2,y_3) - (1,0,0) = t \, \left( (0,x,y) - (1,0,0) \right)
[/tex]
from which
[tex]
\left[ \begin{array}{c} y_1\\ y_2 \\ y_3 \end{array} \right]
=
\left[ \begin{array}{c}
-\frac{1+x^2+y^2}{1-x^2-y^2} \\
\frac{2x}{1-x^2-y^2} \\
\frac{2y}{1-x^2-y^2}
\end{array} \right], \;
x^2 + y^2 < 1
[/tex]
This is a parameterization of [itex]H^2[/itex] by parameters which we can identify with the coordinates of the cartesian stereographic chart. Taking partials wrt x,y and taking the [itex]E^{1,2}[/itex] inner product of these two three-vector fields (which span the tangent spaces in the embedded manifold), we obtain the line element (basically, the metric tensor, or the first fundamental form in the language of surface theory):
[tex]
ds^2 = \frac{dx^2 + dy^2}{ \left( \frac{1-x^2-y^2}{2} \right)^2 }, \;
x^2 + y^2 < 1
[/tex]
Incidently, the cartesian stereographic chart has the advantage over the polar stereographic chart that it is well defined at the origin, but the latter chart has geodesic equations which are easier to solve!

We can prove using analytic geometry (compare the less elementary differential equation plus conformal mapping approach in my Post #2) the fact that in the unit disk model, geodesics appear as euclidean semicircular arcs lying inside and orthogonal to the unit circle.

Recalling the scale factor t above, if we consider the chordal distance between two points on [itex]H^2[/itex] as a parameterized surface in [itex]E^{1,2}[/itex]--- that is the flat embedding space distance between the two points, which are spacelike separated!--- then we can prove the useful fact that the ratio of the euclidean distance between the images of the two points in the unit disk model to the chordal distance is the geometric mean of the two scale factors! That is,
[tex]
\frac{\sqrt{(x-x^\prime)^2 + (y-y^\prime)^2}}
{\sqrt{-(y_1-y_1^\prime)^2+(y_2-y_2^\prime)^2+(y_3-y_3^\prime)^2}}
= \sqrt{t \, t^\prime}
[/tex]
Then a bit of trignometry gives the distance formula
[tex]
d\left( (x,y), (x^\prime, y^\prime) \right) =
2 \, \operatorname{arcsinh} \, \frac{\sqrt{(x-x^\prime)^2 + (y-y^\prime)^2}}
{\sqrt{1-x^2-y^2} \, \sqrt{1-{x^\prime}^2-{y^\prime}^2}}
[/tex]
This formula gives the hyperbolic distance measured along a hyperbolic geodesic between any two points in the hyperbolic plane. It defined a metric in the sense of metric topology (see for example Munkres, Topology).

Students are often confused by how the notion of a metric space relates to the notion of a (Riemannian) metric tensor. The answer is very simple! If we expand the two variable Taylor series of our distance formula in terms of (dx,dy), we obtain
[tex]
\begin{array}{rcl}
d\left( (x,y), (x+dx, y+dy) \right)
& = & 2 \, \operatorname{arcsinh} \, \frac{\sqrt{dx^2 + dy^2}}
{\sqrt{1-x^2-y^2} \, \sqrt{1-(x+dx)^2-(y+dy)^2}} \\
& = & \frac{2 \, \sqrt{dx^2+dy^2}}{1-x^2-y^2} \;
\left( 1 + \frac{x \, dx + y \, dy}{1-x^2-y^2} \right) + O(dx^3, dy^3)
\end{array}
[/tex]
Here, the first term is simply the square root of the now familiar expression
[tex]
ds^2 = \frac{dx^2+dy^2}{\left( \frac{1-x^2-y^2}{2} \right)^2}
[/tex]
the next term gives a quadratic correction, and the remaining terms (not shown) give higher order corrections.

In other words, to find the distance between two points using the line element, we need to find the proper-distance-parameterized geodesic arc between them and then to integrate ds along this arc. Our distance formula allows us to circumvent that messy process! Clearly, we can only expect to find a nice distance formula in the case of particularly simple manifolds (here we are dealing with a Riemannian two-manifold of constant Gaussian curvature). OTH, it is always true that the distance between two nearby points in any Riemannian manifold is givento first order in the separation by the line element.

Exercise: try to fill in the missing details above. Consider [itex]S^2[/itex] as the ordinary round sphere [itex]y_1^2+y_2^2+y_3^2 = 1[/itex] and work out an analgous distance formula for the stereographic chart on the sphere. Similarly for [itex]H^{1,1}[/itex] (see [thread=195445]this recent PF thread[/thread]).
 
Last edited:
  • #6
I'm not nearly as knowlegdgeable about this as Chris Hillman but I might point out that the disk and half-plane models have the same geodesics because the are basically the same model.

If you take a small portion of the disk, next to the boundary circle, and enlarge it until the circle becomes indistinguishable from a line, you have the half-plane model.
 
  • #7
Hi, Halls, I highly recommend the excellent textbook on the philosophy of space and time by Sklar, Space, Time, and Spacetime which offers among other things perhaps the clearest nontechnical discussion I've seen of Riemannian geometry, including comparing the Poincare upper half place and Klein unit disk model.

If you then study (if you haven't already) the readable UG textbook by Struik, Lectures on Classical Differential Geometry, or an equivalent textbook, for classical theory of surfaces and some of the classical theory of plane and space curves as developed by mathematicians like Poncelet, Gauss, Darboux, Klein and Lie (collaboratively), Frenet & Serret (independently), and Beltrami in the nineteenth century (and greatly improved by Elie Cartan c. 1905), and apply this to these two models you will see that in classical terms
  • if we consider the UHP model as defined by the particular parameterization and UHP chart as in my posts above, then this UHP chart is a conformal, non-geodesic, non-area-presvering chart,
  • if we consider Klein's disk model as defined by the particular parameterization and central project chart as in my posts above, then this central projection chart is a orthogonal but non-conformal, geodesic, non-area-preserving chart.
Compare the discussion in Sklar's book.

As I pointed out above, it is probably best for our purposes to consider a local diffeomorphism on M to define a change of local coordinate chart. Then we can change freely between any of the charts I discussed above (and infinitely many more, of course). In particular, the Poincare unit disk model, the one beloved by Coxeter and frequently illustrated by Escher in his woodcuts, when considered as the parameterization and chart I gave above, is like the UHP chart a conformal, non-geodesic, non-area-presvering chart, and the "conformal" part is immediate from the fact that the diffeomorphism to compare these two charts happens to be the real number incarnation of the conformal mapping mentioned by WWGD.

If it is not clear that these three charts give different "maps" (in the sense of cartography) of the hyperbolic plane, I advise drawing to scale, in all three charts, a fixed array of small disks and a fixed configuration geodesics. You can then easily "see" the differences! In particular, all the properties I mentioned will be visually apparent.

I think you are focusing on the application of conformal mapping as per complex variables, which is relevant for the reason just stated, but I think that WWGD was asking about the Riemannian geometry of the hyperbolic plane. However, I grant you that it is no coincidence that further Moebius transformations showed up with we computed the three-dimensional Lie algebra of Killing vector fields! But here I think that's a bit of distraction.

Part of the point here is that in differential geometry, there are often various distinct notions of "equivalence" which can sometimes be a bit difficult to disentangle, often because of the many "levels of geometric structure" which are often implicitly or explicitly present in the discussion. In particular, I chose to suppress mentioning self-isometries, apart from the discussion of the three-dimensional real Lie group generated by the Lie algebra of Killing vector fields, which is of course a subgroup of the six-dimensional Lorentz group.
 
Last edited:
  • #8
Why does (z-i)/(z+i) have to be on the unit disk? I guess the question can be rephrased, why is it a complex number with complex abs value < 1?
 
  • #9
The claim is that we have a pair of inverse holmorphisms (in fact, Moebius transformations) which map the upper half plane to the interior of the unit disk and vice versa, and which map the real line to the unit circle and vice versa. To understand this, you need to know a bit about complex variables and Moebius transformations. One very readable advanced undergraduate level textbook is Boas, Invitation to Complex Analysis.
 

What is a geodesic?

A geodesic is the shortest path between two points on a curved surface, such as a sphere or a curved plane. It is the equivalent of a straight line on a flat surface.

What is a diffeomorphism?

A diffeomorphism is a smooth and invertible mapping between two differentiable manifolds. In simpler terms, it is a transformation that preserves the smoothness of a surface.

How are geodesics and diffeomorphisms related?

Geodesics and diffeomorphisms are closely related in the field of differential geometry. Diffeomorphisms can be used to transform a curved surface into a simpler, more easily studied shape, while preserving important properties such as geodesics.

What are some real-world applications of geodesics and diffeomorphisms?

Geodesics and diffeomorphisms have numerous applications in fields such as physics, engineering, and computer graphics. They are used to model and analyze curved surfaces, such as the Earth's surface, and to create maps and visualizations of these surfaces.

What is the significance of geodesics and diffeomorphisms in general relativity?

In general relativity, geodesics represent the paths of freely moving objects in space, while diffeomorphisms are used to transform between different coordinate systems. These concepts are crucial in understanding the curvature of space and the behavior of matter and energy in the universe.

Similar threads

  • Differential Geometry
Replies
4
Views
2K
  • Differential Geometry
Replies
16
Views
3K
  • Special and General Relativity
Replies
1
Views
512
  • Differential Geometry
Replies
9
Views
3K
  • Math Proof Training and Practice
Replies
25
Views
2K
  • Differential Geometry
Replies
4
Views
3K
  • Differential Geometry
Replies
4
Views
3K
  • Special and General Relativity
Replies
13
Views
1K
  • Differential Geometry
Replies
9
Views
5K
  • Special and General Relativity
3
Replies
73
Views
8K
Back
Top