Rotations by π form a projective plane; the Cayley transform covers the rest
Statement
Let be the set of rotations by angle .
- Show that and that is homeomorphic to .
- Show that the Cayley transform maps the space of skew-symmetric matrices bijectively onto .
Hint
For part 1, a rotation by about is the map . For part 2, show that the image consists of rotations with no eigenvalue .
Show solutionHide solution
Solution
Part 1: description of . By the normal form of the previous problem, means , i.e. . So fixes a unit vector and acts as on : , i.e. . Conversely such matrices are orthogonal with determinant and trace .
Part 1: topology. The map , , is continuous and onto. It satisfies iff iff . So induces a continuous bijection . As is compact and is Hausdorff, this is a homeomorphism.
Part 2: well defined. If is skew, then is invertible: if then , but for skew , so . Put . Since and commute (both are functions of ),
more directly: , and so (again using commutation of functions of ). Moreover because . So .
Part 2: avoids . If with , put ; then , so , a contradiction. So is not an eigenvalue of . But every element of has the eigenvalue (it is on ). Hence the image lies in .
Part 2: onto. Let without eigenvalue , so is invertible. Define . Then, using ,
where in the last step we multiplied numerator and denominator by and used that and commute. So is skew, and solving for gives : the Cayley transform of is .
Part 2: injective. From we get , hence , which determines uniquely.
Remark. Since is the image of the *whole vector space* under a homeomorphism, : this is the cell decomposition of as the one-point-more... namely .
Lesson. The "cut locus" of a Lie group chart is the set where the chart fails to cover; here it is exactly the rotations by .