■マクドナルド恒等式入門(その6)

 線形代数はAkという特定のルート系の理論であり,ユークリッド空間やシンプレクティック空間の幾何に対応するのはBk,Ck,Dkの理論です.そこでの理論の多くは,例外型の結晶群(E6,E7,E8,F4,G2)に対してだけでなく,結晶群でないユークリッド鏡映群(I2(p),H3,H4)に対しても成り立ちます.

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

 有限コクセター図形と正多面体の対応を表にすると

  An         αn

  Bn=Cn       βn=γn

  Dn

  E6,E7,E8

  F4         4次元正24胞体

  G2         正六角形

  H3         正12面体・正20面体

  H4         正120胞体・正600胞体

  I2(p)        正p角形(p=5,≧7)

 正多面体の合同群に対するコクセター図形は分岐点をもたないので,

  Dn

  E6,E7,E8

は正多面体には対応しない.

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