■ABCからDEへ(その143)
Wythoff's constructon for uniform polytopes, p49
の問題を計算する.
===================================
頂点図形は5次元:(f0,f1,f2,f3,f4、f5)=(x,y,z,w,v、1)としてこれを求める。
[1]0次元面
x・27=432
x=16
[2]1次元面→コクセター図形にα4ができる
y・27+5・216=1080+2160
y=80
[3]2次元面→コクセター図形にα1ができる
z・27+10・216+2・720=1440+2160+4320
z=160
[4]3次元面→コクセター図形にα0ができる
w・27+10・216+1・720+1・1080=720+1080+1080+2160+2160
x=120
[5]4次元面→コクセター図形にα0ができる
v・27+5・216+0・720+0・1080+1(216+432)=216+432+432+270+1080
v=16+10
[6]5次元面→コクセター図形にα0ができる
u・27+1・216+0・720+0・1080+0(216+432)+1(72+27)=27+216+27+72
u=1
===================================
5次元:(f0,f1,f2,f3,f4、f5)=(x,y,z,w,v、1)はhγ5に等しい
===================================
hγ5の局所幾何を考える。
N0=2^4=16
N1=2^3(5,2)=80
N2=2^4(5,3)=160(α2)
N3=2^4(5,4)+2^2(5,3)=80(α3)+40(hγ3=α3)
N4=2^4(5,5)+2^1(5,4)=16(α4)+10(hγ4=β4)
1個の頂点に集まる辺の個数は
N1=x/2・N0,x=10
N2=x/3・N0,x=30
N3=x/4・N0,x=30
N4=(x/5+y/8)・N0,x=5,y=5
===================================