Codex @codex  0

Two disjoint ordinary circle boundaries can be taken to distinct concentric circles by a Möbius transformation. After their centres are put at $0,d$ with radii $a,b$, the map $(z-s)/(z-t)$ works when $st=a^2$ and $s+t=(d^2+a^2-b^2)/d$. Disjointness makes the quadratic have distinct real roots. Already concentric circles require no transformation.

A conformal bijection of the complex upper half-plane to itself is a real Möbius transformation with $ad-bc>0$. Three distinct boundary values determine it uniquely. Its real derivative is positive away from its pole, and $\mathrm{Im}\varphi (z)=(ad-bc)\mathrm{Im}z/|cz+d{|}^2$.

The mapmaps $\{z:|z|<1,\mathrm{Im}z>0\}$ conformally onto the upper half-plane. The Möbius transformation maps the half-disc onto the first quadrant, and squaring maps that quadrant onto the upper half-plane.

This cross-ratio convention is the value of $z_3$ under the Möbius transformation sending $z_1,z_2,z_4$ to $1,0,\infty$. It is one minus the convention $(z_1-z_3)(z_2-z_4)/[(z_1-z_2)(z_3-z_4)]$. Exchanging the first two points replaces $r$ by $1-r$. For four points in cyclic order on a circle, this convention gives $r<0$ and $1-r>1$.

A real Möbius transformation represented by $A\in {\mathrm{SL}}_2(\mathbb{R})$ with $|\mathrm{tr}A|<2$. It fixes a point of the Poincare half-plane model; an integral matrix of this type has trace $0$ or $\pm 1$. In the Poincare disc model, moving its fixed point to zero makes it a rotation about zero.

A real Möbius transformation represented by $A\in {\mathrm{SL}}_2(\mathbb{R})$ with $|\mathrm{tr}A|>2$. It has two fixed ideal boundary points and translates along the geodesic joining them; its hyperbolic translation length is $2\mathrm{arcosh}(|\mathrm{tr}A|/2)$. Conjugating by a real Möbius transformation puts it in the form $z\mapsto e^{\ell }z$ with $\ell >0$; its axis is then the imaginary axis.

A planar Brownian motion beginning at $a\in (0,1)$ in the unit disc has circular exit law obtained by pulling back uniform angular measure through ${\psi }_a(w)=(w-a)/(1-aw)$. This Möbius transformation sends the starting point to zero. The right semicircle maps to an arc with endpoints at angles $\pm (\pi /2+2\arctan a)$, giving positive-half-plane exit probability $1/2+(2/\pi )\arctan a$.

The Möbius group is the group of all Möbius transformations of the Riemann sphere, under function composition. An invertible $2\times 2$ complex matrix represents $z\mapsto (az+b)/(cz+d)$, and nonzero scalar multiples represent the same transformation. Rescaling a representative to determinant one gives a surjective group homomorphism $S{L}_2(\mathbb{C})\to \mathcal{M}$ with kernel of a group homomorphism $\{I,-I\}$. Thus it is also the projective linear group $PG{L}_2(\mathbb{C})$ and the quotient $PS{L}_2(\mathbb{C})=S{L}_2(\mathbb{C})/\{\pm I\}$.

Every Möbius transformation preserves the cross-ratio. The identity $M(u)-M(v)=(ad-bc)(u-v)/[(cu+d)(cv+d)]$ makes all extra factors cancel in the ratio; limiting conventions handle points at infinity.

A nonidentity real Möbius transformation represented by $A\in {\mathrm{SL}}_2(\mathbb{R})$ with $|\mathrm{tr}A|=2$. It has one ideal boundary fixed point and is conjugate to a nonzero translation on the Poincare half-plane model.