Сфера Рімана

Сфера Рімана — ріманова поверхня, природня структура на розширеній комплексній площині ${\widehat {\mathbb {C} }}=\mathbb {C} \cup \{\infty \}$, яка є комплексною проективною прямою $\mathbb {C} \mathbb {P} ^{1}$.

Координати

Численнi координати на сфері Рімана вводяться трьома способами:

• афінна комплексна координата z, яка приймає значення $\infty$;
• проектoвні комплексні координати $[z_{0}:z_{1}]$;
• трьохвимірні дійсні координати $\xi ,\eta ,\zeta$, зв’язані рівнянням:

$\xi ^{2}+\eta ^{2}+(\zeta -1)^{2}=1$.

Сфера Рімана стереографічної проекції переводиться на площину

Перехід від одних координат до інших задається формулами:

$z={\frac {z_{1}}{z_{0}}}$

$z_{0}:z_{1}=\left[{\begin{matrix}\zeta :(\xi +i\eta )&\Leftarrow \zeta >0\\0:1&\Leftarrow \zeta =0\end{matrix}}\right.$

$\left\{{\begin{matrix}\xi +i\eta ={\frac {2z}{1+|z|^{2}}}\\\zeta ={\frac {2}{1+|z|^{2}}}\end{matrix}}\right.$

$(\xi ,\eta ,\zeta )\mapsto z$ задаёт відображення сфери з виколотим полюсом на комплексну площину, яке називається стереографічною проекцією.

Перетворення Мебіуса

Автоморфізмами сфери Рімана є перетворення Мебіуса. Нехай $a,b,c,d$ — матриця із $GL_{2}(\mathbb {C} )$. Її дія на сфері Рімана в термінах проективних комплексних координат — просто множення вектора-стовбця координат на матрицю. В афінних координатах дія виглядає так:

$z'={\frac {az+c}{bz+d}}$

Додаток

Сфера Рімана відома в теоретичній фiзиці.

В спеціальній теорії відносності сфера Римана є моделлю небесної сфери. Перетворення Мебіуса зв’язані з перетвореннями Лоренца. Перетворення Мебіуса і Лоренца зв’язані також з спінорами. В квантовій механіці сфера Рімана параметризує стани систем, описуваних 2-вимірним простором (див. q-біт), в особливості спіна масивних частиць з спіном 1/2, таких як електрон. В цьому контексті сферу Рімана називають сферою Блоха і використовують на ній координати «широта-довгота» майже як на звичайній сфері, тільки широту $\theta$ відраховують від полюса і ділять кут на 2, т. ч. $0<\theta <\pi /2$ (см. рис.)

В такому випадку вірні співвідношення:

$z_{0}:z_{1}=\cos \theta :e^{i\varphi }\sin \theta$

$\left\{{\begin{matrix}\xi +i\eta =e^{i\varphi }\sin {2\theta }\\\zeta -1=\cos {2\theta }\end{matrix}}\right.$