■4次元正多面体の怪(その2)

 今回のコラムでは,

[1]正24胞体はゾノトープである

[2]正24胞体はゾノトープではない

の真偽について考えてみたい.

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

【1】ゾノトープ・平行多面体・置換多面体

 ゾノトープ(ゾーン多面体)とはn次元立方体のアフィン射影による像のことである.また,置換多面体は(n+1,2)次元の立方体のアフィン射影で,単純ゾーン多面体であるから,中心対称で面はすべて重心に関して中心対称なzonohedronである.すなわち,n次元置換多面体は平行多面体の定義を満たしている.

 平行多面体とは,平行移動するだけで3次元空間を埋めつくすことのできる単独の多面体であって,3次元格子から決まる本質的なボロノイ領域は,ロシアの結晶学者フェドロフの見つけた5種類の平行多面体−−立方体(平行6面体を含む),6角柱,菱形12面体,長菱形12面体,切頂8面体しかない.このうち,6角柱,菱形12面体は4次元立方体,長菱形12面体は5次元立方体,切頂8面体は6次元立方体を3次元空間に投影したものと一致する.

 ゾーン多面体とは立方体のアフィン射影で表される多面体であるが,これらの平行多面体はゾーン多面体の定義を満たしていることになる. 切頂八面体からあるゾーンを抜くと,長菱形二十面体→菱形十二面体,六角柱→立方体になるので,これらは一連のゾーン多面体と考えることができる.

 立方体のすべての稜は3方向,菱形十二面体,六角柱では4方向,長菱形十二面体では5方向,切頂八面体では6方向を向く.一般にn次元平行多面体ではn方向〜n(n+1)/2方向を向くことになるが,それに伴って胞数は2n〜2(2^n−1),頂点数は2^n〜(n+1)!という構成になっている.

 2≦k≦n−2に対して,すべてのk面が中心対称なのは,ゾーン多面体の限られる.ただし,k=n−1が中心対称であるとしても,その多面体がゾーン多面体であるとは限らない(たとえば,4次元正24胞体).ゾノトープという性質はアフィン射影で保存される.また,ゾーン多面体は一般に単純多面体ではない.たとえば,菱形12面体は8個の頂点は単純であるが,残り6個の頂点は単純ではない.

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

【2】正24胞体はゾノトープではない

 正24胞体は菱形十二面体の拡張であるとともに,切頂八面体の拡張でもある.

 ミンコフスキー和は

[1]平行多面体,黄金菱形多面体

[2]2(2^n−1)面体(置換多面体)

[3]3^n−1面体

の体積計算には有効であるが,

[4]2^n+2n面体

に対しては有効には働いてくれない.たとえば,4次元正24胞体はゾノトープではないからである.

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