■DE群多面体の面数公式(その10)
[1]PqrのファセットはP(q-1)rとPq(r-1)の2種類ある.
たとえば,421のファセットは411=β7,420=α7である.
E8=421の双対がV(0)である.
[2]
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
Enの局所幾何学が抜けている・・・
===================================