■単純リー環を使った面数数え上げ(その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

となる.やはり理解が及ばないところである.

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