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

 ルート格子Anはn+1個の整数からなり,その和が0であるベクトル(x0,x1,x2,・・・,xn)の集合,Dnはベクトル(x1,x2,・・・,xn)の成分がすべて整数でかつそれらの和が偶数となる格子で,チェス盤を考えればよい.

 E8格子はベクトル(x1,x2,・・・,x8)において,成分がすべて整数であるかすべて半整数であるかであって,それらの総和が偶数.E7格子はE8に含まれるベクトルで,x1+x2+・・・+x8=0を満たすもの.E6格子はE8に含まれるベクトルで,x1+x8=x2+・・・+x7=0を満たすものの集合である.ノルムが2のベクトルで生成される整格子はルート格子An,Dn,En(の直和)である(ヴィットの補題).

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

[1]An格子

 n次元単体の辺に沿ったベクトルで生成される格子.そのベクトルをn+1次元空間内にとると,生成元は

  (1,−1,0,・・・・0)

[2]Dn格子

 n次元正軸体の辺に沿ったベクトルで生成される格子.生成元は

  (±1,±1,0,・・・・0)

[3]E8格子

  A8の辺ベクトルと,それに隣接するD8の辺ベクトルで生成される格子.A8を指数3で,D8を指数2で含む.

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