■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の局所幾何学が抜けている・・・

===================================