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

 最近の成果をまとめておきたい.

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

[1]D群準正多面体

 n次元立方体の頂点の一つ置きに飛ばした頂点だけを結んでできる多面体.3次元では正四面体,4次元では正16胞体になるが,一般にファセットは2種類.

[2]E群準正多面体

 ファセットは正単体と正軸体の2種類からなる一様多面体.88次元までしか存在できない.

[3]これたにについてもk次元胞数,一つの頂点周りのk次元胞数の計算が可能になった.もちろんそれらはオイラーの多面体公式を満たしている.

[4]ところが,それらの中には実際に存在可能な実質的多面体と数値上だけで形式的にしか存在しえない名目的多面体があり,現在のところ,実質的多面体なのか名目的多面体なのかを判定する方法が見あたらない.(実際に構成してみるしかない).

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