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

【1】E8,E8~型ルート格子

  |2 1 0 0 0 0 0 0|=1

  |1 2 1 0 0 0 0 0|

  |0 1 2 1 1 0 0 0|

  |0 0 1 2 0 0 0 0|

  |0 0 1 0 2 1 0 0|

  |0 0 0 0 1 2 1 0|

  |0 0 0 0 0 1 2 1|

  |0 0 0 0 0 0 1 2|

に対して,無限鏡映群では

  |2 1 0 0 0 0 0 0 0|=0

  |1 2 1 0 0 0 0 0 0|

  |0 1 2 1 1 0 0 0 0|

  |0 0 1 2 0 0 0 0 0|

  |0 0 1 0 2 1 0 0 0|

  |0 0 0 0 1 2 1 0 0|

  |0 0 0 0 0 1 2 1 0|

  |0 0 0 0 0 0 1 2 1|

  |0 0 0 0 0 0 0 1 2|

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

【2】E7,E7~型ルート格子

  |2 1 0 0 0 0 0|=2

  |1 2 1 0 0 0 0|

  |0 1 2 1 1 0 0|

  |0 0 1 2 0 0 0|

  |0 0 1 0 2 1 0|

  |0 0 0 0 1 2 1|

  |0 0 0 0 0 1 2|

に対して,無限鏡映群では

  |2 1 0 0 0 0 0 0|

  |1 2 1 0 0 0 0 0|=0

  |0 1 2 1 0 0 0 0|

  |0 0 1 2 1 1 0 0|

  |0 0 0 1 2 0 0 0|

  |0 0 0 1 0 2 1 0|

  |0 0 0 0 0 1 2 1|

  |0 0 0 0 0 0 1 2|

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

【2】E6,E6~型ルート格子

  |2 1 0 0 0 0|=3

  |1 2 1 0 0 0|

  |0 1 2 1 1 0|

  |0 0 1 2 0 0|

  |0 0 1 0 2 1|

  |0 0 0 0 1 2|

に対して,無限鏡映群では

  |2 1 0 0 0 0 0|=0

  |1 2 1 0 0 0 0|

  |0 1 2 1 1 0 0|

  |0 0 1 2 0 0 1|

  |0 0 1 0 2 1 0|

  |0 0 0 0 1 2 0|

  |0 0 0 1 0 0 2|

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