Paper 4, Section I, G

Geometry and Groups
Part II, 2012

Explain briefly how to extend a Möbius transformation

T:zaz+bcz+d with adbc=1T: z \mapsto \frac{a z+b}{c z+d} \quad \text { with } a d-b c=1

from the boundary of the upper half-space R+3\mathbb{R}_{+}^{3} to give a hyperbolic isometry T~\widetilde{T}of the upper half-space. Write down explicitly the extension of the transformation zλ2zz \mapsto \lambda^{2} z for any constant λC\{0}\lambda \in \mathbb{C} \backslash\{0\}.

Show that, if T~\tilde{T} has an axis, which is a hyperbolic line that is mapped onto itself by T~\tilde{T} with the orientation preserved, then T~\widetilde{T}moves each point of this axis by the same hyperbolic distance, \ell say. Prove that

=2log12(a+d+(a+d)24)\ell=2|\log | \frac{1}{2}\left(a+d+\sqrt{(a+d)^{2}-4}\right)||