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

【1】2次元正軸体系

  a1=1,a2=1

[1]{4}(10):1

 b=(01)

  V2={b1g1H1V1Λ0}/2

 また,y0=1,y2=0

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

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

→y0=1,y1=0,L=1

  c0=a1^2(1−y1)+a2^2(1−y2)=1

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

  h0=|c0|/‖d0‖=√(1/2)

  c1=a2^2(1−y2)=1

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

  h1=|c1|/‖d1‖=1

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

  Hk=hk/2L

 以上より

 V={b1g1h1V1Λ0}/2=4・1/2・1/2=1 (一致)

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[2]{4}(01):1

 b=(10)

  V2={b0g0H0V0Λ1}/2

 また,y0=1,y2=0

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

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

→y0=1,y1=1,L=1/√2

  c0=a1^2(1−y1)+a2^2(1−y2)=1

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

  h0=|c0|/‖d0‖=√(1/2)

  c1=a2^2(1−y2)=1

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

  h1=|c1|/‖d1‖=1

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

  Hk=hk/2L

 以上より

 V={b0g0h0V0Λ1}/2=4・1/2・1/2=1 (一致)

−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−

[3]{4}(11):2+2√2

 b=(11)

  V2={b0g0H0V0Λ1+b1g1H1V1Λ0}/2

 また,y0=1,y2=0

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

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

→y0=1,y1=2−√2,L=√2−1

  c0=a1^2(1−y1)+a2^2(1−y2)=√2

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

  h0=|c0|/‖d0‖=1

  c1=a2^2(1−y2)=1

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

  h1=|c1|/‖d1‖=1

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

  Hk=hk/2L

  H0=(√2+1)/2,H1=(√2+1)/2

 以上より

 V={b0g0h0V0Λ1+b1g1H1V1Λ0}/2=(4・(√2+1)/2+4・(√2+1)/2)/2=2+2√2 (一致)

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