■リー群と表現(その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°の補角となる.

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