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).
Equations
- Spin10Model.GaugeGroupI = { deps := [] }
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
- Spin10Model.inclSM = { deps := [`Spin10Model.inclPatiSalam, `PatiSalam.inclSM] }
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
- Spin10Model.inclGeorgiGlashow = { deps := [`Spin10Model.GaugeGroupI, `GeorgiGlashow.GaugeGroupI] }
Instances For
The inclusion of the Standard Model gauge group into Spin(10), i.e., the composition of
inclGeorgiGlashow and GeorgiGlashow.inclSM.
Equations
- Spin10Model.inclSMThruGeorgiGlashow = { deps := [`Spin10Model.inclGeorgiGlashow, `GeorgiGlashow.inclSM] }
Instances For
The inclusion inclSM is equal to the inclusion inclSMThruGeorgiGlashow.
Equations
- Spin10Model.inclSM_eq_inclSMThruGeorgiGlashow = { deps := [`Spin10Model.inclSM, `Spin10Model.inclSMThruGeorgiGlashow] }