■単純リー環を使った面数数え上げ(その96)
【1】角錐分解
置換多面体の体積公式
Vn=(N0Vn-1H0+N1Vn-2H1+・・・+Nn-2Vn-2Hn-2+Nn-1Vn-1Hn-1)/n
から,
V1=1,V2=3√3/2,V3=8√2
同様に,正軸体版の体積公式
Λn=(N0Λn-1H0+N1Λn-2H1+・・・+Nn-2Vn-2Hn-2+Nn-1Vn-1Hn-1)/n
からは,
Λ1=1,Λ2=2(√2+1),Λ3=22+14√2
と特殊解は計算できる.
===================================
【2】平行体分解
これらの体積は線分のミンコフスキー和
vol(V)=Σ|det(vi1,・・・,vin)|
でも与えられる.すなわち,(m,n)個の項をもつこの公式は,複体を平行体(parallelepiped)に分解してそのミンコフスキー和ととることを意味している.
===================================
【3】雑感
特殊な多面体については体積の計算は可能であるが,一般の多面体nについての体積公式の導出は難しい.とくに,4次元と5次元の間には大きな壁が立ちはだかっているようだ.その原因はいまだ不明である.
===================================