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

 ここでは,初期値をv0=1,v2=1だけとして,2次元多面体の面数を求めてみることにしたい.

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

【1】2次元正単体系

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

[1]{3}(10):√3/4

 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)=4/3

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

  h0=|c0|/‖d0‖=√(4/3)

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

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

  h1=|c1|/‖d1‖=√(1/3)

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

  Hk=hk/2L

 以上より

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

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

[2]{3}(01):√3/4

 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/3

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

  h0=|c0|/‖d0‖=1/2√3

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

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

  h1=|c1|/‖d1‖=√(1/3)

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

  Hk=hk/2L

 以上より

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

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

[3]{3}(11):3√3/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/3,L=1/3

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

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

  h0=|c0|/‖d0‖=√3/3

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

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

  h1=|c1|/‖d1‖=√(1/3)

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

  Hk=hk/2L

  H0=√3/2,H1=√3/2

 以上より

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

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