Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Question: What is the fundamental group of the special orthogonal group $SO(n)$, $n>2$?

Clarification: The answer usually given is: $\mathbb{Z}_2$. But I would like to see a proof of that and an isomorphism $\pi_1(SO(n),E_n) \to \mathbb{Z}_2$ that is as explicit as possible. I require a neat criterion to check, if a path in $SO(n)$ is null-homotopic or not.

Idea 1: Maybe it is helpful to think of $SO(n)$ as embedded in $SO(n+1)$ via $A \mapsto \begin{pmatrix} A & 0 \\ 0 & 1 \end{pmatrix}$. The kernel of the surjective map $SO(n+1) \to \mathbb{S}^{n} \subset \mathbb{R}^{n+1}$, $B \mapsto B e_{n+1}$, is then exactly $SO(n)$. Therefore $\mathbb{S}^n \cong SO(n+1)/SO(n)$. The fundamental group of $\mathbb{S}^n$ is trivial. If one knew how the fundamental group of quotients $Y = X / A$ looks like, this could be helpful.

Idea 2: The map $SO(n+1) \to \mathbb{S}^n$ defined above can also be though of as a principal $SO(n)$-bundle. There is an exact sequence of homotopy groups for those bundles, which might provide the result. But the descriptions of the maps in this sequence I found were quite vague.

share|improve this question
For $n\geq 3$, $SO(n)$'s universal cover $Spin(n)$ is a double-cover. It follows from bundle theory that $\pi_1(SO(n))=\mathbb{Z}/2$. (Probably not the argument you want, but probably also one of the easiest arguments) –  you Mar 23 '12 at 16:25
Also, if I'm not mistaken, Steenrod gives a more direct argument in "Topology of Fibre Bundles," but he might be using the long exact sequence of a fibration (which you mentioned). –  you Mar 23 '12 at 16:43
@you: I think many sources however show that $Spin(n)$ is the universal cover by assuming $\pi_1(SO(n)) = \mathbb Z/2$. Is there an easy direct way to see that $Spin(n)$ is simply connected? –  Eric O. Korman Mar 23 '12 at 17:49
@Eric: That is interesing. What sources exactly do you refer to? –  Meneldur Mar 24 '12 at 11:34
@Meneldur: for example Michelsohn's and Lawson's spin geometry assume the fact that $\pi_1(SO(n)) = \mathbb Z/2$ to show that $Spin(n)$ is simply connected. –  Eric O. Korman Mar 24 '12 at 23:37
add comment

3 Answers

up vote 8 down vote accepted

You can use the exact sequence of homotopy groups you mention (without knowing the maps) to get the result once you know $\pi_1(SO(3))$. For that you can use the fact that SU(2) double covers SO(3) and SU(2) is simply connected (being diffeomorphic to the 3 sphere).

EDITED to address Meneldur's comment:

Sorry I glossed over the part where you mentioned you wanted an explicit isomorphism. The fibration $$ SO(n) \to SO(n+1) \to S^n $$ gives $$ \pi_2(S^n) \to \pi_1(SO(n)) \to \pi_1(SO(n+1)) \to \pi_1(S^n) $$ is exact. Now for $n \ge 3$, $\pi_2(S^n)$ and $\pi_1(S^n)$ are both trivial. Therefore $\pi_1(SO(n)) \simeq \pi_1(SO(n+1))$ and this isomorphism is via the inclusion $SO(n) \to SO(n+1)$. So once you have the nontrivial loop generating $\pi_1(SO(3))$ you can just include that in higher dimensions to get the generator for all the other ones.

To get such a loop for $SO(3)$, you need to find a path in $SU(2)$ connecting 1 to -1 and then project that to $SO(3)$. Thinking of $SU(2)$ as unit quaternions, such a path is $q:t \mapsto \cos(\pi t) + i\sin(\pi t)$. Now thinking of $\mathbb R^3$ as purely imaginary quaternions, $q(t)$ corresponds to the element in $SO(3)$ sending $p \mapsto q(t)p\bar q(t)$. Now you can write out this map in matrix form to see what the path looks like in terms of $SO(3)$ as 3x3 matrices. Simply including this path using the inclusion into $SO(n)$ for higher $n$ will, by the LES, give us the non-trivial element of $\pi_1$ for higher $n$.

Unfortunately, I am not sure how to determine if a given loop is nullhomotopic.

share|improve this answer
The fact that $\pi_1(SO(n))$ is isomorphic to $\mathbb{Z_2}$ is - as I said - not in doubt. But how do you construct the isomorphism without using the arrows in the sequence? –  Meneldur Mar 23 '12 at 19:41
@Meneldur: I hope my updated answer helps. –  Eric O. Korman Mar 24 '12 at 23:52
Thanks, this was very helpful. :) –  Meneldur Apr 5 '12 at 11:59
add comment

I've never really thought much about it beyond using the LES in homotopy associated to the fibration $$SO(n) \to SO(n+1) \to S^n$$

But a bit of googling leads to the following description, which is perhaps helpful. (Source - pp. 263 )

For $n \ge 3 , \pi_1(SO(n)) = \mathbb{Z}/2$. The generator of the group $\pi_1(SO(n))$ is the path consisting of all rotations about a fixed axis


The LES in homotopy gives that $\pi_1(SO(n)) \simeq \pi_1(SO(n+1))$, and since $\pi_1(SO(3)) \simeq \pi_1(\mathbb{R} P^3) \simeq \mathbb{Z}/2$ we have that, for $n \ge 3, \pi_1(SO(n)) = \mathbb{Z}/2$. Let us represent $\mathbb{R} P^3$ as the disk $D^3$ with the boundary antipodes identified. The homeomoprhism $SO(3) \simeq \mathbb{R} P^3$ takes the rotations about a fixed axis to some diameter of the disk. Each path-diameter of $D^3$ corresponds to a non-zero element of the group $\pi_1(\mathbb{R} P^3)$, because the lifting of this path under the covering $S^3 \to \mathbb{R} P^3$ is nonclosed. The embedding $SO(n) \to SO(n+1)$ maps rotations about a fixed axis to rotations aboout a fixed axis, and it takes a generator of the fundamental group to the genreator of the fundamental group.

share|improve this answer
See also Qiaochu Yuan's blog post on $SU(3)$ –  Juan S Mar 24 '12 at 0:38
add comment

I think it's helpful to have a way of "seeing" that a $2\pi$ rotation $A$ (intended as a 1-parameter group of rotations $A(t), t\in[0,1]$ that starts and ends at the identity $e$) about an axis is homotopic to its inverse. (In other words, that $A^2=e$ as elements of the fundamental group.) If $A$ is the clockwise rotation around the $x$ axis, we want a 1-parameter group of rotations that starts at $A$ and ends at $A^{-1}$, which is the counterclockwise rotation around the same axis.

So, let $C\subset S^3$ be the half circle that is the intersection of $S^3$ with the upper half of the $xz$ plane, and let $v(s), s\in [0,1]$, be a parametrization of $C$ starting at $(1,0,0)$ and ending at $(-1,0,0)$. Let $A_s$ be the clockwise $2\pi$ rotation around the straight line that goes through $v(s)$ and the origin. Then clearly $A_0 = A$, $A_1 = A^{-1}$, and $A_s(t)$ is the desired homotopy.

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.