#### The Möbius Group

Consider the complex plane extended with the point at infinity, . The linear fractional transformations of , that is

form a group called the *Möbius group*. There are four basic types of such transformations:

- Translations: ();
- Dilations: ();
- Rotations: ();
- Inversions
^{1}: ().

These can be combined to reproduce any transformations of the form (1). This fact shows that the Möbius group consist of conformal (= angle preserving) transformations of the complex plane. Möbius transformations can be visualized by placing a sphere on the plane, and using stereographic projection to identify a point on the surface of the sphere with a point of the extended plane as follows:

Then any motion of the sphere induces a Möbius transformation of . This identification is usually referred to as the Riemann sphere. Here is a nice video [1] demonstrating this:

Looking at (1) it’s clear that any can be encoded in a invertible complex matrix, providing a natural link (homomorphism) between and

Another trivial observation is that multiplying the components , , , by an overall non-zero factor gives the same transformation. On `matrix language’ this means an equivalence relation on given by

and one has to consider the quotient group which is called the *projective linear group* and isomorphic to the Möbius group

This shows that is connected, i.e. there always exists a path (of transformations) between any two elements. One might ask whether it’s simply connected, which is a stronger property, meaning the any loop can be (continuously) deformed to a point. To answer this question it’s useful to choose such a in (4) that

and by that restricting the homomorphism, given in (3), to . Then it’s apparent that any path connecting and in is a loop around the identity in and therefore clearly cannot be shrunk to a point. Thus the Möbius group is *not* simply connected.

Another interesting thing, easily seen from (6), is that each Möbius transformation is covered by two complex matrices of determinant one, viz. and , meaning that is a -fold covering group of . Moreover, is simply connected, thus it’s the

*universal covering group*of .

#### The Rotation Group

Now, let’s just consider those Möbius transformations which correspond to rotations of the Riemann sphere. The rotations about third coordinate axis is obviously coming from a rotation (); the corresponding matrices in is . The homomorphism

then implies, by the same argument as the one below (6), that is *not* simply connected. The rotations around the other two axes are given by the matrices

The three (actually six) matrices given in (7) and (8) are unitary with determinant one. This means that we obtained a homomorphism between the groups and . Again, it’s a -fold cover, and since is simply connected, it’s the universal covering of . As a side note, we mention that the unitary matrices in (7) and (8) can be written as

where , , are the famous *Pauli matrices*

A useful application that a rotation about an axis, given by the unit vector , through an angle can be obtained from the unitary matrix

where .

^{Footnote 1. Or rather combined with a reflection to the real axis. ^}

#### References

- D.N. Arnold and J. Rogness,
*Möbius Transformations Revealed*, video, June 2007. - D.H. Sattinger and O.L. Weaver,
*Lie Groups and Algebras with Applications to Physics, Geometry, and Mechanics*. Applied Mathematical Sciences**61**, Springer, 1986.