■単純リー環を使った面数数え上げ(その154)
3次元正軸体系
a1=1,a2=√(1/3),a3=√(2/3)
(その153)の続きである.
===================================
[1]{3,4}(110):8√2
b=(101)
より
V3={b0g0H0V2Λ0+b2g2H2V0Λ2}/3
また,y0=1,y3=0
(y0−y1)/√(1/a1)^2=(y1−y2)/√{(1/a1)^2+(1/a2)^2}=L
(y2−y3)/√{(1/a2)^2+(1/a3)^2}=0
→y0=y1=2/3,y2=y3=0,L=1/3
c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=4/3
‖d0‖=(a1^2+a2^2+a3^2)^1/2=√2
h0=|c0|/‖d0‖=2√2/3
c2=a3^2(1−y3)=2/3
‖d2‖=(a3^2)^1/2=√(2/3)
h2=|c2|/‖d2‖=√(2/3)
辺の長さを1に規格化する.辺の長さは2L.したがって,
Hk=hk/2L
→H0=√2,H2=√(3/2)
V2=1,Λ2=3√3/2
以上より
3V3={b0g0H0V2Λ0+b2g2H2V0Λ2}=6・√2+8・√(3/2)・3√3/2=24√2
V3=8√2 (一致)
===================================
[2]{3,4}(011):(21+14√2)/3
b=(101)
より
V3={b0g0H0V2Λ0+b2g2H2V0Λ2}/3
また,y0=1,y3=0
(y0−y1)/√(1/a1)^2=0
(y1−y2)/√{(1/a1)^2+(1/a2)^2}=(y2−y3)/√{(1/a2)^2+(1/a3)^2}=L
→y0=y1=1,y2=3(3−2√2),y3=0,L=3√2−4
c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=2(√2−1)
‖d0‖=(a1^2+a2^2+a3^2)^1/2=√2
h0=|c0|/‖d0‖=2−√2
c2=a3^2(1−y3)=2/3
‖d2‖=(a3^2)^1/2=√(2/3)
h2=|c2|/‖d2‖=√(2/3)
辺の長さを1に規格化する.辺の長さは2L.したがって,
Hk=hk/2L
V2=2+2√2,Λ2=√3/4
以上より
3V3・2L={b0g0h0V2Λ0+b2g2h2V0Λ2}=6・(2−√2)・(2+2√2)+8・√(2/3)・√3/4=14√2
V3=(21+14√2)/3 (一致)
===================================