■DE群多面体の面数公式(その682)

 hγについても調べてみたいのであるが,対応するデータがない.唯一わかっているのはh2,3γ5,Kaleidoscope,p317の頂点数は480であるということである.

 (その555)と(その557)の大域fベクトルは等しいが,局所fベクトルが異なっていた.異なる図形と思われるが,なぜ一致したのだろうか?

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

[1]2重節点から始める

hγ5のfベクトルは(16,80,160,120,16+10)

0次元面→コクセター図形にα4(0,1,1,0)・・・2重節点から始める

  (30,60,40,10)

1次元面→コクセター図形にα2ができる.(3,3,1)

2次元面→コクセター図形にα0ができる.(1,0)

3次元面→コクセター図形にα0ができる.(1,0)

[1]0次元面

30・16=480

[2]1次元面

60・16+3・80=1200

[3]2次元面

40・16+3・80+1・160=1040

[4]3次元面

10・16+1・80+0・160+1・120=360

[5]4次元面

1・16+0・80+0・160+0・120+1・26=42

480−1200+1040−360+42=2

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

[2] h2,3γ5,もう一方の2重接点でない方から始めてみると・・・

hγ5のfベクトルは(16,80,160,120,16+10)

0次元面→コクセター図形にα4(1,1,1,0)

  (60,120,80,20)

1次元面→コクセター図形にα2×α1ができる.(6,9,5,1)

2次元面→コクセター図形にα0ができる.(1,0)

3次元面→コクセター図形にα0ができる.(1,0)

[1]0次元面

60・16−6・80=480

[2]1次元面

120・16−9・80=1200

[3]2次元面

80・16−5・80+1・160=1040

[4]3次元面

20・16−1・80+0・160+1・120=360

[5]4次元面

1・16+0・80+0・160+0・120+1・26=42

(480,1200,1040,360,42)一致している

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