■リー群と表現(その47)
[1]Pqrの頂点図形は(P−1)qrである.
[2]PqrのファセットはP(q-1)rとPq(r-1)の2種類ある.
たとえば,421のファセットは411=β7,420=α7である.
E8=421の双対がV(0)である.
[3]
En=(n−4)21
E8→421
E7→321
E6→221
E5=D5→121=hγ5
E4=A4→021=t1α4
E3=A2×A1→(−1)21=α2×α1
===================================
E8の頂点図形は321(E7)
その頂点図形は(E8の辺図形に相当するものであるが)221(E6)
その頂点図形は(E8の面図形に相当するものであるが)121(E5)
その頂点図形は(E8の3図形に相当するものであるが)021(t1α4)
その頂点図形は(E8の4図形に相当するものであるが)(−1)21(α2×α1)
421のファセットは411=β7,420=α7である.
そのファセットは401=α6,410=α6である.
そのファセットは400=α5である.
そのファセットは300=α4である.
そのファセットは200=α3である.
===================================
頂点図形321
辺図形221×α1
面図形121×α2
3図形021×α3
4図形(−1)21×α4
5図形(−2)21×α5
6図形(−3)21×α6
ファセット411=β7,420=α7
===================================
[まとめ](−2)21,(−3)21が必要になるが,
(−3)21=α1,(−2)21=α2だろうか?
===================================