■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
===================================