4

Here is my derivation:

An element in $SO(3)$ can be written as $(\vec{v}_1,\vec{v}_2,\vec{v}_3)^T$ with $\{\vec{v}_i\}$ an oriented orthonormal set of basis. The set of possible $\vec{v}_1$ forms an $S^2$, and the choice of $\vec{v}_2,\vec{v}_3$ forms an $S^1$. Therefore, $SO(3)$ is just $S^2\times S^1$.

I know this must be incorrect since $\pi_1(SO(3))=\mathbb{Z}_2$ while $\pi_1(S^2\times S^1)=\mathbb{Z}$, but I don't know where did I go wrong.

ycZang
  • 43
  • 7
    Identifying the set of pairs $(v_2, v_3)$ with $S^1$ depends on the identification of $\langle{v_1\rangle}^\perp$ with $\mathbb{R}^2$, and the latter depends on $v_1$. As it stands, you'd get something like a circle bundle over $S^2$. – anomaly May 07 '23 at 12:45
  • @anomaly But how is the circle bundle different from simply $S^2\times S^1$ in this case? – ycZang May 07 '23 at 13:13
  • 2
    A hint: you can think of $\mathbb{RP}^3$ as the $3$-dimensional closed Euclidean disk $\mathbb{D}^3$, with the boundary points identified through the antipodal map. On the other hand, elements of $SO(3)$ are rotations... – Johnny Lemmon May 07 '23 at 13:18
  • An easier proof is to show that $S^3$ is a double cover of $SO(3)$, so that one obtains $RP^3 = S^3/ {\pm 1} \simeq SO(3)$. – Didier May 07 '23 at 13:29
  • 2
    It's not a trivial bundle. If you want an invariant to distinguish the two, your computation of $\pi_1$ works. – anomaly May 07 '23 at 13:37
  • @JohnnyLemmon I know that $D^3$ with boundary identified through antipodal map is the manifold of $SO(3)$, but I can't see why it's $RP3$? – ycZang May 07 '23 at 13:54
  • @anomaly Oh I see. – ycZang May 07 '23 at 13:55
  • This question has been asked often before. – Paul Frost May 08 '23 at 19:27
  • 1
  • OP, might I suggest re-titling your post? It seems what you're really asking is why the argument you've presented is false, not why $SO(3) \cong \mathbb{RP}^2$. The former is an interesting question that I've tried to answer with my post. The latter has been answered several times on this website and is a standard textbook problem. – Charles Hudgins May 11 '23 at 22:01
  • @CharlesHudgins Oh yes that's true. I've modified the title. – ycZang Jun 10 '23 at 06:50
  • Distantly related, possibly interesting https://www.jstor.org/stable/2318771 – Ethan Bolker Aug 27 '23 at 00:02

3 Answers3

3

Why the $S^2 \times S^1 \cong SO(3)$ Argument Doesn't Work

I don't think any of the other answers really address why your argument doesn't prove that $SO(3)$ is just $S^2 \times S^1$.

Your argument seems reasonable, but there's a crucial flaw. The idea is that we pick a point $p \in S^2$ to identify with $\vec{v_1}$ Fine so far. Now we pick an angle $\theta \in S^1$ which sets the direction of $\vec{v_2}$. It seems like we should be able to do this, but we can't because of the topological properties of $S^2$.

More explicitly, let $\phi : S^2 \times S^1 \to SO(3)$ be your proposed isomorphism, where, as above, $(p, \theta) \mapsto (\text{the ONB with $\vec{v_1}$ at $p$ and with $\vec{v_2}$ at angle $\theta$})$. Consider the map $f : S^2 \to SO(3)$ given by $f(p) = \phi(p, 0)$. That is, $f(p)$ is the ONB with $\vec{v_1^0}(p)$ pointing to $p$ and $\vec{v_2^0}(p)$ at angle $0$. Believe it or not, we've already gone wrong. We've made a continuous choice of tangent vector $\vec{v_2^0}(p)$ to $S^2$ at every point $p$ of $S^2$. In other words, we've attached a non-vanishing tangent vector field to every point of a sphere. The famous hairy ball theorem says that this is impossible. What to conclude? Our original isomorphism must not have actually been well-defined.

What went wrong? It was where we said that $\vec{v_2}$ should be at angle $\theta$. With respect to what? Making a choice of direction with reference to which we measure $\theta$ at each point of $S^2$ is precisely attaching a non-vanishing tangent vector field to every point of the sphere (the vector field that points in the direction $\theta = 0$ at every point). But the hairy ball theorem says this is impossible.

How to Fix the Argument

(What follows will be a sketch. Consult a textbook on fiber bundles for detail and rigor)

Can we fix up your argument? Yes! This is one of the motivating examples for a mathematical structure called a "fiber bundle." We would like to attach $S^1$ to every point of $S^2$, but in a way where it actually does describe $SO(3)$. The resulting space will not be $S^2 \times S^1$, but instead something we call an $S^1$ (or circle) bundle over $S^2$.

We'll have two measurements of angle, $\theta_1$ and $\theta_2$. $\theta_1$ measures the angle between $\vec{v_2}$ and north. This will be a good $S^1$ coordinate everywhere except the north and south pole where there is no well-defined north direction. To make up for this, we'll have to have a $\theta_2$ which we'll arbitrarily decide is the angle between $\vec{v_2}$ and the direction you'd go to get to the intersection of the equator and prime-meridian as quickly as possible (here we are imagining $S^2$ as the Earth).

We have now attached to all points of $S^2$ a copy of $S^1$ with a well-defined $0$ direction. Unfortunately, we've attached two copies of $S^1$ to all but $4$ points, and they don't agree on which direction $0$ is: one copy is "twisted" with respect to the other. But this is not a serious problem. It's very easy to convert between one way of measuring angle and the other, and in fact this can be done smoothly at each point that the two copies of $S^1$ overlap.

By attaching $S^1$ in this "twisted" way, we've turned $S^2$ into a non-trivial fiber bundle. This fiber bundle really is isomorphic (in the right category) to $SO(3)$, and the proof is precisely the argument you sketched in your post. An element of $SO(3)$ is an ONB with $\vec{v_1}$ pointing to a point of $S^2$ and $\vec{v_2}$ at angle $\theta_1$ and/or $\theta_2$ measured as described above.

  • Wait so do we have that $S^3/S^1$ is the same as $SO(3)/S^1$? I.e both are $S^2$? That feels pretty weird to me not gonna lie – Chris May 12 '23 at 03:55
  • Did I imply that result with my post? If I did, I would need some details filled in to see how. – Charles Hudgins May 12 '23 at 09:49
  • Well I guess I was assuming that $SO(3)$ is a principal $S^1$ bundle over $S^2$, but perhaps there is no free right action of $S^1$ on $SO(3)?$ – Chris May 12 '23 at 16:36
  • This really isn't my area of expertise (I just thought I had a somewhat insightful answer to offer), so I want to be careful not to say something wrong. I think $S^1$ does have a free right action on $SO(3)$, namely rotation about the first vector of the ONB (thinking of $SO(3)$ as the set of right handed ONB's in $\mathbb{R}^3$). The bundle is what you think it is, it just (importantly for this post) isn't the trivial bundle. – Charles Hudgins May 13 '23 at 02:22
  • @Chris: The natural $\mathrm{SO}(3)$-action on the $2$-sphere $S^2 \subset \mathbb{R}^3$ is transitive. The stabilizer of any point $p \in S^2$ is isomorphic to $\mathrm{SO}(2) \cong S^1$. Therefore, by the (Lie group version of the) Orbit-Stabilizer Theorem, we have $S^2 \approx \mathrm{SO}(3)/S^1$, where $\approx$ means "$\mathrm{SO}(3)$-equivariantly diffeomorphic." In particular, yes, $\mathrm{SO}(3)$ is a principal $S^1$-bundle over $S^2$. The free right $S^1$-action on $\mathrm{SO}(3)$ is the one from thinking of $S^1 \cong \mathrm{SO}(2)$ as a subgroup of $\mathrm{SO}(3)$. – Jesse Madnick May 15 '23 at 08:33
  • @JesseMadnick thanks, don’t know why I never saw that. It does feel strange that $S^3$ is a double cover of $SO(3)$ but $S^3/S^1 \cong SO(3)/S^1$ though – Chris May 15 '23 at 13:30
  • Thank you for the comment Jesse. This is coming back to me a bit now. To be honest I was digging deep talking about fiber bundles in this post, but I don't think I said anything false still. Chris, don't be weirded out by something like that. A very mundane example is that $S_3 / {e, (123), (132)} \cong ( \mathbb{Z} / 6\mathbb{Z} ) / {0, 2, 4}$ where, of course, ${e, (123) , (132)} \cong {0, 2, 4}$ as groups. – Charles Hudgins May 15 '23 at 21:03
  • As I look at this comment, though, it occurs to me that there may be something interesting to say about such situations. Generalizing, we've got short exact sequences $0 \to A_1 \to B_1 \to C_1 \to 0$ and $0 \to A_2 \to B_2 \to C_2 \to 0$ where $A_1 \cong A_2$ and $C_1 \cong C_2$. It seems like that should put a pretty strict restriction on how $B_1$ and $B_2$ can relate, maybe especially in the lie group setting. But homological algebra is even moreso not my area of expertise. – Charles Hudgins May 15 '23 at 21:11
  • It certainly has the flavor of the 5-lemma, but we don't suppose beforehand the existence of any homomorphism from $B_1$ to $B_2$. – Charles Hudgins May 15 '23 at 21:22
2

Consider the quaternions $\Bbb H = \mathrm{span}\{1,i,j,k\} \simeq \Bbb R^4$, which is nothing else but $\Bbb R^4$ endowed with the algebra structure given by $i^2=j^2=k^2=ijk=-1$. For $q= a+ib+jc+kd\in \Bbb H$, we define its conjugate $\bar{q}=a-ib-jc-kd$ and its real part $\mathrm{Re}(q) = a = \frac{1}{2}(q+\bar{q})$. The usual inner product on $\Bbb R^4$ reads $\langle q_1,q_2\rangle = \mathrm{Re}(q_1\bar{q_2})$, and the associated norm is $\|q\| = \sqrt{q\bar{q}}$. One readily checks that the product in $\Bbb H$ satisfies $\overline{q_1q_2}=\bar{q_2}\bar{q_1}$ and $\|q_1q_2\| = \|q_1\|\|q_2\|$. Moreover, if $q\neq 0$, then $q$ is invertible and $q^{-1} = \bar{q}/\|q\|^2$.

The set of purely imaginary quaternions is $\mathrm{Im}(\Bbb H) = \{q \in \Bbb H \mid \mathrm{Re}(q) = 0\} = \mathrm{span}\{i,j,k\} \simeq \Bbb R^3$. Identify $S^3$ with the set of unit length elements in $\Bbb H$. For $u\in S^3$, consider the conjugation by $u$ $$ i_u\colon q \in \mathrm{Im} (\Bbb H) \longmapsto uq\bar{u}\in \mathrm{Im}(\Bbb H) $$ (I leave you as an exercise that $i_u(q)$ is indeed in $\mathrm{Im}(\Bbb H)$ if so is $q$. Hint: show that $i_u$ stabilizes $\Bbb R = \mathrm{Im}(\Bbb H)^{\perp}$, and that it is an orthogonal map). Then $i_u$ is a linear endomorphism of $\mathrm{Im}(\Bbb H)$ satisfying $\|i_u(q)\| = \|q\|$ for all $q$. Moreover, $i_{u_1u_2} = i_{u_1}\circ i_{u_2}$. In other words, we have defined a group homomorphism $$ i \colon S^3 \longrightarrow O(\mathrm{Im}(\Bbb H)) \simeq O_3(\Bbb R). $$ From its definition, $i$ is a continuous map (between Lie groups, which are in particular topological spaces), and $S^3$ is connected. It follows that $i$ has range in the connected component of $id\in O_3(\Bbb R)$, that is, we have a continuous group homomorphism $$ i \colon S^3 \longrightarrow SO_3(\Bbb R). $$ To conclude, it suffices to show:

  1. that $\ker(i) = \{\pm 1\}$,
  2. and that $i$ is surjective.

Indeed, in this case, we would have $SO_3(\Bbb R) \simeq S^3 / \{\pm 1\} = \Bbb RP^3$.

We show the first point. Assume that $i_u = id$ with $u\in S^3$. Then $i_u(q) = q$ for all $q \in \mathrm{Im}(\Bbb H)$ implies that $u$ commutes in particular with $i$, $j$ and $k$. Playing with the anti-commutation properties of $i$, $j$ and $k$ then shows that $u$ has to be real. Hence, $\ker(i) \subset \Bbb R \cap S^3 = \{\pm 1\}$. The reverse inclusion is clear.

Finally, let us show that $i$ is surjective. For $SO_3(\Bbb R)$ is generated by the rotations of angle $\pi$ (that is, orthogonal maps that fix some axis and induce $-id$ in its orthogonal plane), it suffices to show that such maps are attained. Let $P = u^{\perp}$ be a plane in $\Bbb R^3 \simeq \mathrm{Im}(\Bbb H)$, with $u \in \mathrm{Im}(\Bbb H)$ satisfying $\|u\|=1$. From $u^2 = u(-\bar{u}) = -\|u\|^2 = -1$, one has $i_u\circ i_u = i_{u^2} = i_{-1} = id$. Moreover, one checks that $i_u(u) = u$, so that $i_u$ fixes the axis $u^{\perp}$, and hence the plane $u^{\perp}=P$. Ultimately, $u\notin \ker(i)$, so that $(i_u)|_P \neq id_P$, and one thus has $(i_u)|_P = -id_P$. It follows that $i_u$ is the desired rotation of angle $\pi$ in $P$, and that $i$ is surjective.

Remark 1: for surjectivity, we could have done the following instead. Since $S^3$ is compact, so is its image by $i$, which is then closed. By connectedness of $SO_3(\Bbb R)$, it suffices to show that the image of $i$ is open. By group homomorphism properties, it is sufficient to show that $i$ is open near the identity $1 \in S^3$. This latter fact follows from a direct application of the inverse function Theorem. I leave it as an exercise.

Remark 2: we have in fact shown that $SO_3(\Bbb R)$ and $\Bbb R P^3$ are isomorphic as Lie groups.

Didier
  • 19,132
1

A nive way to parametrize $S0(3)$ is to consider the map $E: {\bar B}(0,\pi)\to SO(3)$ defined in the following way. Let $x\in {\bar B}(0,\pi)$, and $X$ the linear map $v\to v\wedge x$. Then $X$ is antisymmetric and $E(x)=\exp X$ is the rotation of angle $\vert x \vert$ around the axis oriented by $x$. This map $x\to E(x)$ send the units sphere onto the set of rotation of angle $\pi$ and is exactly 2 to 1 identifying this set with the space $RP^2$. Note that the restriction of $E$ to $B (0,\pi)$ is an homeo onto its image so that $SO(3)= RP^2 \cup B$, $B$ a 3-ball. You see no that $S0(3)$ is obtained by identifying opposite pint of $S^2$ in the 3-ball and is homeomorphic to $RP^3$.

Thomas
  • 7,470