nLab Spin(4)

Redirected from "Spin4".
Contents

Context

Group Theory

Spin geometry

Contents

Idea

Spin(4)Spin(4) is the spin group in dimension 4, the double cover of SO(4).

Properties

Exceptional isomorphisms

Let \mathbb{H} be the real vector space underlying the quaternions. Notice that Spin(3) is the group of unit quaternions under quaternion multiplication

Spin(3)S(). Spin(3) \simeq S(\mathbb{H}) \,.

This induces a group homomorphism

(1)Spin(3)×Spin(3) O(4) (e 1,e 2) (qe 1qe 2¯) \array{ Spin(3) \times Spin(3) &\longrightarrow& O(4) \\ (e_1, e_2) &\mapsto& \big( q \mapsto e_1 \cdot q \cdot \overline{e_2} \big) }
Proposition

The group homomorphism (1) is a double cover and hence exhibits an isomorphism between Spin(4) and the direct product group of Spin(3) with itself:

(2)ϑ:Spin(3)×Spin(3)Spin(4) \vartheta \;\colon\; Spin(3) \times Spin(3) \overset{\simeq}{\longrightarrow} Spin(4)

Since the action of Spin(3) on the imaginary quaternions im 3\mathbb{H}_{im} \simeq_{\mathbb{R}} \mathbb{R}^3 is the conjugation action by unit quaternions, it follows in particular, that the canonical inclusion of Spin(3) into Spin(4) is given by the diagonal morphsm with respect to the identification (2):

(3)Spin(3) Spin(4) Δ Spin(3)×Spin(3) \array{ Spin(3) &\hookrightarrow& Spin(4) \\ & {}_{\mathllap{\Delta}}\searrow & \Big\downarrow^{ \mathrlap{\simeq} } \\ && Spin(3) \times Spin(3) }

(e.g. Berger 87, Thm. 8.9.8, Garrett 13, §2.3)

In summary:

Proposition

There is a commuting diagram of Lie groups of the form

(q 1,q 2) (xq 1xq¯ 2) Sp(1)×Sp(1) Spin(4) Sp(1)Sp(1) SO(4) \array{ ( q_1, q_2 ) &\mapsto& (x \mapsto q_1 \cdot x \cdot \overline{q}_2) \\ Sp(1) \times Sp(1) &\overset{\simeq}{\longrightarrow}& Spin(4) \\ \big\downarrow && \big\downarrow \\ Sp(1)\cdot Sp(1) &\overset{\simeq}{\longrightarrow}& SO(4) }

where

  1. in the top left we have Sp(1) = Spin(3),

  2. in the top right we have Spin(4),

  3. in the bottom left we have Sp(1).Sp(1)

  4. in the bottom right we have SO(4)

  5. the horizontal morphism assigns the conjugation action of unit quaternions, as indicated,

  6. the right vertical morphism is the defining double cover,

  7. the left vertical morphism is the defining quotient group-projection.

Remark

(exceptional isomorphism via Dynkin diagrams)

Under the classification of simple Lie groups via Dynkin diagrams, and via the further exceptional isomorphism Spin(3) \simeq SU(2), the exceptional isomorphism (2) corresponds to the coincidence of the D3 with the A3 diagrams, both with their central node removed:


Euler class and Pontryagin class

Proposition

(integral cohomology of classifying space/universal characteristic classes)

The integral cohomology ring of the classifying space of Spin(3) is freely generated from 1/41/4th of the first Pontryagin class:

H (BSpin(3),)[14p 1] H^\bullet \big( B Spin(3), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \big[ \tfrac{1}{4}p_1 \big]

Moreover, the integral cohomology ring of the classifying space of Spin(4) is freely generated from the first fractional Pontryagin class 12p 1\tfrac{1}{2}p_1 and the combination 12(χ+12p 1)\tfrac{1}{2}\big( \chi + \tfrac{1}{2}p_1 \big), where χ\chi is the Euler class:

H (BSpin(4),)[12p 1,12(χ+12p 1)] H^\bullet \big( B Spin(4), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \big[ \tfrac{1}{2}p_1 \,, \tfrac{1}{2}\big( \chi+ \tfrac{1}{2}p_1 \big) \big]

Finally, under the exceptional isomorphism (1) ϑ:Spin(3)×Spin(3)Spin(4)\vartheta \;\colon\; Spin(3) \times Spin(3) \overset{\simeq}{\to} Spin(4) these classes are related by

ϑ *(12p 1) =14p 11+114p 1 ϑ *(12(χ+12p 1)) =114p 1+114p 1 henceAAAAϑ *(χ)+12p 1)) =14p 11+114p 1 \begin{aligned} \vartheta^\ast \left( \tfrac{1}{2}p_1 \right) & = \phantom{-} \tfrac{1}{4}p_1 \otimes 1 + 1 \otimes \tfrac{1}{4} p_1 \\ \vartheta^\ast \Big( \tfrac{1}{2} \big( \chi + \tfrac{1}{2} p_1 \big) \Big) & = \phantom{-} \phantom{ 1 \otimes \tfrac{1}{4}p_1 + } 1 \otimes \tfrac{1}{4}p_1 \\ \text{hence} \phantom{AAAA} \vartheta^\ast\big( \chi \big) \phantom{ + \tfrac{1}{2} p_1 \big) \Big) } & = - \tfrac{1}{4}p_1 \otimes 1 + 1 \otimes \tfrac{1}{4} p_1 \end{aligned}

Therefore, under the canonical diagonal inclusion ι:Spin(3)ΔSpin(3)×Spin(3)Spin(4)\iota \colon Spin(3) \overset{\Delta}{\hookrightarrow} Spin(3) \times Spin(3) \simeq Spin(4) (3) we have

ι *(12p 1) =12p 1 ι *(χ) =0 \begin{aligned} \iota^\ast \left( \tfrac{1}{2}p_1 \right) & = \tfrac{1}{2}p_1 \\ \iota^\ast \big( \chi \big) & = 0 \end{aligned}

(e.g. Čadek-Vanžura 98, Lemma 2.1)

linebreak

rotation groups in low dimensions:

Dynkin labelsp. orth. groupspin grouppin groupsemi-spin group
SO(2)Spin(2)Pin(2)
B1SO(3)Spin(3)Pin(3)
D2SO(4)Spin(4)Pin(4)
B2SO(5)Spin(5)Pin(5)
D3SO(6)Spin(6)
B3SO(7)Spin(7)
D4SO(8)Spin(8)SO(8)
B4SO(9)Spin(9)
D5SO(10)Spin(10)
B5SO(11)Spin(11)
D6SO(12)Spin(12)
\vdots\vdots
D8SO(16)Spin(16)SemiSpin(16)
\vdots\vdots
D16SO(32)Spin(32)SemiSpin(32)

see also


References

Last revised on October 17, 2023 at 12:38:36. See the history of this page for a list of all contributions to it.