4
$\begingroup$

My question is quite simple : we know all closed subgroups of $\mathrm{SO}(3)$; is it also known what are the closed subgroups of $\mathrm{SO}(4)$?

$\endgroup$
5
  • 7
    $\begingroup$ It so happens that SO(4) is almost SO(3) x SO(3) - close enough that one can use the SO(3) result to deal with SO(4). $\endgroup$ May 26, 2016 at 12:23
  • $\begingroup$ I've seen variations on this topic appear in textbooks. As Noam mentions, you lift the group to the double cover which is isomorphic to $S^3 \times S^3$. I believe the description of the closed subgroups of this was given by Hopf, back in the 1930's. $\endgroup$ May 26, 2016 at 21:48
  • 1
    $\begingroup$ I am curious to know the proof of all closed subgroups of $SO(3)$. $\endgroup$
    – Ri-Li
    Apr 18, 2022 at 23:45
  • $\begingroup$ @NoamD.Elkies could you give a reference for the classification of closed subgroups of $\text{SO}(3)$ and possibly $\text{O}(3)$? $\endgroup$
    – QGravity
    Oct 16, 2023 at 13:45
  • $\begingroup$ Note that Spin(4) = SU(2) x SU(2). Can you answer: Does SO(4)=Spin(4)/Z_2 contain a subgroup SU(2) precisely? ( thanks!) $\endgroup$
    – zeta
    Dec 3, 2023 at 21:55

2 Answers 2

4
$\begingroup$

There is a complete list in the paper Mendes, Roberto de Maria Nunes. "Symmetries of spherical harmonics." Transactions of the American Mathematical Society 204 (1975): 161-178. As in the above answer this paper uses the 2 to 1 homomorphism $\phi:S^3 \times S^3 \rightarrow SO(4)$ . To summarize the construction in the paper for $G$ as subgroup of $SO(4)$ let L and R be the projections of $\phi^{-1}G$ on to the two components, these are closed subgroups of $S^3$ , and $L_K$ and $R_K$ are the normal subgroups $ (L,1) $ and $(1,R)$ of $L$ and $R$. We can then define an isomorphism $\Phi: L/L_K \rightarrow R/R_K$ by $\Phi(l L_K)= rR_k$ where $(l,r) \in \phi^{-1}G$.

Given $L,R, L_K,R_K,\Phi$ we can define $G$ by its action on a quaternion $q$ as $$ G = \{ g \in SO(4): g(q) = l q r^{-1} , l \in L, r \in R, \Phi(l L_K)= r R_K \} $$ All the closed subgroups of $SO(4)$ are enumerated as pairs $(L/L_K; R/R_K)$ a table in the paper.

$\endgroup$
1
  • $\begingroup$ Note that Spin(4) = SU(2) x SU(2). Can you answer: Does SO(4)=Spin(4)/Z_2 contain a subgroup SU(2) precisely? ( thanks!) $\endgroup$
    – zeta
    Dec 3, 2023 at 21:55
3
$\begingroup$

There is an epimorphism $\mathrm{SU}(2) \times \mathrm{SU}(2) \to \mathrm{SO}(4)$ with the kernel $\langle(−I, −I)\rangle$. Since $\mathrm{SU}(2)$ is isomorphic to the unit quaternions, the epimorphism is given by $(u,v)\mapsto R_{u,v}$ where $R_{u,v}$ is the rotation of $\mathbb{R}^4$ given by $R_{u,v}(q)=v^{-1}qu$ for any quaternion $q$.

And $\mathrm{SU}(2)$ maps onto $\mathrm{SO}(3)$ with kernel $\langle -I\rangle$; again use quaternions.

As you say, you know the closed subgroups of $\mathrm{SO}(3)$, and so this gives the closed subgroups of $\mathrm{SU}(2)$ and so those of $\mathrm{SU}(2)\times \mathrm{SU}(2)$ (via Goursat's Lemma) and finally those of $\mathrm{SO}(4)$.

More generally, as it relates to semisimple subgroups, all simple subgroups of real Lie groups are known, as described here:

Karpelevič, F. I. The simple subalgebras of the real Lie algebras. Trudy Moskov. Mat. Obšč. 4 (1955), 3–112.

Karpelevič, F. I. Classification of the simple subalgebras of the real forms of classical algebras. Doklady Akad. Nauk SSSR (N.S.) 93, (1953). 613–616.

Karpelevič, F. I. Classification of the simple subgroups of the real forms of the group of complex unimodular matrices. Doklady Akad. Nauk SSSR (N.S.) 85, (1952). 1205–1208.

$\endgroup$
7
  • 1
    $\begingroup$ "this gives the closed subgroups of $SU(2)$ and hence of $SU(2)\times SU(2)$": this is not correct. Understanding the closed subgroups of $G$ and $H$ is just a first step before a description of subgroups of $G\times H$. "More generally, all simple subgroups" is also weird: the question is not just about simple subgroups. $\endgroup$
    – YCor
    May 26, 2016 at 21:27
  • $\begingroup$ I added some further detail and clarification. $\endgroup$ May 26, 2016 at 21:49
  • 2
    $\begingroup$ Yes, although Goursat's lemma reduces to a careful description of all quotients of all finite subgroups. Also it does not reduce to Goursat's lemma in all case, because in principle you could find closed subgroup with some non-closed projection (actually in the precise case of $SU(2)\times SU(2)$ are aren't, but there would be in $SU(3)\times SU(3)$.) $\endgroup$
    – YCor
    May 26, 2016 at 22:11
  • 2
    $\begingroup$ I don't know if the OP intended to leave this door open, but discrete subgroups are also closed and those can't be classified just by looking at the Lie algebra (AFAIK). $\endgroup$ May 26, 2016 at 23:00
  • 2
    $\begingroup$ References to the classification of finite subgroups can be found in mathoverflow.net/questions/37136/…. $\endgroup$ May 27, 2016 at 15:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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