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

[1]421,321,221のfベクトルは求まっている.

[2]521,331,222のボロノイ多面体は421,231,122の双対である.

 231,122のfベクトルも求めたいところである.

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

 頂点数はすぐに計算できて,

  421→|E8|/|E7|=240

  231→|E7|/|D6|=126

  122→|E6|/|A5|=72

 122の72頂点は

  (±2,±2,0,0,0;0),x6は固定,40置換

  (±1,±1,±1,±1,±1,±√3),負号の数は奇数,32置換

 ファセット112=hγ5は|E6|/|D5|=72・6!/2^4・5!=27

 ファセット121=hγ5は|E6|/|D5|=27

 頂点図形は022=t2α5

 231の126頂点は

  (2,0,0,0,0,0,0,−2),56置換

  (1,1,1,1,−1,−1,−1,−1),70置換

 ファセット221=E6は56個=|E7|/|E6|

 ファセット230=α6は576個=|E7|/|A6|

 頂点図形は131=hγ6

 各頂点に連結する辺は32本,したがって,231の辺数は126・16=2016

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