■単純リー環を使った面数数え上げ(その151)

 一番簡単な4立方体{334}(0001)について体積計算してみたい.

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

  V4={b0g0H0V3Λ0+b1g1H1V2Λ1+b2g2H2V1Λ2+b3g3H3V0Λ3}/4

であるが,

  b=(1000)

より

  V4={b0g0H0V3Λ0}/4

  V3=1,Λ0=1

  g(n,k)=(n,k+1)2^k+1

  g0=g(4,0)=(4,1)2=8

 また,4次元正軸体では

  a1=1,a2=√(1/3),a3=√(1/6),a4=√(1/2)

  y0=1,y4=0

  (y0−y1)/√(1/a1)^2=(y1−y2)/√{(1/a1)^2+(1/a2)^2}=(y2−y3)/√{(1/a2)^2+(1/a3)^2}=0→y0=1,y1=1,y2=1,y3=1

  (y3−y4)/√{(1/a3)^2+(1/a4)^2}=L→L=1/2√2

  c0=−(a1x1+・・・+anxn)+(a1^2+・・・+an^2)

  c0=−(a1^2y1+・・・+an^2yn)+(a1^2+・・・+an^2)

  h0=|c0|/‖d0‖,‖d0‖=(a1^2+・・・+an^2)^1/2

  c0=a4^2(1−y4)=1/2

  d0=(1+1/3+1/6+1/2)^1/2=√2

  h0=1/2√2

 辺の長さを1に規格化する.辺の長さは2L.したがって,

  Hk=hk/2L→H0=1/2

 以上より

  V4={b0g0H0V3Λ0}/4=8・1/2・1・1/4=1

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