Patrick Reany
28 June 2025
Patrick:
Can you explain the hyperbolic distance between two points in a plane?
Copilot:
Absolutely, Patrick. Let's dive into the geometry where straight lines aren't always straight and distances behave a bit differently: hyperbolic geometry.
What Is Hyperbolic Distance?
In Euclidean geometry, the shortest distance between two points is a straight line. But in hyperbolic geometry, which models spaces with constant negative curvature (think saddle-shaped surfaces), the idea of distance is warped---literally.
To measure distance here, we often use models like:
The Poincare disk model: The entire hyperbolic plane fits inside a unit circle.
The upper half-plane model: The space is above the real number line (i.e., where Im $(z) > 0$ in the complex plane).
Let's look at the upper half-plane model, which is both elegant and analytic.
Hyperbolic Distance Formula
For two points $𝑧_1=𝑥_1+𝑖𝑦_1$ and $𝑧_2=𝑥_2+𝑖𝑦_2$ in the upper half-plane (where $𝑦_1,𝑦_2>0$), the hyperbolic distance $𝑑(𝑧_1,𝑧_2)$ is: \begin{equation} 𝑑 (𝑧_1,𝑧_2)= \cosh^{-1}\left(1+\frac{\big|z_1-z_2\big|^2}{2𝑦_1𝑦_2} \right) \end{equation} This arises from considering geodesics (the "straight lines" in hyperbolic space) and how they bend compared to Euclidean lines.
Alternatively, you might see this written with the hyperbolic arccosine replaced by: \begin{equation} 𝑑(z_1,z_2)=\log \left(\frac{|z_1-\obz_2|+|z_1-z_2|}{|z_1-\obz_2|-|z_1-z_2|}\right) \end{equation} That version emphasizes the reflection symmetry about the real line (since $\obz_2$ is the complex conjugate).
Why Use This Distance?
Hyperbolic geometry underlies many modern theories---like relativity, complex analysis, and models of the internet and neural networks. It also plays a key role in the structure of modular forms and the tessellation of Riemann surfaces.
If you're curious, the YouTube video you pulled up focuses on the specific case of computing the hyperbolic distance between $𝑖$ and $2+𝑖$ using a clever shortcut. Would you like a walkthrough of that computation too?
Patrick:
What's the advantage of using the complex plane rather than the Euclidean-Cartesian plane?
Copilot:
Great question, Patrick. The complex plane doesn't just add notation---it unlocks powerful structure and symmetry that Euclidean coordinates can obscure. Here's why it shines, especially in hyperbolic geometry:
1. Natural Fit for Conformal Geometry Hyperbolic geometry thrives on angle-preserving (conformal) transformations. In the complex plane:
Mobius transformations (like \begin{equation} 𝑧 ↦ \frac{𝑎𝑧+𝑏}{𝑐𝑧+𝑑} \end{equation} act elegantly and analytically.
These transformations preserve hyperbolic lines (geodesics) and angles.
They're holomorphic, meaning they're differentiable in a complex sense---a rich concept that has no simple analogue in $𝑅^2$.
2. Upper Half-Plane Model Lives Naturally in $\mathbb{C}$.
In the upper half-plane model of hyperbolic geometry:
Points are $𝑧=𝑥+𝑖𝑦$, with $𝑦>0$. Distance depends on imaginary part: Im($𝑧$), and formulas like \begin{equation} 𝑑 (𝑧_1,𝑧_2)= \cosh^{-1}\left(1+\frac{\big|𝑧_1-𝑧_2\big|^2}{2𝑦_1𝑦_2} \right) \end{equation} are compact and invariant under Mobius symmetries when expressed in $\mathbb{C}$.
Trying to write this in $(𝑥,𝑦)$ coordinates works, but obscures the geometry behind excess notation.
3. Algebraic Toolkit: Multiplication Means Rotation
In $\mathbb{C}$:
Multiplying by $e^{i\theta}$ rotates by $\theta$.
Scaling and rotation become single operations, streamlining geometric transformations.
Compare that to $R^2$, where you'd need a rotation matrix and vector arithmetic just to spin a point.
4. Reflections Become Elegant
Reflections over hyperbolic lines (which are semicircles orthogonal to the real axis)
can be expressed as conjugations and inversions in complex numbers:
Reflecting across the line Re$(𝑧)= c$ : $z \mapsto 2c - z$
Inverting in a circle: $z \mapsto \frac{r^2}{𝑧-c}+c$
This clarity would be much messier in Cartesian form.
5. Unified Language with Analysis and Physics
The complex plane is a bridge:
Between geometry and analysis (e.g., via complex differentiation),
Between conformal mappings and potential theory,
And between modular forms, Riemann surfaces, and even string theory.
To put it simply: using the complex plane turns geometry into complex function theory. It compresses what would be verbose vector algebra into symbolic elegance.
Would you like to see how Mobius transformations relate to isometries in the upper half-plane next? They're like the "hidden machinery" that makes all this symmetry tick.
Patrick:
So, in this context, by use of the complex numbers, one is able to perform the most
important geometrical operations in their simplest possible algebraic operations.
Copilot:
Exactly, Patrick--that's beautifully put. The use of complex numbers doesn't
just simplify the algebra; it reveals hidden symmetries and elevates geometric
intuition to a higher plane---no pun intended.
In fact, it's this synthesis of geometry and algebra that makes the complex plane such a powerful setting for hyperbolic geometry. Operations like reflection, rotation, scaling, inversion---all become streamlined and elegant through Mobius transformations, which are just rational functions in $\mathbb{C}$.
What looks "magical" in Euclidean coordinates becomes natural when complex analysis is allowed to speak.
To echo your phrasing: it's as if complex numbers form the native language of hyperbolic geometry.
Would you be curious to see how a specific Mobius transformation maps geodesics in the upper half-plane or how those algebraic forms preserve hyperbolic distance? It's one of those moments where algebra and geometry shake hands.
Afterwords: