■基本単体の二面角(その109)

  |S|=|1 x1 y1|   |V|=|1 x1 y1 z1|

      |1 x2 y2|       |1 x2 y2 z2|

      |1 x3 y3|       |1 x3 y3 z3|

                     |1 x4 y4 z4|

であれば,以下の拡張コクセターグラフは超平面ではなく,座標を表すのだろうか?

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

【1】An

  α1=e2−e1=(−1,1,0,・・・,0)

  α2=e3−e2=(0,−1,1,・・・,0)

  αn=en+1−en=(0,・・・,0,−1,1)

さらに,

  α0=en+1−e1=(−1,0,・・・,0,1)

として,拡張コクセターグラフを考えてみます.

  α1・α2=−1/2→θ=π/3

  −α1・α0=−1/2→θ=π/3

  −αn・α0=−1/2→θ=π/3

P0(−1,0,0,1)

P1(−1,1,0,0)

P2(0,−1,1,0)

P3(0,0,−1,1)

PiPj^2を計算すると

2,4,2

  6,4

    6

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

【2】Bn

  α1=e1=(1,0,0,・・・,0)

  α2=e2−e1=(−1,1,0,・・・,0)

  αn=en−en-1=(0,・・・,0,−1,1)

さらに,

  α0=en-1+en=(0,・・・,1,1)

として,拡張コクセターグラフを考えてみます.

  α1・α2=−1/√2→θ=π/4

  −αn・α0=0→θ=π/2

  −αn-1・α0=−1/2→θ=π/3

P0(0,0,1,1)

P1(1,0,0,0)

P2(−1,1,0,0)

P3(0,−1,1,0)

P4(0,0,−1,1)

PiPj^2を計算すると

3,4,2,4

  5,3,3

    6,4

      6

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

【3】Cn

  α1=e1+e2=(1,1,0,・・・,0)

  α2=e2−e1=(−1,1,0,・・・,0)

  αn=en−en-1=(0,・・・,0,−1,1)

さらに,

  α0=en-1+en=(0,・・・,0,1,1)

として,拡張コクセターグラフを考えてみます.

  α1・α2=0→θ=π/2

  −αn・α0=0→θ=π/2

  −αn-1・α0=−1/2→θ=π/3

P0(0,0,1,1)

P1(1,1,0,0)

P2(−1,1,0,0)

P3(0,−1,1,0)

P4(0,0,−1,1)

PiPj^2を計算すると

4,4,2,4

  4,6,4

    6,4

      6

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

【4】Dn

  α1=2e1=(2,0,0,・・・,0)

  α2=e2−e1=(−1,1,0,・・・,0)

  αn=en−en-1=(0,・・・,0,−1,1)

さらに,

  α0=2en=(0,・・・,0,2)

として,拡張コクセターグラフを考えてみます.

  α1・α2=−1/√2→θ=π/4

  −αn・α0=−1/√2→θ=π/4

  −αn-1・α0=−1/2→θ=π/3

P0(0,0,0,2)

P1(2,0,0,0)

P2(−1,1,0,0)

P3(0,−1,1,0)

P4(0,0,−1,1)

PiPj^2を計算すると

8,6,6,2

  10,6,6

    6,4

      6

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

[まとめ]これらが何に対応しているのかわからない.

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