■学会にて(JCDCG^3,その18)
h:ペトリー数
Σm=nh/2:対称超平面の個数
Π(m+1):基本単体の個数
2mi+1=kiとおくと,ポアンカレ多項式は
Π(1+t^k)=1+B1t+B2t^2+・・・+Br-1t^r-1+t^r
で定義される.
(2m1+1)+(2mn+1)=(2m2+1)+(2mn-1+1)=・・・
=2h+2
r=(2m1+1)+(2m2+1)+・・・+(2mn-1+1)+(2mn+1)=n(h+1)
すなわち,ポアンカレ多項式の係数は,対称超平面の個数などを与えるベッチ数というわけである.
===================================
また,
Π(1+mt)=(1+m1t)(1+m2t)・・・(1+mnt)
=b0+b1t+b2t^2+・・・+bnt^n
とすると
b1=m1+m2+・・・+mn=対称超平面の個数
Γ=b0+b1+b2+・・・+bn
=(1+m1)(1+m2)・・・(1+mn)=基本単体の個数
===================================