The Spin(10) Model #
Note: By physicists this is usually called SO(10). However, the true gauge group involved is Spin(10).
The gauge group of the Spin(10) model, i.e., the group Spin(10)
.
Instances For
The inclusion of the Pati-Salam gauge group into Spin(10), i.e., the lift of the embedding
SO(6) × SO(4) → SO(10)
to universal covers, giving a homomorphism Spin(6) × Spin(4) → Spin(10)
.
Precomposed with the isomorphism, PatiSalam.gaugeGroupISpinEquiv
, between SU(4) × SU(2) × SU(2)
and Spin(6) × Spin(4)
.
See page 56 of https://math.ucr.edu/home/baez/guts.pdf
Equations
Instances For
The inclusion of the Standard Model gauge group into Spin(10), i.e., the composition of
embedPatiSalam
and PatiSalam.inclSM
.
See page 56 of https://math.ucr.edu/home/baez/guts.pdf
Equations
Instances For
The inclusion of the Georgi-Glashow gauge group into Spin(10), i.e., the Lie group homomorphism
from SU(n) → Spin(2n)
discussed on page 46 of https://math.ucr.edu/home/baez/guts.pdf for n = 5
.
Equations
Instances For
The inclusion of the Standard Model gauge group into Spin(10), i.e., the composition of
inclGeorgiGlashow
and GeorgiGlashow.inclSM
.