■単純リー環を使った面数数え上げ(その9)
Xnのワイル群のオーダーをW(Xn)で表すことにする.
W(An)=(n+1)!
W(Bn)=2^nn!
W(Cn)=2^nn!
W(Dn)=2^n-1n!
===================================
【1】半立方体の要素数
半立方体(n次元の超立方体において,ひとつおきの頂点(全体で2^n-1個)を結んでできる図形)の要素数を計算してみたところ,やはり,7次元までは個別にうまく計算できたものの8次元でゆきづまりました.n≧4では側面(1次元低い胞)が2種類現れて,次元を下げていってもf4以上で2種類の図形が複雑に絡み合うのが原因です.
3次元:(f0,f1,f2)=(4,6,4) (正四面体)
4次元:(f0,f1,f2,f3)=(8,24,32,16) (正16胞体)
5次元:(f0,f1,f2,f3,f4)=(16,80,160,120,16+10)
6次元:(f0,f1,f2,f3,f4,f5)=(32,240,640,640,192+60,32+12)
7次元:(f0,f1,f2,f3,f4,f5,f6)=(64,672,2240,2800,1344+280,448+84,64+14)
f2は正三角形,f3は正四面体,f4以上で2種類の形の各々の和
===================================
【2】半立方体の要素数(その2)
4次元半立方体の頂点数は
f0=W(D4)/W(A3)=8
辺数は
f1=W(D4)/W(A1)^3=24
2次元面数は
f2=W(D4)/W(A2)=32
3次元面数は
f3=2W(D4)/W(A3)=16
で計算される.これは4次元正軸体とまったく同じである.
5次元半立方体に対して,同様の式使ってみると,
f0=W(D5)/W(A4)=16
f1=W(D5)/W(A1)^4=120
f2=W(D5)/W(A2)=320
f3=2W(D5)/W(A3)=160
となる.やはり理解が及ばないところである.
===================================