nLab
Spin(5)

Contents

Context

Group Theory

Spin geometry

Contents

Idea

The spin group in dimension 5.

Properties

Exceptional isomorphism

Proposition

There is an exceptional isomorphism

Spin(5)Sp(2) Spin(5) \;\simeq\; Sp(2)

between Spin(5) and the quaternionic unitary group Sp(2)=U(2,)Sp(2) = U(2,\mathbb{H}).

This is an indirect consequence of triality, see e.g. Čadek-Vanžura 97)

Action on quaternionic Hopf fibration

Proposition

(Spin(5)-equivariance of quaternionic Hopf fibration)

Consider

  1. the Spin(5)-action on the 4-sphere S 4S^4 which is induced by the defining action on 5\mathbb{R}^5 under the identification S 4S( 5)S^4 \simeq S(\mathbb{R}^5);

  2. the Spin(5)-action on the 7-sphere S 7S^7 which is induced under the exceptional isomorphism Spin(5)Sp(2)=U(2,)Spin(5) \simeq Sp(2) = U(2,\mathbb{H}) (from Prop. ) by the canonical left action of U(2,)U(2,\mathbb{H}) on 2\mathbb{H}^2 via S 7S( 2)S^7 \simeq S(\mathbb{H}^2).

Then the quaternionic Hopf fibration S 7h S 4S^7 \overset{h_{\mathbb{H}}}{\longrightarrow} S^4 is equivariant with respect to these actions.

This is almost explicit in Porteous 95, p. 263

Cohomology

Proposition

The integral cohomology ring of the classifying space BSpin(5)B Spin(5) is spanned by two generators

  1. the first fractional Pontryagin class 12p 1\tfrac{1}{2}p_1

  2. the linear combination 12p 212(p 1) 2\tfrac{1}{2}p_2 - \tfrac{1}{2}(p_1)^2 of the half the second Pontryagin class with half the cup product-square of the first Pontryagin class:

H (BSpin(5),)[12p 1,12p 212(p 1) 2] H^\bullet \big( B Spin(5), \mathbb{Z} \big) \;\simeq\; \mathbb{Z} \left[ \tfrac{1}{2}p_1, \; \tfrac{1}{2}p_2 - \tfrac{1}{2}(p_1)^2 \right]

This is a special case of the general statement in Pittie 91, see e.g. Kalkkinen 06, Section 3).


Proposition

Let

S 4 BSpin(4) π BSpin(5) \array{ S^4 &\longrightarrow& B Spin(4) \\ && \big\downarrow^{\mathrlap{\pi}} \\ && B Spin(5) }

be the spherical fibration of classifying spaces induced from the canonical inclusion of Spin(4) into Spin(5) and using that the 4-sphere is equivalently the coset space S 4Spin(5)/Spin(4)S^4 \simeq Spin(5)/Spin(4) (this Prop.).

Then the fiber integration of the odd cup powers χ 2k+1\chi^{2k+1} of the Euler class χH 4(BSpin(4),)\chi \in H^4\big( B Spin(4), \mathbb{Z}\big) (see this Prop) are proportional to cup powers of the second Pontryagin class

π *(χ 2k+1)=2(p 2) kH 4(BSpin(5),), \pi_\ast \left( \chi^{2k+1} \right) \;=\; 2 \big( p_2 \big)^k \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,,

for instance

π *(χ) =2 π *(χ 3) =2p 2 π *(χ 5) =2(p 2) 2H 4(BSpin(5),); \begin{aligned} \pi_\ast \big( \chi \big) & = 2 \\ \pi_\ast \left( \chi^3 \right) & = 2 p_2 \\ \pi_\ast \left( \chi^5 \right) & = 2 (p_2)^2 \end{aligned} \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,;

while the fiber integration of the even cup powers χ 2k\chi^{2k} vanishes

π *(χ 2k)=0H 4(BSpin(5),). \pi_\ast \left( \chi^{2k} \right) \;=\; 0 \;\;\in\;\; H^4\big( B Spin(5), \mathbb{Z} \big) \,.

(Bott-Cattaneo 98, Lemma 2.1)

Coset spaces

coset space-structures on n-spheres:

standard:
S n1 diffSO(n)/SO(n1)S^{n-1} \simeq_{diff} SO(n)/SO(n-1)this Prop.
S 2n1 diffSU(n)/SU(n1)S^{2n-1} \simeq_{diff} SU(n)/SU(n-1)this Prop.
S 4n1 diffSp(n)/Sp(n1)S^{4n-1} \simeq_{diff} Sp(n)/Sp(n-1)this Prop.
exceptional:
S 7 diffSpin(7)/G 2S^7 \simeq_{diff} Spin(7)/G_2Spin(7)/G2 is the 7-sphere
S 7 diffSpin(6)/SU(3)S^7 \simeq_{diff} Spin(6)/SU(3)since Spin(6) \simeq SU(4)
S 7 diffSpin(5)/SU(2)S^7 \simeq_{diff} Spin(5)/SU(2)since Sp(2) is Spin(5) and Sp(1) is SU(2), see Spin(5)/SU(2) is the 7-sphere
S 6 diffG 2/SU(3)S^6 \simeq_{diff} G_2/SU(3)G2/SU(3) is the 6-sphere
S 15 diffSpin(9)/Spin(7)S^15 \simeq_{diff} Spin(9)/Spin(7)Spin(9)/Spin(7) is the 15-sphere

see also Spin(8)-subgroups and reductions

homotopy fibers of homotopy pullbacks of classifying spaces:

(from FSS 19, 3.4)

GG-Structure and exceptional geometry

Spin(8)-subgroups and reductions to exceptional geometry

reductionfrom spin groupto maximal subgroup
Spin(7)-structureSpin(8)Spin(7)
G2-structureSpin(7)G2
CY3-structureSpin(6)SU(3)
SU(2)-structureSpin(5)SU(2)
generalized reductionfrom Narain groupto direct product group
generalized Spin(7)-structureSpin(8,8)Spin(8,8)Spin(7)×Spin(7)Spin(7) \times Spin(7)
generalized G2-structureSpin(7,7)Spin(7,7)G 2×G 2G_2 \times G_2
generalized CY3Spin(6,6)Spin(6,6)SU(3)×SU(3)SU(3) \times SU(3)

see also: coset space structure on n-spheres


rotation groups in low dimensions:

sp. orth. groupspin grouppin groupsemi-spin group
SO(2)Spin(2)Pin(2)
SO(3)Spin(3)
SO(4)Spin(4)
SO(5)Spin(5)Pin(5)
Spin(6)
Spin(7)
SO(8)Spin(8)SO(8)
SO(9)Spin(9)
\vdots\vdots
SO(16)Spin(16)SemiSpin(16)
SO(32)Spin(32)SemiSpin(32)

see also

linebreak

References

Last revised on May 14, 2019 at 00:18:07. See the history of this page for a list of all contributions to it.