■置換多面体の空間充填性(その514)
線形代数はAkという特定のルート系の理論であり,ユークリッド空間やシンプレクティック空間の幾何に対応するのはBk,Ck,Dkの理論です.そこでの理論の多くは,例外型の結晶群(E6,E7,E8,F4,G2)に対してだけでなく,結晶群でないユークリッド鏡映群(I2(p),H3,H4)に対しても成り立ちます.
===================================
有限コクセター図形と正多面体の対応を表にすると
An αn
Bn=Cn βn=γn
Dn
E6,E7,E8
F4 4次元正24胞体
G2 正六角形
H3 正12面体・正20面体
H4 正120胞体・正600胞体
I2(p) 正p角形(p=5,≧7)
正多面体の合同群に対するコクセター図形は分岐点をもたないので,
Dn
E6,E7,E8
は正多面体には対応しない.
===================================