Conformally Euclidean geometry of the upper half-plane

In Deriving invariant hyperbolic Riemannian metric on the half-plane we have calculated the line element for the SL(2,R) invariant hyperbolic geometry on the upper half-plane:
[latexpage]
\begin{equation}ds^2=\frac{dx^2+dy^2}{y^2}.\label{eq:ds2}\end{equation}
Using this formula we can easily calculate the length of any segment of any curve. If $(x(t),y(t))$ is a parametric equation of the curve, then $dx=\frac{dx}{dt}dt=\dot{x}(t)dt,\, dy=\frac{dy}{dt}\,dt=\dot{y}(t)\,dt,$ and so
\begin{equation}ds=\sqrt{\frac{dx^2+dy^2}{y^2}}=\sqrt{\frac{\dot{x}^2+\dot{y}^2}{y^2}}dt,\end{equation}
\begin{equation}s(t_0,t_1)=\int_{t_0}^{t_1}\frac{\sqrt{\dot{x}(t)^2+\dot{y}(t)^2}}{y(t)}\,dt.\end{equation}
In this last formula we have used the fact that in the upper half-plane we have $y(t)>0.$

From the studies of geometry of surfaces and its generalization developed mainly by Riemann we know that the formula for the line element allows us not only to find the length, but also the angles.

From Wikipedia:
Bernhard Riemann – see Modern Science Map

Riemannian geometry originated with the vision of Bernhard Riemann expressed in his inaugural lecture “Ueber die Hypothesen, welche der Geometrie zu Grunde liegen” (“On the Hypotheses on which Geometry is Based”). It is a very broad and abstract generalization of the differential geometry of surfaces in $\mathbf{R}^3$. Development of Riemannian geometry resulted in synthesis of diverse results concerning the geometry of surfaces and the behavior of geodesics on them, with techniques that can be applied to the study of differentiable manifolds of higher dimensions.

It allows us to calculate scalar products of tangent vectors. Let us rewrite Eq. (\ref{eq:ds2}) in the form:

\[ds^2=\begin{bmatrix}dx&dy\end{bmatrix}\begin{bmatrix}g_{xx}&g_{xy}\\g_{yx}&g_{yy}\end{bmatrix}\begin{bmatrix}dx\\dy\end{bmatrix}=
g_{xx}dx^2+2g_{xy}dx\,dy+g_{yy}dy^2,\]
using the symmetric (i.e. $g_{xy}=g_{yx}$) “Riemannian metric” matrix $g$
\[g=\begin{bmatrix}g_{xx}&g_{xy}\\g_{yx}&g_{yy}\end{bmatrix}.\]

Thus, from Eq. (\ref{eq:ds2}), we have $g_{xx}=1/y^2,$ $g_{xy}=g_{yx}=0,$ and $g_{yy}=1/y^2$. Or
\begin{equation}g=\frac{1}{y^2}\begin{bmatrix}1&0\\0&1\end{bmatrix}.\labeL{eq:g1}\end{equation}
In general, if $\xi=(\xi_x,\xi_y)$ and $\eta=(\eta_x,\eta_y)$ are two tangent vectors at $z=x+iy,$ then their scalar product is given by a general formula
\begin{equation}(\xi,\eta)_{z}=\begin{bmatrix}\xi_x& \xi_y\end{bmatrix}g\begin{bmatrix}\eta_x\\ \eta_y\end{bmatrix}=g_{xx}\xi_x\eta_x+g_{xy}(\xi_x\eta_y+\xi_y\eta_x)+g_{yy}\xi_y\eta_y,\end{equation}
which in our case specializes to
\begin{equation}(\xi,\eta)_{z}=\frac{\xi_x\eta_x+\xi_y\eta_y}{y^2}.\label{eq:sc}\end{equation}
The numerator is exactly the same as for the Euclidean scalar product. It has the consequence that the angles in the hyperbolic upper half-plane geometry are the same as in the Euclidean geometry. That it is so follow from the definitions. Angles in any Riemannian geometry are defined the same way as in the Euclidean geometry. If $\xi, \eta$ are two tangent vectors at $z,$ then the angle $\phi$ between them is defined through the formula:
\begin{equation}\cos\phi=\frac{(\xi,\eta)}{||\xi|| ||\eta||},\end{equation}
where $||\xi||=\sqrt{(\xi,\xi)}$ and $||\eta||=\sqrt{(\eta,\eta)}$ are their norms. If we use the scalar product given by Eq. (\ref{eq:sc}), then the denominator $y^2$ in $(\xi,\eta)$ cancels out with the product of denominators is the norms. The end result is
\begin{equation}\cos(\phi)=\frac{\xi_x\eta_x+\xi_y\eta_y}{\sqrt{\xi_x^2+\xi_y^2}\sqrt{\eta_x^2+\eta_y^2}}.\end{equation}.
Therefore, when we look at the picture like the one obtained in the last post:

Esher’s Limit Circle IV developed onto upper half-plane. Click on the image to open it in full resolution.

all hyperbolic geometry angles between various lines at any particular joining point are the same as the perceived ones by our eyes ones – contrary to the sizes, where SL(2,R) invariant geometry and Euclidean geometry we are used to are different.

Whenever we have two metrics, $g$ and $g’$ that differ a scalar factor $g’=c\,g,$ we say that they are conformally related, or conformal to each other. In our case the metric $g$ in Eq. (\ref{eq:g1}) is proportional to the identity matrix, our geometry is conformally Euclidean.

In the next note we will start calculating “straight lines”, or “geodesics” of our geometry. Some of them are almost evident candidates: vertical lines, perpendicular to the real line. But what about the other ones?

Our geometry is a toy geometry, as simple as possible. The group S(1,1) (or SL(2,R) ) is too simple. But one step further there is SU(2,2) – which became the basis for the “chronometric cosmology” developed by the late mathematician Irving Ezra Segal.

From American Astronomical Society, Irving Ezra Segal (1918 – 1998)

… The number of astronomers convinced was small, with experimentalists providing a slightly more favorable reception than theoreticians. Occasionally, the controversy was quite theatrical. A younger colleague of Segal was assaulted on Massachusetts Avenue by an astrophysicist still fuming from a Segalian conversation, and the publication of all the correspondence to and from Cambridge would be delightful. Particularly vituperative referee reports were always posted on his office door, some years overflowing onto the walls. Tee-shirts emblazoned with “Save Energy—Stop the Expansion of the Universe” can still be seen in Harvard Square. Whatever the final judgment is on the chronometric theory, Segal’s contributions to mathematics and mathematical physics have already had profound influence. Segal will be remembered for his conviction that the proper role of mathematics is to illuminate physics and his constant, irascible charm. We will also remember the perfect host, pouring wine for many a dinner, discussing physics, mathematics, philosophy, the proper preparation of coffee, and life.

10 thoughts on “Conformally Euclidean geometry of the upper half-plane

    1. Some mathematicians are late mathematicians:

      John Nash: Why the late mathematician had such A Beautiful Mind

      Nash died on May 23 (2015) after a car accident on the New Jersey Turnpike. His wife Alicia Nash, who cared for him, also passed away in the collision. It is believed that the couple had not worn their seatbelts.

      Or, in New Foundations for Classical Mechanics by David Hestenes:

      “The prevailing attitude toward quaternions is exhibited in a biographical sketch of Hamilton by the late mathematician E. T. Bell.”

  1. The obituaries for Segal were interesting,

    http://www.tony5m17h.net/SegalConf3.html#Segalobits

    Bertram Kostant said, in his Segal obituary article:

    “… I have it from a highly reliable but unnamed source that there is a growing group of cosmologists who have come to believe that the correct understanding of the redshift is some sort of fusion of the Doppler effect and Irving’s theory. So it is not impossible that Irving could turn out to be correct after all. …”.
    I asked Bertram Kostant about that quote, and he said that he did not name the source because the source requested anonymity because he (the source) wanted to avoid entanglement in the heated controversy that surrounds Segal’s redshift ideas. I think that it is regrettable that interesting scientific ideas become so involved in unpleasant controversy that competent people become intimidated from discussing such ideas. As to how and why Segal’s ideas became controversial, Edward Nelson, in his Segal obituary article, said:
    “… Part of the reason lies in Segal’s style of scientific exchange – at times it resembles that of Giordano Bruno (later burned at the stake), who very shortly after his arrival in Geneva issued a pamphlet on Twenty Errors Committed by Professor De la Faye in a Single Lesson. But part of the fault lies with cosmologists and particle physicists intent on defending turf. …”.

  2. Ponieważ w dalszym ciągu nie wiem co jest desygnatem Twojego “late mathematician” zapytam w natywnym języku:
    Czy “late mathematician” to
    1. spóźniony matematyk,
    2. opóźniony w rozwoju matematyk,
    3. lekki matematyk,
    4. leciwy matematyk,
    5. niedoszły matematyk,
    6. niespełniony matematyk,
    7. słaby matematyk,
    8. nieżyjący matematyk,
    9. świętej pamięci matematyk
    10. …….. ?

    1. Mój słownik polsko angielski pod hasłem “zmarły” ma taki przykład “mój zmarły mąż” – “my late husband”. Więc i do matematyka to się raczej też może odnosić. Dziwny jest ten angielski. Bo o spóźnionych matematykach też by można: http://unclejokes.com/jokes/recentjokes/7124/late-mathematician

      Late Mathematician

      A mathematician wandered home at 3 AM. His wife became very upset, telling him, “You’re late! You said you’d be home by 11:45!” The mathematician replied, “I’m right on time. I said I’d be home by a quarter of twelve.”

Leave a Reply