■DE群多面体の面数公式(その868)
DE群のファセットは,2種類の多胞体が各頂点の周りに一様に配列しています(D群では頂点周りに同数,E群では頂点周りに異なる数の2種類が集まります).
例として,正三角柱(これはE3に相当する)を考えます.各頂点の周りに正三角形1枚と正方形2枚が一様に配列しています.次に,各頂点を三角形面ができるように少しだけ切り取ります.
このとき,新たにできる頂点周りの状況を考えると
[1]六角形・八角形・三角形が集まる頂点
[2]八角形・八角形・三角形が集まる頂点
があり,一様ではありません.しかし、その場合であっても各頂点周りには3辺・3面が集まります.
高次元の場合も、一様ではないが新たにできる各頂点周りに集まる局所ベクトル(f1,f2,f3,・・・)は等しくなるのでしょうか?
等しくなると仮定して,局所ベクトルを求めてみたのですが,この仮定の妥当性が怪しくなってきています.
===================================