■ルート系の分類定理(その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組の平行な辺を有する.

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