E8xE8 : Heterotic E8xE8 string theory (Heterotic=boson stringとsuper stringを繋げてclosed stringを作る。)
?
E6
SO(10)
SU(5)
SU(3)xSU(2)xU(1) : SM

E7,E8は実表現しかない？（フェルミオンはどうやって書く？）

SU(5)にSU(3)とSU(2)を埋め込むとU(1)がuniqueに決まる。→SMでのU(1)Yのhyper chargeのassignmentと一致 →このhyperchargeのおかげで陽子と電子のEM電荷が一致する + local　gauge anomalyがクォークとレプトンで正確に相殺する

anomaly cancellation = SMはanomalyのない単純Lie群から破れてできたから？SU(5)はアノマリーなし。

SO(10)でフェルミオンの表現が16表現に統一（右巻きニュートリノの導入）。SO(N) (N>6)はアノマリーなし。

SO(10)はE6の正規部分群？

E8？
Heteroticな理論は E8xE8 と SO(32)の二つ。 super stringだけで作る理論がタイプI,IIA,IIBの三つ。anomalyが消えることを要求すると全部10次元。bosonic stringは26次元だがいい感じに16次元消えるらしい(???)
M理論(D=11)から1次元潰れて上のどれかになる？
F理論(D=12)はIIAの強結合極限、Het E8xE8とduality?