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

 やるべきことは,局所幾何学や体積計算のためのカウンターパートな何になるのかを定めることであるが,双対多面体でなく三対性があるため厄介である.

しかも,局所幾何のデータはなく,どうやって進めればよいのか?

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

 hγ4(三ツ矢サイダー)に二重節点をつける.ただし,二重節点は少なくとも1個はつけなければならない.

[1]端点に0個,交差点に1個→t1β4

[2]端点に1個,交差点に0個→β4

[3]端点に1個,交差点に1個→t0,1β4

[4]端点に2個,交差点に0個→t2β4

[5]端点に2個,交差点に1個→t1,2β4

[6]端点に3個,交差点に0個→t0,2β4

[7]端点に3個,交差点に1個→t0,1,2β4

の計7種類ある.

[7]端点に3個,交差点に1個→t0,1,2β4

 たとえば,t0,1,2β4={3,3,4}(1,1,1,0)の場合

  {3,4}(1,1,0)×

  {4}(1,0)×{}(1)

  {}(0)×{3}(1,1)

  ×{3,3}(1,1,1)

右側にあるのが,それぞれのカウンターパートである.

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