■DE群多面体の面数公式(その724)

 421の2番目だけが二重節点になっている場合の大域幾何を計算してみたい.

 |E7|=7!・2・2^3・3^2・4=8・9!=x

 N0=x/72・6!=56

 N1=x/2・2^4・5!=756

 N2=x/6・5!=4032(α2)

 N3=x/24・6・2=10080(α3)

 N4=x/5!・2=12096(α4)

 N5=x/6!・2+x/6!=2016(α5)+4032(α5)

 N6=x/7!+x/2^5・6!=576(α6)+126(β6)

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

 |E8|=8!・1・2^2・3^2・4^2・5・6=192・10!=x

 N0=x/8・9!=240

 N1=x/2・72・6=6720

 N2=x/6・2^4・5!=60480(α2)

 N3=x/24・5!=241920(α3)

 N4=x/5!・6・2=483840(α4)

 N5=x/6!・2=483840(α5)

 N6=x/7!・2+x/7!=69120(α6)+138240(α6)

 N7=x/8!+x/2^6・7!=17280(α7)+2160(β7)

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

f0=56・m1−1・m2

f1=756・m1−0・m2

f2=4032・m1−0・m2+1・m3

f3=10080・m1−0・m2+0・m3+1・m4

f4=12096・m1−0・m2+0・m3+0・m4+1・m5

f5=6048・m1−0・m2+0・m3+0・m4+0・m5+1・m6

f6=402・m1−0・m2+0・m3+0・m4+0・m5+0・m6+1・m7

f7=1・m1−0・m2+0・m3+0・m4+0・m5+0・m6+0・m7+1・m8

E8の大域幾何

m=(240,6720,60480,241920,483840,483840,207360,19440)

を代入すると

f0=56・m1−1・m2=6720→Integral Cayley Numbersに一致.

f1=181440

f2=1028160

f3=2661120

f4=3386880

f5=1935360

f6=303840

f7=19680

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