The fundamental group of SO(3)
Statement
Show that .
Hint
The map of the previous problem is a -fold covering, and is simply connected.
Show solutionHide solution
Solution
Idea. A connected, simply connected cover of with deck group has .
is a covering map. identifies with the quotient , where acts by . This action is free (no fixed points: ) and properly discontinuous, so the quotient map is a covering map of degree . Via the homeomorphism of the previous problem, is a -sheeted covering.
is simply connected. The sphere is simply connected for (e.g. by the Seifert-van Kampen theorem, covering by two open sets homeomorphic to with connected intersection ). So is the universal cover of .
Deck group. The deck transformations of the covering are and , a group of order . For the universal cover of a path-connected, locally path-connected space , the deck group is isomorphic to . Hence
Alternative viewpoint (lifting). Take a loop in based at and lift it to in starting at . The endpoint is or ; the class of is determined by this endpoint. Loops with endpoint are the non-trivial class.
Remark. Consequence: the group , the *spin group* , is the universal cover of . This is why electrons (spinors) change sign under a rotation but not under a rotation (next problem).