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

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