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