# nLab SemiSpin(32)

Contents

## Spin geometry

spin geometry

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)

string geometry

group theory

# Contents

## Idea

The semi-spin group in dimension 32.

## Properties

### In heterotic string theory

In heterotic string theory precisely two (isomorphism classes of) gauge groups are consistent (give quantum anomaly cancellation): one is the direct product group $E_8 \times E_8$ of the exceptional Lie group E8 with itself, the other is in fact the semi-spin group $SemiSpin(32)$ (see McInnes 99a, p. 5).

Beware that the string theory literature often writes this as Spin(32)$/\mathbb{Z}_2$, which is at best ambiguous and misleading, or even as SO(32), which is wrong. Of course this follows the general tradition in the physics literature to write identifications of Lie groups that are really only identifications of their Lie algebras, see also “SO(10)-GUT theory”.

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)