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

576−10080+40320−50400+N4−N5+182=2

N4−N5=19404

 半立方体のファセットは,各頂点まわりのn=(n,1)個ずつ集まることがヒントにならないだろうか?

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

132の各頂点に連結する132の6次元面は56個の122と126個の131=hγ6

576・(x/72+y/32)=56+126=182

x+y=14,x=7,y=7

122→hγ5

131=hγ6→hγ5とα5,α5は131だけから生じる

 hγ6のファセットα5が,hγ6の頂点まわりの6個ずつ集まる.

 このことから以下のy=7・6=42

132の各頂点に連結する132の5次元面は

121=hγ5と130=α5

576・(x/16+y/6)=36x+96y=N

x+y=84

y=42とするとx=42,N5=5544

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

hγ5→hγ4とα4

α5→α4

  hγ4はhγ5だけから生じる.

  hγ5のファセットhγ4が,hγ5の頂点まわりの5個ずつ集まる.

  このことから以下のx=42・5=210

132の各頂点に連結する132の4次元面は

111=hγ4と120=α4

576・(x/8+y/5)=72x+576・y/5=N

x+y=245,yは5の倍数

72x+576(245−x)/5

=(72−576/5)x+576・49=N

=(360−576)x/5+576・49=N

=−216・x/5+576・49=N

x=210とすると,y=35,N4=15120+4032=19152

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

576−10080+40320−50400+N4−N5+182=2

N4−N5=19404に合わない.

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