■単純リー環を使った面数数え上げ(その120)
正軸体版で,4次元の場合は
Λ4=(N0Λ3H0+N1Λ2V1H1+N2Λ1V2H2+N3V3H3)/4
とするのは自然な発想と思われる.実際,この計算は正しい.
Hk=(1+n√2−(k+2)/√2)・√(k+1)/2
=(1+n√2−(k+2)√2/2)・√(k+1)/2
=(1+(n−1−k/2)√2)・√(k+1)/2
k=0→H0=(1+3√2)/2
k=1→H1=(1+5√2/2)・√2/2
k=2→H2=(1+2√2)・√3/2
k=3→H3=(1+3√2/2)
N0Λ3H0=8・(22+14√2)(1+3√2)/2=4(22+14√2)(1+3√2)
N1Λ2V1H1=24・(2+2√2)(1+5√2/2)・√2/2=12(2+2√2)(5+√2)
N2Λ1V2H2=32・3√3/2(1+2√2)・√3/2=72(1+2√2)
N3V3H3=16・8√2(1+3√2/2)=128(3+√2)
Λ4=262+184√2 (一致)
===================================
5次元の場合は
Λ5=(N0Λ4H0+N1Λ3V1H1+N2Λ2V2H2+N3Λ1V3H3+N4V4H4)/5
を計算してみたい.
Nk^(n)=2^(k+1)nCk+1
N0=10,N1=40,N2=80,N3=80,N4=32
Λ1=1,Λ2=2(√2+1),Λ3=22+14√2,Λ4=262+184√2
V1=1,V2=3√3/2,V3=8√2,V4=125√5/4
を計算してみよう.
Hk=(1+n√2−(k+2)/√2)・√(k+1)/2
=(1+n√2−(k+2)√2/2)・√(k+1)/2
=(1+(n−1−k/2)√2)・√(k+1)/2
n=5のとき
k=0→H0=(1+4√2)/2
k=1→H1=(1+7√2/2)・√2/2
k=2→H2=(1+3√2)・√3/2
k=3→H3=(1+5√2/2)
k=4→H4=(1+2√2)・√5/2
N0Λ4H0=10・(262+184√2)・(1+4√2)/2=5・(262+184√2)・(1+4√2)
N1Λ3V1H1=40・(22+14√2)・(1+7√2/2)・√2/2=20・(22+14√2)(7+√2)
N2Λ2V2H2=80・(2+2√2)・3√3/2・(1+3√2)・√3/2=20・(2+2√2)・9・(1+3√2)
N3Λ1V3H3=80・8√2・(1+5√2/2)=640(5+√2)
N4V4H4=32・125√5/4・(1+2√2)・√5/2=4・125・5(1+2√2)
Λ5=4106+3128√2 (一致)
===================================