nLab Spin(9)

Idea

The spin group in dimension 9.

Properties

Relation to octonionic Hopf fibration

The octonionic Hopf fibration is equivariant with respect to the Spin(9)-action, the one on $S^8 = S(\mathbb{R}^9)$ induced from the canonical action of $Spin(9)$ on $\mathbb{R}^9$, and on $S^{15} = S(\mathbb{R}^{16})$ induced from the canonical inclusion $Spin(9) \hookrightarrow Spin(16)$.

This equivariance is made fully manifest by realizing the octonionic Hopf fibration as a map of coset spaces as follows (Ornea-Parton-Piccinni-Vuletescu 12, p. 7):

$$\array{ S^7 &\overset{fib(h_{\mathbb{O}})}{\longrightarrow}& S^{15} &\overset{h_{\mathbb{O}}}{\longrightarrow}& S^8 \\ = && = && = \\ \frac{Spin(8)}{Spin(7)} &\longrightarrow& \frac{Spin(9)}{Spin(7)} &\longrightarrow& \frac{Spin(9)}{Spin(8)} }$$

Relation to standard model gauge group

The exact gauge group of the standard model of particle physics (see there) is isomorphic to the subgroup of the Jordan algebra automorphism group of the octonionic Albert algebra that “stabilizes a 4d sub-Minkowski spacetime” (see there for details).

More concretely, it is identified with the subgroup of Spin(9) which respects a splitting $\mathbb{H} \oplus \mathbb{H} \simeq_{\mathbb{R}} \mathbb{C} \oplus \mathbb{C}^3$ (Krasnov 19, see also at SO(10)-GUT)

Related concepts

rotation groups in low dimensions:

Dynkin label	sp. orth. group	spin group	pin group	semi-spin group
	SO(2)	Spin(2)	Pin(2)
B1	SO(3)	Spin(3)	Pin(3)
D2	SO(4)	Spin(4)	Pin(4)
B2	SO(5)	Spin(5)	Pin(5)
D3	SO(6)	Spin(6)
B3	SO(7)	Spin(7)
D4	SO(8)	Spin(8)		SO(8)
B4	SO(9)	Spin(9)
D5	SO(10)	Spin(10)
B5	SO(11)	Spin(11)
D6	SO(12)	Spin(12)
	$\vdots$	$\vdots$
D8	SO(16)	Spin(16)		SemiSpin(16)
	$\vdots$	$\vdots$
D16	SO(32)	Spin(32)		SemiSpin(32)

see also

• Spin(5).Spin(3)

• finite rotation groups

• ADE-classification

References

• Thomas Friedrich, Weak Spin(9)-Structures on 16-dimensional Riemannian Manifolds, (arXiv:math/9912112)

• Maurizio Parton, Paolo Piccinni, Spin(9) and almost complex structures on 16-dimensional manifolds, (arXiv:1105.5318)

• Liviu Ornea, Maurizio Parton, Paolo Piccinni, Victor Vuletescu, Spin(9) geometry of the octonionic Hopf fibration, (arXiv:1208.0899, doi:10.1007/s00031-013-9233-x)

• Maurizio Parton, Paolo Piccinni, The Role of Spin(9) in Octonionic Geometry, (arXiv:1810.06288)

• Kirill Krasnov, $SO(9)$ characterisation of the Standard Model gauge group (arXiv:1912.11282)