Spin(4,R) - Knowlpedia

$\operatorname{Spin}(4,\mathbb R)$ is the spin group generated by even products of vectors of squared length 1 in the Clifford algebra of $\mathbb R^{4}$ with relation $v^2=-\sum_jv_j^2$ . Its conjugation action on vectors is the standard double covering of $\mathrm{SO}(4,\mathbb R)$ .

Dimensions and structure

This group has real dimension $6$ . Its tangent algebra is the skew-symmetric $4\times4$ matrices. The group is simply connected.

The simply connected compact spin group in dimension four is SU(2) × SU(2). See $\mathrm{SU}(2)\times\mathrm{SU}(2)$ .

References

Pavel Etingof, Lie Groups and Lie Algebras (MIT lecture notes), §31.2, Example 31.3 and Proposition 31.4; §31.3, Example 31.10, pp. 166–168.