■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に合わない.
===================================