spin geometry, string geometry, fivebrane geometry …
rotation groups in low dimensions:
see also
∞-Lie theory (higher geometry)
Background
Smooth structure
Higher groupoids
Lie theory
∞-Lie groupoids
∞-Lie algebroids
Formal Lie groupoids
Cohomology
Homotopy
Related topics
Examples
$\infty$-Lie groupoids
$\infty$-Lie groups
$\infty$-Lie algebroids
$\infty$-Lie algebras
What are called half-spin groups or semi-spin groups (McInnes 99a, McInnes 99b) are quotient groups of spin groups $Spin(n)$ by a non-standard Z/2-subgroup:
Generally, every spin group $Spin(n)$ is, essentially by definition, a $\mathbb{Z}/2$-group extension of the corresponding special orthogonal group, so that the quotient group by the resulting canonical subgroup inclusion $\mathbb{Z}/2 \overset{\iota}{\hookrightarrow} Spin(n)$ recovers SO(n)
But in the special case that the dimension $n = 4k$ is a positive multiple of 4 distinct from 8 (i.e. $k \in \mathbb{N}_{\gt 0}, k \neq 2$), there is another $\mathbb{Z}/2$-conjugacy class of subgroups $\mathbb{Z}/2 \overset{\iota_{s}}{\hookrightarrow} Spin(4k)$, which is distinct from the canonical $\iota$, and hence yields a quotient group
which is distinct from (i.e. not isomorphic to) SO(n).
This is called the semi-spin group or half-spin group in that dimension.
The semi-spin group in dimension 4 is just the direct product group of SU(2) with SO(3):
While also for Spin(8) it is the case that the center contains two copies of Z/2, $Z\big( Spin(8)\big) \simeq \mathbb{Z}_2 \times \mathbb{Z}_2$, in this case the existence of triality automorphisms actually makes these two copies behave identically, so that here the would-be semi-spin groups happens to coincide with SO(8) after all:
(e.g. McInnes 99a, p. 9)
The subgroup of the exceptional Lie group E8 which corresponds to the Lie algebra-inclusion $\mathfrak{so}(16) \hookrightarrow \mathfrak{e}_8$ is the semi-spin group SemiSpin(16):
On the other hand, the special orthogonal group $SO(16)$ is not a subgroup of $E_8$ (e.g. McInnes 99a, p. 11).
In heterotic string theory with gauge group the direct product group $E_8 \times E_8$ it is typically this subgroup $Semispin(16) \times SemiSpin(16)$ which is considered (but typically denoted $Spin(16)/\mathbb{Z}_2$, see also Distler-Sharpe 10, Sec. 1).
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”.
rotation groups in low dimensions:
see also
Brett McInnes, The Semispin Groups in String Theory, J. Math. Phys. 40:4699-4712, 1999 (arXiv:hep-th/9906059)
Brett McInnes, Gauge Spinors and String Duality, Nucl. Phys. B577:439-460, 2000 (arXiv:hep-th/9910100)
Mboyo Esole, Monica Jinwoo Kang, Flopping and Slicing: $SO(4)$ and $Spin(4)$-models (arXiv:1802.04802)
Last revised on May 16, 2019 at 03:18:37. See the history of this page for a list of all contributions to it.