■DE群多面体の面数公式(その749)
h2γ6の大域幾何について調べてみたい.2重接点から始めてみると・・・
===================================
hγ6のfベクトルは(32,240,640,640,192+60,32+12)
0次元面→コクセター図形にα5(0,1,0,0,0)
(15,60,80,45,12)
1次元面→コクセター図形にα0ができる.(1,0)
2次元面→コクセター図形にα0ができる.(1,0)
3次元面→コクセター図形にα0ができる.(1,0)
[1]0次元面
15・32=480
[2]1次元面
60・32+1・240=2160
[3]2次元面
80・32+0・240+1・640=3200
[4]3次元面
45・32+0・240+0・640+1・640=2080
[5]4次元面
12・32+0・240+0・640+0・640+1・252=636
[6]5次元面
1・32+0・240+0・640+0・640+0・252+1・44=76
===================================
480−2160+3200−2080+636−76=0
===================================