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

【1】H4,F4の場合

  P0P1=1

  P0P2=cosec(π/p)=1/sin(π/p)

  P1P2=cot(π/p)

  P0P3=sin(π/q)/sin(π/hpq)

  P1P3=cos(π/p)/sin(π/hpq)

  P2P3=cos(π/q)cot(π/p)/sin(π/hpq)

  Δ^2=sin^2(π/p)sin^2(π/r)−cos^2(π/q)

  P0P4=sin(π/hrq)/Δ

  P1P4=cos(π/p)sin(π/r)/Δ

  P2P4=cot(π/p)cos(π/q)/Δ

  P3P4=cos(π/p)cos(π/q)cos(π/r)/sin(π/hpq)Δ

  正120胞体{p,q,r}={5,3,3}

  正600胞体{p,q,r}={3,3,5}

  正24胞体{p,q,r}={3,4,3}

  hpq=24/(10−p−q)−2  (スタインバーグの公式)

  hrq=24/(10−r−q)−2  (スタインバーグの公式)

ですから,

  正120胞体:Hpq=10,Hrq=4

  正600胞体:Hpq=4,Hrq=10

  正24胞体:Hpq=6,Hrq=6

となります.

  Δ^2=sin^2(π/p)sin^2(π/r)−cos^2(π/q)

  正120胞体:Δ=(3−√5)/8

  正600胞体:Δ=(3−√5)/8

  正24胞体:Δ=1/4

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

【2】まとめ

  P0(0,0,0,0)

  P1(1,0,0,0)

  P2(1,P1P2,0,0)

  P3(1,P1P2,P2P3,0)

  P4(1,P1P2,P2P3,P3P4)

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