# The Riemann and the Bloch Spheres

(Lecture 27 of Mathematical Methods II.)

We have studied complex numbers as numbers on the plane. "Numbers" in the sense of Weil, of being objects with a structure that befits this attribute (associativity, additivity, multiplications and, importantly, commutation, which is why quaternions aren't numbers). Riemann showed how complex numbers actually live in different "surfaces", e.g., the square root lives in a two-times folded manifold.

Here we will study complex numbers on a sphere, rather than on a plane. The problem of mapping a plane to a sphere (or vice-versa) is an old one, already tackled by Ptolemy, possibly also before him by the Egyptians. It is also a preoccupation for the public at large, when it comes to cartography. It is now known overall as the problem of "stereographic projection".

For complex calculus, it is customary to adopt the convention of projecting between a sphere and a plane with the later intersecting the former in its equator (see Figure). The Riemann sphere is then defined as the set of points $S=\{Z\in\mathbf{R}^3\,:\,|Z|=1\}$.

The stereographic projection is the one that maps each point~$z\in\mathbf{C}$ to $Z\in S$:

The proof is standard geometric algebra: the segment $(N,z)$ is parametrized by:

\begin{equation} \tag{3} (N,z)=\{\big(tx,ty,(1-t)\big)\,:\, 0\le t\le1\}\,, \end{equation}

Now a point $p(t)\in(N,z)$ intersects~$S$ iff $|p(t)|^2=1$, i.e., iff

\begin{equation} \tag{4} t^2x^2+t^2y^2+(1-t)^2=1 \end{equation}

Gathering variables, the equation is $t^2(|z|^2+1)-2t=0$, with solutions $t=0$ and $t=2/(|z|^2+1)$.

These formulas can be inverted, yielding Eq.~((2)), which can be readily found for the real and imaginary parts through similarity of the triangles $NAZ$ and $NOz$: $x/1=\xi/(1-\zeta)$ (for the real part, id.~for the imaginary part).

The straight distance between points of the Riemann sphere seen as points in $\mathbf{R}^3$ provides a metric for the corresponding complex points (the so-called "chordal metric").

We remind that a metric is a function~$\chi$ of two points such that:

1. $\chi(z_1,z_2)=\chi(z_2,z_1)$,
2. $\chi(z_1,z_2)\ge0$,
3. $\chi(z_1,z_2)=0\Rightarrow z_1=z_2$,
4. $\chi(z_1,z_3)\le\chi(z_1,z_2)+\chi(z_2,z_3)$.

One can check these properties for $\chi$ as a function of $z_1$ and $z_2$, that we now express in this form. Similarity of $NOz$ and $NAZ$ implies:

\begin{equation} |N-z|=\frac{|N-Z|}{1-\zeta} \end{equation}

On the other hand, $|N-z|=\sqrt{1+|z|^2}$ (by Pythagoras) and $1-\zeta=2/(1+|z|^2)$ (by Eq.~((1))). Therefore, $|N-Z|=2/\sqrt{1+|z|^2}$, from which we establish:

\begin{equation} |N-Z||N-z|=2\,. \end{equation}

Applying this equation to two sets of points $z_1$, $z_2$ and their image $Z_1$, $Z_2$, we get: $|N-Z_1||N-z_1|=|N-Z_2||N-z_2|$, i.e.,

\begin{equation} \tag{5} \frac{|N-Z_1|}{|N-Z_2|}=\frac{|N-z_2|}{|N-z_1|}\,. \end{equation}

i.e., the triangles $NZ_1Z_2$ and $Nz_2z_1$ are similar (note the order of the indices), therefore:

\begin{equation} \tag{6} \chi(z_1,z_2)=|Z_1-Z_2|=\frac{2|z_1-z_2|}{\sqrt{1+|z_1|^2}\sqrt{1+|z_2|^2}}\,. \end{equation}

With this representation, we can now measure lenghts between points at infinity. This is straightforward on the sphere since this merely computes the distance to the north pole:

\begin{equation} \chi(z,\infty) =\sqrt{|(\xi,\eta,\zeta)-(0,0,1)|^2} =\sqrt{\frac{4x^2+4y^2+4}{(x^2+y^2+1)^2}} =\frac{2}{\sqrt{1+|z|^2}}\,. \end{equation}

At such the Riemann sphere is an extended complex plane: the plane $\mathbf{C}$ plus one point: infinity. This simple provision allows rational functions on the complex plane to become continuous functions on the Riemann sphere, with the poles of the rational function now sent to infinity. More generally, any meromorphic function is in fact a continuous function defined on the Riemann sphere.

In Quantum Mechanics, the Riemann sphere allows to describe quantum states of the simplest quantum mechanical object: the qubit. The sphere is then known as the Bloch sphere, and represents a pure state $\cos(\theta/2)\ket{0}+e^{i\phi}\sin(\theta/2)\ket{1}$ as the corresponding point with polar coordinates.