■ルート系の分類定理(その4)
ルート系を幾何的にみると・・・
===================================
[1]An格子
n次元単体の辺に沿ったベクトルで生成される格子.そのベクトルをn+1次元空間内にとると,生成元は
(1,−1,0,・・・・0)
[2]Dn格子
n次元正軸体の辺に沿ったベクトルで生成される格子.生成元は
(±1,±1,0,・・・・0)
[3]E8格子
A8の辺ベクトルと,それに隣接するD8の辺ベクトルで生成される格子.A8を指数3で,D8を指数2で含む.
===================================
【1】E8の定義
[4]E8は単体Sの辺と9つの面のいずれかで隣接する正軸体Oの辺とで生成される.
[4]E8は正軸体Oの辺と128個の面(Oの半分)のいずれかで隣接する正単体Sの辺とで生成される.
===================================
m組の平行な辺をもつn次元ゾノトープはmCn個以内の平行2n胞体に分解することができる.
[1]原始的平行多面体{3,・・,3}(1,・・・,1)はm=n(n+1)/2組の平行な辺を有する.
[2]その正軸体版である{3,・・,4}(1,・・・,1)はm=n^2組の平行な辺を有する.
===================================