■リー群と表現(その93)
【2】E7格子の場合
P0(0,0,0,0,0,0,0)
P1(1,0,0,0,0,0,0)
P2(1,1/√3,0,0,0,0,0)
P3(1,1/√3,1/√6,0,0,0,0)
P4(1,1/√3,1/√6,1/√6,0,0,0,0)
P5(1,1/√3,1/√6,1/√6,1/√3,0,0)
P6(1,1/√3,1/√6,1/√6,1/√3,1,0)
P7(1,1/√3,1/√6,0,0,0,1/2)
二面角は90°,60°の補角となる.
===================================