■n次元平行多面体数(その138)

【1】An

 ここで,R^nの標準基底をe1,・・・,enとしましょう.

  ei=(0,・・・,1,0,・・・,0)

たとえば,A3型ルート系は,

  Φ={e1−e2,e2−e3,e3−e4}

のようにとれます.

 ここで,それぞれ,

  αi=ei−ei+1

とおきます.そのとき,n次元単体の基底となるn個のベクトルの集合を

  Φ={α1,α2,・・・,αn}

として,

  θ=π/2・・・・結ばない

  θ=π/3・・・・辺−で結ぶ

  θ=π/4・・・・辺=で結ぶ

  θ=π/6・・・・辺≡で結ぶ

と定めます.そうすると,A3型ルート系の場合,

  α1−α2−α3

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

  α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

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