■交角60°(その35)
ルート格子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で含む.
===================================