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

 ルート系の単純根をα,βとすると

[1]それらは線形独立なベクトルである(同一平面上にあると角度の和が360°になる)

[2]2α・β/α・αは非正の整数である

[3]単純根の系は分解不可能である(90°のベクトルはひとつしか許されない)

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

【1】分類定理

[1]3つのベクトルからなるルート系は

 ・−・−・  (90°+120°+120°)

 ・−・=・  (90°+120°+135°)

の2つしかない.

   ・

  / \   (120°+120°+120°)

 ・ − ・

 ・−・≡・  (90°+120°+150°)

 ・=・=・  (90°+135°+135°)

[2]≡(150°)をもつルート系は階数2のひとつしかない.

 ・≡・  (90°+150°) 

[3]・−・−α−β−・−・がルート系ならば,

   ・−・−(α+β)−・−・もルート系である.

[4]どのルート系も・=・を2箇所以上含むことはない.

[5]どのルート系もループを含まない.

[6]   α

     /

  A−γ    がルート系ならば,A−γ=(α+β)もルート系である.

     \

      β

[7]ルート系において,可能な枝分かれは[6]の形のみである.

A   α

   \ /

  γ  は[6]により・=・=・に縮めることができるからである.

   / \

  B   β

[8]どのルート系も,枝分かれと=の両方,あるいは,枝分かれを2箇所含むことはできない.

[9]どのルート系も,

  ・−・−・−・−・   ・−・−・−・−・−・−・

      |             |

      ・             ・

      |

      ・

  ・−・−・−・−・−・−・−・   ・−・=・−・−・

            |

            ・

を含むことはできない(∵(Σμα)^2=0,線形従属)

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