■DE群多面体の面数公式(その752)
h3γ6の局所幾何についても調べてみたい.もう一方の2重接点でない方から始めてみると・・・
===================================
hγ6のfベクトルは(32,240,640,640,192+60,32+12)
0次元面→コクセター図形にα5(1,0,1,0,0)
(1,8,16,14,6,1)
1次元面→コクセター図形にα3×α1ができる.この局所幾何は
(1,3,3,1)×(1,1,0,0)より
(1,4,6,4,1)
2次元面→コクセター図形にα0ができる.(1,0)
3次元面→コクセター図形にα0ができる.(1,0)
1 1 1
8 4 0
16 6 0
14 4 0 1
6 1 0 0 1
1 0 0 0 0 1
0 0 0 0 0 0 1 →3 −3 1 4 6 4 1
これより
(1,12,30,34,21,7,1)
===================================