■4次元の雪,5次元の雪,6次元の雪,・・・(その17)
[参]Regular and semiregular polytopes III, Math. Zeitschrift 200(1988), 3-45
===================================
次数
A4 120={3,3,3}(1111)の頂点数
D4 192
B4 384={3,3,4}(1111)の頂点数
一般に
An (n+1)!
Dn 2^n-1n!
Bn 2^nn!
さらに,
E6 72・6!
E7 8・9!
E8 192・10!
一般に
En 2^n/(En)
(E2)=2,(E3)=2/3,(E3)=5/12,(E5)=1/60,(E7)=1/810,(E8)=1/2721600
と計算される.
===================================
【まとめ】E8格子
コクセターは,8次元空間において2個の正軸体と1個の正単体を組み合わせると空間充填形ができ,ケイリー整数の作る格子がその具体形であることを証明した.
E8格子から得られる頂点数240,辺数6720本の図形はひも理論を研究するときに使われる.この充填形で,正軸体の1つおきの胞に正単体が続き,他の半分の胞は正軸体同士が接する.格子点として1つの格子点を中心にその隣(距離1)の240個の頂点を結んでできる8次元の「亜正多面体」は次のような構造をしている.
頂点240個,辺6720(240×28)本
面(正三角形)60480(6720×9)枚
3次元胞(正四面体)241920(60480×4)個
4次元胞(正五胞体)241920(60480×4)個
5次元胞(正単体)483840個
6次元胞(正単体)207360個
=483840×3/7=240×864
=(17280×8+2160×2^7)/2
7次元胞:各6次元胞に正軸体2個と正単体1個が合わさり
正単体が17280個,正軸体が2160個
===================================