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

 3次元正軸体系

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

 (その153)の続きである.

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

[1]{3,4}(101):(12+10√2)/3

 b=(111)

  V3={b0g0H0V2Λ0+b1g1H1V1Λ1+b2g2H2V0Λ2}/3

 また,y0=1,y3=0

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

  (y1−y2)/√{(1/a1)^2+(1/a2)^2}=0

→y0=1,y1=y2=3(3−√2)/7,y3=0,L=(3√2−2)/7

  c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=(4√2+2)/7

  ‖d0‖=(a1^2+a2^2+a3^2)^1/2=√2

  h0=|c0|/‖d0‖=(4+√2)/7

  c1=a2^2(1−y2)+a3^2(1−y3)=(4+√2)/7

  ‖d1‖=(a2^2+a3^2)^1/2=1

  h1=|c1|/‖d1‖=(4+√2)/7

  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=1,Λ2=√3/4

 以上より

 3V3・2L={b0g0h0V2Λ0+b1g1h1V1Λ1+b2g2h2V0Λ2}=6・(4+√2)/7・1+12・(4+√2)/7+8・√(2/3)・√3/4=(72+32√2)/7

  V3=(12+10√2)/3  (一致)

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

[2]{3,4}(111):22+14√2

 b=(111)

  V3={b0g0H0V2Λ0+b1g1H1V1Λ1+b2g2H2V0Λ2}/3

 また,y0=1,y3=0

  (y0−y1)/√(1/a1)^2

=(y1−y2)/√{(1/a1)^2+(1/a2)^2}

=(y2−y3)/√{(1/a2)^2+(1/a3)^2}=L

→y0=1,y1=(√2+1)/3,y2=√2−1,y3=0,L=(2−√2)/3

  c0=a1^2(1−y1)+a2^2(1−y2)+a3^2(1−y3)=(6−2√2)/3

  ‖d0‖=(a1^2+a2^2+a3^2)^1/2=√2

  h0=|c0|/‖d0‖=(3√2−2)/3

  c1=a2^2(1−y2)+a3^2(1−y3)=(4−√2)/3

  ‖d1‖=(a2^2+a3^2)^1/2=1

  h1=|c1|/‖d1‖=(4−√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

  V2=2+2√2,Λ2=3√3/2

 以上より

 3V3・2L={b0g0h0V2Λ0+b1g1h1V1Λ1+b2g2h2V0Λ2}=6・(3√2−2)/3・(2+2√2)+12・(4−√2)/3+8・√(2/3)・3√3/2=32+12√2

  V3=22+14√2  (一致)

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